Extra Dimensions and Braneworld Gravity

Extra dimensions modify four-dimensional gravity through three logically distinct mechanisms: compact directions create Kaluza–Klein towers and moduli, warped directions localize selected modes, and brane-induced kinetic terms create a distance-dependent crossover. This chapter derives those mechanisms, explains when a lower-dimensional truncation uplifts, and follows their consequences into black-hole branches, cosmology, and radiation without confusing theory predictions with current empirical bounds.

Helpful background. Einstein Equations supplies the higher-dimensional field equations; Gravitational Actions and Boundary Terms supplies the variational and junction structure; Formulations of General Relativity helps distinguish constraints, bulk evolution, and boundary data; and Exact Spacetimes supplies the global solution and limiting checks.

Enter the chapter

The common setup uses the site’s $(-,+,+,+)$ visible-spacetime signature, spacelike extra dimensions, and $G$ kept explicit. Some source literature uses $(+,-,-,-)$ or different reduced-Planck conventions. Translate the entire action, normal, and curvature-sign package together; never change the sign of one displayed formula in isolation.

Work through the six pages in order:

1. Kaluza–Klein Reduction decomposes a five-dimensional metric, derives the $U(1)$ gauge transformation from a circle diffeomorphism, and fixes the tower and coupling normalizations.
2. Radions, Moduli, and Consistent Truncations distinguishes compactification from deleting modes and gives the equation-level criterion for every reduced solution to uplift.
3. Warped Braneworld Gravity derives the Israel junction condition, RS tuning, zero-mode normalization, and nonclosed projected brane equations.
4. DGP Gravity and Crossover Behavior obtains the induced-gravity propagator, separates crossover from Vainshtein scales, and compares the cosmological embedding branches.
5. Higher-Dimensional Black Holes and Black Strings compares localized and wrapped horizons, the Gregory–Laflamme threshold, static phase mergers, and nonlinear evidence through 2026-08-19.
6. Braneworld Predictions and Recovery of GR states which bulk boundary and stabilization data make weak fields, cosmology, compact objects, and radiation unique, with its frontier synthesis also cut off at 2026-08-19.

The ordering matters. Later claims about recovery of GR rely on the normalization, truncation, junction, and branch distinctions established earlier.

Three ways to look four-dimensional

For a circle of reference radius $R$, integrating the Einstein term gives

$$G_4=\frac{G_5}{2\pi R}, \qquad m_{n,E}=\frac{|n|}{R}\,e^{\sqrt3\phi/2}.$$

Here $\phi$ is the dimensionless circle radion in the Einstein-frame ansatz on the reduction page, and $R_{\rm phys}=R e^{-\phi/\sqrt3}$. The local five-dimensional momentum is $|n|/R_{\rm phys}$; the displayed Einstein-frame mass includes the additional Weyl factor. At $\phi=0$ both reduce to $|n|/R$. Four-dimensional behavior follows at energies below the Einstein-frame tower gap, but the zero-mode vector and radion remain. Stabilizing or consistently eliminating them is an additional condition. Overduin and Wesson derive the metric decomposition, conformal-frame change, and Fourier tower in Overduin and Wesson 1997, §§3.2–3.7 and §4.1, PDF.

Use reduced Planck conventions $M_D^{D-2}=(8\pi G_D)^{-1}$. For the one-brane warped RS2 geometry,

$$M_4^2=M_5^3\int_{-\infty}^{\infty}dy\,e^{-2|y|/\ell} =M_5^3\ell.$$

The fifth direction is infinite, yet the massless tensor mode has finite norm. Massive modes form a continuum and give small corrections only for distances large compared with $ℓ$. A two-brane warped interval instead has a discrete tower and a radion; it is not interchangeable with RS2.

For DGP induced gravity,

$$r_c=\frac{M_4^2}{2M_5^3}, \qquad \widetilde G(p,0)=\frac{1}{M_4^2}\frac{1}{p^2+p/r_c}.$$

Here four-dimensional scaling occurs at distances shorter than $r_c$, but the linear tensor structure still contains a scalar. Around a source it is nonlinear dynamics inside $r_V\sim(r_Sr_c^2)^{1/3}$, not the crossover alone, that recovers GR. These mechanisms can be compared compactly:

Regime	Spectrum responsible for 4D behavior	Normalization or scale	Additional condition for GR
Compact circle	Discrete zero modes below a gap	$G_4=G_5/(2\pi R)$	Consistent truncation and stabilized moduli
RS2 warped infinite direction	Normalizable tensor zero mode plus continuum	$M_4^2=M_5^3\ell$	Tuned junction, regular bulk state, $r\gg\ell$, and $\rho\ll\lambda$
DGP flat infinite direction	Metastable four-dimensional response from a brane kinetic term	$r_c=M_4^2/(2M_5^3)$	Correct embedding branch and nonlinear control inside $r_V$ below the cutoff

The similar low-energy force laws arise from different spectra and therefore have different corrections and failure modes.

From an ansatz to a prediction

A reliable calculation proceeds in five steps:

1. Specify the action and the physical matter metric.
2. Choose the background and its boundary data.
3. Identify the retained fields or solution branch.
4. Establish the approximation’s regime of validity.
5. Calculate an observable within that regime.

First vary the complete action. Only afterward impose a reduction and verify every omitted equation. Pons and Talavera’s criterion is that reduction and variation commute; when it holds, every reduced solution uplifts under the stated ansatz Pons and Talavera 2004, §§1–2.4, PDF. A heavy omitted field may instead be integrated out perturbatively, producing suppressed operators rather than an exact zero.

For a brane, the Israel condition is part of the definition, not a correction appended later. Its normal orientation fixes the tension sign. Gauss–Codazzi projection then produces a four-dimensional equation containing local stress-squared terms and the projected bulk Weyl tensor $E_{\mu\nu}$. The Bianchi identity fixes the divergence of $E_{\mu\nu}$ but does not determine the full tensor. Maartens and Koyama show why bulk initial or asymptotic data remain necessary in Maartens and Koyama 2010, §§3.1–3.3, PDF.

Finally state the regime. A compact zero-mode EFT needs $E R\ll1$; the RS weak potential needs $r/\ell\gg1$; high-energy brane cosmology is governed by $\rho/\lambda$; DGP uses both $r/r_c$ and $r/r_V$. Sending one parameter to zero while another becomes singular is not a controlled GR limit.

Strong-field branches and honest boundaries

Pure higher-dimensional GR already has more horizon possibilities than four-dimensional GR. With a compact circle, a small localized hole has horizon $S^{D-2}$, while a uniform string has $S^{D-3}\times S^1$. Long-wavelength perturbations destabilize sufficiently thin uniform strings, but the linear threshold does not select a nonlinear endpoint. Exact solutions, perturbation theory, static numerics, and dynamical simulations provide different kinds of evidence; Emparan and Reall separate these results in Emparan and Reall 2008, §§3.2–3.4 and §§6.1–6.3, PDF.

Braneworld compact objects add another boundary problem. A four-dimensional metric solving the projected equation may fail to possess a regular bulk extension. Conversely, later numerical RS2 black holes show why a problematic black-string extension cannot be promoted to a universal nonexistence claim. The correct question is always branch-specific: action, asymptotics, brane junction, regularity, symmetry, and stability sector.

This volume develops the theory side. Mutable likelihoods, exclusion regions, and comparative empirical verdicts belong in Tests of Gravity. Microscopic origins of compact spaces and branes, and controlled ultraviolet completion, belong in Quantum Gravity. A classical higher-dimensional model can be internally predictive without establishing either empirical viability or ultraviolet completion.

A reusable consistency checklist

Before accepting a compactification or braneworld result, ask:

• Is the metric frame and Planck normalization explicit?
• Are compactification and truncation distinguished, and do omitted equations vanish?
• Are junction normals, brane tensions, branch signs, and bulk boundary conditions stated?
• Are radions and shape moduli stabilized with healthy kinetic terms and the appropriate background-dependent mass criterion?
• Is the approximation controlled by every relevant ratio, not just one?
• Does an independent check reproduce a dimension, symmetry, Smarr relation, junction condition, or GR limit?
• Does the claimed observable require information assigned to $E_{\mu\nu}$, a Green function, or incoming bulk radiation?

A failure at an early item cannot be repaired by a later numerical fit.

Review the chapter

Take $G_5=20$, $R=2/\pi$, and a circle background with $\phi=0$. Separately take an RS2 model with $M_5^3=8$ and $\ell=3$, and a DGP model with $M_4^2=96$, $M_5^3=6$, and a source radius $r_S=10^{-3}$. Compute the circle’s $G_4$ and first KK mass, the RS2 $M_4^2$, and the DGP $r_c$ and $r_V$. Then state one missing datum that could keep a cosmological braneworld prediction nonunique.

Solution

The circle circumference is $2\pi R=4$, so $G_4=G_5/(2\pi R)=5$ and $m_1=1/R=\pi/2$. For RS2, zero-mode normalization gives $M_4^2=M_5^3\ell=24$. In DGP, $r_c=M_4^2/(2M_5^3)=8$ and $r_V=(r_Sr_c^2)^{1/3}=(0.064)^{1/3}=0.4$. These answers use three different mechanisms and should not be combined into one model. In an RS cosmology, the dark-radiation constant $\mathcal C$ is one missing bulk datum; in a two-brane model, an unstated radion potential would be another. Either omission prevents a unique expansion history even when brane matter is specified.

References

• Emparan, R., and H. S. Reall, “Black Holes in Higher Dimensions,” Living Reviews in Relativity 11 (2008) 6, DOI, Open PDF.
• Maartens, R., and K. Koyama, “Brane-World Gravity,” Living Reviews in Relativity 13 (2010) 5, DOI, Open PDF.
• Overduin, J. M., and P. S. Wesson, “Kaluza–Klein Gravity,” Physics Reports 283 (1997) 303–378, DOI, Open PDF.
• Pons, J. M., 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.