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
    • CommentTimeSep 22nd 2018

    I have scratched the rough Idea-section that I had here previously, and started afresh, now with mentioning of the K-theoretic McKay correspondence. Also added references. But it’s still just a stub entry

    diff, v5, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeSep 22nd 2018
    • (edited Sep 22nd 2018)

    added an Idea-subsection on the way that the equivalence between fractional D-branes stuck at orbifold singularities, and wrapped D-branes on the blow-up resolution (hence the K-theoretic incarnation of the McKay correspondence), is supposed to appear in the worldvolume gauge theory as passage between Higgs branch and Coulomb branch. Now here.

    diff, v5, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 28th 2018

    added an Idea-section making more explicit the central special case At global linear orbifold singularities

    diff, v11, current

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 29th 2018

    Is Langlands duality lurking nearby?

    Concerning finite groups, David Ben-Zvi once told us:

    the finite groups of Lie type - eg matrix groups GL,SL,SO,Sp etc over finite fields.. this class of groups contains almost all finite simple groups (other than cyclic, where the same holds since it’s easy for abelian groups, symmetric groups where analogous stories hold – the “F_1 case” – and some of the exceptional groups). Lusztig classified the reps of this enormous class of finite groups (that certainly should have earned him a Fields medal!), and they’re classified by conjugacy classes in the dual groups. I won’t give the precise statement but I think this is not a particularly misleading simplification.. it’s a pretty amazing piece of math!

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2018

    Dunno. But the self-duality of the representations in the image of β:A(G)R(G)\beta \;\colon\; A(G) \to R(G) is what gives rise to the Hecke operations.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 29th 2018

    ’Hecke operator’ appears twice on the nLab. Are these the operators mentioned towards the end of Hecke algebra?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeSep 29th 2018

    Yes! You see the self-duality of permutation representations used in the second step of the chain of equivalences shown there.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 29th 2018

    Is it worth us importing some of John Baez’s account of Hecke algebras/operators from the groupoidification project? It seems difficult to find exposition at that straightforward level:

    we prefer the case where GG is finite, to avoid technicalities — and also because it’s good to consider a pair of subgroups H,KGH,K \subseteq G and build intertwining operators C[G/H][G/K]C[G/H] \to [G/K] from double cosets in HG/KH\G/K and to groupoidify this construction.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2018
    • (edited Oct 11th 2018)

    made explicit the proportionality of the RR-charge in the gg-twisted sector with the value of the corresponding character at gg, and added a list of references for that expression (here)

    diff, v20, current

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 11th 2018
    • (edited Oct 11th 2018)

    So does that tell us anything (physical) that for two fractional D-branes corresponding to different irreps, the ’inner product’ of the charges is zero: gQ V(g)Q V(g)=0\sum_g Q_V(g) \cdot Q_{V'}(g) = 0?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeOct 11th 2018

    There may be a better answer than the following, but from equation (4.70) to (4.71) in

    • M. Billó, B. Craps, F. Roose, Orbifold boundary states from Cardy’s condition, JHEP 0101:038, 2001 (arXiv:hep-th/0011060)

    the authors point out that the orthogonality relation of the characters is equivalently the consistency condition that – after passing through the K-theoretic McKay correspondence from the wrapped D-branes on the resolution of the orbifold singularity to fractional branes at the actual orbifold singularity – the orbifold RR-fields in different twisted sectors are orthogonal to each other, as it must be (since closed strings cannot change their twisted sector).

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 11th 2018

    Interesting. I like these physical interpretations of long-known mathematical facts.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 20th 2018
    • (edited Oct 20th 2018)

    I have added pointer (here and in related entries) that around (137) of

    it is argued that the full equivariant K-theory group K G(*)K_G(\ast) is in fact too large for the classification of physical D-branes, that only elements determined by low degree Chern classes should be kept.

    Which brings me back to the, meanwhile, widely appreciated but still unanswered question (here) how to compute the Chern classes of the bundle corresponding to a representation in terms of its characters.

    diff, v23, current

    • CommentRowNumber14.
    • CommentAuthorperezl.alonso
    • CommentTimeOct 22nd 2023

    Does the discussion here require GG a 1-group or does it hold more generally for higher groups? Certainly we can consider propagation on a higher stack X//𝒢X//\mathcal{G}, but is the discussion the same?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 23rd 2023

    You’d need to speak of cohomology theories (like K-theory) equipped with equivariance with respect to higher groups.

    That’s certainly a thought worth entertaining. But essentially nothing has been worked out.