Kaluza–Klein Spectra and Moduli

Kaluza–Klein reduction turns momentum on a compact space into lower-dimensional mass. The zero modes include the lower-dimensional graviton, gauge fields from mixed metric components, and scalar moduli describing size and shape. A useful black-hole effective theory must normalize these fields in Einstein frame, identify the first omitted eigenvalue, and state whether its moduli remain massless, are stabilized, or have been consistently removed.

Required background. Gauge Theory and String-Theory Preparation supplies compactification and gauge fields, while Gravitational Actions and Boundary Terms provides the Einstein–Hilbert variational principle and boundary contribution used in the reduction.

Helpful background. Quantum Gravity frames the tower of effective states; Quantum Information supports later entropy applications; and Gravity Beyond General Relativity develops lower-dimensional scalar and vector modifications.

The circle spectrum

First take an unwarped product with fixed radius, $ds_{d+1}^2=ds_d^2+dy^2$, let $y\sim y+2\pi R$, and expand a periodic scalar,

$$\Phi(x,y)=\frac{1}{\sqrt{2\pi R}} \sum_{n\in\mathbb Z}\phi_n(x)e^{iny/R}.$$

Substitution into

$$S=-\frac12\int d^dx\,dy\,\sqrt{-G} \left(G^{MN}\partial_M\Phi\,\partial_N\Phi+m_0^2\Phi^2\right)$$

and integration over $y$ gives canonically normalized fields with

$$m_n^2=m_0^2+\frac{n^2}{R^2}.$$

Reality requires $\phi_{-n}=\phi_n^*$. At energies $E\ll1/R$, only the zero mode is dynamically accessible, but the massive tower still generates local threshold corrections. As $R\to\infty$, the gap collapses and the lower-dimensional description ceases to have a finite separated field content.

Metric zero modes and Einstein frame

A circle metric can be parametrized as

$$ds_{d+1}^2=e^{2a\varphi}ds_d^2 +e^{-2(d-2)a\varphi}(dy+A_\mu dx^\mu)^2, \qquad a^2=\frac{1}{2(d-1)(d-2)},$$

for $d\gt2$. The reduced gravity action contains

$$S_d=\frac{1}{16\pi G_d}\int d^dx\sqrt{-g} \left[R-\frac12(\partial\varphi)^2 -\frac14e^{-2(d-1)a\varphi}F_{\mu\nu}F^{\mu\nu}\right], \qquad F=dA.$$

Thus “canonical” here means the coefficient $-1/2$ inside the common gravitational prefactor; an independently normalized scalar is $\varphi/\sqrt{16\pi G_d}$. The zero modes are $g_{\mu\nu}$, a $U(1)$ vector $A_\mu$, and the radius modulus $\varphi$. A coordinate shift $y\to y+\lambda(x)$ induces $A\to A-d\lambda$, so the gauge symmetry descends from higher-dimensional diffeomorphism invariance. The exponential gauge coupling also shows why charged solutions generally source the radius scalar.

For an unwarped background at fixed radius,

$$G_d=\frac{G_{d+1}}{2\pi R}.$$

The Weyl factors in the ansatz ensure that $g_{\mu\nu}$ is already the $d$-dimensional Einstein metric when $\varphi$ varies. Omitting this rescaling produces a field-dependent Newton constant and incorrect black-hole masses and entropies. The circle construction and its field interpretation are reviewed in Overduin and Wesson 1997, §§2–3, pp. 304–321.

General compact spaces

For a minimally coupled scalar on an unwarped product with a compact manifold $X$, expand in scalar harmonics,

$$-\nabla_X^2Y_I=\lambda_IY_I, \qquad m_I^2=m_{\mathrm{bare}}^2+\lambda_I.$$

For vectors, tensors, or coupled fields, replace this scalar Laplacian by the appropriate constrained operator. Boundary conditions, warping, and flux change its spectrum and inner product. Continuous deformations of $X$ that cost no potential energy produce massless moduli. Fluxes, curvature, quantum effects, or localized sources can generate a potential, but the mass spectrum must be computed rather than presumed.

Gauge redundancies and constraints remove some apparent zero modes. Conversely, a mode set to zero can be sourced quadratically by retained fields. Spectral heaviness justifies an approximate low-energy truncation; it does not prove a consistent truncation in which every lower-dimensional solution uplifts.

Moduli and black-hole charges

Metric and form-field zero modes control observable black-hole data. An internal circle produces a Kaluza–Klein gauge field whose electric charge is quantized higher-dimensional momentum; a higher-form integrated over an internal cycle produces a lower-dimensional gauge field charged by wrapped branes. The corresponding scalar moduli determine gauge couplings, charge norms, and the relation between coordinate and physical horizon area.

A modulus that is massless at infinity can develop a radial profile sourced by the black-hole charges. Its asymptotic value is then boundary data, not a freely adjustable constant inside the solution. Stabilizing it with a potential introduces a Compton scale: when the horizon is much smaller than that scale, the field may still vary appreciably even though it is absent from a very-low-energy vacuum spectrum.

Mode counting should therefore be done after gauge fixing and with the correct weighted inner product. A harmonic form gives a candidate massless field, but flux can lift it through Stückelberg mixing; an isometry gives a candidate vector, but localized sources can break the symmetry. These mechanisms determine which charges and scalar hair a reduced black hole can consistently carry.

Warping, boundaries, and black-hole use

In a warped product, the lower-dimensional Newton constant and mode inner product contain warp weights. The first Kaluza–Klein mass may be controlled by a redshifted throat rather than the inverse average radius. A generic low-energy black-hole description requires its characteristic energies and curvature scales to lie below the omitted tower. In a common effective-metric normalization this includes

$$|\omega|,\ r_h^{-1},\ L_{\rm curvature}^{-1}\ll m_{\mathrm{KK}},$$

as applicable to the geometry, and analogous bounds on local thermal and matter scales. Boundary temperature and proper internal masses cannot be compared without their redshift conversion. Retained moduli may vary; freezing them requires checking their sourced equations and gradients. An exact consistent truncation can describe a selected black-hole sector even without these generic low-energy hierarchies. The boundary condition on $X$ and the Gibbons–Hawking–York term must be reduced with the bulk action so that charges and the variational problem agree.

As an independent check, take $R\to0$ at fixed low energy: nonzero circle modes become heavy, while $G_d$ changes according to the physical compact volume. Taking $R\to\infty$ instead restores higher-dimensional propagation. These opposite limits test both the spectrum and Newton normalization.

Exercises

Derive the normalization and mass of the $n$th scalar mode on a circle, then compute how the $d$-dimensional Planck length changes when $R$ is doubled at fixed higher-dimensional Newton constant.

Solution

Orthogonality gives $\int_0^{2\pi R}dy\,e^{i(n-m)y/R}=2\pi R\,\delta_{nm}$, so the prefactor $(2\pi R)^{-1/2}$ makes each $\phi_n$ kinetic term canonical. The $y$ derivative contributes $n^2/R^2$, yielding $m_n^2=m_0^2+n^2/R^2$. Reduction of the Einstein term gives $G_d=G_{d+1}/(2\pi R)$. Doubling $R$ therefore halves $G_d$, and since $\ell_{P,d}^{d-2}=G_d$, the Planck length scales by $2^{-1/(d-2)}$. The simultaneous halving of the Kaluza–Klein gap shows that weaker lower-dimensional gravity does not mean a wider low-energy window.

References

• Aharony, Ofer, Steven S. Gubser, Juan Maldacena, Hirosi Ooguri, and Yaron Oz. “Large N Field Theories, String Theory and Gravity.” Physics Reports 323 (2000): 183–386. Open manuscript.
• Overduin, James M., and Paul S. Wesson. “Kaluza–Klein Gravity.” Physics Reports 283 (1997): 303–380. Open manuscript.