Validation of the M4 x S6 and M4 x G2/SU(3) vacua of ten-dimensional N=1 supergravity-Yang-Mills with an added scalar potential: chiral fermion zero modes, tachyonic stability, and explicit solutions

In 1983 Randjbar-Daemi, Salam and Strathdee showed that ten-dimensional N=1 supergravity coupled to Yang-Mills (the Chapline-Manton theory) admits four-dimensional Poincare-invariant vacua M4 x S6 (= SO(7)/SO(6)) and M4 x G2/SU(3) only after adding a scalar potential term V(phi) to the Lagrangian, which evades the obstruction that, for a constant dilaton, the unmodified scalar equation forces all internal fluxes to vanish; in the S6 case the potential must obey the scaling relation $\partial\ln V/\partial\ln\phi = 3/4$. The construction was left physically unvalidated: the fermionic zero-mode spectrum and its chirality were not analyzed, the linearized stability was not established (tachyonic modes being suspected by analogy with the authors' M4 x S2 Yang-Mills instability results), the closed-form solution coefficients for the G2/SU(3) case were not presented, and the dynamical origin of V(phi) was left unresolved. The subsequent literature has developed along neighboring lines: coset-space dimensional reduction of pure Yang-Mills matter over the same cosets, compactifications of the anomaly-free ten-dimensional supergravities and heterotic reductions on coset spaces, and the modern nearly-Kahler flux literature, which constructs explicit AdS4 (not Minkowski) vacua on the same cosets and analyzes their stability in type II theories. No published work is known to resolve the open facets for this exact setting, so the problem - deciding whether these non-supersymmetric Minkowski flux vacua support chiral four-dimensional fermions and are stable - remains open.

Background

Kaluza-Klein (KK) theory attempts to derive four-dimensional gauge fields and matter from higher-dimensional gravity by assuming that spacetime factorizes as four-dimensional spacetime times a compact 'internal' manifold, whose isometry group (its group of distance-preserving symmetries) becomes an effective gauge symmetry. A fundamental obstruction, emphasized by Witten in 1981, is chirality, the left-right asymmetry of the massless fermion spectrum: zero modes (massless fields) of ordinary Dirac fermions on a generic internal space come in vector-like, left-right-paired combinations, so a chiral four-dimensional spectrum requires additional structure such as gauge flux with non-trivial topology. Randjbar-Daemi, Salam and Strathdee (RSS) had demonstrated both sides of this issue in six dimensions: with a monopole background on S2, compactified six-dimensional Einstein-Maxwell theory yields chiral four-dimensional fermionic couplings and is classically stable, whereas their companion paper showed that pure Yang-Mills systems on M4 x S2 suffer tachyonic excitations, that is, fluctuation modes of negative mass squared signaling classical instability.

The source paper, Randjbar-Daemi, Salam and Strathdee (1983, ref. 1), concerns ten-dimensional N=1 supergravity (the minimal supersymmetric extension of gravity in ten dimensions, with a single supersymmetry) coupled to Yang-Mills theory, constructed by Chapline and Manton. Its bosonic sector contains the metric, a scalar dilaton $\phi$ (the scalar field tied to the gauge coupling), the Yang-Mills field strength $F_{AB}$ with coupling $g$, and a three-form field strength $F_{ABC}$ (the field strength of a two-form gauge potential) obeying the modified Bianchi identity $dF_3 = (\kappa/\sqrt{2})\,\mathrm{tr}(F_2\wedge F_2)$, where $\kappa$ is the gravitational coupling and $e$ denotes the vielbein determinant (the volume factor of the local orthonormal frame); the fermions - the gravitino (the graviton's spin-3/2 supersymmetric partner), the dilatino (the dilaton's spin-1/2 supersymmetric partner) and the gauginos (the Yang-Mills partners) - are Majorana-Weyl spinors, that is, spinors obeying both a Majorana reality condition and a Weyl single-handedness condition, two conditions that are compatible in ten dimensions; they transform in the adjoint representation of the Yang-Mills group. The unmodified bosonic Lagrangian is $e\left[-\frac{1}{2\kappa^2}R - \frac{3}{4}\phi^{-3/2}F_{ABC}^2 - \frac{9}{16\kappa^2}(\nabla\phi/\phi)^2 - \frac{1}{4}\phi^{-3/4}F_{AB}^2\right]$.

RSS searched for Poincare-invariant vacua of the form M4 x B6 with B6 a compact homogeneous space - a coset G/H, the quotient of a Lie group G by a closed subgroup H, on which G acts transitively - and constant $\phi$, using the homogeneous gauge-field ansatz earlier introduced by Randjbar-Daemi and Percacci (a gauge background invariant under the coset symmetries up to compensating gauge transformations). Variation with respect to $\phi$ at constant $\phi$ gives

$$0 = \tfrac{9}{8}\,\phi^{-5/2}\,F_{ABC}F^{ABC} + \tfrac{3}{16}\,\phi^{-7/4}\,F_{AB}F^{AB},$$

whose right-hand side is a sum of non-negative flux-square terms, so the unmodified classical theory admits no non-trivial G-invariant compactification with constant dilaton: all internal fluxes must vanish. RSS therefore added a potential term $-e\,V(\phi)$ to the Lagrangian, which breaks supersymmetry and balances the flux terms. Two internal spaces are examined here. First, the round six-sphere $S^6 = \mathrm{SO}(7)/\mathrm{SO}(6)$ with an SO(6)-embedded homogeneous Yang-Mills instanton (a self-dual-type gauge configuration on the internal space) and vanishing three-form flux: the equations fix the radius and dilaton through $a^2 = (\kappa^2/2g^2)\,\phi^{-3/4}$ and $V(\phi) = (15g^2/\kappa^4)\,\phi^{3/4}$, together with the scaling constraint

$$\frac{\partial \ln V}{\partial \ln \phi} = \tfrac{3}{4}.$$

Second, the coset G2/SU(3), where G2 is the fourteen-dimensional exceptional Lie group: although diffeomorphic to S6, this homogeneous space carries an invariant three-form (it is the prototype of a six-dimensional nearly-Kahler (in modern spelling nearly-Kähler) manifold, an almost-Hermitian space whose SU(3) structure has a single non-vanishing torsion class), so $F_3$ can be non-zero with amplitude $C$ fixed by the Bianchi identity, of order $\kappa/g^2$; the internal scale and the scalar expectation value are then determined implicitly by the Einstein and scalar equations with fluxes inserted, and their explicit closed form was not presented. The candidate spaces CP2 x S2 and CP3 are excluded: they admit no invariant three-form, so $F_3 = 0$, while the homogeneous Yang-Mills ansatz has non-vanishing Pontryagin density $\mathrm{tr}(F_2\wedge F_2)$ (the second Chern class density of the gauge field), contradicting the Bianchi identity. Global spin-structure constraints add a separate restriction for supergravity: the gravitino, unlike an ordinary Dirac fermion, requires a globally defined spin structure on the internal manifold. A spin structure is the topological datum whose existence is measured by the second Stiefel-Whitney class (the obstruction cohomology class whose vanishing is necessary and sufficient for spinors to be globally definable); Dirac fermions can sometimes be accommodated on the weaker Spin^c structures (a generalization of a spin structure in which the spinor's U(1) phase ambiguity is absorbed by a gauge connection), but these do not suffice for the gravitino. The residual symmetries of the two admissible vacua are the internal isometry groups, O(7) for S6 and G2 for G2/SU(3), with effective four-dimensional gauge couplings of order $\kappa/a$; these isometry groups are distinct from the unbroken subgroup of the ten-dimensional Yang-Mills group (the centralizer of the embedded isotropy subgroup), which is the residual gauge group whose fermion representations part (a) asks about. The ten-dimensional Yang-Mills group must contain the corresponding embedded subgroup, and the source contemplated large groups such as E8 to house complex fermion representations.

Problem Statement

Determine whether the two admissible vacua M4 x S6 (S6 = SO(7)/SO(6)) and M4 x G2/SU(3) of ten-dimensional N=1 supergravity plus Yang-Mills theory (the Chapline-Manton theory) supplemented by the potential term $-e\,V(\phi)$ are physically viable chiral four-dimensional vacua, by completing all of the following linked parts:

(a) Fermion zero modes. Compute the zero-mode spectrum (the massless four-dimensional fields) of the ten-dimensional Majorana-Weyl fermions (gravitino, dilatino, gauginos) about each vacuum, including the effect of the non-vanishing three-form flux on G2/SU(3), and determine whether chiral four-dimensional fermions in complex representations of a phenomenologically relevant residual gauge group - the unbroken subgroup of the ten-dimensional Yang-Mills group that commutes with the embedded isotropy subgroup, which is distinct from the internal isometry group (O(7) for S6, G2 for G2/SU(3)) (for example one containing $SU(3)\times SU(2)\times U(1)$, the gauge group of the standard model of particle physics) - arise, for admissible gauge-group embeddings - embeddings of the internal isotropy subgroup SO(6), respectively SU(3), into the ten-dimensional Yang-Mills group such that the homogeneous gauge background on the coset is well defined (the Yang-Mills group must contain the embedded subgroup, possibly with a commuting compensator subgroup) - including large groups such as E8.

(b) Stability. Determine the full linearized stability of each vacuum: diagonalize the quadratic fluctuation equations for the coupled metric, dilaton, Yang-Mills and three-form modes around each background and decide whether tachyonic modes occur, in analogy with (and contrast to) the known M4 x S2 Yang-Mills instabilities.

(c) Explicit G2/SU(3) solution. Solve the coupled Einstein, scalar and Bianchi equations with the fluxes inserted, in closed form for the G2/SU(3) case, fixing the internal scale $a$, the scalar expectation value $\phi$ and the flux normalization $C$, and determine the corresponding required potential $V(\phi)$ and its scaling consistency.

(d) The potential. Establish what fixes $V(\phi)$ - in the S6 case it must satisfy $\partial\ln V/\partial\ln\phi = 3/4$ - and whether such a term can be generated within the ten-dimensional theory or must remain an external supersymmetry-breaking input.

(e) Admissible geometry. Among compact homogeneous six-manifolds G/H that admit the Randjbar-Daemi-Percacci gauge background, settle the global spin-structure constraints (the requirement that the supergravity fermions, in particular the gravitino, be globally definable) and, combining them with the flux-consistency conditions, complete the list of internal spaces admissible once the supergravity fermions are included, deciding for each candidate space whether the spin-structure and flux-consistency conditions admit or exclude it.

Parts (a)-(e) share one scientific objective - the validation of the 1983 construction - and each is load-bearing: a chiral spectrum, the absence of tachyons, an explicit consistent solution, a consistent potential, and an admissible internal geometry are jointly necessary for these vacua to qualify as viable unified vacua. Because the five parts are jointly necessary, a well-founded negative result on any single one - for example a tachyon in the fluctuation spectrum, or a no-go theorem for chiral zero modes - already refutes the construction.

References

1. S. Randjbar-Daemi, Abdus Salam and J. Strathdee, 'Compactification of supergravity plus Yang-Mills in ten dimensions', Phys. Lett. B 124 (1983) 349-352. DOI: 10.1016/0370-2693(83)91470-3. https://doi.org/10.1016/0370-2693(83)91470-3
2. S. Randjbar-Daemi, Abdus Salam and J. Strathdee, 'Instability of higher dimensional Yang-Mills systems', Phys. Lett. B 124 (1983) 345-348. DOI: 10.1016/0370-2693(83)91469-7. https://doi.org/10.1016/0370-2693(83)91469-7 (companion paper; tachyonic instabilities of M4 x S2 Yang-Mills systems.)
3. G. F. Chapline and N. S. Manton, 'Unification of Yang-Mills theory and supergravity in ten dimensions', Phys. Lett. B 120 (1983) 105-109. DOI: 10.1016/0370-2693(83)90633-0. https://doi.org/10.1016/0370-2693(83)90633-0 (the underlying ten-dimensional N=1 supergravity-Yang-Mills theory.)
4. S. Randjbar-Daemi and R. Percacci, 'Spontaneous compactification of a (4+d)-dimensional Kaluza-Klein theory into M4 x G/H for symmetric G/H', Phys. Lett. B 117 (1982) 41-44. DOI: 10.1016/0370-2693(82)90869-3. https://doi.org/10.1016/0370-2693(82)90869-3 (homogeneous gauge-field ansatz on cosets.)
5. S. Randjbar-Daemi, Abdus Salam and J. Strathdee, 'Spontaneous compactification in six-dimensional Einstein-Maxwell theory', Nucl. Phys. B 214 (1983) 491-512. DOI: 10.1016/0550-3213(83)90247-X. https://doi.org/10.1016/0550-3213(83)90247-X (monopole compactification with chiral fermions on S2.)
6. Edward Witten, 'Search for a realistic Kaluza-Klein theory', Nucl. Phys. B 186 (1981) 412-428. DOI: 10.1016/0550-3213(81)90021-3. https://doi.org/10.1016/0550-3213(81)90021-3 (the chirality obstruction for Kaluza-Klein zero modes.)
7. Mehmet Koca, 'Dimensional reduction of exceptional E6, E8 gauge groups and flavour chirality', Phys. Lett. B 141 (1984) 400-402. DOI: 10.1016/0370-2693(84)90271-5. https://doi.org/10.1016/0370-2693(84)90271-5 (coset-space dimensional reduction of E6/E8 Yang-Mills over the same cosets, including G2/SU(3); pure Yang-Mills matter in the coset reduction, without the supergravity fermions or the added potential, so it does not by itself give the zero-mode spectrum of part (a).)
8. Satoshi Watamura, 'Spontaneous compactification and CPN: SU(3) × SU(2) × U(1), sin2θW, g3/g2 and SU(3)-triplet chiral fermions in four dimensions', Phys. Lett. B 136 (1984) 245-250. DOI: 10.1016/0370-2693(84)91155-9. https://doi.org/10.1016/0370-2693(84)91155-9 (chiral fermions on CP1 x CP2 via Spin^c structures; a different theory and internal geometry, without the supergravity fermion sector.)
9. David Bailin and Alex Love, 'Compactifications of anomaly-free ten-dimensional supergravity', Phys. Lett. B 157 (1985) 375-378. DOI: 10.1016/0370-2693(85)90383-1. https://doi.org/10.1016/0370-2693(85)90383-1
10. S. Randjbar-Daemi, 'Spontaneous compactification and fermion chirality', in: Lecture Notes in Mathematics 1139 (1985) 199-213. DOI: 10.1007/BFb0074585. https://doi.org/10.1007/BFb0074585
11. S. Randjbar-Daemi, Abdus Salam and J. Strathdee, 'Chiral families and stable compactifications', ICTP internal report IC/84-62 (1984). https://inspirehep.net/literature/210779 (unpublished internal report.)
12. G. F. Chapline, 'Spontaneous compactification in ten dimensions and almost complex structures', Class. Quantum Grav. 3 (1986) L35-L39. DOI: 10.1088/0264-9381/3/2/006. https://doi.org/10.1088/0264-9381/3/2/006
13. Fernando Quevedo, 'Compactification of chiral N=2, D=10 supergravity', Phys. Lett. B 173 (1986) 145-148. DOI: 10.1016/0370-2693(86)90235-2. https://doi.org/10.1016/0370-2693(86)90235-2
14. O. Foda and J. A. Helayel-Neto, 'A coset space compactification of the field theory limit of a heterotic string', Class. Quantum Grav. 3 (1986) 607-615. DOI: 10.1088/0264-9381/3/4/015. https://doi.org/10.1088/0264-9381/3/4/015
15. F. Müller-Hoissen and R. Stückl, 'Coset spaces and ten-dimensional unified theories', Class. Quantum Grav. 5 (1988) 27-54. DOI: 10.1088/0264-9381/5/1/011. https://doi.org/10.1088/0264-9381/5/1/011
16. B. P. Dolan, D. C. Dunbar and A. B. Henriques, 'Compactification on non-symmetric six dimensional coset spaces with torsion', Z. Phys. C 40 (1988) 259-272. DOI: 10.1007/BF01555888. https://doi.org/10.1007/BF01555888
17. D. Bailin and A. Love, 'Kaluza-Klein theories', Rep. Prog. Phys. 50 (1987) 1087-1170. DOI: 10.1088/0034-4885/50/9/001. https://doi.org/10.1088/0034-4885/50/9/001
18. M. J. Duff, B. E. W. Nilsson and C. N. Pope, 'Kaluza-Klein supergravity', Phys. Rep. 130 (1986) 1-142. DOI: 10.1016/0370-1573(86)90163-8. https://doi.org/10.1016/0370-1573(86)90163-8 (the authoritative review of the Kaluza-Klein supergravity program.)
19. D. V. Vasilevich, 'Compactification of ten-dimensional Kaluza-Klein model and superstring', Theor. Math. Phys. 72 (1987) 742-747. DOI: 10.1007/BF01035700. https://doi.org/10.1007/BF01035700
20. A. Chatzistavrakidis, P. Manousselis and G. Zoupanos, 'Reducing the heterotic supergravity on nearly-Kähler coset spaces', Fortschr. Phys. 57 (2009) 527-534. arXiv:0811.2182. DOI: 10.1002/prop.200900012. https://arxiv.org/abs/0811.2182
21. A. Chatzistavrakidis and G. Zoupanos, 'Dimensional reduction of the heterotic string over nearly-Kähler manifolds', J. High Energy Phys. 0909 (2009) 077. arXiv:0905.2398. DOI: 10.1088/1126-6708/2009/09/077. https://arxiv.org/abs/0905.2398
22. O. Lechtenfeld, C. Nölle and A. D. Popov, 'Heterotic compactifications on nearly Kähler manifolds', J. High Energy Phys. 1009 (2010) 074. arXiv:1007.0236. DOI: 10.1007/JHEP09(2010)074. https://arxiv.org/abs/1007.0236
23. G. Manolakos, G. Patellis and G. Zoupanos, 'Classification of the vacua of the dimensionally reduced low-energy limit of the heterotic string over nearly-Kähler manifolds', arXiv:2211.13836 (2022). https://arxiv.org/abs/2211.13836
24. R. Terrisse and D. Tsimpis, 'Consistent truncation with dilatino condensation on nearly Kähler and Calabi-Yau manifolds', J. High Energy Phys. 1902 (2019) 088. arXiv:1810.06344. DOI: 10.1007/JHEP02(2019)088. https://arxiv.org/abs/1810.06344
25. P. Bomans, D. Cassani, G. Dibitetto and Nicolò Petri, 'Bubble instabilities of mIIA on AdS4 x S6', SciPost Phys. 12 (2022) 099. arXiv:2110.08276. DOI: 10.21468/SciPostPhys.12.3.099. https://arxiv.org/abs/2110.08276 (massive IIA on AdS4 x S6: SO(7)-invariant vacuum perturbatively unstable, G2-invariant one Kaluza-Klein stable but non-perturbatively unstable; published title uses the abbreviation mIIA.)
26. P. Chingangbam, H. Kihara and M. Nitta, 'Gauge symmetry breaking in ten-dimensional Yang-Mills theory dynamically compactified on S6', Phys. Rev. D 81 (2010) 085008. DOI: 10.1103/PhysRevD.81.085008. https://doi.org/10.1103/PhysRevD.81.085008 (fluctuation analysis of pure ten-dimensional Yang-Mills theory with a higher-derivative coupling on S6; a neighbor of the stability facet, not the supergravity vacua.)
27. Edward J. Shaya, 'Three chiral families from a monopole product over S2 x CP2', arXiv:2609.02907 (2026). https://arxiv.org/abs/2609.02907 (unrefereed preprint; its chirality claim over S2 x CP2 cannot be relied on for these vacua.)