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

Discussion Tag Cloud

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
    • CommentTimeAug 3rd 2015

    have added a minimum on the level decompositon of the first fundamental rep of E 11E_{11} here.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 3rd 2015

    Could that Mysterious Duality found by Vafa et al. feature in your account?

    A beautiful duality was discovered by Iqbal, Neitzke and Vafa between compactifications of M-theory on tori and the second cohomology of some associated del Pezzo surfaces. Now the full cohomology of theses surfaces spans the root lattice of a Borcherds superalgebra. Henry-Labordere Julia and Paulot have shown that some truncations of these Borchers algebras provide a classification of p-forms coming from tori reduction of (massive) maximal supergravity. This classification matches the one of the E11 conjecture of Peter West. The Borcherds description was recently proven to be systematically derived from the split real form of E11 by Henneaux, Julia and Levie. (MathOverflow comment).

    Presumably that last result is in E_11, Borcherds algebras and maximal supergravity.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 3rd 2015
    • (edited Aug 3rd 2015)

    Thanks for the pointer! HJL 10 is most useful. The discussion in 1.3 on p. 6 makes me hopeful that it’s their Borcherds’ algebra which is the right thing to act on the exceptional tangent bundle in 11d. For the fact that there is the immense richness of higher levels in E 11E_{11} is good for campfire speculation as to M-theory-the-grandiose, but that Borcherds algebra seems to contain exactly what we need for M-theory-the-concrete, which is really good to know.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeAug 3rd 2015

    I am trying to understand if there is any algebraic structure, Borcherds or otherwise, that is represented on a low level truncation of the fundamental of E 11E_{11}. Some text seemed to suggest this, but maybe not.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 25th 2016

    Shouldn’t it say ’0d supergravity’ (whatever that is) rather than

    As U-duality group of 1d supergravity

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 26th 2016

    Woops. Yes! Thanks for catching this silly typo. Fixed now.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 27th 2019

    added this pointer, which had been missing:

    diff, v32, current

    • CommentRowNumber8.
    • CommentAuthorSamuel Adrian Antz
    • CommentTimeJul 17th 2024
    • (edited Jul 17th 2024)

    Used unicode subscripts for indices of exceptional Lie groups including title and links. When not linked, usual formulas are used. See discussion here. Links will be re-checked after all titles have been changed. (Removed two redirects for “E11” from the top and added one for “E11” at the bottom of the page.)

    diff, v36, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeSep 17th 2024

    as expected (from the pattern here) there seems to be a 528-dimensional irrep of the maximal compact subalgebra of 𝔢 11(11)\mathfrak{e}_{11(11)} (according to p. 29 of arXiv:1809.09171)

    have made a brief note here, hoping to later expand further

    diff, v40, current

    • CommentRowNumber10.
    • CommentAuthorperezl.alonso
    • CommentTimeSep 17th 2024

    I saw your post on X. Do you have a preliminary write-up I could read that touches on the significance of this fact?

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 17th 2024

    Am working on it as we speak – hoping to have a readable version ready in a few days.

    But the point is that the previous pattern of exceptional tangent bundles (as in Section 4 of Hull 2007) seemed to break beyond n=7n = 7, because the global U-dualities 𝔢 n(n)\mathfrak{e}_{n(n)} are no longer represented.

    But consider that in general we should ask for the local U-duality symmetry to be represented, which is the “maximal compact” sub-symmetry 𝔨 n(n)\mathfrak{k}_{n(n)}.

    Amazingly, that fixes the pattern completely: There is a 528\mathbf{528} of the maximal compact 𝔨 11(11)\mathfrak{k}_{11(11)} which is the bosonic part 52832 sym32\mathbb{R}^{528} \simeq \mathbf{32} \otimes_{sym} \mathbf{32} of the M-algebra and hence is the full exceptional tangent space (previously seemingly way too small, compared to the hugely infinite-dimensional basic rep of the Kac-Moody parent 𝔢 11(11)\mathfrak{e}_{11(11)}) — and under the chain of inclusions 𝔨 8(8)𝔨 9(9)𝔨 10(10)𝔨 11(11)\mathfrak{k}_{8(8)} \hookrightarrow \mathfrak{k}_{9(9)} \hookrightarrow \mathfrak{k}_{10(10)} \hookrightarrow \mathfrak{k}_{11(11)} this branches exactly through the previously seemingly broken sequence of exceptional tangent spaces for lower nn.

    The upshot is that the “hidden M-algebra” is thus indeed the “correct” model space which unifies the exceptional-geometric and the super-geometric formulation of 11d SuGra to “super-exceptional geometry”.

    Assuming this was our starting point for the “super-exceptional M5-brane model” here and here, but back then we didn’t justify this assumption more deeply.

    But now I finally had the simple idea that from our hypothesis I can just predict which irreps of 𝔨 n(n)\mathfrak{k}_{n(n)} ought to exist. By just googling for my predicted three numbers I found exactly three existing articles (all from the exceptional Potsdam group) where exactly these irreps are noted (all in passing side remarks, the relevance was apparently not realized before).

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 17th 2024

    Is this the same 528 as in ’528-toroidal T-duality’, here?

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeSep 17th 2024

    Yes, section 4.6 there (pp 40) is where, I guess, we started suggesting the hidden M-algebra as the super-exceptional tangent space.

    This 528 is the dimension of the 11d tangent space plus the central M-brane charges of the extended susy algebra:

    dim( 1,10 2( 1,10) * 5( 1,10) *)(111)+(112)+(115)=528 \mathrm{dim}\Big( \mathbb{R}^{1,10} \oplus \wedge^2 (\mathbb{R}^{1,10})^\ast \oplus \wedge^5 (\mathbb{R}^{1,10})^\ast \Big) \;\;\simeq\;\; \left(11 \atop 1\right) + \left(11 \atop 2\right) + \left(11 \atop 5\right) \;\; = \;\; 528
    • CommentRowNumber14.
    • CommentAuthorperezl.alonso
    • CommentTimeSep 17th 2024

    For this is it important to have a Lorentzian signature or does it work for more general signatures?

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeSep 17th 2024

    Yes, Lorentzian signature is crucial for this story.

    On the U-duality side this is baked into the structure of the exceptional Lie algebra series: Together with the information about all of 11d Sugra, the over-extended 𝔢 n\mathfrak{e}_n-algebras know its Lorentzian spacetime signature (see e.g. p. 11 in Nicolai’s 2009 lecture notes here). For this remarkable reason the Kac-Moody algbebra 𝔢 10\mathfrak{e}_{10} is also called a “hyperbolic Kac-Moody algebra” and 𝔢 11\mathfrak{e}_{11} a “Lorentzian Kac-Moody algebra”.

    On the supersymmetry side this is baked into the Clifford representation theory: It is specifically the 32\mathbf{32} of Spin(1,10)Spin(1,10) whose symmetric square gives the exceptional 528-dimensional tangent space: 32 sym321155462\mathbf{32} \otimes_{sym} \mathbf{32} \simeq \mathbf{11} \oplus \mathbf{55} \oplus \mathbf{462}.

    \,

    Of course you may speculate that an entirely different series of Lie algebras will analogously serve as the U-duality for supergravity in other signature and/or dimension.

    I don’t know, but intuitively I’d doubt it (based on a sentiment of exceptional naturalism :-)