nLab Kaluza-Klein mechanism

Context

Gravity

gravity, supergravity

Contents

Idea

The Kaluza-Klein mechanism is the observation that pure gravity on a product spacetime $X×F$ with fixed metric ${g}_{F}$ on $F$ looks on $X$ like gravity coupled to Yang-Mills theory for gauge group $G$ the Lie group of isometries of $\left(F,{g}_{F}\right)$.

The mechanism

More precisely, the Einstein-Hilbert action functional

${g}_{X×F}↦{S}_{\mathrm{EH}}\left({g}_{X×F}\right)={\int }_{X×F}R\left({g}_{X×F}\right)\mathrm{dvol}\left({g}_{X×F}\right)$g_{X \times F} \mapsto S_{EH}(g_{X \times F}) = \int_{X \times F} R(g_{X \times F}) dvol(g_{X \times F})

restricted to metrics of the special form

$\left({g}_{X×F}^{\mathrm{KK}}\left(x,f\right)\in {\mathrm{Sym}}^{2}\left(\Gamma \left({T}^{*}X×F\right)\right)=\left(\begin{array}{cc}{g}_{F}\left(f\right)& {A}^{a}\left(x\right){k}_{a}\\ {A}^{a}\left(x\right){k}_{a}& {g}_{X}\left(x\right)\end{array}\right)\phantom{\rule{thinmathspace}{0ex}},$(g^{KK}_{X \times F}(x,f) \in Sym^2(\Gamma(T^* X \times F)) = \left( \array{ g_F(f) & A^a(x)k_a \\ A^a(x) k_a & g_X(x) } \right) \,,

where $\left\{{k}_{a}\in \Gamma \left(TF\right)\right\}$ are a basis for the Killing vector fields of $\left(F,{g}_{F}\right)$ is equivalently rewritten as

${S}_{\mathrm{EH}}\left({g}_{X×F}^{\mathrm{KK}}\right)={S}_{\mathrm{EH}}\left({g}_{X}\right)+{S}_{\mathrm{YM}}\left(A\right)+{S}_{\mathrm{mod}}\left({g}_{F}\right)\phantom{\rule{thinmathspace}{0ex}},$S_{EH}(g^KK_{X \times F}) = S_{EH}(g_X) + S_{YM}(A) + S_{mod}(g_F) \,,

where

• the first term is the EH action of ${g}_{X}$ on $X$

• and the second term is the action functional of Yang-Mills theory for the connection Lie algebra-valued 1-form $A$ with values in the Lie algebra of the isometry Lie group $G$ of $\left(F,{g}_{F}\right)$.

• The last term is regarded as a functional on the moduli space of this ansatz: the space of metrics on the fiber.

More generally, one observes that the infinitesimal transformation of metrics ${g}_{X×F}$ of the above form under diffeomorphisms generated by a Killing vector field $\left(x,f\right)↦{\lambda }^{a}\left(x\right){k}_{a}\left(f\right)$ is on the $A$-component of the form

$\frac{d}{dϵ}A={d}_{X}{\lambda }^{a}+\left[\lambda ,A\right]\phantom{\rule{thinmathspace}{0ex}}.$\frac{d}{d \epsilon} A = d_X \lambda^a + [\lambda,A] \,.

This is the infinitesimal form of a gauge transformation: an isomorphism in the groupoid of Lie algebra-valued forms. This means than every functional $\left({g}_{X×F}\right)↦S\left({g}_{X×F}\right)$ that is invariant under diffeomorphisms will restrict on metrics of the above form to something that looks like an action functional for a gauge theory of the gauge field $A$.

All this of course remains true if the product $X×F$ is generalized to an associated bundle $E\to X$ with fiber $F$ to a $G$-principal bundle $P\to X$ ($E=P{×}_{G}F$), in which case the decomposition of the metric applies locally.

A pseudo-Riemannian manifold of this form $\left(E,{g}_{E}^{\mathrm{KK}}\right)$ for fixed moduli ${g}_{F}$ is called a Kaluza-Klein compactification of the spacetime $E$. One also speaks of the effective spacetime $X$ as being obtained by dimensional reduction from the spacetime $E$.

Its application in theoretical physics

Various evident generalizations of this ansatz can and are being considered.

Most notably for actual model building in physics it is of interest to consider the case where ${g}_{X}$ and $A$ are not necessarily constant along the fiber $F$. Typically in applications these fields are expanded in terms of Fourier-modes on $F$. The coefficients of the higher modes appear as massive fields in the effective KK-action functional. The are called the higher Kaluza-Klein modes . These masses are inversely proportional to the metric volume of $F$. For physical model building this volume is therefore chosen to be very small, such that it implies that the model does not predict the observation of the quanta of these massive modes in existing accelerator experiements.

On the other hand, the extra moduli fields ${g}_{F}$ do not acquire effective masses on $X$ this way. Therefore plain Kaluza-Klein theory is trivially ruled out by experiment: for any choice of $F$ it predicts the observation on $X$ of these massless moduli fields, which however are not being seen in actual accelerator experiments.

Therefore if in a model for fundamental physics the Kaluza-Klein mechanism is invoked as a way to explain the existence of the standard model of particle physics Yang-Mills theory from pure gravity the setup needs to be further generalized: other ingredients of the model need to be introduced that serve to equip the moduli fields with an effective potential with a positive minimum, such that these fields to acquire an effective mass on $X$.

In physics model building the problem of constructing such a more general KK-model is called the moduli stabilization problem .

Examples

Reductions of pure gravity with realistic gauge groups

The gauge group of the experimentally verified standard model of particle physics is a quotient of the product of the special unitary groups $\mathrm{SU}\left(3\right)$ and $\mathrm{SU}\left(2\right)$ and the circle group $U\left(1\right)$.

In (Witten) it was observed that the minimal dimension of a fiber $F$ for the KK-reduction on $F$ to yield gauge group $\mathrm{SU}\left(3\right)×\mathrm{SU}\left(2\right)×U\left(1\right)$ is 7 . This may be a meaningless numerical coincidence, but might be – and was regarded as being – remarkable: because it means that the minimum total dimension of a KK-compactification $X×F$ that could yield a realistic model of observed physics is $4+7=11$. This is the uniquely specified dimensional of the maximal supergravity model: 11-dimensional supergravity.

While there are many 7-dimensional manifolds $F$ that do yield the desired gauge group of the standard model, (Witten) also shows that for none of them does the remaining field content of the standard model – the fermions and the Higgs field – come out correctly.

Largely due to this result the pure Kaluza-Klein ansatz is regarded nowadays as a non-viable way to reproduce the standard model of particle physics from a theory pure gravity. But one can further play with the idea and consider more flexible models that still exhibit the essence of KK-reduction in parts.

Reductions of type II supergravity

Motivation for further variants of the KK-ansatz has to a large extent come from models in string theory. During the end of the 20th and the beginning of the 21st century, the widely dominant ansatz followed in the higher energy phyisics community is to study 10-dimensional type II supergravity models KK-reduced on 6-dimensional Calabi-Yau spaces $F$. The advantage of these type II models is that they naturally involve a further gauge field, called the RR-field. This is modeled by cocycles in differential K-theory which means that its field strength $ℱ$ is an inhomogenous closed differential form of even or of odd degree. Moreover, restricted to configurations $ℱ$ of these forms with specified cycles in $F$, the moduli part of the KK-reduced action functional

$\left({g}^{\mathrm{KK}},F\right)↦{S}_{\mathrm{EH}}\left({g}_{X}\right)+{S}_{\mathrm{YM}}\left(A\right)+{S}_{\mathrm{mod}}\left({g}_{F},ℱ\right)$(g^KK, F) \mapsto S_{EH}(g_X) + S_{YM}(A) + S_{mod}(g_F, \mathcal{F})

does produce the previously missing positive potentials for ${g}_{F}$ proportional to these cycles of $ℱ$. So KK-reduction of 10-dimensional supergravities can – for a suitable ansatz – cure the old problem of moduli stabilization in KK-theory.

This means that physical model building using the specific ansatz of KK-reduction of type II supergravities on Calabi-Yau fibers reduces to a noteworthy enumerative problem in complex geometry: classify all real 6-dimensional Calabi-Yau spaces with given isometries and given cycles.

While interesting, there are few tools known for performing this classification. The only thing that seems to be clear is that the classification is not sparse: there are many points in this space of choices. Since all this is relevant in model building in string theory, the space of these choices has been termed the landscape of string theory vacua.

See supergravity and Calabi-Yau manifolds for more.

Reduction of 11d supergravity

The lift of the above reduction of type II supergravity on Calabi-Yau manifolds to M-theory is the reduction of 11-dimensional supergravity on G2-manifolds ${X}_{7}$. See at M-theory on G2-manifolds for more details.

For non-vanishing field strength (“flux”) of the supergravity C-field in the 4d space this is the Freund-Rubin compactification yielding weak G2 holonomy on ${X}_{7}$.

References

A textbook account is in

• T. Applequist, A. Chodos and P.G.O. Freund, Modern Kaluza-Klein Theories, Addison-Wesley Publ. Comp., (1987)

A survey of the history of the role of the KK-mechanism in theoretical physics is

The seminal analysis of the semi-realistic KK-reductions is in

• Edward Witten, Search for a realistic Kaluza-Klein theory , Nuclear Physics B Volume 186, Issue 3, 10 August 1981, Pages 412-428

A textbook discussion in the context of supergravity is in

In

the mechanism is discussed around Section V.3.3., page 1186 in volume 2.

The discussion in the first order formulation of gravity is given in

• Rodrigo Arosa, Mauricio Romob and Nelson Zamorano, Compactification in first order gravity J.Phys.Conf.Ser.134:012013,2008 (arXiv:0705.1162)

Revised on May 13, 2013 02:36:08 by Urs Schreiber (89.204.154.49)