In a 1985 letter, Salam and Sezgin coupled d=8d=8, N=1N=1 supergravity (sixteen supercharges) to nn vector multiplets whose 2n2n scalars parametrize the Kähler coset SO(n,2)/(SO(n)×SO(2))SO(n,2)/(SO(n)\times SO(2)), gauged an SO(1,2)×HSO(1,2)\times H subgroup with H⊂SO(n−1)H\subset SO(n-1), and showed that a monopole configuration embedded in SO(1,2)SO(1,2) compactifies the theory on (Minkowski)6×S2(\mathrm{Minkowski})_6\times S^2 with the monopole charge fixed to ±1\pm1, implying what the abstract calls a stable, chiral N=2N=2 supergravity in d=6d=6 — in modern notation a (2,0)(2,0) 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 U(1)U(1) 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 SO(1,2)×HSO(1,2)\times H 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 l∈{2,10,18}l\in\{2,10,18\} 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 d=8d=8 spacetime dimensions the minimal (N=1N=1) 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 BμνB_{\mu\nu}. Coupling nn vector multiplets — each supplying a vector, a chiral gaugino and two real scalars — adds 2n2n real scalars which parametrize the coset manifold SO(n,2)/(SO(n)×SO(2))SO(n,2)/(SO(n)\times SO(2)), the dilaton remaining a separate real scalar of the gravity multiplet; a coset G/HG/H is the space of ways of embedding the subgroup HH in the group GG, here a Kähler manifold (a complex manifold with a compatible notion of integration), because the 2n2n real scalars combine into nn complex scalars. Gauging means promoting a subgroup of the global symmetry SO(n,2)SO(n,2) to a local symmetry, using the n+2n+2 available vector fields as gauge bosons. Salam and Sezgin gauged a subgroup SO(1,2)×HSO(1,2)\times H with H⊂SO(n−1)H\subset SO(n-1) and dim⁡H=n−1\dim H=n-1; the non-compact SO(1,2)SO(1,2) generators act nonlinearly, giving combinations of the vectors a mass and generating a scalar potential of the form −e−σCaCa-e^{-\sigma}C^aC^a. The denominator factor SO(2)≃U(1)SO(2)\simeq U(1) of the coset acts on the chiral fermions through a composite connection QμQ_\mu built from the scalar fields (the Kähler connection): the fermions are inert under the global SO(n,2)SO(n,2) but charged under this composite chiral U(1)U(1), 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 DD dimensions the anomaly is encoded in a (D+2)(D+2)-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 U(1)U(1) of minimal d=8d=8 supergravity the relevant polynomial is I10=(FQ/2π)∧X8(R,F)I_{10}=(F^Q/2\pi)\wedge X_8(R,F), where FQF^Q is the curvature of the composite connection and X8X_8 is built from the Riemann curvature RR and the gauge field strengths FF. Salam and Sezgin then embedded a Dirac monopole in the compact U(1)U(1) inside the gauged SO(1,2)SO(1,2) and compactified on a two-sphere: the field equations fix the monopole charge to ±1\pm1, and the Killing-spinor projection (ν+γ7)ϵ=0(\nu+\gamma_7)\epsilon=0 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 (Minkowski)6×S2(\mathrm{Minkowski})_6\times S^2 preserving N=2N=2 chiral supersymmetry in d=6d=6 — in modern notation the (2,0)(2,0) 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 d=6d=6 compactified on Minkowski4×S2\mathrm{Minkowski}_4\times S^2, which is the object called the 'Salam–Sezgin model' in the modern brane-world literature), and the maximal D=8D=8 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 d=8d=8 supergravities are by now strongly constrained — string constructions give l=18l=18 (heterotic or type I on T2T^2), l=10l=10 (the CHL string, an asymmetric Z2\mathbb{Z}_2 orbifold of the heterotic string), and l=2l=2 (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 ll of vector multiplets, with l∈{2,10,18}l\in\{2,10,18\} under the standard rank constraints. The composite-U(1)U(1) 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 SO(1,2)×HSO(1,2)\times H-gauged d=8d=8, N=1N=1 supergravity coupled to nn 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 SO(1,2)×HSO(1,2)\times H, and the composite chiral U(1)U(1) Kähler connection of the coset SO(n,2)/(SO(n)×SO(2))SO(n,2)/(SO(n)\times SO(2)), 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 nn or constraints on the gauge group HH). (2) General gaugings and models: construct the general gaugings of d=8d=8, N=1N=1 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 d=6d=6, N=2N=2 (modern (2,0)(2,0)) supergravity produced by the Minkowski6×S2\mathrm{Minkowski}_6\times S^2 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 l∈{2,10,18}l\in\{2,10,18\} vector multiplets.

References

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. W. Taylor, "TASI lectures on supergravity and string vacua in various dimensions", arXiv:1104.2051 [hep-th] (2011). https://arxiv.org/abs/1104.2051
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. E. Sezgin, "Survey of supergravities", arXiv:2312.06754 [hep-th] (2023). https://arxiv.org/abs/2312.06754
  21. 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