Canonical general relativity

From Wikipedia, the free encyclopedia

Beyond the Standard Model

Experimental evidence
Hierarchy problem • Dark matter Cosmological constant problem Strong CP problem Neutrino oscillation

Theories
Kaluza–Klein theory Grand Unified Theory Theory of Everything String theory

Supersymmetry
MSSM • Superstring theory Supergravity

Quantum gravity
String theory Loop quantum gravity Causal dynamical triangulation Canonical general relativity

Detectors
LHC • Super-K

This box: view • talk • edit

In physics, canonical quantum gravity is an attempt to quantize the canonical formulation of general relativity (or canonical gravity). It is a Hamiltonian formulation of Einstein's general theory of relativity. The basic theory was outlined by Bryce DeWitt^[1] in a seminal 1967 paper, and based on earlier work by Peter G. Bergmann^[2] using the so-called canonical quantization techniques for constrained Hamiltonian systems invented by Paul Dirac.^[3] Dirac's approach allows the quantization of systems that include gauge symmetries using Hamiltonian techniques in a fixed gauge choice. Newer approaches based in part on the work of DeWitt and Dirac include the Hartle-Hawking state, Regge calculus, the Wheeler-DeWitt equation and loop quantum gravity.

The quantization is based on decomposing the metric tensor as follows,

$g_{\mu\nu}dx^{\mu}dx^{\nu}=(-\,N^2+\beta_k\beta^k)dt^2+2\beta_kdx^kdt+\gamma_{ij}dx^idx^j$

where the summation over repeated indices is implied, the index 0 denotes time $τ = x 0$ , Greek indices run over all values 0,...,3 and Latin indices run over spatial values 1,...3. The function $N$ is called the lapse function and the functions $β k$ are called the shift functions. The spatial indices are raised and lowered using the spatial metric $γ i j$ and its inverse $γ i j$ : $γ i j γ j k = δ i k$ and $β i = γ i j β j$ , $γ = detγ i j$ , where $δ$ is the Kronecker delta. Under this decomposition the Einstein-Hilbert Lagrangian becomes, up to total derivatives,

$L=\int d^3x\,N\gamma^{1/2}(K_{ij}K^{ij}-K^2+{}^{(3)}R)$

where $(3) R$ is the spatial scalar curvature computed with respect to the Riemannian metric $γ i j$ and $K i j$ is the extrinsic curvature,

$K_{ij}=\frac{1}{2}N^{-1}\left(\nabla_j\beta_i+\nabla_i\beta_j-\frac{\partial\gamma_{ij}}{\partial\tau}\right),$

where $\nabla_i$ denotes covariant differentiation with respect to the metric $γ i j$ . DeWitt writes that the Lagrangian "has the classic form 'kinetic energy minus potential energy,' with the extrinsic curvature playing the role of kinetic energy and the negative of the intrinsic curvature that of potential energy." While this form of the Lagrangian is manifestly invariant under redefinition of the spatial coordinates, it makes general covariance opaque.

Since the lapse function and shift functions may be eliminated by a gauge transformation, they do not represent physical degrees of freedom. This is indicated in moving to the Hamiltonian formalism by the fact that their conjugate momenta, respectively $π$ and $π i$ , vanish identically (on shell and off shell). These are called primary constraints by Dirac. A popular choice of gauge, called synchronous gauge, is $N = 1$ and $β i = 0$ , although they can, in principle, be chosen to be any function of the coordinates. In this case, the Hamiltonian takes the form

$H=\int d^3x\mathcal{H},$

where

$\mathcal{H}=\frac{1}{2}\gamma^{-1/2}(\gamma_{ik}\gamma_{jl}+\gamma_{il}\gamma_{jk}-\gamma_{ij}\gamma_{kl})\pi^{ij}\pi^{kl}-\gamma^{1/2}{}^{(3)}R$

and $π i j$ is the momentum conjugate to $γ i j$ . Einstein's equations may be recovered by taking Poisson brackets with the Hamiltonian. Additional on-shell constraints, called secondary constraints by Dirac, arise from the consistency of the Poisson bracket algebra. These are $\mathcal{H}=0$ and $\nabla_j\pi^{ij}=0$ . This is the theory which is being quantized in approaches to canonical quantum gravity.

canonical general relativity all have to deal with the problem of time. In short, in general relativity, time is just another coordinated as a result of general covariance. In quantum field theories, especially in the hamiltonian formulation, the formulation is split between 3 dimensions of space, and 1 dimension of time.

[edit] See also

Loop quantum gravity is one of this family of theories.
Loop quantum cosmology (LQC) is a finite, symmetry reduced model of loop quantum gravity.

[edit] Sources and notes

^ B. S. DeWitt (1967). "Quantum theory of gravity. I. The canonical theory". Phys. Rev. 160: 1113–48. doi:10.1103/PhysRev.160.1113. (pdf)
^ see, e.g. P. G. Bergmann, Hamilton-Jacobi and Schrödinger Theory in Theories with First-Class Hamiltonian Constraints Helv. Phys. Acta Suppl. 4, 79 (1956) and references.
^ P. A. M. Dirac (1950). "Generalized Hamiltonian dynamics". Can. J. Math. 2: 129–48. (pdf) P. A. M. Dirac (1964). Lectures on quantum mechanics. New York: Yeshiva University.
P. A. M. Dirac Fixation of Coordinates in the Hamiltonian Theory of Gravitation Phys. Rev. 114, 924 (1959)
P. A. M. Dirac The Theory of Gravitation in Hamiltonian Form Proc. Roy. Soc. (London) A246, 333 (1958)
R. Arnowitt, S. Deser. and C, W, Misner The Dynamics of General Relativity from Gravitation: an introduction to current research, Louis Witten ed. (Wiley 1962), chapter 7, pp 227--265.