In the
ADM formulation of
general relativity
General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
, spacetime is split into spatial slices and a time axis. The basic variables are taken to be the
induced metric
Induce may refer to:
* Induced consumption
* Induced innovation
* Induced character
* Induced coma
* Induced menopause
* Induced metric
* Induced path
* Induced topology
* Induce (musician), American musician
* Labor induction, stimulation of chil ...
on the spatial slice and the metric's conjugate momentum
, which is related to the
extrinsic curvature and is a measure of how the induced metric evolves in time. These are the metric
canonical coordinates
In mathematics and classical mechanics, canonical coordinates are sets of coordinates on phase space which can be used to describe a physical system at any given point in time. Canonical coordinates are used in the Hamiltonian formulation of cla ...
.
In 1986
Abhay Ashtekar introduced a new set of canonical variables, Ashtekar (new) variables to represent an unusual way of rewriting the metric canonical variables on the three-dimensional spatial slices in terms of an
SU(2)
In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1.
The matrices of the more general unitary group may have complex determinants with absolute value 1, rather than real 1 ...
gauge field
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 under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
and its complementary variable.
Overview
Ashtekar variables provide what is called the connection representation of canonical general relativity, which led to the loop representation of quantum general relativity and in turn
loop quantum gravity
Loop quantum gravity (LQG) is a theory of quantum gravity that incorporates matter of the Standard Model into the framework established for the intrinsic quantum gravity case. It is an attempt to develop a quantum theory of gravity based direc ...
and
quantum holonomy theory.
Let us introduce a set of three vector fields
that are orthogonal, that is,
:
The
are called a triad or ''drei-bein'' (German literal translation, "three-leg"). There are now two different types of indices, "space" indices
that behave like regular indices in a curved space, and "internal" indices
which behave like indices of flat-space (the corresponding "metric" which raises and lowers internal indices is simply
). Define the dual ''drei-bein''
as
:
We then have the two orthogonality relationships
:
where
is the inverse matrix of the metric
(this comes from substituting the formula for the dual ''drei-bein'' in terms of the ''drei-bein'' into
and using the orthogonality of the ''drei-beins'').
and
:
(this comes about from contracting
with
and using the
linear independence
In the theory of vector spaces, a set (mathematics), set of vector (mathematics), vectors is said to be if there exists no nontrivial linear combination of the vectors that equals the zero vector. If such a linear combination exists, then th ...
of the
). It is then easy to verify from the first orthogonality relation, employing
that
:
we have obtained a formula for the inverse metric in terms of the ''drei-beins''. The ''drei-beins'' can be thought of as the 'square-root' of the metric (the physical meaning to this is that the metric
when written in terms of a basis
is locally flat). Actually what is really considered is
:
which involves the ''"densitized"'' ''drei-bein''
instead ''densitized'' as
. One recovers from
the metric times a factor given by its determinant. It is clear that
and
contain the same information, just rearranged. Now the choice for
is not unique, and in fact one can perform a local in space
rotation
Rotation or rotational/rotary motion is the circular movement of an object around a central line, known as an ''axis of rotation''. A plane figure can rotate in either a clockwise or counterclockwise sense around a perpendicular axis intersect ...
with respect to the internal indices
without changing the (inverse) metric. This is the origin of the
gauge invariance. Now if one is going to operate on objects that have internal indices one needs to introduce an appropriate derivative (
covariant derivative
In mathematics and physics, covariance is a measure of how much two variables change together, and may refer to:
Statistics
* Covariance matrix, a matrix of covariances between a number of variables
* Covariance or cross-covariance between ...
), for example the covariant derivative for the object
will be
:
where
is the usual
Levi-Civita connection
In Riemannian or pseudo-Riemannian geometry (in particular the Lorentzian geometry of general relativity), the Levi-Civita connection is the unique affine connection on the tangent bundle of a manifold that preserves the ( pseudo-) Riemannian ...
and
is the so-called
spin connection
In differential geometry and mathematical physics, a spin connection is a connection (vector bundle), connection on a spinor bundle. It is induced, in a canonical manner, from the affine connection. It can also be regarded as the gauge field gene ...
. Let us take the configuration variable to be
:
where
and
The densitized ''drei-bein'' is the conjugate momentum variable of this three-dimensional SU(2) gauge field (or connection)
in that it satisfies the Poisson bracket relation
:
The constant
is the
Immirzi parameter, a factor that renormalizes
Newton's constant
The gravitational constant is an empirical physical constant involved in the calculation of gravitational effects in Sir Isaac Newton's law of universal gravitation and in Albert Einstein's theory of general relativity. It is also known as t ...
The densitized ''drei-bein'' can be used to re construct the metric as discussed above and the connection can be used to reconstruct the extrinsic curvature. Ashtekar variables correspond to the choice
(the negative of the
imaginary number
An imaginary number is the product of a real number and the imaginary unit , is usually used in engineering contexts where has other meanings (such as electrical current) which is defined by its property . The square (algebra), square of an im ...
,
),
is then called the chiral spin connection.
The reason for this choice of spin connection, was that Ashtekar could much simplify the most troublesome equation of canonical general relativity – namely the
Hamiltonian constraint of LQG. This choice made its formidable second term vanish, and the remaining term became polynomial in his new variables. This simplification raised new hopes for the canonical quantum gravity programme. However it did present certain difficulties: Although Ashtekar variables had the virtue of simplifying the Hamiltonian, it has the problem that the variables become
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
. When one quantizes the theory it is a difficult task to ensure that one recovers
real general relativity, as opposed to
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
general relativity. Also the Hamiltonian constraint Ashtekar worked with was the densitized version, instead of the original Hamiltonian; that is, he worked with
There were serious difficulties in promoting this quantity to a
quantum operator. In 1996
Thomas Thiemann who was able to use a generalization of Ashtekar's formalism to real connections (
takes real values) and in particular devised a way of simplifying the original Hamiltonian, together with the second term. He was also able to promote this Hamiltonian constraint to a well defined quantum operator within the loop representation.
Lee Smolin & Ted Jacobson, and Joseph Samuel independently discovered that there exists in fact a
Lagrangian formulation of the theory by considering the self-dual formulation of the
tetradic Palatini action principle of general relativity. These proofs were given in terms of spinors. A purely tensorial proof of the new variables in terms of triads was given by Goldberg and in terms of tetrads by Henneaux, Nelson, & Schomblond (1989).
References
Further reading
*{{cite journal , last=Ashtekar , first=Abhay , year=1986 , title=New Variables for Classical and Quantum Gravity , journal=Physical Review Letters , volume=57 , issue=18 , pages=2244–2247 , doi=10.1103/PhysRevLett.57.2244 , pmid=10033673 , bibcode=1986PhRvL..57.2244A
Loop quantum gravity