Radions, Moduli, and Consistent Truncations

The geometry of a compact space is itself a set of lower-dimensional fields. Its volume, shape, and relative brane positions can fluctuate, and deleting those fluctuations is legitimate only when their full higher-dimensional equations remain satisfied. The decisive distinction is therefore between an ansatz that looks plausible, an effective low-energy approximation, and a consistent truncation whose every solution uplifts.

Required background. Gravitational Actions and Boundary Terms supplies the variational equations whose omitted components must be checked; Gauge Theory and String-Theory Preparation supplies the compact-space symmetries and mode language used to classify retained fields.

Helpful background. Einstein Equations supplies the parent field equations, Formulations of General Relativity clarifies constraints versus evolution equations, and Exact Spacetimes provides the solution-level meaning of an uplift.

Volume and shape are fields

Use the site’s $(-,+,+,+)$ metric convention, a spacelike compact manifold $K_n$, and a lower-dimensional Einstein-frame metric. A useful schematic decomposition is

$$ds_D^2=e^{2\alpha\varphi(x)}g_{\mu\nu}(x)dx^\mu dx^\nu +e^{2\beta\varphi(x)}\widetilde h_{ab}(x) \bigl(dy^a+A^a\bigr)\bigl(dy^b+A^b\bigr), \qquad \det\widetilde h=1.$$

Here $D=d+n$ and $\varphi$ controls the volume. On a torus, the independent entries of the unit-determinant $\widetilde h_{ab}$ are shape moduli; for a general compact space, a suitable mode expansion replaces this schematic matrix ansatz. Wilson lines or brane separations supply additional moduli in richer models. The relation $(d-2)\alpha+n\beta=0$ removes the scalar prefactor multiplying the $d$-dimensional Ricci scalar. Normalize reduced Planck masses by $S_D\supset(M_D^{D-2}/2)\int\sqrt{-g_D}R_D$. With reference internal volume $V_n^{(0)}$,

$$M_d^{d-2}=M_D^{D-2}V_n^{(0)}.$$

The Einstein-frame action coefficient is constant because the fluctuating volume has been absorbed into the metric rescaling; $V_n^{(0)}$ is a fixed reference volume, not the field-dependent physical volume. Comparing different compactification vacua with a fixed higher-dimensional ruler changes the effective lower-dimensional coupling. Within one Einstein-frame description, the same dependence appears in modulus-dependent matter masses and couplings. Thus a field redefinition alone does not establish equality of observables. The circle example and its frame translation are detailed in Overduin and Wesson 1997, §§3.5–3.7 and §4.1, PDF.

Internal curvature, flux, brane tension, quantum effects, or higher-dimensional matter can generate an Einstein-frame potential $V(\varphi,m^I)$. A proposed constant background $(\varphi_*,m_*^I)$ must satisfy

$$\left.\partial_\varphi V\right|_*=0, \qquad \left.\partial_I V\right|_*=0,$$

For an isolated, perturbatively stable Minkowski minimum, the scalar kinetic metric must be positive and nonsingular and all physical mass eigenvalues must be positive. Zero eigenvalues leave directions unstabilized at quadratic order. A stationary point is not automatically a minimum, and the Hessian alone is insufficient when the kinetic metric is indefinite or singular. Curved backgrounds require a stability criterion that includes the curvature scale and boundary conditions; see Gradient, Tachyonic, and Jeans Instabilities. Stabilization is therefore a dynamical claim, not another name for choosing a compactification radius.

The equation-level test

Let the full fields be split into retained fields $\phi^i$ and omitted fields $\chi^A$. Substitution into the action defines

$$S_{\rm red}[\phi]=S[\phi,\chi=0].$$

Varying $S_{\rm red}$ checks only the retained equations. The truncation is consistent precisely when every reduced solution also satisfies the omitted equations:

$$\frac{\delta S_{\rm red}}{\delta\phi^i}=0 \quad\Longrightarrow\quad \left.\frac{\delta S}{\delta\chi^A}\right|_{\chi=0}=0 \quad\text{for every }A.$$

An especially transparent sufficient condition is that each omitted equation vanish identically on the ansatz. Pons and Talavera formulate consistency as commutativity of reduction and variation and prove the corresponding uplift statement for their stated class of independent Killing reductions; their hypotheses and the distinction between dimensional and constraint truncations are explicit in Pons and Talavera 2004, §§1–2.4, PDF.

The order of operations matters. Consider

$$S=\int d^dx\left[-\frac12(\partial\phi)^2-\frac12(\partial\chi)^2 -\frac12M^2\chi^2-g\chi\phi^2\right].$$

Putting $χ=0$ in the action produces a free scalar $φ$. But the omitted equation becomes $g\phi^2=0$, so generic reduced solutions do not uplift. The ansatz is inconsistent even if $M$ is large. For energies $E\ll M$, integrating out $χ$ instead gives $\chi=-g\phi^2/M^2+O(E^2/M^4)$ and generates controlled higher-dimension operators. “Heavy” justifies an effective expansion; it does not justify setting a sourced field exactly to zero.

Why the circle zero modes work

For a local theory on a circle, write

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

Every interaction conserves Fourier momentum. A product made only from $n=0$ fields carries zero momentum and cannot source an equation with $n\ne0$. Thus the complete zero-mode sector on a translation-invariant circle is a consistent truncation, subject to the boundary conditions and field content assumed. This is stronger than the low-energy statement $E\ll R^{-1}$: it is an exact selection rule.

A finite set containing massive modes usually fails. If $n=1$ is retained in a nonlinear theory, products such as $\phi_1^2$ carry $n=2$ and source an omitted mode. Likewise, keeping a round internal metric while retaining gauge fields can source discarded anisotropic metric components. Pons and Talavera show in their Einstein–Hilbert example that constraints imposed after a Killing reduction generate secondary conditions; only the subset of reduced solutions satisfying those conditions uplifts Pons and Talavera 2004, §§4–5.1, PDF.

Radion checks and boundaries

Freezing a radion at $\varphi_*$ requires more than $\partial_\varphi V=0$ in vacuum. Gauge flux, matter stress, or curvature can add a source $J_\varphi$ to its equation,

$$\Box\varphi-\partial_\varphi V=J_\varphi[g,A,T].$$

The constant-radion ansatz is valid only when the full right-hand side vanishes on the proposed branch. This explains why the simplest five-dimensional Kaluza–Klein model cannot combine an arbitrary constant radius with generic $F_{\mu\nu}F^{\mu\nu}$.

An efficient independent check is the uplift residual. Insert a reduced solution into every component of the $D$-dimensional equations and compute $\mathcal E_{MN}$. Vanishing reduced equations test projected combinations; consistency requires every unprojected component and boundary condition to vanish too. A second check is symmetry: retained singlets can consistently source only singlets, but this argument works only if the retained set is closed under products and the boundary data respect the symmetry.

The next page applies these lessons to a warped, noncompact direction and Israel junction conditions. Mutable compactification bounds remain a Tests of Gravity question, while proposed ultraviolet stabilization mechanisms belong to Quantum Gravity.

Common pitfalls

Calling every dimensional ansatz consistent. Reduction of the action can erase precisely the equation that rejects the ansatz. Test omitted equations after variation.

Equating a large mass with an exact zero. A heavy modulus follows a shifted, source-dependent minimum. Integrating it out produces suppressed corrections; deleting it generally does not.

Ignoring boundary consistency. Bulk equations may close while brane, orbifold, or asymptotic conditions do not. An uplift includes the full variational boundary problem.

Exercises

For a real scalar with interaction $-\lambda\Phi^3/3!$ on a circle, suppose one retains modes $n=0,\pm1$ and sets all others to zero. Show that this finite truncation fails for a generic nonzero $\phi_1$.

Solution

The Fourier transform of the equation contains a convolution. For mode $k$ the quadratic source is $(\lambda/2)\sum_m\phi_m\phi_{k-m}$. At $k=2$, the retained pair $m=1$ and $k-m=1$ contributes $(\lambda/2)\phi_1^2$. The omitted equation therefore reads $0=(\lambda/2)\phi_1^2$ after setting $\phi_2=0$, which fails generically. By contrast, if only $\phi_0$ is retained, every product has $k=0$ and no omitted equation is sourced. This independently demonstrates closure of the zero-mode sector and failure of the finite massive ansatz.

References

• J. M. Overduin and P. S. Wesson, “Kaluza–Klein Gravity,” Physics Reports 283 (1997) 303–378, DOI, Open PDF.
• J. M. Pons and P. Talavera, “Consistent and Inconsistent Truncations: Some Results and the Issue of the Correct Uplifting of Solutions,” Nuclear Physics B 678 (2004) 427–454, DOI, Open PDF.