nLab
Kaluza-Klein mechanism

Context

Gravity

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Quantum field theory

String theory

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

Contents

Idea

The Kaluza-Klein mechanism is the observation that pure gravity on a product spacetime X×FX \times F with fixed metric g Fg_F on FF looks on XX, as an effective field theory, like gravity coupled to Yang-Mills theoryEinstein-Yang-Mills theory – for gauge group GG the Lie group of isometries of (F,g F)(F,g_F). In particular for F=S 1F = S^1 the circle, it yields electromagnetism coupled to gravity (and a dilaton) – Einstein-Maxwell theory.

The mechanism

More precisely, the Einstein-Hilbert action functional on pseudo-Riemannian metrics on a product spacetime X×FX \times F

g X×FS EH(g X×F) X×FR(g X×F)dvol(g X×F) g_{X \times F} \;\mapsto\; S_{EH}(g_{X \times F}) \;\coloneqq\; \int_{X \times F} R(g_{X \times F}) \, dvol(g_{X \times F})

when restricted to pseudo-Riemannian metrics of the special form

(g X×F KK(x,f))Sym 2(Γ(T *X×F))=(g F(f) A a(x)k a A a(x)k a g X(x)), \left(g^{KK}_{X \times F} \left(x,f\right) \right) \;\in \; Sym^2\left(\Gamma\left(T^* X \times F\right)\right) \;=\; \left( \array{ g_F(f) & A^a(x)k_a \\ A^a(x) k_a & g_X(x) } \right) \,,

where {k aΓ(TF)}\{k_a \in \Gamma(T F)\} are a basis for the Killing vector fields of (F,g F)(F,g_F), is equivalently rewritten as

S EH(g X×F KK)=S EH(g X)+S YM(A)+S mod(g F), S_{EH}\left(g^KK_{X \times F}\right) = S_{EH}\left(g_X\right) + S_{YM}(A) + S_{mod}\left(g_F\right) \,,

where

More generally, one observes that the infinitesimal transformation of metrics g X×Fg_{X \times F} of the above form under diffeomorphisms generated by a Killing vector field (x,f)λ a(x)k a(f) (x,f) \mapsto \lambda^a(x) k_a(f) is given on the AA-component as follows:

ddϵA=d Xλ a+[λ,A]. \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 (g X×F)S(g X×F)(g_{X \times F}) \mapsto S(g_{X\times F}) 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 AA.

Moreover, all this of course remains true if the product X×FX \times F – which we may think of as the trivial FF-fiber bundle over XX – is generalized to any associated bundle EXE \to X with fiber FF, associated to a GG-principal bundle PXP \to X (hence such that E=P× GFE = P \times_G F), in which case the above decomposition of the metric applies locally.

Then one finds that the KK-mechanics indeed not only reproduces gauge fields and their correct dynamics from pure gravity in higher dimensions, but also the forces which they excert on test particles. For instance the rajectory of a charged particle subject to the Lorentz force excerted by an electromagnetic field in dd-dimensional spacetime is in fact a geodesic in the field of pure gravity of the total space of the corresponding KK-un-compactified circle principal bundle. See (Bleecker 81) or (Bartlett 13) for a pedagogical discussion of this effect.

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

(Beware that the term “compactification” here is vaguely related to but rather different from the use of the term in mathematics, as in one-point compactification etc.).

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 Xg_{X} and AA are not necessarily constant along the fiber FF. Typically in applications these fields are expanded in terms of Fourier modes on FF. The coefficients of the higher modes appear as massive fields in the effective KK-action functional. They are called the higher Kaluza-Klein modes . These masses are inversely proportional to the metric volume of FF. 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 experiments (such as the LHC).

On the other hand, the extra moduli fields g Fg_F do not acquire effective masses on XX this way. Therefore models in plain Kaluza-Klein theory are trivially ruled out by experiment: for any choice of FF they predicts the observation on XX 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 in Yang-Mills theory from pure gravity, then 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 XX.

In physics model building the problem of constructing such a more general KK-model is called the moduli stabilization problem . (See also at landscape of string theory vacua.)

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 SU(3)SU(3) and SU(2)SU(2) and the circle group U(1)U(1).

In (Witten 81) it was observed that the minimal dimension of a fiber FF for the KK-reduction to yield the gauge group SU(3)×SU(2)×U(1)SU(3) \times SU(2) \times U(1) is d F=7d_F = 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×FX \times F that could yield a realistic model of observed physics is 4+7=114 + 7 = 11. This is the uniquely specified dimensional of the maximal supergravity model: 11-dimensional supergravity.

While there are many 7-dimensional manifolds FF that do yield the desired gauge group of the standard model, (Witten 81) 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 original pure Kaluza-Klein ansatz that starts with just pure Einstein gravity with no other fields) is nowadays regarded as a non-viable to produce the standard model of particle physics. But one can further play with the idea and consider more flexible models that still exhibit the essence of KK-reduction in parts.

Notably the 11-dimensional supergravity mentioned above contains more fields than just the field of gravity. Specifically it contains the supergravity C-field which is a higher analog of the electromagnetic field. KK-reductions of 11-dimensional supergravity and of its conjectured M-theory UV-completion for instance on G2-manifold fibers turn out to be able to yield models which come at least very close to the standard model of particle physics. This we come to below.

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 FF. (See also at supersymmetry and Calabi-Yau manifolds.)

The advantage of these type II models is that they naturally involve further higher gauge fields, called the B-field and the RR-field. These are modeled by cocycles in ordinary differential cohomology and in differential K-theory, respectively, which means that their field strength \mathcal{F} is an inhomogenous closed differential form of even or of odd degree. Moreover, restricted to configurations \mathcal{F} of these forms with specified cycles in the fiber FF, the moduli part of the KK-reduced action functional

(g KK,F)S EH(g X)+S YM(A)+S mod(g F,) (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 Fg_F proportional to these cycles of \mathcal{F}. 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 manifolds 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.

For more on this see also

KK-Reduction of 11d supergravity

The lift of the above reduction of type II supergravity on Calabi-Yau manifolds to M-theory is the KK-reduction of 11-dimensional supergravity/M-theory on G2-manifolds X 7X_7. The role of the B-field and RR-field is now played by the supergravity C-field, a higher gauge field in twisted ordinary differential cohomology of degree 3+1. 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 7X_7.

Such KK-compactification of the form M-theory on G2-manifolds turn out to yield very detailed and at least semi-realistic physics, see for instance the G2-MSSM modle.

High codimension compactification of D=10D=10 super Yang-Mills

The KK-compactification of D=10 super Yang-Mills theory to D=1D=1 is related to what is called the BFSS matrix model. Compactification even further down to D=0D = 0 gives the IKKT matrix model.

Cascades of KK-reductions

Apart from possibly producing phenomenologically interesting models from UV-complete fundamental theories on higher dimensional spacetimes, KK-reduction generally serves to connect a wide range of quantum field theories with each other in a way that serves to illuminate their general structure and to map the moduli space of all of them.

For instance various deep but rather mysterious properties of 4-dimensional Yang-Mills theory (the central theory of the standard model of particle physics), or at least of its supersymmetric versions N=1 D=4 super Yang-Mills theory/N=2 D=4 sYM/N=4 D=4 sYM, find their natural geometric interpretation by understanding this 4d theory as the KK-compactification of the 6d (2,0)-superconformal QFT on a torus fiber. Notably the Montonen-Olive duality/S-duality of N=2 D=4 super Yang-Mills theory is the conformal transformation remnant of the compactification torus remaining of the conformal invariant of the 6d (2,0)-superconformal QFT (see there for more on this).

At the same time, the 6d (2,0)-superconformal QFT is itself related to a yet higher dimensional theory, namely to a 7d Chern-Simons theory, not by KK-reduction, but by AdS-CFT duality. But that 7d Chern-Simons theory in turn is the KK-reduction of the 11-dimensional Chern-Simons term in 11-dimensional supergravity. Hence all this structure follows again from the maximal dimensional supergravity theory (M-theory) if in addition to KK-reduction one also considers AdS-CFT-boundary relations.

In an analogous way, the supersymmetric version of 4-dimensional Yang-Mills theory with twice that supersymmetry, namely N=4 D=4 sYM, is itself directly related by AdS-CFT to type II supergravity.

And this process continues further down in dimension: N=2 D=4 super Yang-Mills theory and N=4 D=4 sYM themselves have further KK-reductions to 2-dimensional field theories. For N=4N = 4 and after passing to the topologically twisted theory, these are an A-model and a B-model topological string TCFT, respectively. Now what used to be S-duality/Montonen-Olive duality in 4d and conformal invariance in 6d and topological invariant in 7d and 11d here becomes geometric Langlands duality in 2d (see there for more on this) and produces Donaldson theory.

Hence by iteratively applying KK-reductions and other dualities and topological twists, one finds long cascades of different quantum field theories that all superficially look very different, but which thereby become closely related as different aspects of one single higher dimensional field theory. Not all of these lower dimensional theories can be phenomenological viable models, but even the superficially “unrealistic” theories such as the 6d (2,0)-superconformal QFT serve, via KK-reduction, to explain and illuminate deep properties of (semi-)realistic theories such as super Yang-Mills theory in 4d.

The following table displays parts of this cascade of field theories which are induced from 11-dimensional supergravity/M-theory under iterative KK-reduction, AdS-CFT duality and topological twists. There is another such cascade which starts instead from AdS-CFT applied to type II supergravity and then proceeds downward in dimension. This is displayed further below.

gauge theory induced via AdS-CFT correspondence

M-theory perspective via AdS7-CFT6F-theory perspective
11d supergravity/M-theory
\;\;\;\;\downarrow Kaluza-Klein compactification on S 4S^4compactificationon elliptic fibration followed by T-duality
7-dimensional supergravity
\;\;\;\;\downarrow topological sector
7-dimensional Chern-Simons theory
\;\;\;\;\downarrow AdS7-CFT6 holographic duality
6d (2,0)-superconformal QFT on the M5-brane with conformal invarianceM5-brane worldvolume theory
\;\;\;\; \downarrow KK-compactification on Riemann surfacedouble dimensional reduction on M-theory/F-theory elliptic fibration
N=2 D=4 super Yang-Mills theory with Montonen-Olive S-duality invariance; AGT correspondenceD3-brane worldvolume theory with type IIB S-duality
\;\;\;\;\; \downarrow topological twist
topologically twisted N=2 D=4 super Yang-Mills theory
\;\;\;\; \downarrow KK-compactification on Riemann surface
A-model on Bun GBun_G, Donaldson theory

\,

gauge theory induced via AdS5-CFT4
type II string theory
\;\;\;\;\downarrow Kaluza-Klein compactification on S 5S^5
\;\;\;\; \downarrow topological sector
5-dimensional Chern-Simons theory
\;\;\;\;\downarrow AdS5-CFT4 holographic duality
N=4 D=4 super Yang-Mills theory
\;\;\;\;\; \downarrow topological twist
topologically twisted N=4 D=4 super Yang-Mills theory
\;\;\;\; \downarrow KK-compactification on Riemann surface
A-model on Bun GBun_G and B-model on Log GLog_G, geometric Langlands correspondence

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 brief discussion aimed at mathematicians of the KK-reduction of gauge fields is in

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)

A formalization of Kaluza-Klein compactification in perturbation theory formalized by factorization algebras with values in BV-complexes is in section 19 of

A textbook account of the geometry behind the Lorentz force in the Kaluza-Klein mechanism (the idea that geodesics on the gauge bundle project to curved trajectories on the base manifold) can be found in the introduction of chapter 1 and in chapters 9 and 10 of:

  • David Bleecker, Gauge theory and variational principles, Dover publications, 1981.

An expository talk of the above material from Bleecker can be found in this talk:

Revised on December 11, 2013 06:36:49 by Urs Schreiber (89.204.130.40)