Kaluza–Klein theory

In physics, Kaluza–Klein theory (KK theory) is an attempt at creating a unified field theory of gravitation and electromagnetism based on the idea of a fifth dimension of space beyond the conventional four-dimensional spacetime of general relativity. According to this proposal, there are three dimensions of space and one of time but with an additional spatial dimension in the shape of a tiny circle. The Kaluza-Klein theory is named after Theodor Kaluza and Oskar Klein. It is not supported by experiments, but is a precursor to supergravity and modern string theory (in eleven-dimensional spacetime).^[1]

Kaluza hypothesis

In his 1921 article,^[2] Kaluza established all the elements of the classical five-dimensional theory: the Kaluza–Klein metric, the Kaluza–Klein–Einstein field equations, the equations of motion, the stress–energy tensor, and the cylinder condition. With no free parameters, it merely extends general relativity to five dimensions. One starts by hypothesizing a form of the five-dimensional Kaluza–Klein metric ${\widetilde {g}}_{ab}$ , where Latin indices span five dimensions. Let one also introduce the four-dimensional spacetime metric ${g}_{\mu \nu }$ , where Greek indices span the usual four dimensions of space and time; a 4-vector $A^{\mu }$ identified with the electromagnetic vector potential; and a scalar field $\phi$ . Then decompose the 5D metric so that the 4D metric is framed by the electromagnetic vector potential, with the scalar field at the fifth diagonal. This can be visualized as

{\widetilde {g}}_{ab}\equiv {\begin{bmatrix}g_{\mu \nu }+\phi ^{2}A_{\mu }A_{\nu }&\phi ^{2}A_{\mu }\\\phi ^{2}A_{\nu }&\phi ^{2}\end{bmatrix}}.

One can write more precisely

{\widetilde {g}}_{\mu \nu }\equiv g_{\mu \nu }+\phi ^{2}A_{\mu }A_{\nu },\qquad {\widetilde {g}}_{5\nu }\equiv {\widetilde {g}}_{\nu 5}\equiv \phi ^{2}A_{\nu },\qquad {\widetilde {g}}_{55}\equiv \phi ^{2},

where the index $5$ indicates the fifth coordinate by convention, even though the first four coordinates are indexed with 0, 1, 2, and 3. The associated inverse metric is

{\widetilde {g}}^{ab}\equiv {\begin{bmatrix}g^{\mu \nu }&-A^{\mu }\\-A^{\nu }&g_{\alpha \beta }A^{\alpha }A^{\beta }+{\frac {1}{\phi ^{2}}}\end{bmatrix}}.

This decomposition is quite general, and all terms are dimensionless. Kaluza then applies the machinery of standard general relativity to this metric. The field equations are obtained from five-dimensional Einstein equations, and the equations of motion from the five-dimensional geodesic hypothesis. The resulting field equations provide both the equations of general relativity and of electrodynamics; the equations of motion provide the four-dimensional geodesic equation and the Lorentz force law, and one finds that electric charge is identified with motion in the fifth dimension.

The hypothesis for the metric implies an invariant five-dimensional length element $ds$ :

ds^{2}\equiv {\widetilde {g}}_{ab}\,dx^{a}\,dx^{b}=g_{\mu \nu }\,dx^{\mu }\,dx^{\nu }+\phi ^{2}(A_{\nu }\,dx^{\nu }+dx^{5})^{2}.

Field equations from the Kaluza hypothesis

The Kaluza–Klein–Einstein field equations of the five-dimensional theory were never adequately provided by Kaluza or Klein because they ignored the scalar field. The full Kaluza field equations are generally attributed to Thiry,^[3] who obtained vacuum field equations, although Kaluza^[2] originally provided a stress–energy tensor for his theory, and Thiry included a stress–energy tensor in his thesis. But as described by Gonner,^[4] several independent groups worked on the field equations in the 1940s and earlier. Thiry is perhaps best known only because an English translation was provided by Applequist, Chodos, & Freund in their review book.^[5] Applequist et al. also provided an English translation of Kaluza's article. Translations of the three (1946, 1947, 1948) Jordan articles can be found on the ResearchGate and Academia.edu archives.^[6]^[7]^[8] The first correct English-language Kaluza field equations, including the scalar field, were provided by Williams.^[9]

To obtain the 5D Kaluza–Klein–Einstein field equations, the 5D Kaluza–Klein–Christoffel symbols ${\widetilde {\Gamma }}_{bc}^{a}$ are calculated from the 5D Kaluza–Klein metric ${\widetilde {g}}_{ab}$ , and the 5D Kaluza–Klein–Ricci tensor ${\widetilde {R}}_{ab}$ is calculated from the 5D connections.

The classic results of Thiry and other authors presume the cylinder condition:

{\frac {\partial {\widetilde {g}}_{ab}}{\partial x^{5}}}=0.

Without this assumption, the field equations become much more complex, providing many more degrees of freedom that can be identified with various new fields. Paul Wesson and colleagues have pursued relaxation of the cylinder condition to gain extra terms that can be identified with the matter fields,^[10] for which Kaluza^[2] otherwise inserted a stress–energy tensor by hand.

It has been an objection to the original Kaluza hypothesis to invoke the fifth dimension only to negate its dynamics. But Thiry argued^[4] that the interpretation of the Lorentz force law in terms of a five-dimensional geodesic militates strongly for a fifth dimension irrespective of the cylinder condition. Most authors have therefore employed the cylinder condition in deriving the field equations. Furthermore, vacuum equations are typically assumed for which

{\widetilde {R}}_{ab}=0,

where

{\widetilde {R}}_{ab}\equiv \partial _{c}{\widetilde {\Gamma }}_{ab}^{c}-\partial _{b}{\widetilde {\Gamma }}_{ca}^{c}+{\widetilde {\Gamma }}_{cd}^{c}{\widetilde {\Gamma }}_{ab}^{d}-{\widetilde {\Gamma }}_{bd}^{c}{\widetilde {\Gamma }}_{ac}^{d}

and

{\widetilde {\Gamma }}_{bc}^{a}\equiv {\frac {1}{2}}{\widetilde {g}}^{ad}(\partial _{b}{\widetilde {g}}_{dc}+\partial _{c}{\widetilde {g}}_{db}-\partial _{d}{\widetilde {g}}_{bc}).

The vacuum field equations obtained in this way by Thiry^[3] and Jordan's group^[6]^[7]^[8] are as follows.

The field equation for $\phi$ is obtained from

{\widetilde {R}}_{55}=0\Rightarrow \Box \phi ={\frac {1}{4}}\phi ^{3}F^{\alpha \beta }F_{\alpha \beta },

where $F_{\alpha \beta }\equiv \partial _{\alpha }A_{\beta }-\partial _{\beta }A_{\alpha },$ $\Box \equiv g^{\mu \nu }\nabla _{\mu }\nabla _{\nu },$ and $\nabla _{\mu }$ is a standard, 4D covariant derivative. It shows that the electromagnetic field is a source for the scalar field. Note that the scalar field cannot be set to a constant without constraining the electromagnetic field. The earlier treatments by Kaluza and Klein did not have an adequate description of the scalar field and did not realize the implied constraint on the electromagnetic field by assuming the scalar field to be constant.

The field equation for $A^{\nu }$ is obtained from

{\widetilde {R}}_{5\alpha }=0={\frac {1}{2\phi }}g^{\beta \mu }\nabla _{\mu }(\phi ^{3}F_{\alpha \beta })-A_{\alpha }\phi \Box \phi .

It has the form of the vacuum Maxwell equations if the scalar field is constant.

The field equation for the 4D Ricci tensor $R_{\mu \nu }$ is obtained from

{\begin{aligned}{\widetilde {R}}_{\mu \nu }-{\frac {1}{2}}{\widetilde {g}}_{\mu \nu }{\widetilde {R}}&=0\Rightarrow \\R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R&={\frac {1}{2}}\phi ^{2}\left(g^{\alpha \beta }F_{\mu \alpha }F_{\nu \beta }-{\frac {1}{4}}g_{\mu \nu }F_{\alpha \beta }F^{\alpha \beta }\right)+{\frac {1}{\phi }}(\nabla _{\mu }\nabla _{\nu }\phi -g_{\mu \nu }\Box \phi ),\end{aligned}}

where $R$ is the standard 4D Ricci scalar.

This equation shows the remarkable result, called the "Kaluza miracle", that the precise form for the electromagnetic stress–energy tensor emerges from the 5D vacuum equations as a source in the 4D equations: field from the vacuum. This relation allows the definitive identification of $A^{\mu }$ with the electromagnetic vector potential. Therefore, the field needs to be rescaled with a conversion constant $k$ such that $A^{\mu }\to kA^{\mu }$ .

The relation above shows that we must have

{\frac {k^{2}}{2}}={\frac {8\pi G}{c^{4}}}{\frac {1}{\mu _{0}}}={\frac {2G}{c^{2}}}4\pi \epsilon _{0},

where $G$ is the gravitational constant, and $\mu _{0}$ is the permeability of free space. In the Kaluza theory, the gravitational constant can be understood as an electromagnetic coupling constant in the metric. There is also a stress–energy tensor for the scalar field. The scalar field behaves like a variable gravitational constant, in terms of modulating the coupling of electromagnetic stress–energy to spacetime curvature. The sign of $\phi ^{2}$ in the metric is fixed by correspondence with 4D theory so that electromagnetic energy densities are positive. It is often assumed that the fifth coordinate is spacelike in its signature in the metric.

In the presence of matter, the 5D vacuum condition cannot be assumed. Indeed, Kaluza did not assume it. The full field equations require evaluation of the 5D Kaluza–Klein–Einstein tensor

{\widetilde {G}}_{ab}\equiv {\widetilde {R}}_{ab}-{\frac {1}{2}}{\widetilde {g}}_{ab}{\widetilde {R}},

as seen in the recovery of the electromagnetic stress–energy tensor above. The 5D curvature tensors are complex, and most English-language reviews contain errors in either ${\widetilde {G}}_{ab}$ or ${\widetilde {R}}_{ab}$ , as does the English translation of Thiry.^[3] In 2015, a complete set of 5D curvature tensors under the cylinder condition, evaluated using tensor-algebra software, was produced.^[9]

Equations of motion from the Kaluza hypothesis

The equations of motion are obtained from the five-dimensional geodesic hypothesis^[2] in terms of a 5-velocity ${\widetilde {U}}^{a}\equiv dx^{a}/ds$ :

{\widetilde {U}}^{b}{\widetilde {\nabla }}_{b}{\widetilde {U}}^{a}={\frac {d{\widetilde {U}}^{a}}{ds}}+{\widetilde {\Gamma }}_{bc}^{a}{\widetilde {U}}^{b}{\widetilde {U}}^{c}=0.

This equation can be recast in several ways, and it has been studied in various forms by authors including Kaluza,^[2] Pauli,^[11] Gross & Perry,^[12] Gegenberg & Kunstatter,^[13] and Wesson & Ponce de Leon,^[14] but it is instructive to convert it back to the usual 4-dimensional length element $c^{2}\,d\tau ^{2}\equiv g_{\mu \nu }\,dx^{\mu }\,dx^{\nu }$ , which is related to the 5-dimensional length element $ds$ as given above:

ds^{2}=c^{2}\,d\tau ^{2}+\phi ^{2}(kA_{\nu }\,dx^{\nu }+dx^{5})^{2}.

Then the 5D geodesic equation can be written^[15] for the spacetime components of the 4-velocity:

U^{\nu }\equiv {\frac {dx^{\nu }}{d\tau }},

{\frac {dU^{\nu }}{d\tau }}+{\widetilde {\Gamma }}_{\alpha \beta }^{\mu }U^{\alpha }U^{\beta }+2{\widetilde {\Gamma }}_{5\alpha }^{\mu }U^{\alpha }U^{5}+{\widetilde {\Gamma }}_{55}^{\mu }(U^{5})^{2}+U^{\mu }{\frac {d}{d\tau }}\ln {\frac {c\,d\tau }{ds}}=0.

The term quadratic in $U^{\nu }$ provides the 4D geodesic equation plus some electromagnetic terms:

{\widetilde {\Gamma }}_{\alpha \beta }^{\mu }=\Gamma _{\alpha \beta }^{\mu }+{\frac {1}{2}}g^{\mu \nu }k^{2}\phi ^{2}(A_{\alpha }F_{\beta \nu }+A_{\beta }F_{\alpha \nu }-A_{\alpha }A_{\beta }\partial _{\nu }\ln \phi ^{2}).

The term linear in $U^{\nu }$ provides the Lorentz force law:

{\widetilde {\Gamma }}_{5\alpha }^{\mu }={\frac {1}{2}}g^{\mu \nu }k\phi ^{2}(F_{\alpha \nu }-A_{\alpha }\partial _{\nu }\ln \phi ^{2}).

This is another expression of the "Kaluza miracle". The same hypothesis for the 5D metric that provides electromagnetic stress–energy in the Einstein equations, also provides the Lorentz force law in the equation of motions along with the 4D geodesic equation. Yet correspondence with the Lorentz force law requires that we identify the component of 5-velocity along the fifth dimension with electric charge:

kU^{5}=k{\frac {dx^{5}}{d\tau }}\to {\frac {q}{mc}},

where $m$ is particle mass, and $q$ is particle electric charge. Thus electric charge is understood as motion along the fifth dimension. The fact that the Lorentz force law could be understood as a geodesic in five dimensions was to Kaluza a primary motivation for considering the five-dimensional hypothesis, even in the presence of the aesthetically unpleasing cylinder condition.

Yet there is a problem: the term quadratic in $U^{5}$ ,

{\widetilde {\Gamma }}_{55}^{\mu }=-{\frac {1}{2}}g^{\mu \alpha }\partial _{\alpha }\phi ^{2}.

If there is no gradient in the scalar field, the term quadratic in $U^{5}$ vanishes. But otherwise the expression above implies

U^{5}\sim c{\frac {q/m}{G^{1/2}}}.

For elementary particles, $U^{5}>10^{20}c$ . The term quadratic in $U^{5}$ should dominate the equation, perhaps in contradiction to experience. This was the main shortfall of the five-dimensional theory as Kaluza saw it,^[2] and he gives it some discussion in his original article.^{[clarification needed]}

The equation of motion for $U^{5}$ is particularly simple under the cylinder condition. Start with the alternate form of the geodesic equation, written for the covariant 5-velocity:

{\frac {d{\widetilde {U}}_{a}}{ds}}={\frac {1}{2}}{\widetilde {U}}^{b}{\widetilde {U}}^{c}{\frac {\partial {\widetilde {g}}_{bc}}{\partial x^{a}}}.

This means that under the cylinder condition, ${\widetilde {U}}_{5}$ is a constant of the five-dimensional motion:

{\widetilde {U}}_{5}={\widetilde {g}}_{5a}{\widetilde {U}}^{a}=\phi ^{2}{\frac {c\,d\tau }{ds}}(kA_{\nu }U^{\nu }+U^{5})={\text{constant}}.

Kaluza's hypothesis for the matter stress–energy tensor

Kaluza proposed^[2] a five-dimensional matter stress tensor ${\widetilde {T}}_{M}^{ab}$ of the form

{\widetilde {T}}_{M}^{ab}=\rho {\frac {dx^{a}}{ds}}{\frac {dx^{b}}{ds}},

where $\rho$ is a density, and the length element $ds$ is as defined above.

Then the spacetime component gives a typical "dust" stress–energy tensor:

{\widetilde {T}}_{M}^{\mu \nu }=\rho {\frac {dx^{\mu }}{ds}}{\frac {dx^{\nu }}{ds}}.

The mixed component provides a 4-current source for the Maxwell equations:

{\widetilde {T}}_{M}^{5\mu }=\rho {\frac {dx^{\mu }}{ds}}{\frac {dx^{5}}{ds}}=\rho U^{\mu }{\frac {q}{kmc}}.

Just as the five-dimensional metric comprises the four-dimensional metric framed by the electromagnetic vector potential, the five-dimensional stress–energy tensor comprises the four-dimensional stress–energy tensor framed by the vector 4-current.

Quantum interpretation of Klein

Kaluza's original hypothesis was purely classical and extended discoveries of general relativity. By the time of Klein's contribution, the discoveries of Heisenberg, Schrödinger, and Louis de Broglie were receiving a lot of attention. Klein's Nature article^[16] suggested that the fifth dimension is closed and periodic, and that the identification of electric charge with motion in the fifth dimension can be interpreted as standing waves of wavelength $\lambda ^{5}$ , much like the electrons around a nucleus in the Bohr model of the atom. The quantization of electric charge could then be nicely understood in terms of integer multiples of fifth-dimensional momentum. Combining the previous Kaluza result for $U^{5}$ in terms of electric charge, and a de Broglie relation for momentum $p^{5}=h/\lambda ^{5}$ , Klein obtained^[16] an expression for the 0th mode of such waves:

mU^{5}={\frac {cq}{G^{1/2}}}={\frac {h}{\lambda ^{5}}}\quad \Rightarrow \quad \lambda ^{5}\sim {\frac {hG^{1/2}}{cq}},

where $h$ is the Planck constant. Klein found that $\lambda ^{5}\sim 10^{-30}$ cm, and thereby an explanation for the cylinder condition in this small value.

Klein's Zeitschrift für Physik article of the same year,^[17] gave a more detailed treatment that explicitly invoked the techniques of Schrödinger and de Broglie. It recapitulated much of the classical theory of Kaluza described above, and then departed into Klein's quantum interpretation. Klein solved a Schrödinger-like wave equation using an expansion in terms of fifth-dimensional waves resonating in the closed, compact fifth dimension.

Group theory interpretation

In 1926, Oskar Klein proposed that the fourth spatial dimension is curled up in a circle of a very small radius, so that a particle moving a short distance along that axis would return to where it began. The distance a particle can travel before reaching its initial position is said to be the size of the dimension. This extra dimension is a compact set, and construction of this compact dimension is referred to as compactification.

In modern geometry, the extra fifth dimension can be understood to be the circle group U(1), as electromagnetism can essentially be formulated as a gauge theory on a fiber bundle, the circle bundle, with gauge group U(1). In Kaluza–Klein theory this group suggests that gauge symmetry is the symmetry of circular compact dimensions. Once this geometrical interpretation is understood, it is relatively straightforward to replace U(1) by a general Lie group. Such generalizations are often called Yang–Mills theories. If a distinction is drawn, then it is that Yang–Mills theories occur on a flat spacetime, whereas Kaluza–Klein treats the more general case of curved spacetime. The base space of Kaluza–Klein theory need not be four-dimensional spacetime; it can be any (pseudo-)Riemannian manifold, or even a supersymmetric manifold or orbifold or even a noncommutative space.

The construction can be outlined, roughly, as follows.^[18] One starts by considering a principal fiber bundle P with gauge group G over a manifold M. Given a connection on the bundle, and a metric on the base manifold, and a gauge invariant metric on the tangent of each fiber, one can construct a bundle metric defined on the entire bundle. Computing the scalar curvature of this bundle metric, one finds that it is constant on each fiber: this is the "Kaluza miracle". One did not have to explicitly impose a cylinder condition, or to compactify: by assumption, the gauge group is already compact. Next, one takes this scalar curvature as the Lagrangian density, and, from this, constructs the Einstein–Hilbert action for the bundle, as a whole. The equations of motion, the Euler–Lagrange equations, can be then obtained by considering where the action is stationary with respect to variations of either the metric on the base manifold, or of the gauge connection. Variations with respect to the base metric gives the Einstein field equations on the base manifold, with the energy–momentum tensor given by the curvature (field strength) of the gauge connection. On the flip side, the action is stationary against variations of the gauge connection precisely when the gauge connection solves the Yang–Mills equations. Thus, by applying a single idea: the principle of least action, to a single quantity: the scalar curvature on the bundle (as a whole), one obtains simultaneously all of the needed field equations, for both the spacetime and the gauge field.

As an approach to the unification of the forces, it is straightforward to apply the Kaluza–Klein theory in an attempt to unify gravity with the strong and electroweak forces by using the symmetry group of the Standard Model, SU(3) × SU(2) × U(1). However, an attempt to convert this interesting geometrical construction into a bona-fide model of reality flounders on a number of issues, including the fact that the fermions must be introduced in an artificial way (in nonsupersymmetric models). Nonetheless, KK remains an important touchstone in theoretical physics and is often embedded in more sophisticated theories. It is studied in its own right as an object of geometric interest in K-theory.

Even in the absence of a completely satisfying theoretical physics framework, the idea of exploring extra, compactified, dimensions is of considerable interest in the experimental physics and astrophysics communities. A variety of predictions, with real experimental consequences, can be made (in the case of large extra dimensions and warped models). For example, on the simplest of principles, one might expect to have standing waves in the extra compactified dimension(s). If a spatial extra dimension is of radius R, the invariant mass of such standing waves would be M_n = nh/Rc with n an integer, h being the Planck constant and c the speed of light. This set of possible mass values is often called the Kaluza–Klein tower. Similarly, in Thermal quantum field theory a compactification of the euclidean time dimension leads to the Matsubara frequencies and thus to a discretized thermal energy spectrum.

However, Klein's approach to a quantum theory is flawed^{[citation needed]} and, for example, leads to a calculated electron mass in the order of magnitude of the Planck mass.^[19]

Examples of experimental pursuits include work by the CDF collaboration, which has re-analyzed particle collider data for the signature of effects associated with large extra dimensions/warped models.^{[citation needed]}

Robert Brandenberger and Cumrun Vafa have speculated that in the early universe, cosmic inflation causes three of the space dimensions to expand to cosmological size while the remaining dimensions of space remained microscopic.^[20]

Space–time–matter theory

One particular variant of Kaluza–Klein theory is space–time–matter theory or induced matter theory, chiefly promulgated by Paul Wesson and other members of the Space–Time–Matter Consortium.^[21] In this version of the theory, it is noted that solutions to the equation

{\widetilde {R}}_{ab}=0

may be re-expressed so that in four dimensions, these solutions satisfy Einstein's equations

G_{\mu \nu }=8\pi T_{\mu \nu }\,

with the precise form of the T_μν following from the Ricci-flat condition on the five-dimensional space. In other words, the cylinder condition of the previous development is dropped, and the stress–energy now comes from the derivatives of the 5D metric with respect to the fifth coordinate. Because the energy–momentum tensor is normally understood to be due to concentrations of matter in four-dimensional space, the above result is interpreted as saying that four-dimensional matter is induced from geometry in five-dimensional space.

In particular, the soliton solutions of ${\widetilde {R}}_{ab}=0$ can be shown to contain the Friedmann–Lemaître–Robertson–Walker metric in both radiation-dominated (early universe) and matter-dominated (later universe) forms. The general equations can be shown to be sufficiently consistent with classical tests of general relativity to be acceptable on physical principles, while still leaving considerable freedom to also provide interesting cosmological models.

Geometric interpretation

The Kaluza–Klein theory has a particularly elegant presentation in terms of geometry. In a certain sense, it looks just like ordinary gravity in free space, except that it is phrased in five dimensions instead of four.

Einstein equations

The equations governing ordinary gravity in free space can be obtained from an action, by applying the variational principle to a certain action. Let M be a (pseudo-)Riemannian manifold, which may be taken as the spacetime of general relativity. If g is the metric on this manifold, one defines the action S(g) as

S(g)=\int _{M}R(g)\operatorname {vol} (g),

where R(g) is the scalar curvature, and vol(g) is the volume element. By applying the variational principle to the action

{\frac {\delta S(g)}{\delta g}}=0,

one obtains precisely the Einstein equations for free space:

R_{ij}-{\frac {1}{2}}g_{ij}R=0,

where R_ij is the Ricci tensor.

Maxwell equations

By contrast, the Maxwell equations describing electromagnetism can be understood to be the Hodge equations of a principal $\operatorname {U} (1)$ -bundle or circle bundle $\pi :P\to M$ with fiber $\operatorname {U} (1)$ . That is, the electromagnetic field $F$ is a harmonic 2-form in the space $\Omega ^{2}(M)$ of differentiable 2-forms on the manifold $M$ . In the absence of charges and currents, the free-field Maxwell equations are

\mathrm {d} F=0\quad {\text{and}}\quad \mathrm {d} {\star }F=0,

where $\star$ is the Hodge star operator.

Kaluza–Klein geometry

To build the Kaluza–Klein theory, one picks an invariant metric on the circle $S^{1}$ that is the fiber of the U(1)-bundle of electromagnetism. In this discussion, an invariant metric is simply one that is invariant under rotations of the circle. Suppose that this metric gives the circle a total length $\Lambda$ . One then considers metrics ${\widehat {g}}$ on the bundle $P$ that are consistent with both the fiber metric, and the metric on the underlying manifold $M$ . The consistency conditions are:

The projection of ${\widehat {g}}$ to the vertical subspace $\operatorname {Vert} _{p}P\subset T_{p}P$ needs to agree with metric on the fiber over a point in the manifold $M$ .
The projection of ${\widehat {g}}$ to the horizontal subspace $\operatorname {Hor} _{p}P\subset T_{p}P$ of the tangent space at point $p\in P$ must be isomorphic to the metric $g$ on $M$ at $\pi (P)$ .

The Kaluza–Klein action for such a metric is given by

S({\widehat {g}})=\int _{P}R({\widehat {g}})\operatorname {vol} ({\widehat {g}}).

The scalar curvature, written in components, then expands to

R({\widehat {g}})=\pi ^{*}\left(R(g)-{\frac {\Lambda ^{2}}{2}}|F|^{2}\right),

where $\pi ^{*}$ is the pullback of the fiber bundle projection $\pi :P\to M$ . The connection $A$ on the fiber bundle is related to the electromagnetic field strength as

\pi ^{*}F=dA.

That there always exists such a connection, even for fiber bundles of arbitrarily complex topology, is a result from homology and specifically, K-theory. Applying Fubini's theorem and integrating on the fiber, one gets

S({\widehat {g}})=\Lambda \int _{M}\left(R(g)-{\frac {1}{\Lambda ^{2}}}|F|^{2}\right)\operatorname {vol} (g).

Varying the action with respect to the component $A$ , one regains the Maxwell equations. Applying the variational principle to the base metric $g$ , one gets the Einstein equations

R_{ij}-{\frac {1}{2}}g_{ij}R={\frac {1}{\Lambda ^{2}}}T_{ij}

with the electromagnetic stress–energy tensor being given by

T^{ij}=F^{ik}F^{jl}g_{kl}-{\frac {1}{4}}g^{ij}|F|^{2}.

The original theory identifies $\Lambda$ with the fiber metric $g_{55}$ and allows $\Lambda$ to vary from fiber to fiber. In this case, the coupling between gravity and the electromagnetic field is not constant, but has its own dynamical field, the radion.

Generalizations

In the above, the size of the loop $\Lambda$ acts as a coupling constant between the gravitational field and the electromagnetic field. If the base manifold is four-dimensional, the Kaluza–Klein manifold P is five-dimensional. The fifth dimension is a compact space and is called the compact dimension. The technique of introducing compact dimensions to obtain a higher-dimensional manifold is referred to as compactification. Compactification does not produce group actions on chiral fermions except in very specific cases: the dimension of the total space must be 2 mod 8, and the G-index of the Dirac operator of the compact space must be nonzero.^[22]

The above development generalizes in a more-or-less straightforward fashion to general principal G-bundles for some arbitrary Lie group G taking the place of U(1). In such a case, the theory is often referred to as a Yang–Mills theory and is sometimes taken to be synonymous. If the underlying manifold is supersymmetric, the resulting theory is a super-symmetric Yang–Mills theory.

History

Theodor Kaluza proposed the possibility of unifying gravitation with electromagnetism in a paper he sent to Albert Einstein in 1919.^[23]^: 329–30 (Gunnar Nordström published a similar idea in 1914. But in that case, a fifth component was added to the electromagnetic vector potential, a scalar representing the Newtonian gravitational potential, and writing the Maxwell equations in five dimensions.^[24]^[23]^: 329 But this had to be abandoned because it could not account for gravitational lensing.^[1]) Einstein wrote back, saying he liked the idea "enormously" but was not entirely convinced. But two years later, Einstein finally agreed to present Kaluza's paper to the Prussian Academy of Sciences in Berlin.^[1]^[25]^: 197 Kaluza published it in the same year.^[2] Kaluza presented a purely classical extension of general relativity to five dimensions of space and time, with a metric tensor of 15 components. Correspondingly, the five-dimensional framework produced four-dimensional Einstein field equations of gravitation, Maxwell's equations of electromagnetism, and an equation for the scalar field representing a hypothetical particle called the dilaton. Kaluza also introduced the "cylinder condition" hypothesis, that no component of the five-dimensional metric depends on the fifth dimension. Without this restriction, terms are introduced that involve derivatives of the fields with respect to the fifth coordinate, and this extra degree of freedom makes the mathematics of the fully variable 5D relativity enormously complex. Standard 4D physics seems to manifest this "cylinder condition" and, along with it, simpler mathematics.

In 1926, Oskar Klein extended Kaluza's five-dimensional classical field theory by suggesting that the fifth dimension of space had to do with quantization.^[17]^[16]^[23]^: 331–2 Klein introduced the hypothesis that the fifth dimension was curled up and microscopic, to explain the cylinder condition. Klein suggested that the geometry of the extra fifth dimension could take the form of a circle, with the radius of 10⁻³⁰ cm. More precisely, the radius of the circular dimension is 23 times the Planck length, which in turn is of the order of 10⁻³³ cm.^[16] Klein also made a contribution to the classical theory by providing a properly normalized 5D metric.^[17] Klein argued that solutions to the Schrödinger equation in five dimensions could be interpreted as waves or particles moving under the influence of electromagnetism and gravity in four-dimensional spacetime.^[1] However, in the original papers by Kaluza and Klein, it was not clear whether the hypothetical fifth dimension was merely a mathematical artifice or physically real.^[1] Einstein, Wolfgang Pauli, Peter Bergmann, and Valentine Bargmann explored the Kaluza-Klein theory further during the 1930s and early 1940s.^[1]^[23]^{: 334–6, 347} (At this time, Einstein and a number of other physicists and mathematicians were exploring various possibilities of formulating unified field theories.^[26]^[23]^: 341–51)

In the 1940s, the classical theory was completed, and the full field equations including the scalar field were obtained by three independent research groups:^[4] Yves Thiry,^[27]^[3]^[28] working in France on his dissertation under André Lichnerowicz; Pascual Jordan, Günther Ludwig, and Claus Müller in Germany,^[6]^[7]^[29]^[8]^[30] with critical input from Pauli and Markus Fierz; and Paul Scherrer^[31]^[32]^[33] working alone in Switzerland. Jordan's work led to the scalar–tensor theory of Brans–Dicke;^[34] Carl H. Brans and Robert H. Dicke were apparently unaware of Thiry or Scherrer. The curvature tensors for the complete Kaluza equations were evaluated using tensor-algebra software in 2015,^[9] verifying results of J. A. Ferrari^[35] and R. Coquereaux & G. Esposito-Farese.^[36] The 5D covariant form of the energy–momentum source terms is treated by L. L. Williams.^[37]

However, most theoretical physicists who were initially interested in the Kaluza-Klein theory ultimately lost interest because it was in sharp disagreement with experimental results.^[25]^: 197 All other attempts to generalize Riemannian geometry in order to unify electromagnetism and gravitation have also failed.^[38]^: 1135 But the basic idea of unification of the fundamental forces using higher dimensions of space was revived during the 1970s with the arrival of string theory and supergravity.^[1]

Empirical tests

The Kaluza–Klein theory's prediction of electron mass is off by a factor of about 10¹⁸.^[39]

No experimental or observational signs of extra dimensions have been officially reported. Many theoretical search techniques for detecting Kaluza–Klein resonances have been proposed using the mass couplings of such resonances with the top quark. An analysis of results from the Large Hadron Collider (LHC) in December 2010 severely constrains theories with large extra dimensions.^[40]

Observations of the gravitational-wave event GW170817 refuted the hypothesis that gravity is leaking into higher dimensions as in brane theory. Gravitational waves propagate in (3+1)-dimensional spacetime.^[41]^[42]

Notes

^ ^a ^b ^c ^d ^e ^f ^g Freedman, Daniel Z.; van Niewenhuizen, Peter (March 1985). "The Hidden Dimensions of Spacetime". Scientific American. 252 (3): 74–81. doi:10.1038/scientificamerican0385-74.
^ ^a ^b ^c ^d ^e ^f ^g ^h Kaluza, Theodor (1921). "Zum Unitätsproblem in der Physik". Sitzungsber. Preuss. Akad. Wiss. Berlin. (Math. Phys.) (in German): 966–972. Bibcode:1921SPAW.......966K.
^ ^a ^b ^c ^d Thiry, M. Y. (1948). "Les équations de la théorie unitaire de Kaluza". Compt. Rend. Acad. Sci. Paris (in French). 226: 216–218.
^ ^a ^b ^c Goenner, H. (2012). "Some remarks on the genesis of scalar–tensor theories". General Relativity and Gravitation. 44 (8): 2077–2097. arXiv:1204.3455. Bibcode:2012GReGr..44.2077G. doi:10.1007/s10714-012-1378-8. S2CID 13399708.
^ Appelquist, Thomas; Chodos, Alan; Freund, Peter G. O. (1987). Modern Kaluza–Klein Theories. Menlo Park, Cal.: Addison–Wesley. ISBN 978-0-201-09829-7.
^ ^a ^b ^c Jordan, P. (1946). "Relativistische Gravitationstheorie mit variabler Gravitationskonstante". Naturwissenschaften (in German). 11 (8): 250–251. Bibcode:1946NW.....33..250J. doi:10.1007/BF01204481. S2CID 20091903.
^ ^a ^b ^c Jordan, P.; Müller, C. (1947). "Über die Feldgleichungen der Gravitation bei variabler "Gravitationslonstante"". Z. Naturforsch. (in German). 2a (1): 1–2. Bibcode:1947ZNatA...2....1J. doi:10.1515/zna-1947-0102. S2CID 93849549.
^ ^a ^b ^c Jordan, P. (1948). "Fünfdimensionale Kosmologie". Astron. Nachr. (in German). 276 (5–6): 193–208. Bibcode:1948AN....276..193J. doi:10.1002/asna.19482760502.
^ ^a ^b ^c Williams, L. L. (2015). "Field Equations and Lagrangian for the Kaluza Metric Evaluated with Tensor Algebra Software" (PDF). Journal of Gravity. 2015 901870. doi:10.1155/2015/901870.
^ Wesson, Paul S. (1999). Space–Time–Matter, Modern Kaluza–Klein Theory. Singapore: World Scientific. ISBN 978-981-02-3588-8.
^ Pauli, Wolfgang (1958). Theory of Relativity (translated by George Field ed.). New York: Pergamon Press. pp. Supplement 23.
^ Gross, D. J.; Perry, M. J. (1983). "Magnetic monopoles in Kaluza–Klein theories". Nucl. Phys. B. 226 (1): 29–48. Bibcode:1983NuPhB.226...29G. doi:10.1016/0550-3213(83)90462-5.
^ Gegenberg, J.; Kunstatter, G. (1984). "The motion of charged particles in Kaluza–Klein space–time". Phys. Lett. 106A (9): 410. Bibcode:1984PhLA..106..410G. doi:10.1016/0375-9601(84)90980-0.
^ Wesson, P. S.; Ponce de Leon, J. (1995). "The equation of motion in Kaluza–Klein cosmology and its implications for astrophysics". Astronomy and Astrophysics. 294: 1. Bibcode:1995A&A...294....1W.
^ Williams, Lance L. (2012). "Physics of the Electromagnetic Control of Spacetime and Gravity". Proceedings of 48th AIAA Joint Propulsion Conference. 48th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit, 30 July 2012 – 01 August 2012. Atlanta, Georgia. Vol. AIAA 2012-3916. doi:10.2514/6.2012-3916. ISBN 978-1-60086-935-8. S2CID 122586403.
^ ^a ^b ^c ^d Klein, Oskar (1926). "The Atomicity of Electricity as a Quantum Theory Law". Nature. 118 (2971): 516. Bibcode:1926Natur.118..516K. doi:10.1038/118516a0. S2CID 4127863.
^ ^a ^b ^c Klein, Oskar (1926). "Quantentheorie und fünfdimensionale Relativitätstheorie". Zeitschrift für Physik A (in German). 37 (12): 895–906. Bibcode:1926ZPhy...37..895K. doi:10.1007/BF01397481.
^ Bleecker, David. "Gauge Theory and Variational Principles Archived 2021-07-09 at the Wayback Machine" (1982) D. Reidel Publishing (See chapter 9).
^ Ravndal, F., Oskar Klein and the fifth dimension, arXiv:1309.4113 [physics.hist-ph]
^ Brandenberger, R.; Vafa, C. (April 1989). "Superstrings in the early universe". Nuclear Physics B. 316 (2): 391–410. doi:10.1016/0550-3213(89)90037-0.
^ 5Dstm.org
^ Castellani L. et al., Supergravity and superstrings, vol. 2, ch. V.11.
^ ^a ^b ^c ^d ^e Pais, Abraham (1982). 'Subtle is the Lord..': The Science and the Life of Albert Einstein. Oxford: Oxford University Press. ISBN 0-19-853907-X.
^ Nordström, Gunnar (1914). "Über die Möglichkeit, das elektromagnetische Feld und das Gravitationsfeld zu vereinigen" [On the possibility of unifying the gravitational and electromagnetic fields]. Physikalische Zeitschrift (in German). 15: 504.
^ ^a ^b Greene, Brian (2000). The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory. New York: W. W. Norton. ISBN 0-375-70811-1.
^ Isaacson, Walter (2007). "Chapter Fifteen: Unified Field Theories". Einstein: His Life and Universe. New York: Simon & Schuster. ISBN 978-0-7432-6473-0.
^ Lichnerowicz, A.; Thiry, M. Y. (1947). "Problèmes de calcul des variations liés à la dynamique classique et à la théorie unitaire du champ". Compt. Rend. Acad. Sci. Paris (in French). 224: 529–531.
^ Thiry, M. Y. (1948). "Sur la régularité des champs gravitationnel et électromagnétique dans les théories unitaires". Compt. Rend. Acad. Sci. Paris (in French). 226: 1881–1882.
^ Ludwig, G. (1947). "Der Zusammenhang zwischen den Variationsprinzipien der projektiven und der vierdimensionalen Relativitätstheorie". Z. Naturforsch. (in German). 2a (1): 3–5. Bibcode:1947ZNatA...2....3L. doi:10.1515/zna-1947-0103. S2CID 94454994.
^ Ludwig, G.; Müller, C. (1948). "Ein Modell des Kosmos und der Sternentstehung". Annalen der Physik. 2 (6): 76–84. Bibcode:1948AnP...437...76L. doi:10.1002/andp.19484370106. S2CID 120176841.
^ Scherrer, W. (1941). "Bemerkungen zu meiner Arbeit: "Ein Ansatz für die Wechselwirkung von Elementarteilchen"". Helv. Phys. Acta (in German). 14 (2): 130.
^ Scherrer, W. (1949). "Über den Einfluss des metrischen Feldes auf ein skalares Materiefeld". Helv. Phys. Acta. 22: 537–551.
^ Scherrer, W. (1950). "Über den Einfluss des metrischen Feldes auf ein skalares Materiefeld (2. Mitteilung)". Helv. Phys. Acta (in German). 23: 547–555.
^ Brans, C. H.; Dicke, R. H. (November 1, 1961). "Mach's Principle and a Relativistic Theory of Gravitation". Physical Review. 124 (3): 925–935. Bibcode:1961PhRv..124..925B. doi:10.1103/PhysRev.124.925.
^ Ferrari, J. A. (1989). "On an approximate solution for a charged object and the experimental evidence for the Kaluza-Klein theory". Gen. Relativ. Gravit. 21 (7): 683. Bibcode:1989GReGr..21..683F. doi:10.1007/BF00759078. S2CID 121977988.
^ Coquereaux, R.; Esposito-Farese, G. (1990). "The theory of Kaluza–Klein–Jordan–Thiry revisited". Annales de l'Institut Henri Poincaré. 52: 113.
^ Williams, L. L. (2020). "Field Equations and Lagrangian of the Kaluza Energy-Momentum Tensor". Advances in Mathematical Physics. 2020 1263723. doi:10.1155/2020/1263723.
^ Kline, Morris (1972). "48: Tensor Analysis and Differential Geometry". Mathematical Thought from Ancient to Modern Times. Oxford University Press. ISBN 978-0-195-01496-9.
^ Weinberg, Steven (2005). "Einstein's Mistakes". Physics Today. 58 (11): 31–35. Bibcode:2005PhT....58k..31W. doi:10.1063/1.2155755.
^ Khachatryan, V.; et al. (CMS Collaboration) (2011). "Search for microscopic black hole signatures at the Large Hadron Collider". Physics Letters B. 697 (5): 434–453. arXiv:1012.3375. Bibcode:2011PhLB..697..434C. doi:10.1016/j.physletb.2011.02.032. S2CID 122803232.
^ Pardo, Kris; Fishbach, Maya; Holz, Daniel E.; Spergel, David N. (2018). "Limits on the number of spacetime dimensions from GW170817". Journal of Cosmology and Astroparticle Physics. 2018 (7): 048. arXiv:1801.08160. Bibcode:2018JCAP...07..048P. doi:10.1088/1475-7516/2018/07/048. S2CID 119197181.
^ Lerner, Louise (September 13, 2018). "Gravitational waves provide dose of reality about extra dimensions". UChicago News. Retrieved January 3, 2023.

References

Appelquist, Thomas; Chodos, Alan; Freund, Peter G. O. (1987). Modern Kaluza–Klein Theories. Menlo Park, California: Addison–Wesley. ISBN 978-0-201-09829-7. (Includes reprints of the above articles as well as those of other important papers relating to Kaluza–Klein theory.)
Duff, M. J. (1994). "Kaluza–Klein Theory in Perspective". In Lindström, Ulf (ed.). Proceedings of the Symposium 'The Oskar Klein Centenary'. Singapore: World Scientific. pp. 22–35. ISBN 978-981-02-2332-8.
Kaluza, Theodor (1921). "Zum Unitätsproblem in der Physik". Sitzungsber. Preuss. Akad. Wiss. Berlin. (Math. Phys.) (in German): 966–972. Bibcode:1921SPAW.......966K – via Internet Archive.
Klein, Oskar (1926). "Quantentheorie und fünfdimensionale Relativitätstheorie". Zeitschrift für Physik A (in German). 37 (12): 895–906. Bibcode:1926ZPhy...37..895K. doi:10.1007/BF01397481. Available online in Blum, Alexander S.; Rickles, Dean (July 2018). Quantum Gravity in the First Half of the Twentieth Century: A Sourcebook. Berlin: Max-Planck-Gesellschaft zur Förderung der Wissenschaften. ISBN 978-3-945561-31-7. doi:10.34663/9783945561317-10. Retrieved 22 December 2025 – via Edition Open Sources.
Overduin, J. M.; Wesson, P. S. (1997). "Kaluza–Klein Gravity". Physics Reports. 283 (5): 303–378. arXiv:gr-qc/9805018. Bibcode:1997PhR...283..303O. doi:10.1016/S0370-1573(96)00046-4. S2CID 119087814.
Wesson, Paul S. (2006). Five-Dimensional Physics: Classical and Quantum Consequences of Kaluza–Klein Cosmology. Singapore: World Scientific. Bibcode:2006fdpc.book.....W. ISBN 978-981-256-661-4.
Witten, Edward (1981). "Search for a realistic Kaluza–Klein theory". Nuclear Physics B. 186 (3): 412–428. Bibcode:1981NuPhB.186..412W. doi:10.1016/0550-3213(81)90021-3.

String theory
Background	Strings Cosmic strings History of string theory First superstring revolution Second superstring revolution String theory landscape
Theory	Nambu–Goto action Polyakov action Bosonic string theory Superstring theory Type I string Type II string Type IIA string Type IIB string Heterotic string N=2 superstring F-theory String field theory Matrix string theory Non-critical string theory Non-linear sigma model Tachyon condensation RNS formalism GS formalism
String duality	T-duality S-duality U-duality Montonen–Olive duality
Particles and fields	Graviton Dilaton Tachyon Ramond–Ramond field Kalb–Ramond field Magnetic monopole Dual graviton Dual photon
Branes	D-brane NS5-brane M2-brane M5-brane S-brane Black brane Black holes Black string Brane cosmology Quiver diagram Hanany–Witten transition
Conformal field theory	Virasoro algebra Mirror symmetry Conformal anomaly Conformal algebra Superconformal algebra Vertex operator algebra Loop algebra Kac–Moody algebra Wess–Zumino–Witten model
Gauge theory	Anomalies Instantons Chern–Simons form Bogomol'nyi–Prasad–Sommerfield bound Exceptional Lie groups (G₂, F₄, E₆, E₇, E₈) ADE classification Dirac string p-form electrodynamics
Geometry	Worldsheet Kaluza–Klein theory Compactification Why 10 dimensions? Kähler manifold Ricci-flat manifold Calabi–Yau manifold Hyperkähler manifold K3 surface G₂ manifold Spin(7)-manifold Generalized complex manifold Orbifold Conifold Orientifold Moduli space Hořava–Witten theory K-theory (physics) Twisted K-theory
Supersymmetry	Supergravity Eleven-dimensional supergravity Type I supergravity Type IIA supergravity Type IIB supergravity Superspace Lie superalgebra Lie supergroup
Holography	Holographic principle AdS/CFT correspondence
M-theory	Matrix theory Introduction to M-theory
String theorists	Aganagić Arkani-Hamed Atiyah Banks Berenstein Bousso Curtright Dijkgraaf Distler Douglas Duff Dvali Ferrara Fischler Friedan Gates Gliozzi Gopakumar Green Greene Gross Gubser Gukov Guth Hanson Harvey 't Hooft Hořava Gibbons Kachru Kaku Kallosh Kaluza Kapustin Klebanov Knizhnik Kontsevich Klein Linde Maldacena Mandelstam Marolf Martinec Minwalla Moore Motl Mukhi Myers Nanopoulos Năstase Nekrasov Neveu Nielsen van Nieuwenhuizen Novikov Olive Ooguri Ovrut Polchinski Polyakov Rajaraman Ramond Randall Randjbar-Daemi Roček Rohm Sagnotti Scherk Schwarz Seiberg Sen Shenker Siegel Silverstein Sơn Staudacher Steinhardt Strominger Sundrum Susskind Townsend Trivedi Turok Vafa Veneziano Verlinde Verlinde Wess Witten Yau Yoneya Zamolodchikov Zamolodchikov Zaslow Zumino Zwiebach

Authority control databases
International	GND
National	United States France BnF data Israel
Other	IdRef Yale LUX

KoduKe

Värsked postitused

Most Used Categories

Anekdoot: mõtete lugemise masin

Sõda toob rikkuse majja: USA presidendi pojad sisenesid tulusasse relvaärisse

Paleodieet – midagi sellist pole ajaloos olemaski olnud

See on rekordkõrge puidust pilvelõhkuja – tõsi, kõik ikka puidust ei ole

Anekdoot: kes on klassi kõige laisem poiss?

Lõuna-Ameerikas leitud klaashelmed viitavad kokkupõrkele teise tavakehaga – aga midagi on siit ikka puudu

Majja kukkus meteoriit – see osutus aga väga omapäraseks

Anekdoot: mismoodi see hobuse moodi nupp käib?

Purga: me ei saa aktsepteerida, et Venemaa kasutab kultuuri sõjapropaganda tööriistana

Jüri Ratas: maksutõusud kahjustavad inimeste elujärge