Not signed in (Sign In)

Start a new discussion

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 beauty bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration 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 lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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
    • CommentTimeNov 23rd 2010
    • (edited Mar 19th 2014)

    added more references to 2-spectral triple (as far as I can see Jürg Fröhlich with his students was the first to try to formalize this to some extent)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 19th 2014
    • (edited Mar 19th 2014)

    Over on G+ Stam Nicolis kindly points out a more recent contribution to the “2d SCFT = 2NCG” idea, I have added the following to the references:

    Analogous detailed discussion based not on the vertex operator algebra description of local CFT but on the AQFT description via conformal nets is in

    where 2d SCFTs are related essentially to local nets of spectral triples.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMar 20th 2014

    I expanded the text in the Idea-section at 2-spectral triple and added this reference here, which is currently the earliest that I am aware of which observes that the 0-mode sector of a 2d SCFT yields a spectral triple:

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2016

    I have expanded at 2-spectral triple: more references and more comments and pointers to the references from the main text.

    This was prompted by an exposition on PhysicsForums Insights that I wrote: Spectral standard model and String compactifications.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 18th 2019

    What does ’super’ add to VOA in terms of the role it plays in a 2-spectral triple?

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 18th 2019

    Perhaps another way of asking about things here is how the connection goes: the monster vertex operator algebra is a super VOA, the monster group/Leech lattice shows up relating to the bosonic string, but that’s a version of the string lacking worldsheet supersymmetry.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019
    • (edited May 18th 2019)

    Regarding the first question:

    Connes’ first definition of spectral triple had the Laplace operator instead of the Dirac operator. That turned out to work, too, but only to some extent, and all proofs were tedious (such as that a Riemannian manifold may be reconstructed from its spectral triple).

    Then later he found that the theory flows much better if one uses the Dirac operator, hence the “square root” of the Laplace operator.

    But in terms of worldline quantum mechanics, passing from the Laplace operator to the Dirac operator means introducing worldline supersymmetry. The Dirac operator is the worldline supercharge.

    Now passing from one to two worldvolume dimensions, the analogous step is that from VOAs to super VOAs.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019

    Regarding the second question:

    The super VOA here is that of the heterotic string, which has (1,0) supersymmetry (“only”). The holomorphic part looks like a 10d chiral superstring, but the antiholomorphic part looks like a 26d chiral bosonic string, compactified on the Leech lattice.

    This heterosis of (non-)supersymmetries is what gives the heterotic string its name and which, one way or another, is responsible for its magic properties.

    Here I think what happens is that the non-trivial part of the super VOA automorphisms all comes from the Leech lattice hidden in its anti-holomorphic sector, and so the computation may be reduced to automorphisms of the Leech lattice.

    I think. Still have to absorb in real detail all things moonshiny. Experts should please correct me.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019
    • (edited May 18th 2019)

    Incidentally, this combination of chiral sigma-models in the heterotic string is another instance of “non-geometric” string vacua: The two chiral halfs of a 2d sigma model jointly determine a geometric background, but discarding one and replacing it with the corresponding chiral half of another sigma model gives in total something that is not the two chiral halfa of a single sigma-model anymore, hence which is “non-geometric”.

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 18th 2019

    Thanks! So of course we should include this wisdom on the relevant pages.

    So, re #7, that first table at 2-spectral triple should really say ’super VOA’?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019

    So of course we should include this wisdom on the relevant pages

    made a quick note here

    re #7, that first table at 2-spectral triple should really say ’super VOA’?

    But then also the “operator algebra” in the slot right above should be “super operator algebra”. Alternatively the term headlining this column could say “bosonic underlying algebra”.

    Not all fine print of definitions can be captured by these survey tables, though! I hope the reader understands that these tables cannot be a substitute for the actual definitions.

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 18th 2019

    So if M-theory is behind the 5 string theories, including the heterotic ones, does it “know” about what the heterotic string has to do with the Leech lattice, moonshine, etc? Does it know about bosonic M-theory?

    Did I see the latter has 2-branes and 21-branes? Anything cohomotopic going on there?

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019

    does it “know” about what the heterotic string has to do with the Leech lattice, moonshine, etc?

    One way it “knows” about this is via KK-compactification on K3-surfaces by the cohomology lattice of K3-surfaces. These embed into suitable Niemeier lattices.

    Am on my phone now, but when I am back, we’ll start an entry on HET-IIA. This is all about K3.

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeMay 18th 2019

    among mathematical accounts this one here seems useful:

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 31st 2019
    • (edited Aug 31st 2019)

    to the discussion on how the Connes-Lott models strikingly match properties of superstring vacua, I have added the full pertaining quote from Connes 06, p. 8:

    When one looks at the table (7.2) of Appendix 7 giving the KO-dimension of the finite space [[ i.e. the noncommutative KK-compactification-fiber ]] one then finds that its KO-dimension is now equal to 6 modulo 8 (!). As a result we see that the KO-dimension of the product space M×FM \times F [[ i.e. of 4d spacetime MM with the noncommutative KK-compactification-fiber FF]] is in fact equal to 10210 \sim 2 modulo 8. Of course the above 10 is very reminiscent of string theory, in which the finite space FF might bea good candidate for an “effectivecompactification at least for low energies. But 10 is also 2 modulo 8 which might be related to the observations of Lauscher-Reuter 06 about gravity.

    diff, v31, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)