The involutory subalgebra K(E$_9$) of the affine Kac-Moody algebra E$_9$ was recently shown to admit an infinite sequence of unfaithful representations of ever increasing dimensions arXiv:2102.00870. We revisit these representations and describe their associated ideals in more detail, with particular emphasis on two chiral versions that can be constructed for each such representation. For every such unfaithful representation we show that the action of K(E$_9$) decomposes into a direct sum of two mutually commuting (`chiral' and `anti-chiral') parabolic algebras with Levi subalgebra $\mathfrak{so}(16)_+\,\oplus\,\mathfrak{so}(16)_-$. We also spell out the consistency conditions for uplifting such representations to unfaithful representations of K(E$_{10}$). From these results it is evident that the holonomy groups so far discussed in the literature are mere shadows (in a Platonic sense) of a much larger structure.
Cet article approfondit l'étude de la structure de la théorie des représentations de la sous-algèbre d'involution K(E9) de l'algèbre affine de Kac-Moody E9. Les auteurs réexaminent les représentations infidèles de séries infinies découvertes précédemment, décrivant en détail les idéaux associés, en mettant particulièrement l'accent sur les deux versions chirales que chaque représentation peut construire. L'article démontre que dans chaque représentation infidèle de ce type, l'action de K(E9) se décompose en une somme directe de deux sous-algèbres paraboliques mutuellement commutatives (« chirales » et « antichirales »), avec pour sous-algèbre de Levi so(16)+⊕so(16)−. De plus, les conditions de cohérence pour relever ces représentations aux représentations infidèles de K(E10) sont clarifiées.
Équation de Killing spinorielle en supergravité: L'équation de Killing spinorielle joue un rôle central dans l'étude des solutions supersymétriques de supergravité, exprimant la condition d'annulation de la variation supersymétrique du graviton
Proposition de groupes d'holonomie généralisés: La littérature propose SO(16)+ × SO(16)− ⊂ SO(32) ⊂ SL(32,ℝ) comme candidat pour le groupe d'holonomie généralisé de la supergravité maximale
Problèmes au niveau du groupe: Ces conjectures présentent des problèmes au niveau du groupe, n'incluant pas le groupe R-symétrique correct qui apparaît lors de la réduction dimensionnelle, en particulier la symétrie Spin(16) en supergravité maximale D=3
Résoudre les problèmes d'holonomie: Les groupes d'holonomie discutés dans la littérature existante ne sont que des « ombres » de structures plus grandes
Symétrie de Kac-Moody: La recherche sur K(e10) a révélé que sa sous-algèbre d'involution admet une représentation de dimension 32 (spin-1/2) et une représentation de 320 composantes (spin-3/2)
Unification théorique: Recherche d'un cadre théorique unifié fournissant une origine commune aux fermions IIA et IIB
Construction systématique de représentations chirales: Description détaillée de la structure des idéaux des représentations infidèles de K(E9), en particulier les versions chirales et antichirales
Théorème de décomposition en algèbres paraboliques: Démonstration que l'action de K(E9) dans chaque représentation infidèle se décompose en somme directe de deux sous-algèbres paraboliques mutuellement commutatives
Clarification des conditions de relèvement: Élucidation des conditions de cohérence pour relever les représentations de K(E9) aux représentations de K(E10)
Révélation de la structure d'holonomie généralisée: Démonstration que le véritable groupe d'holonomie généralisé a la forme Q = (Spin(16)+ ⋉ U+) × (Spin(16)− ⋉ U−)
Proposition: Pour toute représentation de dimension finie définie par des conditions de troncature, l'algèbre quotient q se décompose en somme directe de deux sous-algèbres mutuellement commutatives :
q = q₊ ⊕ q₋, [q₊, q₋] = 0
Les deux algèbres sont paraboliques, avec so(16)± comme sous-algèbre de Levi.
Systématisation de la théorie des représentations de K(E₉): Fournit une classification complète et une compréhension structurelle des représentations infidèles
Révélation du véritable groupe d'holonomie généralisé: Démontre que le groupe d'holonomie dans la littérature n'est que l'ombre d'une structure plus grande
Établissement d'un pont du cas affine au cas hyperbolique: Fournit une méthode systématique pour comprendre les représentations de K(E₁₀)
Développement de la théorie des représentations des algèbres de Kac-Moody: Fournit de nouvelles méthodes de construction pour les représentations de dimension finie des algèbres de Lie infinies
Fondements mathématiques de la théorie de la supergravité: Fournit un cadre mathématique rigoureux pour les structures de symétrie en supergravité
Structure algébrique de la théorie M: Fournit de nouveaux outils mathématiques pour la structure non-perturbative de la théorie M
Restriction principalement au cas affine: Bien que le relèvement à K(E₁₀) soit discuté, les résultats principaux restent limités aux algèbres affines
Spécificité des applications physiques: Bien que la motivation physique soit présente, les applications physiques concrètes nécessitent un développement ultérieur
Complexité computationnelle: Les calculs pour les cas d'ordre supérieur deviennent extrêmement complexes
Valeur académique: Contributions importantes à la fois à la théorie des représentations des algèbres de Kac-Moody et à la théorie de la supergravité
Impact technique: Les méthodes fournies pourraient s'appliquer à l'étude d'autres algèbres infinies
Signification à long terme: Fournit des outils importants pour comprendre la structure algébrique de la théorie M
Ce travail représente un progrès important dans le domaine interdisciplinaire de la théorie des représentations des algèbres de Kac-Moody et de la théorie de la supergravité, fournissant un nouveau cadre mathématique pour comprendre le rôle des symétries infinies en physique.