Compactification tordue non-inversible de la théorie de classe $\mathcal S$ et branes $(B,B,B)$

Informations fondamentales

• ID de l'article: 2412.06729
• Titre: Non-invertible twisted compactification of class $\mathcal S$ theory and $(B,B,B)$ branes
• Auteur: Yankun Ma (Université Sun Yat-Sen)
• Classification: hep-th (Physique des hautes énergies - Théorie)
• Date de soumission: Décembre 2024
• Lien de l'article: https://arxiv.org/abs/2412.06729

Résumé

Cet article étudie la compactification tordue non-inversible de la théorie de classe $\mathcal S$ sur $S^1$ : on insère un défaut de symétrie non-inversible s'étendant le long des directions résiduelles sur $S^1$, puis on effectue la compactification sur $S^1$. L'étude montre que la théorie 3d résultante est un modèle sigma $\mathcal N=4$ en 3d dont l'espace cible est une sous-variété hyperkählérienne de l'espace de modules de Hitchin, à savoir la brane $(B,B,B)$. Cette brane $(B,B,B)$ est l'ensemble des points fixes d'un sous-groupe fini du groupe de classes de mapping du Riemann surface sous-jacent agissant sur l'espace de modules de Hitchin. L'article décrit la brane $(B,B,B)$ comme une variété affine et calcule des exemples concrets pour la théorie de classe $\mathcal S$ de type $A_1$ et de genre 2.

Contexte et motivation de la recherche

Contexte du problème

1. Développement des symétries globales généralisées: Ces dernières années, l'étude des symétries globales généralisées en théorie quantique des champs s'est considérablement développée, où les symétries sont comprises comme des défauts topologiques. Les symétries non-inversibles, en tant que symétries généralisées importantes, ont été étudiées pendant des décennies dans la théorie conforme des champs 2d, mais leur étude en théorie quantique des champs de dimension supérieure est relativement nouvelle.
2. Importance de la théorie de classe S: La théorie de classe S est une théorie conforme supersymétrique 4d $\mathcal N=2$ obtenue par compactification de la théorie conforme supersymétrique 6d $\mathcal N=(2,0)$ sur une surface de Riemann pointée. Cette classe de théories possède une structure de groupe de dualité riche, fournissant une plateforme idéale pour l'étude des symétries non-inversibles.
3. Signification physique de la compactification tordue: La compactification tordue traditionnelle produit de nouvelles théories de dimension inférieure en imposant des conditions aux limites tordues sur le cercle de compactification. La compactification tordue non-inversible généralise ce concept au cas des défauts de symétrie non-inversibles.

Motivation de la recherche

• Explorer comment les symétries non-inversibles affectent le comportement de compactification de la théorie
• Comprendre la structure géométrique de la théorie 3d résultante
• Établir un lien entre les symétries non-inversibles et la géométrie de l'espace de modules de Hitchin
• Fournir une nouvelle réalisation physique et une description mathématique des branes $(B,B,B)$

Contributions principales

1. Établissement de la correspondance entre compactification tordue non-inversible et branes $(B,B,B)$: Preuve que la compactification tordue non-inversible de la théorie de classe S produit une théorie 3d qui est un modèle sigma $\mathcal N=4$ avec une brane $(B,B,B)$ comme espace cible.
2. Caractérisation théorique des groupes des branes $(B,B,B)$: Preuve que la brane $(B,B,B)$ est l'ensemble des points fixes d'un sous-groupe fini du groupe de classes de mapping agissant sur l'espace de modules de Hitchin.
3. Description des branes $(B,B,B)$ comme variétés affines: Première description concrète dans la littérature mathématique de ces branes $(B,B,B)$ en tant que variétés affines.
4. Calcul d'exemples concrets: Calcul détaillé des branes $(B,B,B)$ pour le cas de type $A_1$ et de genre 2, mettant en évidence les structures géométriques et algébriques riches.

Détails méthodologiques

Construction de la symétrie non-inversible

La construction du défaut auto-dual non-inversible suit les étapes suivantes :

1. Action de dualité: Pour la famille de théories $T_\rho(x)$, où $x$ paramètre le collecteur conforme, le groupe de dualité $\Gamma$ agit par l'intermédiaire d'interfaces topologiques : $S: T_\rho(x) \mapsto T_{S\cdot\rho}(S\cdot x)$
2. Opérations topologiques: Introduction d'opérations topologiques modifiant uniquement la structure globale : $\sigma: T_\rho(x) \mapsto T_{\sigma\cdot\rho}(x)$
3. Défaut non-inversible: Combinaison pour obtenir une nouvelle interface topologique : $N := \sigma S$
4. Condition d'auto-dualité: Sélection du point auto-dual $S\cdot x = x$ et $\sigma S\cdot \rho = \rho$, rendant $N$ un défaut de symétrie.

Structure globale de la théorie de classe S

La structure globale de la théorie de classe S est caractérisée par une paire de sous-réseaux lagrangiens $(L,L^\perp) \subset H^1(\Sigma_{g,0}, \mathbb{Z}_N)$, où :

• $L \oplus L^\perp = H^1(\Sigma_{g,0}, \mathbb{Z}_N)$
• L'appariement symplectique est $\langle u_i, u_j \rangle = J_{ij}$, où $J = \begin{pmatrix} 0 & -1_{g \times g} \\ 1_{g \times g} & 0 \end{pmatrix}$

L'action des opérations topologiques et de l'action de dualité sur la structure globale est : $M \rightarrow FMG$ où $F \in \text{Sp}(2g,\mathbb{Z})$ est l'action de dualité et $G \in \text{Sp}(2g,\mathbb{Z}_N)$ est l'opération topologique.

Compactification tordue non-inversible

Les étapes clés de la compactification tordue non-inversible :

1. Insertion du défaut: Insertion d'un défaut de symétrie non-inversible $N$ sur $S^1$
2. Conditions de contrainte: Les configurations de champs doivent satisfaire $N \cdot p = p$
3. Espace de modules: L'espace de modules du vide de la théorie 3d est : $M' = \{p \in M | N \cdot p = p\}$ où $M = M_H(\tilde{G}, \Sigma_g)/L$ est l'espace de modules de la compactification directe.

Propriétés géométriques des branes $(B,B,B)$

Utilisant le théorème de réalisation de Nielsen et la théorie connue des branes $(B,B,B)$ :

Théorème: Pour une surface de Riemann $\Sigma_g$ de genre $g \geq 2$ et un groupe fini $\Gamma$ agissant sur celle-ci, l'ensemble des points fixes de $\Gamma$ dans l'espace de modules de Hitchin est une brane $(B,B,B)$.

Combiné au théorème de réalisation de Nielsen, les sous-groupes finis du groupe de classes de mapping sont équivalents à :

1. Avoir des points fixes dans l'espace de Teichmüller
2. Pouvoir être réalisés comme des automorphismes de la surface

Par conséquent, l'espace cible de la compactification tordue non-inversible est effectivement une brane $(B,B,B)$.

Configuration expérimentale

Calcul concret : cas de type $A_1$ et genre 2

Description en coordonnées de boucle de la variété caractéristique

Pour la variété caractéristique $\text{SL}(2,\mathbb{C})$, utilisation de 15 coordonnées de boucle : $(z_1, z_2, z_3, z_4, z_5, z_6, z_{12}, z_{23}, z_{34}, z_{45}, z_{56}, z_{61}, z_{123}, z_{234}, z_{345})$

Ces coordonnées sont données par les traces des générateurs du groupe fondamental :

• $z_1 = \text{tr}(Y_1)$, $z_2 = \text{tr}(X_1)$, etc.

Relations de contrainte

La variété caractéristique est définie par 19 relations polynomiales, incluant :

• Relations cycliques : $z_{i+2}z_{i+4} + z_{i+3}z_{i+2,i+3,i+4} - z_{i+2,i+3}z_{i+3,i+4} - 2z_i = 0$
• Relations quartiques complexes, etc.

Action du groupe de classes de mapping

L'action des générateurs $I$ et $d_1$ du groupe de classes de mapping $\text{MCG}(\Sigma_2) = \text{Sp}(4,\mathbb{Z})$ sur les coordonnées de boucle :

Action de $I$ (élément d'ordre 6) : $z_1 \mapsto z_2 \mapsto z_3 \mapsto z_4 \mapsto z_5 \mapsto z_6 \mapsto z_1$

Résultats expérimentaux

Classification des points fixes

Selon le Tableau 1, les points fixes dans le cas de genre 2 sont classés par dimension complexe :

1. Dimension complexe 0 (points isolés) :
   • Groupe d'ordre 10 : $\Omega = \begin{pmatrix} \varepsilon & \varepsilon + \varepsilon^{-2} \\ \varepsilon + \varepsilon^{-2} & -\varepsilon^{-1} \end{pmatrix}$
   • Divers cas de groupes d'ordre 24, 32, 48, 72
2. Dimension complexe 1 (courbes) :
   • Cas de groupes d'ordre 8, 12, impliquant des formes diagonales et non-diagonales
3. Dimension complexe 2 (surfaces) :
   • Cas de groupes d'ordre 4, principalement des cas diagonaux et des cas de symétrie de permutation

Description des branes $(B,B,B)$ comme variétés affines

Prenant comme exemple le sous-groupe $\mathbb{Z}_6$ généré par $I$, l'ensemble des points fixes est déterminé par les conditions :