Consistent Truncations and Lower-Dimensional Effective Actions

A compactification truncation is consistent when every solution of the retained lower-dimensional equations uplifts to a solution of the parent theory. This is a nonlinear closure statement, not an assertion that discarded Kaluza–Klein modes are heavy. Ordinary low-energy effectiveness instead estimates the error from integrating out heavy modes; the two notions can hold independently.

Required background. Flux quantization and Kaluza–Klein towers supplies the modes being truncated. Local supersymmetry and supergravity EFT supplies the parent and reduced actions.

Helpful background. Running and matching across multiple thresholds supplies the Wilsonian alternative. EFT truncation errors and breakdown diagnostics supplies quantitative error tests.

Nonlinear closure and uplift

Let $\Phi(x,y)$ denote all higher-dimensional fields, with $y$ on the compact space. A truncation gives an ansatz $\Phi[\phi_i(x);y]$ in terms of retained fields. It is consistent if substituting that ansatz into the full equations yields exactly the lower-dimensional equations $E_i[\phi]=0$, with every omitted equation automatically satisfied:

$$E_i[\phi]=0 \quad\Longrightarrow\quad E_{D}\!\left[\Phi[\phi;y]\right]=0.$$

Keeping all group-invariant modes is often consistent because products of invariant fields cannot source noninvariant representations. Sphere reductions retaining a full gauged supergravity are subtler: massive harmonics enter the nonlinear uplift ansatz even though they are not independent lower-dimensional fields. Direct substitution, symmetry plus exceptional geometry, or a proven generalized reduction formula is required Cvetič et al. 2000; the classic nonlinear $S^7$ result illustrates the corresponding eleven-dimensional mechanism de Wit and Nicolai 1987.

First application: type IIB on the five-sphere

Type-IIB supergravity on $S^5$ admits a consistent reduction to five-dimensional maximal $SO(6)$ gauged supergravity. Its massless multiplet contains the metric, $SO(6)$ gauge fields, and scalars including those dual to selected protected operators. A domain wall, black hole, or time-dependent solution of this five-dimensional theory therefore has a ten-dimensional uplift within the two-derivative parent theory.

This does not mean the full string theory has been truncated exactly. Corrections of order $\alpha'/L^2$, string loops, wrapped branes, and finite-$N$ effects can modify both the parent equations and the uplift. Nor does consistency say that every ten-dimensional solution is represented: it defines an embedded subsector, not a complete compactification spectrum.

By contrast, a Wilsonian reduction justified by $E\ll m_{\mathrm{KK}}$ may include higher-dimension operators from virtual KK exchange and have a controlled error $O(E^2/m_{\mathrm{KK}}^2)$ without admitting exact uplift at finite truncation order.

Adversarial control: a discarded harmonic is sourced

Suppose retained modes $\phi_a$ and $\phi_b$ have a cubic coupling $g_{abI}\phi_a\phi_b\chi_I$ to a discarded harmonic $\chi_I$. Its equation contains

$$(\Box-m_I^2)\chi_I=g_{abI}\phi_a\phi_b+\cdots.$$

Setting $\chi_I=0$ is inconsistent whenever the source is nonzero. It may still be an approximate low-energy solution if $m_I$ is large, in which case $\chi_I\sim-g_{abI}\phi_a\phi_b/m_I^2$ must be integrated out. On $S^5$, where generic $m_IL=O(1)$, mass suppression alone cannot justify an AdS-scale omission.

The evidence ceiling is precise: a proven ansatz guarantees uplift for the retained two-derivative sector and stated boundary conditions. It neither proves string-scale accuracy nor microscopic completeness. The D3 regime analysis now combines this result with the full parameter map.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Cvetič, M., Lü, H., Pope, C. N., Sadrzadeh, A., and Tran, T. A. (2000), “Consistent $SO(6)$ Reduction of Type IIB Supergravity on $S^5$,” Nuclear Physics B 586, 275–286. arXiv:hep-th/0003103.
• de Wit, B., and Nicolai, H. (1987), “The Consistency of the $S^7$ Truncation in $D=11$ Supergravity,” Nuclear Physics B 281, 211–240. doi:10.1016/0550-3213(87)90205-8.