Ashtekar variables
   HOME

TheInfoList



OR:

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 ...
q_ (x) on the spatial slice and the metric's conjugate momentum K^ (x), 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 \ E^a_j\ , \ j = 1,2,3\ that are orthogonal, that is, :\delta_ = q_\ E_j^a\ E_k^b ~. The \ E_i^a\ are called a triad or ''drei-bein'' (German literal translation, "three-leg"). There are now two different types of indices, "space" indices \ a,b,c\ that behave like regular indices in a curved space, and "internal" indices \ j,k,\ell\ which behave like indices of flat-space (the corresponding "metric" which raises and lowers internal indices is simply \ \delta_\ ). Define the dual ''drei-bein'' \ E^j_a\ as :\ E^j_a = q_\ E^b_j ~. We then have the two orthogonality relationships :\ \delta^ = q^\ E^j_a\ E^k_b\ , where q^ is the inverse matrix of the metric \ q_\ (this comes from substituting the formula for the dual ''drei-bein'' in terms of the ''drei-bein'' into \ q^\ E^j_a\ E^k_b\ and using the orthogonality of the ''drei-beins''). and :\ E_j^a\ E^j_b\ = \delta_b^a\ (this comes about from contracting \ \delta_ = q_\ E_k^b\ E_j^a\ with \ E^j_c\ 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 \ E_a^k\ ). It is then easy to verify from the first orthogonality relation, employing \ E_j^a\ E^j_b = \delta_b^a\ , that :\ q^ ~=~ \sum_^\; \delta_\ E_j^a\ E_k^b ~=~ \sum_^\; E_j^a\ E_j^b\ , 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 \ q^\ , when written in terms of a basis \ E_j^a\ , is locally flat). Actually what is really considered is :\ \left( \mathrm (q) \right)\ q^ ~=~ \sum_^\; \tilde_j^a\ \tilde_j^b\ , which involves the ''"densitized"'' ''drei-bein'' \tilde_i^a instead ''densitized'' as \ \tilde_j^a = \sqrt\ E_j^a\ . One recovers from \ \tilde_j^a\ the metric times a factor given by its determinant. It is clear that \ \tilde_j^a\ and \ E_j^a\ contain the same information, just rearranged. Now the choice for \ \tilde_j^a\ 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 \ j\ without changing the (inverse) metric. This is the origin of the \ \mathrm\ 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 \ V_i^b\ will be :\ D_a\ V_j^b = \partial_a V_j^b - \Gamma_^\ V_k^b + \Gamma^b_\ V_j^c\ where \ \Gamma^b_\ 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 \ \Gamma_^\ 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 :\ A_a^j = \Gamma_a^j + \beta\ K_a^j\ where \Gamma_a^j = \Gamma_\ \epsilon^ and K_a^j = K_\ \tilde^ / \sqrt ~. The densitized ''drei-bein'' is the conjugate momentum variable of this three-dimensional SU(2) gauge field (or connection) \ A^k_b\ , in that it satisfies the Poisson bracket relation :\ \ = 8\pi\ G_\mathsf\ \beta\ \delta^a_b\ \delta^k_j\ \delta^3 (x - y) ~. The constant \beta 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 ...
\ G_\mathsf ~. 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 \ \beta = -i\ (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 ...
, \ i\ ), \ A_a^j\ 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 \tilde = \sqrt H ~. 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 (\beta 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