Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2019
    • (edited Jan 27th 2019)

    Here I would like to chat, especially with Richard, about possible algorithms that could decide, given a unitary linear representation, which of its Chern classes vanish (or given an orthogonal linear representation, which of its Pontryagin classes vanish).

    (This understood in the fairly evident sense, as described in more detail at equivariant K-theoryhere.)

    There are at least two motivations for this:

    Purely mathematically, computing higher Chern classes of linear representations is clearly a fundamental question; but it is also an open problem, highlighted, way back, in the appendix of

    • Michael Atiyah, Characters and cohomology of finite groups, Publications Mathématiques de l’IHÉS, Volume 9 (1961) , p. 23-64 (numdam)

    Judging from the combined upvotes and lack of reply to this MO question, this problem seems to remain as open as ever.

    Second, there is a deep physics problem associated with this, which I can say more about by private email, if desired.

    For the first Chern class c 1c_1 of a linear representation VV, there is an explicit formula. I have spelled out this explicit expression for c 1(V)c_1(V) in terms of the character χ V\chi_V here. It comes out as:

    c 1(V)=χ ( nV):gk 1,,k n=1nk =nl=1n(1) k l+1l k lk l!(χ V(g l)) k l c_1(V) = \chi_{\left(\wedge^n V\right)} \;\colon\; g \;\mapsto\; \underset{ { k_1,\cdots, k_n \in \mathbb{N} } \atop { \underoverset{\ell = 1}{n}{\sum} \ell k_\ell = n } }{\sum} \underoverset{ l = 1 }{ n }{\prod} \frac{ (-1)^{k_l + 1} }{ l^{k_l} k_l ! } \left(\chi_V(g^l)\right)^{k_l}

    For example, for a representation of dimension n=2n = 2 this reduces to

    c 1(V)=χ VV:g12((χ V(g)) 2χ V(g 2)) c_1(V) = \chi_{V \wedge V} \;\colon\; g \;\mapsto\; \frac{1}{2} \left( \left( \chi_V(g)\right)^2 - \chi_V(g^2) \right)

    which one can also find in the standard literature (e.g tom Dieck 09, p. 45).

    For the higher Chern classes no explicit such formulas seem to be known (going by Atiyah raising this as an open question, and the MO request yielding plenty of views but no reply).

    On the other hand, for that physics application which I have in mind, it would already be highly interesting just to know which of the higher Chern classes vanish, and which do not.

    For this simpler question, I think it should be easy to give an effective algorithm, by using the above formula for the first Chern class together with the splitting principle.

    I’ll try to say this in more detail in the next comment. But I’d be happy if we could brainstorm a little and possibly find more or better insights.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2019

    Suddenly I found a bunch of relevant references that I had been missing before. Maybe the formula we need is already there: on the bottom of p. 4 in Symonds 91. But need to chase some references now…

  1. Unfortunately I do not have access to the paper by Symonds, but this sounds fun!

    Though I am not really familiar with this material, I agree that the splitting principle together with the formula for the first Chern class already gives a formula for checking vanishing. To be able to compute the formula, one would need some algorithm for finding k 1,,k nk_{1}, \ldots, k_{n} given ll, but this should be perfectly do-able.

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 28th 2019

    @Richard

    go to https://eudml.org/doc/140229 and click on ’Access to full text’, it gives you an OA copy.

    A lot of European society-based journals end up on GDZ.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2019

    Thanks, David, have added that link to the entry.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2019
    • (edited Jan 28th 2019)

    Let me see: So the result of Symonds 91 seems to say the following:

    Let GG be a finite group and VV a finite-dimensional linear GG-representation over the complex numbers, write [V][V] for its isomorphism class regarded as an element in the representation ring R (G)R_{\mathbb{C}}(G).

    Consider then any presentation of [V][V] as a sum of virtual induced representations of 1-dimensional representations W iW_i, via the Brauer induction theorem:

    [V]=H iGW iRep(H i),dim(W i)=1n i[ind H i GW i]. [V] \;=\; \underset{ \mathclap{ {H_i \hookrightarrow G} \atop { W_i \in Rep(H_i) \,,\; dim(W_i) =1 } } }{\sum} n_i \left[ ind_{H_i}^G W_i \right] \,.

    Then the main theorem of Symonds 91 (see introduction & p.4-5) says, if I am reading it correctly, that the Chern character of the representation VV, in the sense of the formal sum of Chern classes, is

    ch(V)=H iGW iRep(H i),dim(W i)=1𝒩 H i Gch(W i) α(W i) ch \left( V \right) \;=\; \underset{ \mathclap{ {H_i \hookrightarrow G} \atop { W_i \in Rep(H_i) \,,\; dim(W_i) =1 } } }{\prod} \mathcal{N}_{H_i}^G ch\left(W_i\right)^{\alpha(W_i)}

    where

    1. the “multiplicative transfer” maps 𝒩 J G\mathcal{N}_J^G are to be found in Evens 63

    2. the α(W i)\alpha(W_i)-s are the Euler characteristics of certain CW-complexes, described on p. 3 of Symonds 91.

    So for detailed computation we next need those 𝒩\mathcal{N} and α\alpha. Currently I have no feeling for how tractable these are.

    But I am thinking now that a special case of particular interest to me can now immediately be treated with this formula. But please give me a sanity check here, because my conclusion seems a little funny:

    Namely suppose we happen to take VV to be a virtual permutation representation (hence to be in the image of the canonical morphism A(G)βR GA(G) \overset{\beta}{\to} R_{\mathbb{C}} G from the Burnside ring).

    Since the basic permutation representations [G/H]\mathbb{C}[G/H] are induced from the trivial 1-dimensional HH-representation

    [G/H]ind H Gtriv 1d \mathbb{C}[G/H] \; \simeq \; ind_H^G triv_{1d}

    it should follow that in this case the Chern characters on the right hand side of the above formula are all trivial

    ch(W i)=ch(triv 1d)=1H 0(BG) nH 2n(BG) ch(W_i) =ch(triv_{1d}) = 1 \in H^0(B G) \hookrightarrow \prod_{n} H^{2 n}(B G)

    ?!

    Plugging this into Symonds’ formula above would imply that all Chern classes c kc_{k}, k1k \geq 1, of virtual permutation representations just vanish.

    ?!

    Maybe I am making a mistake here, please let me know if you see where I am going astray. If this is true, it would be… interesting.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2019

    I have expanded a little in the entry (here) on the above argument, making explicit that the “mutliplicative transfer” 𝒩 H G\mathcal{N}_H^G is indeed multiplicative, hence sending unit Chern character to unit Chern character

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2019
    • (edited Jan 29th 2019)

    or rather: sends 1 to ±1\pm 1. Anyway.

  2. I have not had time to have a proper look at this yet, but it looks great! Will be interesting to see if we can compute those two things. Please continue with your ruminations, I will read when I find time :-).

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJan 29th 2019
    • (edited Jan 29th 2019)

    Right, don’t worry about it until I have cleaned it all up.

    But if my claim here is right, then my main motivation for computing these Chern classes with the help of a computer disappears, because then we’d have general proof that the Chern classes of virtual permutation representations all vanish.

    At the moment this seems to me an immediate consequence of Symonds’ theorem. But since this conclusion is pretty strong, I’ll want to make sure that I am not overlooking something.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJan 29th 2019
    • (edited Jan 29th 2019)

    That said, it would still be of general interest to know the Chern classes of virtual non-permutation representations. But then I don’t know how much Symonds’ formula can be turned into an effective algorithm that computes, since there is a fair bit of algebraic topology entering the definition of the exponents α(W i)\alpha(W_i) and the “multiplicative transfer” morphisms 𝒩 H G\mathcal{N}_H^G. This would require quite some unwinding. But let’s see what we can do…

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJan 29th 2019
    • (edited Jan 29th 2019)

    I wrote in #10:

    But since this conclusion is pretty strong, I’ll want to make sure that I am not overlooking something.

    Yeah, so there is a gap:

    We do know that a permutation representation VV does have a “Brauer induction” which is an expanion in induced reps of trivial 1d reps, but we do not know if Symonds’ explicit Brauer induction L(V)L(V) of VV shares this property.

    It might be, I suppose, that L(V)L(V), being constrained by other demands, presents VV as a virtual combination of inductions of non-trivial 1d reps, even if for just getting any Brauer induction, trivial 1d reps would be sufficient.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJan 30th 2019
    • (edited Jan 30th 2019)

    Right, it’s actually easy to get counterexamples to that general vanishing statement. It’s plain wrong, sorry for the distraction.

    But that’s good news with regard to our project: It should (once again) be really interesting to implement an algorithm explicitly computing the Chern classes of linear reps of finite groups.

  3. But that’s good news with regard to our project: It should (once again) be really interesting to implement an algorithm explicitly computing the Chern classes of linear reps of finite groups.

    Hehe, great! Sorry again, have been busy all this week with no time for nLab development or this project, but will get down to it as soon as time allows.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2019

    Thanks. No rush. Am just logging thoughts here…

  4. Excellent, please keep logging!

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2019
    • (edited Jan 31st 2019)

    Hi Richard,

    here is a better idea of what to check next (motivated from the discussion at tadpole cancellation), and it is mathematically much simpler:

    Given the image of β\beta as a character table, we should work out inside this image the solution space to the condition

    χ V(g 1)=0 \chi_{V}\left( g_{\geq 1}\right) = 0

    hence those elements in the image whose characters vanish on all non-trivial (conjugacy classes of) group elements.

    For example for G=2D 6G = 2 D_6 the image of β\beta is spanned by these characters

    [H]=[H] = [e]\left[\langle e\rangle\right] [g 1]\left[\langle g_1\rangle\right] [g 2]\left[\langle g_2\rangle\right] [g 3]\left[\langle g_3\rangle\right] [g 4]\left[\langle g_4\rangle\right] [g 5]\left[\langle g_5\rangle\right]
    χ V 1=\chi_{V_1} = 1\phantom{-}1 1\phantom{-}1 1\phantom{-}1 1\phantom{-}1 1\phantom{-}1 1\phantom{-}1
    χ V 2=\chi_{V_2} = 1\phantom{-}1 1\phantom{-}1 1\phantom{-}1 1-1 1-1 1\phantom{-}1
    χ V 3=\chi_{V_3} = 2\phantom{-}2 2\phantom{-}2 1-1 0\phantom{-}0 0\phantom{-}0 1-1
    χ V 4=\chi_{V_4} = 2\phantom{-}2 2-2 2\phantom{-}2 0\phantom{-}0 0\phantom{-}0 2-2
    χ V 5=\chi_{V_5} = 4\phantom{-}4 4-4 2-2 0\phantom{-}0 0\phantom{-}0 2\phantom{-}2

    and the general solution to the above condition is

    V=n(3V 1+3V 2+3V 3+2V 4+2V 5),AAAn V \;=\; n \Big( 3 V_1 + 3 V_2 + 3 V_3 + 2 V_4 + 2 V_5 \Big) \,, \phantom{AAA} n \in \mathbb{Z}

    So the operation is simply: Remove the first column in the character table of the image of β\beta, then solve the homogeneous linear equation determined by the transpose of the remaining matrix.

    The above example with G=2D 6G =2D_6 is easy to see just by eyeballing. For other examples it becomes a little tedious. For instance for G=2IG = 2 I the relevant table is the one on top of p. 36 here.

    I just tried convincing Wolfram alpha to do this for me, by pasting that matrix into it. But, unexpectedly, Wolfram alpha keeps complaining about syntax in a way I don’t presently understand.

    • CommentRowNumber18.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 31st 2019

    Hmm, I tried putting the above 2D 62D_6 on into W|A and got this. I may be doing it wrong, let me know.

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2019
    • (edited Jan 31st 2019)

    You have a transpose missing. The characters are the rows, so we want to find linear combinations of rows that vanish.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2019
    • (edited Jan 31st 2019)

    But thanks for pointing me to the right Wolfram alpha syntax. Silly me. Am on my phone now and beyond bedtime. Will get back to this tomorrow.

    • CommentRowNumber21.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 31st 2019
    • (edited Jan 31st 2019)

    @Urs, ah, ok. I will try again. how’s this query ?

    Edit no that doesn’t work. But in any case, you probably want this command:

    NullSpace[Transpose[{{1, 1, 1, 1, 1}, {1, 1, -1, -1, 1}, {2, -1, 0, 0, -1}, {-2, 2, 0, 0, -2}, {-4, -2, 0, 0, 2}}]]
    

    which can give you this (this is straight cloud-based Mathematica, not W|A, which uses this variant syntax). Still debugging, though.

    • CommentRowNumber22.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 31st 2019
    • (edited Jan 31st 2019)

    @Urs Your solution in #17 doesn’t seem to work. In the [g 2][\langle g_2\rangle] column, you get 3+3+3×(1)+2×2+2×(2)03+3 + 3\times(-1)+2\times 2 + 2\times(-2)\neq 0. So I think I trust Mathematica in this instance, which gives the result as the \mathbb{Z}-span of V 1+V 2+2V 3+V 4+V 5V_1 + V_2 + 2V_3 + V_4+V_5.

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    Thanks for checking!

    Will have a look. Have you tried the case of 2I2I as in #17?

    • CommentRowNumber24.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    No, but now I have using the transpose of the following matrix

    {{1,1,1,1,1,1,1,1},{4,1,0,−1,−1,1,−1,−1},{5,−1,1,0,0,−1,0,0},{6,0,−2,1,1,0,1,1},{−12,0,0,2,2,0,−2,−2},{−8,2,0,−2,−2,−2,2,2},{−8,−4,0,−2,−2,4,2,2}}
    

    and if I’ve got that right, the coefficient vector is (1,4,5,3,3,2,1)(1,4,5,3,3,2,1)

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    Thanks!

    Am still kind of offline here, but that’s interesting thar for 2I2I there is still a \mathbb{Z} worth of solutions, since this case has again one more constraint than variables.

    Remains then only to check the case of 2O2O

    • CommentRowNumber26.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    Yes, was thinking of doing it :-) again, one-dimensional (1,1,2,3,3,2,1), calculation here, using

    NullSpace[Transpose[{{1,1,1,1,1,1,1},{1,1,1,−1,1,−1,−1},{2,−1,2,0,−1,0,0},{3,0,−1,1,0,−1,−1},{3,0,−1,−1,0,1,1},{−8,2,0,0,−2,0,0},{−8,−4,0,0,4,0,0}}]]
    
    • CommentRowNumber27.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    [deleted]

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    Thanks once more! (Hope to finally get going now. It’s the analog of Sunday here…)

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    Okay, I have fixed here the example of 2D 62 D_6 as you pointed out in #22.

    That makes the mass in this case be M 2D 6=10M_{2 D_6} =10.

    I also found an arithmetic mistake in the computation of the mass in the case of 2D 82 D_8 here. The correct value seems to be M 2D 8=14M_{2 D_8} =14.

    Now I wanted to see if there is a pattern in how the mass grows, so I added also the example of 2D 102 D_{10}, here (again just by eyeballing, which, as we have seen, is error prone, simplistic as the problem may be)

    So now I seem to have this (non-)pattern:

    M 2D 4 =8 M 2D 6 =10 M 2D 8 =14 M 2D 10 =20 \begin{aligned} M_{2 D_4} & = 8 \\ M_{2 D_6} & = 10 \\ M_{2 D_8} & = 14 \\ M_{2 D_{10}} & = 20 \end{aligned}

    Hm, so maybe M 2D 2(k+1)+2=M 2D 2k+2+2kM_{2 D_{{2(k+1) + 2}}} = M_{2 D_{{2 k + 2}}} + 2k, generally.

    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    Have computed the case of 2D 122 D_{12} now, here. I get

    M 2D 12=24. M_{2 D_{12}} = 24 \,.

    If that’s correct, it breaks the pattern that i guessed above (not that there is any reason there should be such a pattern, it just seemed suggestive).

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    have computed the case 2D 142 D_{14} now, here. I get

    M 2D 14=28 M_{2 D_{14}} = 28
    • CommentRowNumber32.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    added the case of 2D 162 D_{16}, here

    That made it clear what the mass pattern wants to be, and so I went back, looked for and found further arithmetic errors. Now it’s clear:

    singularity mass
    2D 42 D_4 88
    2D 62 D_6 1212
    2D 82 D_{8} 1616
    2D 102 D_{10} 2020
    2D 122 D_{12} 2424
    2D 142 D_{14} 2828
    2D 162 D_{16} 3232
  5. Is it possible to say a word for a physics layman like myself as to what such a pattern could signify?

    • CommentRowNumber34.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019

    Hmm, curious!

    So the other masses, if I have mental arithmetic right, are:

    • 2T - 24
    • 2O - 48
    • 2I - 120

    Hence also the orders of these groups.

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    Richard asks in #33:

    Is it possible to say a word for a physics layman like myself as to what such a pattern could signify?

    Yes, so this is saying that the unit mass of the RR-chargeless fractional D-branes which are stuck at a 2D 2k2 D_{2k}-orbifold singularity increases linearly with kk as M 2D 2k=4kM_{2 D_{2k}} = 4k.

    These orbifold singularities we may think of as being higher dimensional extremal black hole singularities viewed from larger than Planck scale distance (by the discussion at near-horizon geometry) and so this says that the “deeper” the singularity, the more massive the corresponding stuff inside there is. Which seems to make good sense.

    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    David says in #34:

    Hence also the orders of these groups.

    Thanks. Yes, that’s really interesting now!

    I wonder if the representation theorists would recognize what is going on here as something known.

    Will type out the 2O2O and 2I2I case now, just so that we have it all in front of us…

    • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    Ah, it’s even better:

    There is a normalization factor 1/|G|1/{\vert G \vert } which converts from character values to fractional D-brane charge (here).

    This means that we find in all cases that the \mathbb{Z}-sublattice of RR-charge-free fractional branes is always spanned by a brane of unit mass.

    • CommentRowNumber38.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019

    Very nice!

    • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    I should repeat at this point the warning that I mentioned in the other thread here:

    The string theory literature tends to focus on the A-type singularities (just because it’s easier), whereas here we are focusing on the complement, the D- and E-type singularities (because for these we know that the virtual permutation reps span the non-irrational charge sublattice). So that 1/|G|1/{\vert G\vert}-conversion formula, as well as the tadpole cancellation condition χ V(g 1)=0\chi_{V}(g_{\geq 1}) = 0 itself, is all derived in the literature for A-type singularities. While, by their pure representation-theoretic nature, these formulas have an evident and immediate generalization to other types of singularities, such as the ones we are considering here, it would be good to find some reference that confirms that in this more general case these formulas indeed still follow from the corresponding string-scattering computations. I haven’t seen such a reference yet. I have emailed some people about this, but not heard back yet.

    • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    Now I have spelled out the last case, of 2I2I, here.

    David, could you be so kind to look over this briefly? Because I am taking this on faith from your comment #24, find it too cumbersome to check this mentally…

    • CommentRowNumber41.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019

    Yes, the 2I2I case is fine. I double checked that I’d used the correct matrix in the Mathematica calculation, and that your mass calculation is correct following on from that result.

    • CommentRowNumber42.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    Thanks, David!!

    Here is an observation:

    The result that we find unit normalized mass everywhere, implies something interesting in view of the following general formula for plain (non-virtual) representations:

    dim(V G)=1|G|gGχ V(g) dim\left( V^G \right) \;=\; \frac{1}{{\vert G\vert}} \underset{g \in G}{\sum} \chi_V(g)

    (of course elementary, basic and standard, but e.g. (2.1) here)

    Now applying this to our virtual reps V +V V_+ - V_- with their defining property and that unit mass result implies that

    dim((V +) G)dim((V ) G)=1 dim\left( (V_+)^G \right) - dim\left( (V_-)^G \right) \;=\; 1

    Not sure if this is of any relevance. But it seems curious.

    • CommentRowNumber43.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019

    Seems like an index-theoretic result to me.

    • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019
    • (edited Feb 1st 2019)

    True, but I would say that’s just because it is a statement about a virtual rep. The tadpole condition we have been discussing also looks like index theory in this way.

    But what I found striking here is that the tadpole condition (which is something about all group elements separately) together with the unit mass result gives a global statement about the fixed point locus of the whole group. This might be pointing to some nice abstract condition in equivariant homotopy theory. Not sure.

    • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeFeb 1st 2019

    Wait. I think all we did here was express the regular representation in an unfamiliar basis…

    • CommentRowNumber46.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 1st 2019

    Not a terrible thing, a well-chosen basis can make all the difference.

    • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeFeb 2nd 2019

    Right, it’s not terrible, but there is something strange. I’ll upload the integral character table for some cyclic groups, and then let’s check if the kernel of the columns away from the neutral element is still just 1-dimensional. If it is, there is something odd with the literature, if it isn’t, that would be interesting

    • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeFeb 2nd 2019

    Meanwhile, could you just confirm that the solution space in all examples we discussed here is really just 1-dimensional?

    • CommentRowNumber49.
    • CommentAuthorUrs
    • CommentTimeFeb 2nd 2019

    So we are really asking: For which groups may we forget about the first column of the character table, the dimensions, and still have that the character map is injective?

    (Luckily I have no trouble showing off my ignorance in basic representation theory :-)

    • CommentRowNumber50.
    • CommentAuthorUrs
    • CommentTimeFeb 2nd 2019

    (Never mind the confirmation, I have now linked all examples here to the respective Wolfram alpha computation output.)

    • CommentRowNumber51.
    • CommentAuthorUrs
    • CommentTimeFeb 2nd 2019
    • (edited Feb 2nd 2019)

    What do I need to type to convince Wolfram alpha to consider primitive roots of unity inside a matrix?

    (e.g. this isn’t recognized, why not?)

    • CommentRowNumber52.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 3rd 2019

    No idea! I tried this after some experimentation and it worked.

    • CommentRowNumber53.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2019

    Thanks!

    Meanwhile, I found the general argument that multiples of the regular rep are the only solution here (completely elementary, of course). Now I am thinking about how to contact these authors to alert them of their study of the empty set. Or of the singleton, rather.

    • CommentRowNumber54.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 3rd 2019

    So those authors only consider the abelian (i.e AA-type subgroups of SU(2)SU(2)) case? Does your result make extension of their analysis to the DD and EE subgroups more or less plausible?

    • CommentRowNumber55.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2019

    Looking at section 2.2. of Honecker 02 arXiv:hep-th/0201037 (which is what section 4 of Marchesano 04 arXiv:hep-th/0307252 is largely based on) it seems like there is really no assumption on the nature of the orbifold group necessary. It’s just taken to be cyclic at the end of the computation, because that happens to be relevant in the model that the rest of the article is concerned with.

    To clarify, I have sent another email to the authors, turns out my first attempt bounced.

    • CommentRowNumber56.
    • CommentAuthorUrs
    • CommentTimeFeb 3rd 2019
    • (edited Feb 3rd 2019)

    But I take back my statement about studying the empty set/singleton set. It’s true that only multiples of the regular rep solve the representation-theoretic factor of those tadpole cancellation conditions, but from (4.9), (4.12), (4.14) in Marchesano’s text, of course the point now is to tensor the equivariant K-theory with another (co-)homology group and then ask something like that the elements in this tensor product end up componentwise in the tensor product with just the multiples of regular reps. Or something like this. Need to find a good abstract way of capturing these conditions…