In a 1985 letter, Salam and Sezgin coupled , supergravity (sixteen supercharges) to vector multiplets whose scalars parametrize the Kähler coset , gauged an subgroup with , and showed that a monopole configuration embedded in compactifies the theory on with the monopole charge fixed to , implying what the abstract calls a stable, chiral supergravity in — in modern notation a theory. Three interlinked issues raised by that construction still lack a dedicated treatment in the literature: the quantum consistency of the gauged eight-dimensional theory, namely the anomaly structure of its chiral fermions and of the composite chiral Kähler connection together with its mixings with the Lorentz and gauge symmetries, and whether a Green–Schwarz-type cancellation is available; the construction of general gaugings and explicit models beyond the particular gauging, which a 2023 survey by one of the original authors states remains to be worked out; and the precise identification of the chiral six-dimensional descendant together with a string/M-theory embedding of the eight-dimensional gauged theory. Modern work has built a powerful eight-dimensional anomaly machinery for the ungauged minimal theories with vector multiplets, and has identified the string origin of the related six-dimensional Salam–Sezgin model, but does not settle any of the three items for the eight-dimensional gauged theory. The problem remains open.
Background
Supergravity couples general relativity to supersymmetry, so that every bosonic field has a fermionic partner. In spacetime dimensions the minimal () supergravity carries sixteen real supercharges and contains the graviton, a chiral gravitino (the spin-3/2 fermionic superpartner of the graviton), two vector fields (the graviphotons), a chiral spin-1/2 fermion (the dilatino), a scalar (the dilaton), and a two-form antisymmetric tensor potential . Coupling vector multiplets — each supplying a vector, a chiral gaugino and two real scalars — adds real scalars which parametrize the coset manifold , the dilaton remaining a separate real scalar of the gravity multiplet; a coset is the space of ways of embedding the subgroup in the group , here a Kähler manifold (a complex manifold with a compatible notion of integration), because the real scalars combine into complex scalars. Gauging means promoting a subgroup of the global symmetry to a local symmetry, using the available vector fields as gauge bosons. Salam and Sezgin gauged a subgroup with and ; the non-compact generators act nonlinearly, giving combinations of the vectors a mass and generating a scalar potential of the form . The denominator factor of the coset acts on the chiral fermions through a composite connection built from the scalar fields (the Kähler connection): the fermions are inert under the global but charged under this composite chiral , so the theory contains chiral fermions coupled to both genuine and composite gauge fields. Chiral fermions generically produce anomalies: a symmetry that holds classically can fail under quantization because the fermion path-integral measure is not invariant; in dimensions the anomaly is encoded in a -form anomaly polynomial built from the curvatures of all connections that couple to the fermions. The Green–Schwarz (GS) mechanism cancels such anomalies through a form field whose own gauge variation absorbs the anomalous variation; for the composite of minimal supergravity the relevant polynomial is , where is the curvature of the composite connection and is built from the Riemann curvature and the gauge field strengths . Salam and Sezgin then embedded a Dirac monopole in the compact inside the gauged and compactified on a two-sphere: the field equations fix the monopole charge to , and the Killing-spinor projection leaves exactly two Majorana–Weyl spinors (spinors that are simultaneously real and of definite chirality) in six dimensions, i.e. sixteen supercharges of a single chirality. The compactification is thus to preserving chiral supersymmetry in — in modern notation the theory, whose gravity multiplet contains a chiral gravitino and a self-dual two-form. Two adjacent works must be distinguished from this 1985 letter: the 1984 six-dimensional Salam–Sezgin model (a gauged Einstein–Maxwell supergravity in compactified on , which is the object called the 'Salam–Sezgin model' in the modern brane-world literature), and the maximal supergravity with thirty-two supercharges, constructed by the same authors (Salam and Sezgin, Nucl. Phys. B 258 (1985) 284). The string and M-theory origin of the six-dimensional model was identified in 2003–04, but no analogous construction is known for the eight-dimensional gauged theory considered here. The modern context sharpens the question: the ungauged minimal supergravities are by now strongly constrained — string constructions give (heterotic or type I on ), (the CHL string, an asymmetric orbifold of the heterotic string), and (certain orbifolds) vector multiplets, and anomaly and rank arguments, together with cobordism constraints (conditions that the spacetime manifolds on which the theory can be defined be mutually boundable, as expected of a theory embeddable in quantum gravity), indicate that a consistent minimal eight-dimensional supergravity must have an even number of vector multiplets, with under the standard rank constraints. The composite- anomaly of these ungauged theories is cancelled by modular-invariant higher-derivative counterterms built from modular forms (automorphic functions transforming covariantly under the discrete duality group) of Borcherds-product type. This machinery covers the same scalar coset as the Salam–Sezgin letter but not its gauging, and the confrontation of the two has not been carried out.
Problem Statement
Settle the quantum consistency and completion of the -gauged , supergravity coupled to vector multiplets constructed by Salam and Sezgin (1985), and determine the fate of its monopole compactification. The problem comprises three jointly supporting parts, all raised by the 1985 construction. (1) Anomaly analysis: compute the anomaly structure of the gauged eight-dimensional theory — the local and global anomalies of its chiral fermion spectrum (gravitino, dilatino, gaugini) under Lorentz transformations, the gauged , and the composite chiral Kähler connection of the coset , including all mixed anomalies among these factors — and establish whether the theory is anomaly-free, and if not whether any cancellation mechanism is available, together with any resulting consistency restrictions (such as allowed values of or constraints on the gauge group ). (2) General gaugings and models: construct the general gaugings of , supergravity with vector multiplets, determining which gauge groups, vector mass spectra, and scalar potentials are consistent, and building explicit models, including the Salam–Sezgin gauging as a special case. (3) Descendant and embedding: identify precisely the chiral , (modern ) supergravity produced by the monopole compactification — its field content, interactions, and anomaly cancellation — and establish whether the eight-dimensional gauged theory admits a string/M-theory embedding, relating it where possible to the known eight-dimensional string landscape with vector multiplets.
References
- A. Salam and E. Sezgin, "d = 8 supergravity: Matter couplings, gauging and Minkowski compactification", Phys. Lett. B 154 (1985) 37–42. DOI: 10.1016/0370-2693(85)91563-1. https://doi.org/10.1016/0370-2693(85)91563-1
- A. Salam and E. Sezgin, "Chiral compactification on Minkowski × S² of N = 2 Einstein-Maxwell supergravity in six dimensions", Phys. Lett. B 147 (1984) 47–51. DOI: 10.1016/0370-2693(84)90589-6. https://doi.org/10.1016/0370-2693(84)90589-6
- A. Salam and E. Sezgin, "d=8 supergravity", Nucl. Phys. B 258 (1985) 284–304. DOI: 10.1016/0550-3213(85)90613-3. https://doi.org/10.1016/0550-3213(85)90613-3
- M. A. Awada and P. K. Townsend, "d = 8 Maxwell/Einstein supergravity", Phys. Lett. B 156 (1985) 51–54. DOI: 10.1016/0370-2693(85)91353-X. https://doi.org/10.1016/0370-2693(85)91353-X
- N. Marcus, "Composite anomalies in supergravity", Phys. Lett. B 157 (1985) 383–388. DOI: 10.1016/0370-2693(85)90385-5. https://doi.org/10.1016/0370-2693(85)90385-5
- H. Nishino and S. J. Gates, Jr., "Dual versions of higher dimensional supergravities and anomaly cancellations in lower dimensions", Nucl. Phys. B 268 (1986) 532–542. DOI: 10.1016/0550-3213(86)90258-0. https://doi.org/10.1016/0550-3213(86)90258-0
- M. B. Gaberdiel and M. B. Green, "An SL(2,Z) anomaly in IIB supergravity and its F-theory interpretation", JHEP 11 (1998) 026. arXiv:hep-th/9810153, DOI: 10.1088/1126-6708/1998/11/026. https://arxiv.org/abs/hep-th/9810153
- M. Cvetič, G. W. Gibbons and C. N. Pope, "A string and M-theory origin for the Salam–Sezgin model", Nucl. Phys. B 677 (2004) 164–180. arXiv:hep-th/0308026, DOI: 10.1016/j.nuclphysb.2003.10.016. https://arxiv.org/abs/hep-th/0308026
- G. W. Gibbons, R. Güven and C. N. Pope, "3-branes and uniqueness of the Salam–Sezgin vacuum", Phys. Lett. B 595 (2004) 498–504. arXiv:hep-th/0307238, DOI: 10.1016/j.physletb.2004.06.048. https://arxiv.org/abs/hep-th/0307238
- T. Dereli and N. T. Yılmaz, "Dualisation of the Salam–Sezgin D = 8 supergravity", Nucl. Phys. B 691 (2004) 223–232. arXiv:hep-th/0407004, DOI: 10.1016/j.nuclphysb.2004.05.004. https://arxiv.org/abs/hep-th/0407004
- A. Kehagias and C. Mattheopoulou, "Scalar-induced compactifications in higher dimensional supergravities", JHEP 08 (2005) 106. arXiv:hep-th/0507010, DOI: 10.1088/1126-6708/2005/08/106. https://arxiv.org/abs/hep-th/0507010
- C. N. Pope, T. G. Pugh and K. S. Stelle, "Chiral reductions in the Salam–Sezgin model", JHEP 02 (2012) 098. arXiv:1108.6011, DOI: 10.1007/JHEP02(2012)098. https://arxiv.org/abs/1108.6011
- W. Taylor, "TASI lectures on supergravity and string vacua in various dimensions", arXiv:1104.2051 [hep-th] (2011). https://arxiv.org/abs/1104.2051
- W. H. Baron, J. J. Fernandez-Melgarejo, D. Marques and C. Nunez, "The odd story of α'-corrections", JHEP 04 (2017) 078. arXiv:1702.05489 [hep-th], DOI: 10.1007/JHEP04(2017)078. https://arxiv.org/abs/1702.05489
- R. Minasian, S. Sasmal and R. Savelli, "Discrete anomalies in supergravity and consistency of string backgrounds", JHEP 02 (2017) 025. arXiv:1611.09575 [hep-th], DOI: 10.1007/JHEP02(2017)025. https://arxiv.org/abs/1611.09575
- M. Cvetič, M. Dierigl, L. Lin and H. Y. Zhang, "String universality and non-simply-connected gauge groups in 8d", Phys. Rev. Lett. 125 (2020) 211602. arXiv:2008.10605 [hep-th], DOI: 10.1103/PhysRevLett.125.211602. https://arxiv.org/abs/2008.10605
- M. Montero and C. Vafa, "Cobordism conjecture, anomalies, and the String Lamppost Principle", JHEP 01 (2021) 063. arXiv:2008.11729 [hep-th], DOI: 10.1007/JHEP01(2021)063. https://arxiv.org/abs/2008.11729
- Y. Lee and K. Yonekura, "Global anomalies in 8d supergravity", JHEP 07 (2022) 125. arXiv:2203.12631 [hep-th], DOI: 10.1007/JHEP07(2022)125. https://arxiv.org/abs/2203.12631
- B.-X. Lao and R. Minasian, "Consistency of eight-dimensional supergravities: anomalies, lattices and counterterms", JHEP 06 (2024) 064. arXiv:2306.07766 [hep-th], DOI: 10.1007/JHEP06(2024)064. https://arxiv.org/abs/2306.07766
- E. Sezgin, "Survey of supergravities", arXiv:2312.06754 [hep-th] (2023). https://arxiv.org/abs/2312.06754
- G. Bossard, B. Lao and R. Minasian, "Uniqueness of D = 8 minimal supergravity with two vector multiplets", arXiv:2605.19002 [hep-th] (2026). https://arxiv.org/abs/2605.19002