To gauge or to double gauge? Matrix models, global symmetry, and black hole cohomologies

Titre : Gauger ou double gauger ? Modèles de matrices, symétrie globale et cohomologies de trous noirs

Énoncé du problème
L'article traite de la complexité de l'analyse de la structure de l'espace de Hilbert et de la dynamique des modèles de matrices, qui sont proposés comme définitions non perturbatives de la gravité quantique (par exemple, les modèles BFSS et BMN). Bien que ces modèles soient riches en degrés de liberté, leur analyse complète est souvent insoluble. Des travaux antérieurs ont montré que le fait de gauger une symétrie simplifie la dynamique en projetant sur les secteurs singlets, mais la structure de l'espace de Hilbert dans ces secteurs reste complexe en raison des relations de trace et de l'interaction entre les symétries de jauge et globales. Plus précisément, les auteurs cherchent à comprendre le scénario du « double gaugage » : des modèles de matrices où une symétrie globale est également gaugée (projetée sur les singlets), traitant ainsi la symétrie globale comme une symétrie de jauge. Cela contraste avec le débat « Faut-il gauger ou non ? » où il a été observé qu'à couplage fort, les non-singlets se découplent. Les auteurs étudient si cette double projection simplifie davantage la structure de l'espace de Hilbert et le spectre des opérateurs, particulièrement dans le contexte de l'identification d'opérateurs « non-gravitons » liés aux microétats de trous noirs supersymétriques dans $AdS_5$.

Méthodologie
Les auteurs emploient une combinaison de théorie des invariants, d'analyse de fonctions de partition et de techniques d'indice superconforme :

1. Formule de Molien-Weyl : Ils utilisent la formule de Molien-Weyl pour calculer les fonctions de partition pour les modèles de matrices bosoniques. Cela implique d'intégrer la fonction de partition étendue sur le groupe de jauge (pour imposer l'invariance de jauge) et, par la suite, sur le groupe de symétrie globale (pour imposer la projection sur les singlets).
2. Décomposition de Hironaka : Les fonctions de partition résultantes sont analysées à l'aide de la décomposition de Hironaka pour identifier l'anneau des invariants. Cela permet aux auteurs de distinguer entre les invariants primaires (générateurs algébriquement indépendants) et les invariants secondaires (générateurs quadratiquement réductibles), en tenant compte des relations de trace.
3. Fixation de jauge et décomposition en valeurs singulières (SVD) : Pour interpréter les fonctions de partition, les auteurs effectuent une fixation de jauge explicite. Ils projettent les configurations multi-matrices vers des formes plus simples en utilisant la SVD, réduisant les degrés de liberté à un ensemble plus restreint de matrices effectives (par exemple, une seule matrice réelle symétrique).
4. Analyse du secteur BMN : Pour le cas supersymétrique, ils se concentrent sur le sous-secteur 1/16 BPS de la théorie de la super Yang-Mills (SYM) $\mathcal{N}=4$ $SU(N)$, spécifiquement le secteur BMN. Ils calculent l'indice superconforme restreint aux singlets $SU(3)_R$.
5. Séparation Graviton vs Non-Graviton : Ils construisent explicitement l'espace des opérateurs « gravitons » (primaires chiraux et leurs descendants) et soustraient leur contribution de l'indice complet pour isoler l'indice « non-graviton », qui est conjecturé pour contenir les microétats de trous noirs dans $AdS_5$.

Contributions clés et résultats

1. Modèles de matrices bosoniques ($U(2)$ et $SU(2)$ avec symétrie globale $SO(d)$) :

• Réduction à des modèles de matrice unique : Les auteurs démontrent que le secteur des singlets $SO(d)$ des modèles de matrices $SU(2)$ avec $d \ge 4$ est effectivement décrit par un modèle de matrice $SO(3)$ gaugé d'une seule matrice réelle symétrique $3 \times 3$ $B$. Pour $d=3$, un invariant secondaire supplémentaire (déterminant au carré) apparaît.
• Modèles $U(2)$ : Pour les modèles $U(2)$ avec $d \ge 5$, le secteur des singlets se réduit à un modèle $SO(3)$ impliquant une matrice symétrique, une matrice antisymétrique (ou un vecteur), et un scalaire. Pour $d=4$, un invariant secondaire supplémentaire apparaît.
• Simplification de la dynamique : Cette réduction implique que l'Hamiltonien dans le secteur des singlets se simplifie considérablement. Par exemple, la partie bosonique du modèle BFSS dans le secteur des singlets $SO(d)$ se réduit à une particule se déplaçant dans un potentiel tridimensionnel, $H = \frac{1}{2}(p_x^2 + p_y^2 + p_z^2) + \frac{1}{2}(x^2y^2 + y^2z^2 + z^2x^2)$.
• Validité cinématique : Les auteurs notent que bien que les fonctions de partition aient été calculées pour des modèles libres, l'identification des invariants repose sur des relations de trace cinématiques, suggérant que ces simplifications structurelles s'étendent aux modèles en interaction.

2. Secteur BMN de $\mathcal{N}=4$ SYM ($SU(N)$ avec symétrie globale $SU(3)_R$) :

• Projection sur les singlets : Les auteurs projettent le secteur 1/16 BPS sur les singlets $SU(3)_R$. Ils trouvent que cette projection simplifie drastiquement le spectre des opérateurs de graviton.
• Absence de gravitons singlets ($N=2$) : Pour la théorie de jauge $SU(2)$, ils prouvent qu'il n'existe aucun opérateur de graviton singulet $SU(3)_R$. L'indice du graviton singulet est trivial ($1$). Par conséquent, la projection des singlets de l'indice complet isole directement les cohomologies non-gravitons (trous noirs).
• Secteur graviton simplifié ($N=3$) : Pour la théorie de jauge $SU(3)$, le secteur des singlets des gravitons est extrêmement simple, composé de seulement deux opérateurs non triviaux (aux ordres $t^{18}$ et $t^{24}$). Cela permet d'obtenir une expression de forme fermée de l'indice des gravitons singlets.
• Indices non-gravitons en forme fermée : En soustrayant l'indice des gravitons simplifié de l'indice BMN complet, les auteurs dérivent des expressions en forme fermée pour l'indice non-graviton pour $N=2$ et $N=3$. Ces expressions révèlent des caractéristiques structurelles du spectre, telles que des tours infinies de cohomologies générées par des opérateurs comme $\text{tr}(f^2)$ et $\text{tr}(f^3)$.
• Cas $N=4$ : Pour $SU(4)$, les auteurs identifient de nouveaux opérateurs de graviton singulet (incluant un opérateur purement bosonique à $t^{12}$) qui étaient absents dans les cas de $N$ inférieur en raison des relations de trace. Bien qu'une forme fermée complète ne soit pas fournie, ils présentent le développement en série et identifient les nouvelles contributions de gravitons.

Signification et affirmations
L'article affirme que le « double gaugage » (projeter sur les singlets de la symétrie globale) est un outil puissant pour simplifier l'analyse des modèles de matrices et des théories de jauge supersymétriques.

• Simplification structurelle : La revendication principale est que la structure de l'espace de Hilbert se simplifie dans le secteur des singlets, réduisant souvent des systèmes multi-matrices complexes à des modèles de matrice unique effectifs.
• Microétats de trous noirs : Dans le contexte du secteur BMN, les auteurs soutiennent que la rareté des gravitons singlets $SU(3)_R$ (particulièrement pour $N=2, 3$) fait du secteur des singlets un cadre idéal pour étudier les opérateurs non-gravitons. Ces opérateurs sont censés correspondre aux microétats des trous noirs supersymétriques de $AdS_5$.
• Formes fermées : Ce travail fournit les premières expressions en forme fermée de l'indice non-graviton dans le secteur singulet $SU(3)_R$ pour $N=2$ et $N=3$, offrant une alternative traitable aux méthodes numériques de base de Gröbner précédemment requises pour un $N$ fini.
• Directions futures : Les auteurs suggèrent que ces simplifications pourraient faciliter les études numériques et la simulation quantique de protocoles holographiques (par exemple, la formation et l'évaporation de trous noirs) sur des ordinateurs quantiques à court terme, car les Hamiltoniens réduits sont plus aptes à la simulation que les modèles de matrices complets. Ils notent également que le statut de la conjecture de l'exactitude à un boucle pour $SU(N)$ reste incertain, et que le secteur des singlets offre un cadre plus simple pour étudier le potentiel de levée d'états dû aux corrections quantiques.