Viability of self-consistent dimensional reduction: completing the Candelas-Weinberg radiative compactification program

In (4+N)-dimensional gravity coupled to many massless matter species, Candelas and Weinberg (1984) showed that the one-loop Casimir energy of the matter fields can self-consistently fix the radius rho of a compact internal sphere, induce four-dimensional Einstein-Hilbert and Yang-Mills kinetic terms, and thereby predict the gauge coupling g and Newton constant G in terms of spectral coefficients; viable solutions (positive potential, positive couplings) arise only for N = 3 + 4k and require extremely large species numbers to make g and 8piG/rho^2 small. The authors explicitly left open whether the mechanism survives when the Kaluza-Klein towers of the metric itself (massive spin-2, spin-1, spin-0 modes) are included, whether the compactification is stable against non-uniform (squashing) deformations, whether subleading loops with large numerical prefactors can flip signs, what the real-time dynamics of the thermal decompactification transition is, how the couplings are matched to laboratory energies, and whether any realistic spectrum realizes the large-species limit. The subsequent literature shows that the one-loop radius prediction is gauge-dependent (requiring the Vilkovisky-DeWitt effective action); in five dimensions the gauge-independent one-loop effective action admits no acceptable self-consistent solution; the pure-gravity Casimir energy on spheres is unstable or complex; scalar quantum effects destabilize the round sphere against squashing; and finite-temperature effects destabilize the compactification. These partially negative results qualify but do not close the question: no complete, gauge-independent, one-loop treatment of the full matter-plus-metric system on the viable odd-dimensional spheres exists, deformation stability for fermion-dominated content is unmapped, and the effective-field-theory consistency of the required large species number is unsettled. The problem is to determine whether any fully viable realization of the Candelas-Weinberg mechanism exists, or to establish that none does.

Background

Kaluza-Klein theory unifies gauge fields and gravity by postulating that spacetime has 4+N dimensions, of which N spatial dimensions form a compact internal manifold K of radius rho; the isometry group of K (the group of its continuous symmetry transformations) then appears in four dimensions as a gauge symmetry - the round sphere $S^N$, for example, has isometry group $O(N+1)$. In purely classical compactifications the overall size of K is a free integration constant, so neither the circumference of the internal space nor the induced four-dimensional couplings are predicted.

A candidate dynamical origin for the size of K is the Casimir energy: the zero-point energy of quantized fields, computed as the one-loop effective potential $V(\rho)$, which depends on the radius through the eigenvalue spectrum of the Laplacian and Dirac operators on K. Appelquist and Chodos first evaluated this potential for a five-dimensional theory with one circular compact dimension and found it ultraviolet-divergent and destabilizing; Appelquist, Chodos and Myers showed that such quantum corrections generically destabilize classical toroidal dimensional reduction.

Candelas and Weinberg identified the situation in which the program can be carried through. For a compact space of odd dimension N, massless matter fields generate a finite, scale-invariant one-loop potential (odd N is special because the conformal anomaly - the quantum breaking of classical scale invariance - vanishes for these spectra in dimensional regularization),

$$V(\rho)=\frac{C_N}{\rho^4},$$

where $C_N=b\,C_N^{(0)}+f\,C_N^{(1/2)}$ is a weighted sum over $b$ real scalar species and $f$ Dirac fermion species of spectral zeta-function coefficients of the internal operators. For one-parameter homogeneous internal spaces - spaces whose symmetry forces any invariant metric to be proportional to a single constant (spheres, complex projective spaces, simple group manifolds) - the (4+N)-dimensional Einstein equations reduce to an algebraic condition fixing $\rho$ in terms of $C_N$ and the higher-dimensional gravitational constant. The same quantum loops induce four-dimensional Yang-Mills and Einstein-Hilbert kinetic terms, with coefficients $D_N$ (gauge) and $E_N$ (gravity), so that the physical gauge coupling and Newton constant are predicted rather than free parameters. In the notation of the paper, per species type $j$ (scalars or Dirac fermions),

$$g^2=\Big[\sum_j n_j\,\gamma_N^{(j)}\Big]^{-1},\qquad \frac{\rho^2}{8\pi G}=\sum_j n_j\,\beta_N^{(j)},$$

with the combinations $\gamma_N^{(j)}=\frac{N+4}{N(N^2-1)}C_N^{(j)}+D_N^{(j)}$ and $\beta_N^{(j)}=\frac{N+4}{N(N-1)}C_N^{(j)}+2E_N^{(j)}$, and $n_j$ the number of species of type $j$. Solutions in which the potential, $g^2$ and $\rho^2/8\pi G$ are all positive - the positivity of the potential being the condition for stability against uniform dilations of the sphere - exist only for internal dimension $N=3+4k$, and the couplings are acceptably small only for extremely large species numbers $f$, with $\rho^2\sim fG$ so that multi-loop gravitational corrections are parametrically suppressed by $G/\rho^2\sim 1/f$.

The authors themselves enumerated what remains unsettled: (i) the towers of massive spin-2, spin-1 and spin-0 Kaluza-Klein excitations descending from the metric itself were not included in the numerical tables and may dominate the one-loop result; (ii) subleading effects with large numerical prefactors may qualitatively change signs and magnitudes; (iii) stability was established only against homogeneous uniform dilations, not against symmetry-breaking deformations of the internal manifold; (iv) the estimated critical temperature for thermal destabilization calls for a real-time treatment of the decompactification transition; (v) predicting couplings measured at laboratory energies requires a multi-step matching - compute the (4+N)-dimensional couplings renormalized at the scale $1/\rho$, integrate out the Kaluza-Klein tower, and run the four-dimensional couplings down with the renormalization group (RG, the evolution of couplings with energy scale) - which was not carried out; and (vi) it is unknown whether a physically realistic spectrum can realize the large-species limit at all.

Two later technical developments are needed to even pose the completion precisely. First, the ordinary one-loop effective potential of a gravitational theory depends on the gauge-fixing choice, so a completion must use the Vilkovisky-DeWitt effective action - a modified effective action whose value is independent of the choice of field parametrization and gauge condition. Second, the metric's Kaluza-Klein tower involves the Faddeev-Popov ghosts (the unphysical fermionic fields that enforce gauge fixing in loop calculations) and massive spin-2 modes whose spectra on the internal manifold enter the one-loop determinant.

Problem Statement

Determine whether the Candelas-Weinberg mechanism of self-consistent dimensional reduction admits at least one fully viable realization - or establish that none exists within controlled effective field theory.

A 'fully viable realization' means a $(4+N)$-dimensional gravitational theory (coupled to matter) compactified on a closed internal manifold - at minimum the odd spheres $S^{4k+3}$ on which matter-only solutions exist, and more generally any one-parameter homogeneous internal space or product thereof - that simultaneously satisfies the following linked conditions, which together express the single overarching objective that the size of the extra dimensions and the induced four-dimensional couplings be fixed by quantum effects in a controlled and stable way:

1. Radiative self-consistency including the metric sector: the compactification radius $\rho$, the induced four-dimensional Einstein-Hilbert term, and the induced Yang-Mills term are determined at one loop with both the matter Kaluza-Klein towers and the towers of massive spin-2, spin-1 and spin-0 modes descending from the metric itself included, and the result is gauge- and parametrization-independent.

2. Complete stability: the solution is a stable minimum of the effective potential not only against uniform dilations but against all homogeneous symmetry-breaking (squashing) deformations of the internal manifold, with positive-definite kinetic terms for the associated modulus fields, including the radion (the scalar field describing fluctuations of the internal volume).

3. Controlled hierarchy: the induced couplings $g^2$ and $8\pi G/\rho^2$ are small - the internal radius is parametrically larger than the higher-dimensional Planck length - with the loop expansion controlled (in the original scenario by $G/\rho^2\sim 1/f$ for $f$ matter species) and consistent with effective-field-theory validity at the required large species number, including the ultraviolet sensitivity of the tower sums.

4. Low-energy match: the four-dimensional couplings can be matched through the Kaluza-Klein threshold at the scale $1/\rho$ and evolved down to laboratory energies by renormalization-group running without uncontrolled large logarithms, and the thermal decompactification scale follows consistently from the same effective potential.

The answer should delimit the model space: which internal dimensions $N$, which field contents (scalar-to-fermion ratios, non-minimal curvature couplings), and which internal geometries admit such solutions. A rigorous no-go result under clearly stated assumptions and an explicit viable construction are both admissible answers.

References

1. P. Candelas and S. Weinberg, 'Calculation of gauge couplings and compact circumferences from self-consistent dimensional reduction', Nuclear Physics B 237 (1984) 397-441. DOI: 10.1016/0550-3213(84)90001-4, https://doi.org/10.1016/0550-3213(84)90001-4
2. T. Appelquist and A. Chodos, 'Quantum Effects in Kaluza-Klein Theories', Physical Review Letters 50 (1983) 141-145. DOI: 10.1103/PhysRevLett.50.141, https://doi.org/10.1103/PhysRevLett.50.141
3. T. Appelquist, A. Chodos and E. Myers, 'Quantum Instability of Dimensional Reduction', Physics Letters B 127 (1983) 51-54. DOI: 10.1016/0370-2693(83)91628-3, https://doi.org/10.1016/0370-2693(83)91628-3
4. K. Kikkawa, T. Kubota, S. Sawada and M. Yamasaki, 'Stability of self-consistent dimensional reduction', Physics Letters B 144 (1984) 365-369. DOI: 10.1016/0370-2693(84)91280-2, https://doi.org/10.1016/0370-2693(84)91280-2
5. K. Kikkawa, T. Kubota, S. Sawada and M. Yamasaki, 'Spontaneous compactification in generalized Candelas-Weinberg models', Nuclear Physics B 260 (1985) 429-455. DOI: 10.1016/0550-3213(85)90081-1, https://doi.org/10.1016/0550-3213(85)90081-1
6. D. Birmingham and S. Sen, 'The Candelas-Weinberg model for spaces $M^4\times S^{2N}$', Annals of Physics 172 (1986) 451-482. DOI: 10.1016/0003-4916(86)90190-9, https://doi.org/10.1016/0003-4916(86)90190-9
7. C. S. Lim, 'Spontaneous Gauge Symmetry Breaking in Higher Dimensional Theories', Physical Review D 31 (1985) 2507-2513. DOI: 10.1103/PhysRevD.31.2507, https://doi.org/10.1103/PhysRevD.31.2507
8. J. Okada, 'Symmetry breakings in the Kaluza-Klein theory', Classical and Quantum Gravity 3 (1986) 221-232. DOI: 10.1088/0264-9381/3/2/016, https://doi.org/10.1088/0264-9381/3/2/016
9. K. Shiraishi, 'On Instability of Squashed Spheres in the Kaluza-Klein Theory', Progress of Theoretical Physics 74 (1985) 832-841. DOI: 10.1143/PTP.74.832, arXiv:1406.5251, https://arxiv.org/abs/1406.5251
10. G. Kunstatter and H. P. Leivo, 'On the gauge-dependence of the one-loop effective potential in self-consistent dimensional reduction', Physics Letters B 166 (1986) 321-324. DOI: 10.1016/0370-2693(86)90808-7, https://doi.org/10.1016/0370-2693(86)90808-7
11. G. Kunstatter and H. P. Leivo, 'Gauge-dependence of self-consistent dimensional reduction', Nuclear Physics B 279 (1987) 641-658. DOI: 10.1016/0550-3213(87)90014-9, https://doi.org/10.1016/0550-3213(87)90014-9
12. N. K. Nielsen, 'Gauge dependence of effective potential and self-consistent dimensional reduction', Zeitschrift fuer Physik C 33 (1987) 579-582. DOI: 10.1007/BF01548271, https://doi.org/10.1007/BF01548271
13. S. R. Huggins and D. J. Toms, 'Self-consistent dimensional reduction in five-dimensional gravity', Physics Letters B 153 (1985) 247-250. DOI: 10.1016/0370-2693(85)90541-6, https://doi.org/10.1016/0370-2693(85)90541-6
14. S. R. Huggins, G. Kunstatter, H. P. Leivo and D. J. Toms, 'Unique effective action in five-dimensional Kaluza-Klein theory', Physical Review Letters 58 (1987) 296-298. DOI: 10.1103/PhysRevLett.58.296, https://doi.org/10.1103/PhysRevLett.58.296
15. S. Randjbar-Daemi and M. H. Sarmadi, 'Graviton induced compactification in the light cone gauge', Physics Letters B 151 (1985) 343-346. DOI: 10.1016/0370-2693(85)91651-X, https://doi.org/10.1016/0370-2693(85)91651-X
16. M. H. Sarmadi, 'Spontaneous compactification in quantum Kaluza-Klein theories', Nuclear Physics B 263 (1986) 187-206. DOI: 10.1016/0550-3213(86)90034-9, https://doi.org/10.1016/0550-3213(86)90034-9
17. A. Chodos and E. Myers, 'Gravitational Casimir energy in non-Abelian Kaluza-Klein theories', Physical Review D 31 (1985) 3064-3072. DOI: 10.1103/PhysRevD.31.3064, https://doi.org/10.1103/PhysRevD.31.3064
18. E. Myers, 'Gravitational Casimir energy in even dimensions', Physical Review D 33 (1986) 1563-1566. DOI: 10.1103/PhysRevD.33.1563, https://doi.org/10.1103/PhysRevD.33.1563
19. H. T. Cho and R. Kantowski, 'Vilkovisky-DeWitt effective action for Einstein gravity on Kaluza-Klein spacetimes $M^4\times S^N$', Physical Review D 62 (2000) 124003. DOI: 10.1103/PhysRevD.62.124003, arXiv:hep-th/0004082, https://arxiv.org/abs/hep-th/0004082
20. F. S. Accetta and E. W. Kolb, 'Finite Temperature Instability for Compactification', Physical Review D 34 (1986) 1798-1804. DOI: 10.1103/PhysRevD.34.1798, https://doi.org/10.1103/PhysRevD.34.1798
21. K. Maeda, 'Is the compactified vacuum semiclassically unstable?', Physics Letters B 186 (1987) 33-37. DOI: 10.1016/0370-2693(87)90508-9, https://doi.org/10.1016/0370-2693(87)90508-9
22. L. Amendola, E. W. Kolb, M. Litterio and F. Occhionero, 'Stability of Compactification During Inflation', Physical Review D 42 (1990) 1944-1949. DOI: 10.1103/PhysRevD.42.1944, https://doi.org/10.1103/PhysRevD.42.1944
23. S. K. Blau and E. I. Guendelman, 'Bubble dynamics and spontaneous compactification', Physical Review D 40 (1989) 1909-1918. DOI: 10.1103/PhysRevD.40.1909, https://doi.org/10.1103/PhysRevD.40.1909
24. F. S. Accetta, M. Gleiser, R. Holman and E. W. Kolb, 'Toward stable compactifications', Nuclear Physics B 276 (1986) 501-516. DOI: 10.1016/0550-3213(86)90062-3, https://doi.org/10.1016/0550-3213(86)90062-3
25. B. R. Greene and J. Levin, 'Dark Energy and Stabilization of Extra Dimensions', JHEP 0711 (2007) 096. DOI: 10.1088/1126-6708/2007/11/096, arXiv:0707.1062, https://arxiv.org/abs/0707.1062
26. I. G. Moss, 'Fermion stabilisation of extra dimensions and natural mass hierarchies', arXiv:1705.00958 (2017). https://arxiv.org/abs/1705.00958
27. C. P. Burgess and F. Quevedo, 'Perils of towers in the swamp: dark dimensions and the robustness of EFTs', JHEP 09 (2023) 159. DOI: 10.1007/JHEP09(2023)159, arXiv:2304.03902, https://arxiv.org/abs/2304.03902
28. A. Paul and S. Paban, 'Stress-Energy Tensor of a Scalar Field on a Product Spacetime with a Time-Dependent Compact Dimension', arXiv:2603.12444 (2026). https://arxiv.org/abs/2603.12444