HOME

TheInfoList



OR:

In
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
, gauge gravitation theory is the effort to extend
Yang–Mills theory In mathematical physics, Yang–Mills theory is a gauge theory based on a special unitary group SU(''N''), or more generally any compact, reductive Lie algebra. Yang–Mills theory seeks to describe the behavior of elementary particles using th ...
, which provides a universal description of the fundamental interactions, to describe
gravity In physics, gravity () is a fundamental interaction which causes mutual attraction between all things with mass or energy. Gravity is, by far, the weakest of the four fundamental interactions, approximately 1038 times weaker than the stro ...
. ''Gauge gravitation theory'' should not be confused with the similarly-named
gauge theory gravity Gauge theory gravity (GTG) is a theory of gravitation cast in the mathematical language of geometric algebra. To those familiar with general relativity, it is highly reminiscent of the tetrad formalism although there are significant conceptual d ...
, which is a formulation of (classical) gravitation in the language of
geometric algebra In mathematics, a geometric algebra (also known as a real Clifford algebra) is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the ge ...
. Nor should it be confused with Kaluza–Klein theory, where the gauge fields are used to describe particle fields, but not gravity itself.


Overview

The first gauge model of gravity was suggested by Ryoyu Utiyama (1916–1990) in 1956 just two years after birth of the
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups) ...
itself. However, the initial attempts to construct the gauge theory of gravity by analogy with the gauge models of internal symmetries encountered a problem of treating general covariant transformations and establishing the gauge status of a
pseudo-Riemannian metric In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
(a tetrad field). In order to overcome this drawback, representing
tetrad Tetrad ('group of 4') or tetrade may refer to: * Tetrad (area), an area 2 km x 2 km square * Tetrad (astronomy), four total lunar eclipses within two years * Tetrad (chromosomal formation) * Tetrad (general relativity), or frame field ** Tetra ...
fields as gauge fields of the translation group was attempted. Infinitesimal generators of general covariant transformations were considered as those of the translation gauge group, and a tetrad (coframe) field was identified with the translation part of an
affine connection In differential geometry, an affine connection is a geometric object on a smooth manifold which ''connects'' nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values i ...
on a
world manifold In gravitation , gravitation theory, a world manifold endowed with some Lorentzian manifold, Lorentzian pseudo-Riemannian manifold, pseudo-Riemannian metric and an associated space-time structure is a spacetime, space-time. Gravitation theory is f ...
X. Any such connection is a sum K=\Gamma + \Theta of a linear world connection \Gamma and a soldering form \Theta= \Theta_\mu^a dx^\mu\otimes\vartheta_a where \vartheta_a=\vartheta_a^\lambda\partial_\lambda is a non-holonomic frame. For instance, if K is the Cartan connection, then \Theta=\theta=dx^\mu\otimes\partial_\mu is the canonical soldering form on X. There are different physical interpretations of the translation part \Theta of
affine connection In differential geometry, an affine connection is a geometric object on a smooth manifold which ''connects'' nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values i ...
s. In gauge theory of
dislocation In materials science, a dislocation or Taylor's dislocation is a linear crystallographic defect or irregularity within a crystal structure that contains an abrupt change in the arrangement of atoms. The movement of dislocations allow atoms to sl ...
s, a field \Theta describes a distortion. At the same time, given a linear frame \vartheta_a, the decomposition \theta=\vartheta^a\otimes\vartheta_a motivates many authors to treat a coframe \vartheta^a as a translation gauge field. Difficulties of constructing gauge gravitation theory by analogy with the Yang–Mills one result from the gauge transformations in these theories belonging to different classes. In the case of internal symmetries, the gauge transformations are just vertical automorphisms of a
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equip ...
P\to X leaving its base X fixed. On the other hand, gravitation theory is built on the principal bundle FX of the tangent frames to X. It belongs to the category of natural bundles T\to X for which diffeomorphisms of the base X canonically give rise to automorphisms of . These automorphisms are called general covariant transformations. General covariant transformations are sufficient in order to restate Einstein's
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
and
metric-affine gravitation theory In comparison with General Relativity, dynamic variables of metric-affine gravitation theory are both a pseudo-Riemannian metric and a general linear connection on a world manifold X. Metric-affine gravitation theory has been suggested as a na ...
as the gauge ones. In terms of
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups) ...
on natural bundles, gauge fields are linear connections on a world manifold X, defined as principal connections on the
linear frame bundle In mathematics, a frame bundle is a principal fiber bundle F(''E'') associated to any vector bundle ''E''. The fiber of F(''E'') over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E'x''. The general linear group acts nat ...
FX, and a metric (tetrad) gravitational field plays the role of a
Higgs field The Higgs boson, sometimes called the Higgs particle, is an elementary particle in the Standard Model of particle physics produced by the quantum excitation of the Higgs field, one of the fields in particle physics theory. In the Stand ...
responsible for spontaneous symmetry breaking of general covariant transformations. Spontaneous symmetry breaking is a quantum effect when the vacuum is not invariant under the transformation group. In classical
gauge theory In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups) ...
, spontaneous symmetry breaking occurs if the structure group G of a
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equip ...
P\to X is reducible to a closed subgroup H, i.e., there exists a principal subbundle of P with the structure group H. By virtue of the well-known theorem, there exists one-to-one correspondence between the reduced principal subbundles of P with the structure group H and the global sections of the quotient bundle . These sections are treated as classical Higgs fields. The idea of the
pseudo-Riemannian metric In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
as a
Higgs field The Higgs boson, sometimes called the Higgs particle, is an elementary particle in the Standard Model of particle physics produced by the quantum excitation of the Higgs field, one of the fields in particle physics theory. In the Stand ...
appeared while constructing non-linear (induced) representations of the general linear group , of which the
Lorentz group In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
is a Cartan subgroup. The geometric equivalence principle postulating the existence of a reference frame in which Lorentz invariants are defined on the whole world manifold is the theoretical justification for the reduction of the structure group of the linear frame bundle to the
Lorentz group In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
. Then the very definition of a
pseudo-Riemannian metric In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
on a manifold X as a global section of the quotient bundle leads to its physical interpretation as a
Higgs field The Higgs boson, sometimes called the Higgs particle, is an elementary particle in the Standard Model of particle physics produced by the quantum excitation of the Higgs field, one of the fields in particle physics theory. In the Stand ...
. The physical reason for world symmetry breaking is the existence of Dirac fermion matter, whose symmetry group is the universal two-sheeted covering of the restricted
Lorentz group In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
, .


See also


References


Bibliography

* * * {{cite journal , first=Yu. , last=Obukhov , year=2006 , title=Poincaré gauge gravity: Selected topics , journal=Int. J. Geom. Methods Mod. Phys. , volume=3 , pages=95-138 , arxiv=gr-qc/0601090 Gauge theories Theories of gravity