Compactification and Gravity-Facing Effective Theories

Compactification converts higher-dimensional string data into the Newton constant, gauge fields, scalar moduli, potentials, and higher-derivative couplings used by a black-hole model. This chapter distinguishes three questions that must not be collapsed: which modes are light, whether a chosen sector is exactly closed, and whether the omitted towers and corrections are parametrically separated. It then applies those tests to flux vacua and gauged supergravity.

Enter this chapter

Kaluza–Klein Spectra and Moduli derives masses and field normalizations from compact harmonics. Flux Compactifications and Potentials shows how quantized flux, curvature, localized sources, and warping generate constrained scalar potentials.

Consistent Truncations gives the exact uplift criterion and an explicit failure of naive field deletion. Gauged Supergravity and AdS Vacua introduces gauging data, AdS critical points, BF stability, and nonlinear uplifts.

Higher-Derivative String Corrections develops perturbative solution and entropy corrections while controlling field redefinitions. Scale Separation and Effective-Theory Control completes the chapter by testing all scales, towers, tadpoles, and localized-source assumptions along parametric families.

Three different reduction claims

The low-energy claim is spectral:

$$E\ll m_{\mathrm{KK}},m_{\mathrm{string}},m_{\mathrm{other\ towers}}.$$

It allows omitted fields to develop small induced profiles encoded in higher-dimension operators. The consistent-truncation claim is algebraic and nonlinear: every solution of the retained equations uplifts exactly, even if omitted modes are not heavy. The scale-separation claim is parametric: a finite retained sector stays below all omitted towers along a controlled family.

A model may satisfy any one without the others. A circle zero-mode sector can be consistent and low energy when $E R\ll1$. A sphere truncation can be exactly consistent while $m_{\mathrm{KK}}L_{\mathrm{AdS}}$ remains order one. A reduced flux potential can display a large apparent hierarchy yet fail the localized higher-dimensional equations.

The D3 and AdS thread

The D3-brane connects this chapter to thermal holography. The $S^5$ compactification relates ten-dimensional flux number $N$ to the five-dimensional Newton constant and gauging scale. A consistent nonlinear truncation permits selected five-dimensional AdS black holes to uplift, but a simple two-derivative description additionally requires large $N$, large ’t Hooft coupling, and controlled internal curvature.

For a scalar critical point,

$$\partial_iV(\phi_\star)=0, \qquad V(\phi_\star)=-\frac{(d-1)(d-2)}{L^2},$$

and the full mass matrix must satisfy the AdS stability bounds. Flux quantization and tadpoles determine whether the apparent gauging parameters correspond to actual compactifications. Higher-derivative corrections then shift observables at fixed physical charges and boundary sources, not at fixed coordinate integration constants.

Results and limitations through 2026-08-20

Evidence or source	Supported result	Assumptions or discriminator	Limitation or adverse case
Aharony et al. 2000, §§2.2.4–2.2.5, pp. 49–54	AdS compactification, gauged supergravity, and consistent-truncation issues organize the D3 reduction	Large-N string setting and specified retained fields	Exact uplift and a low-energy spectral gap are separate; historical proof status must not be treated as current
Grana 2006, §§2–3, pp. 93–111	Flux quantization, supersymmetry conditions, sources, and moduli potentials form a constrained reduction package	Type-II supergravity with declared orientifolds, cycles, and approximations	Smearing, warping, localized singularities, and corrections require additional checks
Pons and Talavera 2004, §§1–2.4 and §§4–5.1, pp. 428–440 and 445–449	Exact criteria distinguish consistent from inconsistent reductions	Complete ansatz, variations, constraints, and boundary conditions	An action obtained by substitution can omit discarded equations or constraints
Coudarchet 2023, §§2–5, pp. 5–33	Scale-separation examples and proposed obstructions can be compared by common hierarchy tests	Declared classical ingredients and quantized families	Broad simultaneous parametric control with localized sources remains unsettled

The established core consists of mode spectra, exact closure tests, flux constraints, and perturbative correction methods. Competing positions concern the reach of scale-separated flux families and no-go hypotheses. Evidence does not establish that a lower-dimensional potential alone defines a controlled string vacuum.

A black-hole acceptance checklist

Before using a compactified model, record:

• the Einstein-frame internal volume and $G_d$;
• every retained field and its normalized kinetic term;
• the first Kaluza–Klein, winding, brane, and warped tower;
• flux integers, tadpoles, source boundary conditions, and moduli masses;
• whether the sector is approximate or consistently uplifted;
• the first alpha-prime, loop, and nonperturbative corrections;
• the range of horizon radii, temperatures, and charges below the cutoff.

The higher-dimensional equations and lower-dimensional first law provide independent checks. A valid uplift can still be uncontrolled, while a useful effective theory can be approximate without defining an exact truncation.

Review the chapter

A five-dimensional AdS black hole belongs to a known consistent sphere truncation, but $m_{\mathrm{KK}}L=1.4$ and its horizon has $r_h=0.5L$. Explain what consistency proves and whether the solution defines an isolated five-dimensional low-energy black hole.

Solution

Consistency proves that every solution of the retained five-dimensional equations, including this black hole, uplifts through the declared nonlinear ansatz and solves all higher-dimensional field equations. It does not make the omitted harmonics heavy. Here $m_{\mathrm{KK}}r_h=0.7$, so the horizon inverse radius exceeds the nominal Kaluza–Klein gap; generic perturbations can resolve internal modes. The background remains an exact solution within the retained sector, but it is not an isolated five-dimensional low-energy system for arbitrary dynamics. One must restrict observables to the closed sector or work in the higher-dimensional theory and include the nearby tower. Increasing $r_h$ improves this one ratio but leaves $m_{\mathrm{KK}}L=1.4$ unchanged, so it does not create a parametric separation from the ambient AdS curvature. Exact closure, horizon size, and the AdS-to-tower hierarchy are independent checks.

What could change these conclusions

The conclusions could change if a theorem changes an uplift or truncation criterion, an independent localized calculation confirms or obstructs a flux family, or a counterexample reveals a missing tower or source equation. Corrected boundary conditions, new quantization limits, or replicated higher-derivative observables that alter a claimed hierarchy would change the applicable AdS black-hole models without making exact closure, low-energy accuracy, and parametric separation equivalent.

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.
• Coudarchet, Thomas. “Hiding the Extra Dimensions: A Review on Scale Separation in String Theory.” 2023. arXiv:2311.12105. Open manuscript.
• Grana, Mariana. “Flux Compactifications in String Theory: A Comprehensive Review.” Physics Reports 423 (2006): 91–158. Open manuscript.
• Pons, Josep M., and Pere Talavera. “Consistent and Inconsistent Truncations: Some Results and the Issue of the Correct Uplifting of Solutions.” Nuclear Physics B 678 (2004): 427–454. Open manuscript.