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.
- Paper ID: 2511.09613
- Title: Bounds on Discrete Gauge Symmetries in Supergravity
- Authors: Zihni Kaan Baykara, Markus Dierigl, Hee-Cheol Kim, Cumrun Vafa, Kai Xu
- Institutions: Harvard University, CERN, POSTECH
- Classification: hep-th (High Energy Physics - Theory)
- Publication Date: November 12, 2025 (arXiv v1)
- Paper Number: CERN-TH-2025-233
- Paper Link: https://arxiv.org/abs/2511.09613
This paper establishes upper bounds on the order of enhanced discrete gauge symmetries acting on massless fields, which appear on submanifolds of the moduli space of supergravity theories. The authors focus on supersymmetric theories with 8 or more supercharges, obtaining exact upper bounds in certain cases that are realized by specific string theory constructions.
The central question addressed in this paper is: Do discrete gauge symmetries in quantum gravity theories (particularly supergravity) have bounded orders? If so, what are these bounds?
- Refinement of the Swampland Program: Recent work has shown that coupling gauge theories to gravity imposes numerous consistency conditions, formulated as a series of Swampland conjectures. However, most of these bounds focus on continuous gauge symmetries, leaving discrete symmetries systematically unstudied.
- Finiteness of the Quantum Gravity Landscape: If discrete symmetries were unbounded, this would introduce another infinity into the quantum gravity landscape, contradicting the spirit of the Swampland program. Proving their boundedness is crucial for understanding the finite structure of quantum gravity theories.
- Practical Application Value: Bounds on discrete symmetries appear frequently in other Swampland conjectures, such as sublattice index variants of the weak gravity conjecture, which require such bounds.
- Existing Swampland bounds primarily target continuous gauge symmetries, such as mass bounds for the lightest charged particle and rank bounds for non-abelian gauge factors
- Although discrete symmetries should be constrained in quantum gravity, they lack systematic study
- Even knowing they are bounded, finding good bounds is challenging due to complex dual group structures
The authors employ a core strategy utilizing dual group structures in supergravity theories:
- 32 supercharges: U-duality group GUD(Z)
- 16 supercharges: T-duality group SO(26−D,10−D;Z)
- 8 supercharges: Dual group in the tensor multiplet sector SO(1,T;Z)
The main contributions of this paper include:
- Establishment of a systematic bounding method: By realizing discrete gauge symmetries as subgroups of the integer general linear group GL(n;Z) acting on BPS state charge lattices, the authors establish universal upper bounds using cyclotomic polynomials and companion matrices.
- Exact bounds for 32-supercharge theories: For maximally supersymmetric theories in dimensions 3-9, exact bounds on the maximum prime order Zp and maximum order ZN cyclic subgroups are provided (see Table 1), with all bounds realizable in string theory constructions.
- Improved bounds for 16-supercharge theories: Although the bounds may not be exact, upper bounds based on quasicrystalline constructions are provided.
- Significant improvements to 8-supercharge constraints:
- Improved supergravity bounds on gauge group rank
- Proved new bounds on neutral hypermultiplet count: H0≤492 (improving the previous bound of 1064)
- Established bounds Zp=Z23, ZN=Z1260 in the tensor multiplet sector
- Identification of symmetric points: For many cases, special points in moduli space realizing these maximum discrete symmetries are identified.
Input: Supergravity theory in dimension D with N supercharges
Output:
- Upper bound on maximum prime order cyclic group Zp
- Upper bound on maximum order cyclic group ZN
- Special points in moduli space realizing these symmetries
Constraints:
- Symmetry must act on massless moduli fields
- Symmetry must respect BPS state charge quantization
- Symmetry cannot be a subgroup of continuous gauge symmetries (e.g., Weyl groups)
Cyclotomic Polynomial Definition:
Φm(x)=∏0<r<mgcd(r,m)=1(x−ξr)=xφ(m)+aφ(m)−1xφ(m)−1+⋯+a1x+a0
where ξ=e2πi/m and φ(m) is Euler's totient function.
Companion Matrix Construction:
undefined