Types of quantum field thories
FQFT and cohomology
The Kaluza-Klein mechanism, named after Theodor Kaluza and Oskar Klein, is the observation that pure gravity on a product spacetime with fixed metric on looks on , as an effective field theory, like gravity coupled to Yang-Mills theory – Einstein-Yang-Mills theory – for gauge group the Lie group of isometries of . In particular for the circle, it yields electromagnetism coupled to gravity (and a dilaton) – Einstein-Maxwell theory.
When applied to supergravity then this mechanism produces not just force fields but also fermionic matter in the resulting effective field theory, hency yields Einstein-Yang-Mills-Dirac theory, see the examples below at KK-reduction of 11d Supergravity. As such the KK-mechanism is not unlike the idea of geometrodynamics, according to which fundamentally there is only dynamical spacetime geometry in the form of gravity with all matter and other forces being special incarnations of this.
Since in general relativity also the size and shape of the fiber is dynamical, generically effective field theories arising from KK-compactification contain spurious fields parameterizing the geometry of . In the simplest case this is just the dilaton, encoding the total volume of , more generally these fields are often called the moduli fields. Since these moduli fields are not observed in experiment, naive KK-models are generically phenomenologically unviable. However, in variants of gravity such as higher dimensional supergravity there are possibilities for the moduli to obtain masses and hence for the KK-models to become viable after all. This is the problem of moduli stabilization.
when restricted to pseudo-Riemannian metrics of the special form
the first term is the EH action of on
This is the infinitesimal form of a gauge transformation: an isomorphism in the groupoid of Lie algebra-valued forms. This means than every functional 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 .
Moreover, all this of course remains true if the product – which we may think of as the trivial -fiber bundle over – is generalized to any associated bundle with fiber , associated to a -principal bundle (hence such that ), 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 -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 for fixed moduli is called a Kaluza-Klein compactification of the spacetime . One also speaks of the effective spacetime as being obtained by dimensional reduction from the spacetime .
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 and are not necessarily constant along the fiber . Typically in applications these fields are expanded in terms of Fourier modes on . 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 . 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 do not acquire effective masses on this way. Therefore models in plain Kaluza-Klein theory are trivially ruled out by experiment: for any choice of they predicts the observation on 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 .
KK-compactification along trivial fibrations is closely related to forming mapping stacks: if is the moduli stack of fields] for an -dimensional field theory (see at prequantum field theory for more on this), then for a -dimensional manifold with the mapping stack
may be thought of as the moduli stack of fields for an -dimensional field theory. By the definition universal property of the mapping stack, this lower dimensional field theory is then such that a field configiuration over an -dimensional spacetime
is equivalently a field configuration of the -dimensional field theory
Traditionally KK-reduction is understood as retaining only parts of (the “0-modes” of fields on only) but of course one may consider arbitrary corrections to this picture and eventially retain the full information.
One example of KK-reduction where the full mapping stack appears is the reduction of topologically twisted N=4 D=4 super Yang-Mills theory on a complex curve as it appears in the explanation of geometric Langlands duality as a special case of S-duality (Witten 08, section 6). Here is the universal moduli stack of -principal connections (or rther that of -Higgs bundles).
In (Witten 81) it was observed that the minimal dimension of a fiber for the KK-reduction to yield the gauge group is . 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 that could yield a realistic model of observed physics is . This is the uniquely specified dimensional of the maximal supergravity model: 11-dimensional supergravity.
While there are many 7-dimensional manifolds 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.
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 . (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 is an inhomogenous closed differential form of even or of odd degree. Moreover, restricted to configurations of these forms with specified cycles in the fiber , the moduli part of the KK-reduced action functional
does produce the previously missing positive potentials for 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 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
The lift of the above reduction of type IIA supergravity on Calabi-Yau manifolds to M-theory is the KK-reduction of 11-dimensional supergravity/M-theory on G2-manifolds . 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 .
|F-theory||F-theory on CY2||F-theory on CY3||F-theory on CY4|
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.
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 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.
|M-theory perspective via AdS7-CFT6||F-theory perspective|
|Kaluza-Klein compactification on||compactificationon elliptic fibration followed by T-duality|
|7-dimensional Chern-Simons theory|
|AdS7-CFT6 holographic duality|
|6d (2,0)-superconformal QFT on the M5-brane with conformal invariance||M5-brane worldvolume theory|
|KK-compactification on Riemann surface||double dimensional reduction on M-theory/F-theory elliptic fibration|
|N=2 D=4 super Yang-Mills theory with Montonen-Olive S-duality invariance; AGT correspondence||D3-brane worldvolume theory with type IIB S-duality|
|topologically twisted N=2 D=4 super Yang-Mills theory|
|KK-compactification on Riemann surface|
|A-model on , Donaldson theory|
|gauge theory induced via AdS5-CFT4|
|type II string theory|
|Kaluza-Klein compactification on|
|5-dimensional Chern-Simons theory|
|AdS5-CFT4 holographic duality|
|N=4 D=4 super Yang-Mills theory|
|topologically twisted N=4 D=4 super Yang-Mills theory|
|KK-compactification on Riemann surface|
|A-model on and B-model on , geometric Langlands correspondence|
A textbook account is in
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
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
Pierre Deligne, Pavel Etingof, Dan Freed, L. Jeffrey, David Kazhdan, John Morgan, D.R. Morrison and Edward Witten, eds. , Quantum Fields and Strings, A course for mathematicians, 2 vols. Amer. Math. Soc. Providence 1999. (web version)
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
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:
An expository talk of the above material from Bleecker can be found in this talk:
Some variant of KK is discussed in