Kaluza-Klein Theory

Claimed bucket: Mathematical exploration with Physical-theory aspirations at the time of writing (Kaluza 1921, Klein 1926). The original construction proposed 5D gravity with one compactified spatial dimension as a unified theory of gravity and electromagnetism.

Supported bucket: Mathematical exploration cleanly at the decomposition theorem. The matter-sector derivation, the scalar-mass stabilisation, and the compactification-radius derivation are open. Modern higher-dimensional Kaluza-Klein lifts in string theory and supergravity inherit the structure and the same load-bearing open items at higher D.

Steelman

Kaluza's 1921 observation was that the vacuum Einstein field equations in 5 dimensions, with the additional assumption that the metric does not depend on the fifth coordinate (the cylinder condition), decompose into the 4D vacuum Einstein equations plus Maxwell's equations plus a scalar-field equation. The 5D metric

$$g_{AB}=\left(\begin{array}{cc}{g}_{\mu \nu }+{\varphi }^2{A}_{\mu }{A}_{\nu }& {\varphi }^2{A}_{\mu }\\ {\varphi }^2{A}_{\nu }& {\varphi }^2\end{array}\right)$$

(with $A,B$ running over 5D indices and $\mu ,\nu$ over 4D) algebraically partitions into a 4D metric $g_{\mu \nu }$, a vector potential $A_{\mu }$, and a scalar $\varphi$. The 5D Einstein-Hilbert action $\int d^{5}x\sqrt{-g_5}{R}_5$ reduces to the 4D action

$$S=\int d^{4}x\sqrt{-g_4}\varphi (R_4-\frac{1}{4}{\varphi }^2{F}_{\mu \nu }{F}^{\mu \nu }-\frac{2}{3}{\varphi }^{-2}{\partial }_{\mu }\varphi {\partial }^{\mu }\varphi )$$

where $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$ is the Maxwell field strength. The 4D Einstein-Hilbert + Maxwell + dilaton structure is a theorem of the decomposition, not a stipulation. Klein's 1926 contribution was the compactification: the fifth dimension is a circle of radius $R$, the cylinder condition is the statement that the heavy Kaluza-Klein modes (with non-zero momentum around the circle) are decoupled at the energies of interest, and the charge quantisation $q=n/R$ for integer $n$ follows from the quantisation of momentum on the circle.

The strongest version of the claim is that gravity and electromagnetism are unified in 5D, with EM emerging as the geometric structure of the compactified extra dimension. As Mathematical exploration of how higher-dimensional gravity decomposes, this is rigorous and instructive.

Components-in-regimes decomposition

Component	Regime	Category claimed	Category supported
5D metric decomposition theorem	Mathematical	Mathematical exploration	Mathematical exploration
4D Einstein-Hilbert from 5D	Low-energy 4D	Physical theory (claimed)	Physical theory (derived from GR + 5D ansatz)
Maxwell action from 5D	Low-energy 4D	Physical theory (claimed)	Mathematical exploration (EM coupling fixed by 5D, but no matter-sector charges to couple to)
Scalar (dilaton) $\varphi$	Low-energy 4D	Physical theory (claimed)	Open (scalar mass and stabilisation not derived)
Compactification radius $R$	Cross-over scale	Effective parameter	Open (no derivation of $R$)
Charge quantisation	EM regime	Physical theory (derived)	Physical theory (derived)
Matter sector (fermions, charges)	SM regime	Physical theory (claimed)	Not derived (matter put in by hand)
KK tower of massive modes	$E\gtrsim 1/R$	Physical theory (derived)	Physical theory (derived, but $R$ undetermined)
Modern higher-D KK lifts (string, SUGRA)	$D=10$ or $11$	Theory proposal	Theory proposal (same load-bearing issues)

Three-leg verdict at claimed category

Leg A. Are the primitives at the right level? At Mathematical exploration: pass. The substrate is 5D gravity with the cylinder condition, a stipulation about the structure being explored. The decomposition is then a theorem. At Physical theory (the claim Kaluza and Klein made for the unification): the substrate is 5D gravity, which is not anchored to an empirical anchor at the substrate layer. The 4D limit anchors to GR (Physical theory) and to Maxwell EM (Physical theory), but the 5D substrate itself is stipulated. The framework verdict at the higher claim is that the substrate is not empirically anchored at the layer the unification claim requires.

Leg B1. Does the work operate at the right level? The decomposition operates at the classical-field level, which is the right level for the 4D Einstein-Hilbert + Maxwell content. As a QG candidate (which Kaluza-Klein was not historically pitched as), B1 does not apply because the work does not claim QG. As a unification of EM + gravity at the classical-field level, the level claim is met.

Leg B2. Is the work correctly positioned relative to established physics? This is where the work is honest: 4D Einstein-Hilbert and Maxwell are recovered by construction. Charge quantisation follows from the circle compactification. The matter sector, however, is not derived from Kaluza-Klein alone. Original Kaluza-Klein produces EM coupling but does not specify what carries the charge; fermions and their coupling to $A_{\mu }$ are put in by hand at the 4D level. The boundary continuity to GR + Maxwell is met by theorem; the boundary continuity to the SM matter sector is not addressed by the original work, and modern KK lifts in string theory inherit the landscape problem when they try to add the matter sector via compactification of a higher-D parent theory.

Verdict at supported category

At Mathematical exploration, the work passes cleanly. The decomposition theorem is a theorem. The compactification structure is a recognised mathematical construction with subsequent applications in string theory, supergravity, and the broader extra-dimensional programme. The matter-sector failure does not retract the mathematical exploration; it is the open work at the higher claim.

At Physical theory (the unification claim), the work is admissible at Theory proposal with the named open items: the scalar-mass and dilaton-stabilisation problem (the radion problem), the compactification-radius derivation, the matter-sector embedding. None of these are derived from the original Kaluza-Klein construction. Modern higher-dimensional KK lifts (the heterotic compactifications, the M-theory $G_2$ manifolds, the F-theory compactifications) face the same load-bearing open items at higher D, plus the landscape problem when the compactification choice is not derived.

What would have to change for the Physical-theory claim to close: a derivation principle for the compactification radius and for the matter content, anchored to the empirical anchors at the substrate layer. The modern incarnations of this attempt in string theory have not produced such a derivation principle; that is the string theory verdict.

Closure mode summary

Reaches ground at Mathematical exploration. Open at Theory proposal with named items. Historical importance is in establishing the geometric-unification pattern that subsequent attempts (Einstein UFT, Yang-Mills as gauge fields from higher-D geometry, string compactifications) inherit. The pattern works mathematically; the matter-sector closure is the load-bearing open item across the lineage.

Sources

• Kaluza, T. (1921). "Zum Unitätsproblem der Physik." Sitzungsberichte der Preussischen Akademie der Wissenschaften 966. The original 5D decomposition.
• Klein, O. (1926). "Quantentheorie und fünfdimensionale Relativitätstheorie." Zeitschrift für Physik 37, 895. The compactification and charge quantisation.
• Overduin, J. & Wesson, P. (1997). "Kaluza-Klein gravity." Physics Reports 283, 303. The comprehensive review of the Kaluza-Klein programme and its descendants.
• Appelquist, T., Chodos, A. & Freund, P. (eds., 1987). Modern Kaluza-Klein Theories. Addison-Wesley. The reprint collection covering the renewed interest in KK in the supergravity era.
• Witten, E. (1981). "Search for a realistic Kaluza-Klein theory." Nuclear Physics B 186, 412. The foundational discussion of why minimal KK does not produce the SM and what the structural obstacles are.

Cross-references

• Einstein's unified field theory program for the contemporaneous unification attempts that followed Kaluza-Klein.
• String Theory and M-theory for the modern descendants of the KK programme, with the landscape problem as the matter-sector-derivation analog.
• Randall-Sundrum and ADD for the extra-dimensional models that revived KK structure with new motivations.
• Survey index for the full table.