Non-invertible symmetries of two-dimensional Non-Linear Sigma Models

Résumé Technique : Symétries non-inversibles des modèles sigma non-linéaires à deux dimensions

Énoncé du Problème
L'article traite de la construction de symétries non-inversibles dans les modèles sigma non-linéaires (NLSM) bidimensionnels possédant des termes de Wess-Zumino (WZ). Bien que les symétries non-inversibles générées par des défauts topologiques aient été largement étudiées dans les théories de champs conformes (CFT) et spécifiquement pour le boson compact libre via le gaugage en demi-espace, leur existence et leur construction explicite dans des NLSM généraux — particulièrement ceux dépourvus de 1-cycles non triviaux ou d'invariance conforme — restaient une question ouverte. Les auteurs visent à généraliser la construction connue des défauts d'auto-dualité (qui apparaissent lorsqu'une théorie est invariante sous un gaugage discret suivi d'une transformation de dualité) à une large classe de NLSM avec des termes WZ, en identifiant les conditions précises sous lesquelles ces défauts existent.

Méthodologie
Les auteurs emploient une procédure de « gaugage en demi-espace », une technique où une symétrie globale est gaugée dans une seule moitié de la variété de l'espace-temps ($\Gamma_+$), tandis que l'autre moitié ($\Gamma_-$) reste non gaugée. L'interface ($\gamma$) entre ces régions devient un défaut topologique si la théorie gaugée sur $\Gamma_+$ est duale à la théorie originale sur $\Gamma_-$.

La méthodologie procède par plusieurs étapes techniques :

1. NLSM gaugé doublé : Les auteurs utilisent la formulation « doublée » de la dualité T pour les NLSM. Ils introduisent une variété cible $\hat{M}$ qui est un fibré $T^{2d}$ sur la base $N$, construit en ajoutant des champs de multiplicateurs de Lagrange à l'action gaugée. Cela permet une dérivation géométrique de la dualité T qui traite les obstructions topologiques globales (telles que les fibrés non triviaux et le flux $H$) de manière transparente.
2. Gaugage discret : Au lieu de gauger le groupe d'isométrie continu complet, les auteurs gaugent un sous-groupe discret $\prod Z_{p(m)} \subset U(1)^d$. Ceci est mis en œuvre en modifiant le terme du multiplicateur de Lagrange dans l'action doublée pour imposer des champs de gauge plats avec des holonomies $Z_p$.
3. Analyse de la frontière : Un composant technique crucial consiste à gérer la frontière de la feuille de monde $\gamma$ introduite par la division en demi-espace. Les auteurs analysent soigneusement les termes de bord nécessaires pour maintenir l'invariance de jauge du terme WZ sur une variété avec bord. Ils démontrent que le procédure de gaugage sur $\Gamma_+$ génère un terme de bord topologique spécifique localisé sur $\gamma$, qui agit comme une théorie quantique des champs topologiques (TQFT).
4. Conditions d'auto-dualité : En intégrant les champs de jauge, les auteurs dérivent l'action effective de la théorie gaugée. Ils imposent ensuite des conditions telles que la métrique et le flux $H$ de la théorie gaugée sur $\Gamma_+$ correspondent à ceux de la théorie originale sur $\Gamma_-$ (à un changement de coordonnées près), identifiant ainsi les paramètres pour lesquels l'interface est un défaut topologique au sein d'une seule et même théorie.

Contributions Clés et Résultats
L'article établit l'existence de défauts non-inversibles dans une large classe de NLSM et fournit des formules explicites pour leur construction :

• Conditions d'auto-dualité généralisées : Les auteurs dérivent les conditions nécessaires et suffisantes pour qu'un NLSM possédant une isométrie $U(1)^d$ héberge un défaut non-inversible. Ces conditions relient les données topologiques du modèle original aux données du modèle gaugé :
  • Contrainte topologique : Les classes de Chern ($F^m$) et les classes $H$ ($\tilde{F}^m$) des théories originale et duale doivent satisfaire $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$. Cela implique un échange et une mise à l'échelle des données topologiques par l'ordre du sous-groupe gaugé.
  • Contrainte de modules : Les modules de la métrique généralisée $E_{mn}$ doivent satisfaire $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$. Cela généralise la condition de rayon d'auto-dualité du boson compact à des espaces cibles arbitraires.
• Rôle de la TQFT de bord : La construction révèle que la non-inversibilité du défaut provient d'une TQFT de type BF en une dimension vivant sur le locus du défaut $\gamma$. L'action de cette TQFT est $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. Ce terme assure les bonnes équations du mouvement à travers l'interface et dicte les règles de fusion de Tambara-Yamagami ($TY(Z_p)$) du défaut.
• Exemples : Les auteurs construisent explicitement ces défauts pour plusieurs variétés cibles :
  • Sphères et Espaces de Lens : Ils montrent que $S^3$ (vue comme une fibration de Hopf) et les espaces de Lens admettent de tels défauts lorsque des relations spécifiques entre le rayon, le flux $H$ et le paramètre de gaugage $p$ sont respectées.
  • Nilfibres : Ils démontrent que les nilvariétés (fibrés non triviaux $S^1$ sur $T^2$) avec un flux $H$ non nul peuvent héberger ces défauts, même si elles manquent de cycles 1 non contractibles.
  • Modèles WZW : Un résultat significatif est l'application aux modèles Wess-Zumino-Witten (WZW). Les auteurs trouvent que les conditions d'auto-dualité pour le gaugage d'un sous-groupe d'isométrie $Z_p$ coïncident précisément avec la condition de quantification requise pour que le modèle soit conforme (spécifiquement, le niveau $\kappa$ du modèle WZW). Par conséquent, les modèles WZW $SU(N)_\kappa$ possèdent des défauts non-inversibles avec une fusion $TY(Z_\kappa)$. Les auteurs notent que pour $\kappa > 2$, ces défauts ne sont généralement pas des lignes de Verlinde (ils ne commutent pas avec l'algèbre chirale complète).

Signification et Revendications
L'article affirme fournir une dérivation microscopique systématique de symétries non-inversibles dans les NLSM qui ne dépend pas du fait que la théorie soit conforme ou rationnelle.

• Généralité : La construction s'applique à n'importe quel NLSM possédant une isométrie agissant librement, indépendamment du fait que la variété cible possède des 1-cycles non triviaux (modes de winding) ou que la théorie soit conforme.
• Origine microscopique : Le travail souligne que les règles de fusion non-inversibles proviennent d'un terme topologique spécifique (la théorie BF) localisé sur le défaut, lequel émerge naturellement des termes de bord de la procédure de gaugage en demi-espace.
• Connexion WZW : L'identification de défauts non-inversibles dans les modèles WZW à tous les niveaux est présentée comme un résultat surprenant, liant la construction de gaugage discret directement à la quantification conforme de la constante de couplage.
• Limites : Les auteurs notent avec modestie que bien qu'ils construisent les défauts, l'action explicite de ces symétries sur les opérateurs locaux (opérateurs d'ordre/désordre) et leurs implications pour les identités de Ward restent à explorer pleinement. Ils reconnaissent également que la construction nécessite que l'isométrie agisse sans points fixes, une contrainte technique qui exclut certaines géométries comme les sphères de dimension paire.

En résumé, l'article étend le cadre des symétries non-inversibles des théories simples vers des NLM interactifs et topologiquement non triviaux, fournissant une image géométrique unifiée de la manière dont la dualité T et le gaugage discret génèrent ces symétries exotiques.