2025-11-14T06:34:09.866190

Bounds on Discrete Gauge Symmetries in Supergravity

Baykara, Dierigl, Kim et al.
We place bounds on the order of enhanced discrete gauge symmetries that act on massless fields and thus arise at subloci of the moduli space in supergravity theories. We focus on supersymmetric theories with 8 or more supercharges which in some cases lead to sharp upper bounds realized by specific string constructions.
academic

Bornes sur les Symétries de Jauge Discrètes en Supergravité

Informations Fondamentales

  • ID de l'article : 2511.09613
  • Titre : Bounds on Discrete Gauge Symmetries in Supergravity
  • Auteurs : Zihni Kaan Baykara, Markus Dierigl, Hee-Cheol Kim, Cumrun Vafa, Kai Xu
  • Institutions : Harvard University, CERN, POSTECH
  • Classification : hep-th (Physique des Hautes Énergies - Théorie)
  • Date de publication : 12 novembre 2025 (arXiv v1)
  • Numéro d'article : CERN-TH-2025-233
  • Lien : https://arxiv.org/abs/2511.09613

Résumé

Cet article établit des bornes supérieures sur l'ordre des symétries de jauge discrètes améliorées agissant sur les champs sans masse, qui apparaissent sur des sous-variétés de l'espace des modules des théories de supergravité. Les auteurs se concentrent sur les théories supersymétriques possédant 8 ou plus de supercharges, obtenant dans certains cas des bornes exactes réalisées par des constructions de théorie des cordes spécifiques.

Contexte et Motivation de la Recherche

Problème Central

L'article aborde la question fondamentale suivante : Existe-t-il une borne supérieure sur l'ordre des symétries de jauge discrètes dans les théories de la gravité quantique (en particulier la supergravité) ? Si oui, quelle est cette borne ?

Importance du Problème

  1. Perfectionnement du programme Swampland : Récemment, le couplage des théories de jauge à la gravité impose de nombreuses conditions de cohérence, formulées comme une série de conjectures Swampland. Cependant, la plupart de ces bornes concernent les symétries de jauge continues, tandis que les symétries discrètes n'ont pas été systématiquement étudiées.
  2. Finitude du paysage de la gravité quantique : Si les symétries discrètes n'étaient pas limitées, elles introduiraient une autre infinité dans le paysage de la gravité quantique, ce qui contredirait l'esprit du programme Swampland. Prouver leur caractère borné est crucial pour comprendre la structure finie des théories de la gravité quantique.
  3. Valeur d'application pratique : Les bornes sur les symétries discrètes apparaissent fréquemment dans d'autres conjectures Swampland, par exemple la variante d'indice de sous-réseau de la conjecture de faible gravité nécessite de telles bornes.

Limitations de la Recherche Existante

  • Les bornes Swampland existantes se concentrent principalement sur les symétries de jauge continues, telles que les bornes de masse pour les particules chargées les plus légères, les bornes de rang pour les facteurs de jauge non-abéliens, etc.
  • Bien que les symétries discrètes doivent être contraintes dans la gravité quantique, une étude systématique fait défaut.
  • Même en connaissant leur caractère borné, trouver de bonnes bornes constitue un défi, car cela implique des structures de groupes duaux complexes.

Stratégie de Recherche

La stratégie centrale adoptée par les auteurs exploite la structure des groupes duaux en théorie de supergravité :

  • 32 supercharges : Groupe de dualité U GUD(Z)G^D_U(\mathbb{Z})
  • 16 supercharges : Groupe de dualité T SO(26D,10D;Z)SO(26-D, 10-D; \mathbb{Z})
  • 8 supercharges : Groupe de dualité du secteur des multiplets tensoriels SO(1,T;Z)SO(1,T; \mathbb{Z})

Contributions Principales

Les contributions majeures de cet article incluent :

  1. Établissement d'une méthode de limitation systématique : En réalisant les symétries de jauge discrètes comme des sous-groupes du groupe linéaire général entier GL(n;Z)GL(n;\mathbb{Z}) agissant sur le réseau de charges des états BPS, les auteurs établissent des bornes universelles en utilisant les polynômes cyclotomiques et les matrices compagnons.
  2. Bornes exactes pour les théories à 32 supercharges : Pour les théories maximalement supersymétriques en dimensions 3-9, les auteurs donnent les bornes exactes pour l'ordre premier maximal ZpZ_p et le groupe cyclique d'ordre maximal ZNZ_N (voir tableau 1), avec toutes les bornes réalisables dans les constructions de théorie des cordes.
  3. Amélioration des bornes pour les théories à 16 supercharges : Bien que les bornes puissent ne pas être exactes, des bornes supérieures basées sur des constructions quasi-cristallines sont fournies.
  4. Amélioration significative des contraintes pour les théories à 8 supercharges :
    • Amélioration de la borne de supergravité sur le rang du groupe de jauge
    • Preuve d'une nouvelle borne sur le nombre de multiplets supersymétriques neutres : H0492H_0 \leq 492 (amélioration de la borne précédente de 1064)
    • Établissement des bornes Zp=Z23Z_p = Z_{23}, ZN=Z1260Z_N = Z_{1260} dans le secteur des multiplets tensoriels
  5. Identification des points de symétrie : Pour de nombreux cas, identification des points spéciaux de l'espace des modules réalisant ces symétries discrètes maximales.

Explication Détaillée de la Méthode

Définition de la Tâche

Entrée : Théorie de supergravité donnée en dimension DD avec NN supercharges

Sortie :

  1. Borne supérieure sur l'ordre premier maximal du groupe cyclique ZpZ_p
  2. Borne supérieure sur l'ordre maximal du groupe cyclique ZNZ_N
  3. Points spéciaux de l'espace des modules réalisant ces symétries

Conditions de contrainte :

  • La symétrie doit agir sur les champs de modules sans masse
  • La symétrie doit satisfaire les conditions de quantification des charges des états BPS
  • La symétrie ne peut pas être un sous-groupe d'une symétrie de jauge continue (comme le groupe de Weyl)

Cadre Mathématique Principal

1. Méthode des Polynômes Cyclotomiques

Définition des polynômes cyclotomiques : Φm(x)=0<r<mgcd(r,m)=1(xξr)=xφ(m)+aφ(m)1xφ(m)1++a1x+a0\Phi_m(x) = \prod_{\substack{0<r<m \\ \gcd(r,m)=1}} (x - \xi^r) = x^{\varphi(m)} + a_{\varphi(m)-1}x^{\varphi(m)-1} + \cdots + a_1 x + a_0

ξ=e2πi/m\xi = e^{2\pi i/m} et φ(m)\varphi(m) est la fonction d'Euler.

Construction de la matrice compagne :

undefined