6.1 Loop algebraLoop Quantum Gravity5.4 Problems not addressed

6 The Formalism 

Here, I begin the technical description of the basics of loop quantum gravity. The starting point of the construction of the quantum theory is classical general relativity, formulated in terms of the Sen-Ashtekar-Barbero connection [190Jump To The Next Citation Point In The Article, 7, 40Jump To The Next Citation Point In The Article]. Detailed introductions to the (complex) Ashtekar formalism can be found in the book [9Jump To The Next Citation Point In The Article], in the review article [164], and in the conference proceedings [81]. The real version of the theory is presently the most widely used.

Classical general relativity can be formulated in phase space form as follows [9Jump To The Next Citation Point In The Article, 40]. We fix a three-dimensional manifold M (compact and without boundaries) and consider a smooth real SU (2) connection tex2html_wrap_inline2512 and a vector density tex2html_wrap_inline2514 (transforming in the vector representation of SU (2)) on  M . We use tex2html_wrap_inline2520 for spatial indices and tex2html_wrap_inline2522 for internal indices. The internal indices can be viewed as labeling a basis in the Lie algebra of SU (2) or in the three axis of a local triad. We indicate coordinates on M with  x . The relation between these fields and conventional metric gravitational variables is as follows: tex2html_wrap_inline2514 is the (densitized) inverse triad, related to the three-dimensional metric tex2html_wrap_inline2532 of constant-time surfaces by

equation268

where g is the determinant of tex2html_wrap_inline2536 ; and

  equation274

tex2html_wrap_inline2538 is the spin connection associated to the triad, (defined by tex2html_wrap_inline2540, where tex2html_wrap_inline2542 is the triad). tex2html_wrap_inline2544 is the extrinsic curvature of the constant time three surface.

In (2Popup Equation), tex2html_wrap_inline2546 is a constant, denoted the Immirzi parameter, that can be chosen arbitrarily (It will enter the hamiltonian constraint.) [114, 115, 116]. Different choices for tex2html_wrap_inline2546 yield different versions of the formalism, all equivalent in the classical domain. If we choose tex2html_wrap_inline2546 to be equal to the imaginary unit, tex2html_wrap_inline2552, then A is the standard Ashtekar connection, which can be shown to be the projection of the selfdual part of the four-dimensional spin connection on the constant time surface. If we choose tex2html_wrap_inline2556, we obtain the real Barbero connection. The hamiltonian constraint of Lorentzian general relativity has a particularly simple form in the tex2html_wrap_inline2552 formalism; while the hamiltonian constraint of Euclidean general relativity has a simple form when expressed in terms of the tex2html_wrap_inline2556 real connection. Other choices of tex2html_wrap_inline2546 are viable as well. In particular, it has been argued that the quantum theory based on different choices of tex2html_wrap_inline2546 are genuinely physical inequivalent, because they yield ``geometrical quanta'' of different magnitude [189Jump To The Next Citation Point In The Article]. Apparently, there is a unique choice of tex2html_wrap_inline2546 yielding the correct 1/4 coefficient in the Bekenstein-Hawking formula [134Jump To The Next Citation Point In The Article, 135Jump To The Next Citation Point In The Article, 176Jump To The Next Citation Point In The Article, 11Jump To The Next Citation Point In The Article, 178Jump To The Next Citation Point In The Article, 70Jump To The Next Citation Point In The Article], but the matter is still under discussion.

The spinorial version of the Ashtekar variables is given in terms of the Pauli matrices tex2html_wrap_inline2570, or the su (2) generators tex2html_wrap_inline2574, by

eqnarray294

Thus, tex2html_wrap_inline2576 and tex2html_wrap_inline2578 are tex2html_wrap_inline2580 anti-hermitian complex matrices.

The theory is invariant under local SU (2) gauge transformations, three-dimensional diffeomorphisms of the manifold on which the fields are defined, as well as under (coordinate) time translations generated by the hamiltonian constraint. The full dynamical content of general relativity is captured by the three constraints that generate these gauge invariances [190, 9].

As already mentioned, the Lorentzian hamiltonian constraint does not have a simple polynomial form if we use the real connection (2Popup Equation). For a while, this fact was considered an obstacle to defining the quantum hamiltonian constraint; therefore the complex version of the connection was mostly used. However, Thiemann has recently succeeded in constructing a Lorentzian quantum hamiltonian constraint [206Jump To The Next Citation Point In The Article, 201Jump To The Next Citation Point In The Article, 202Jump To The Next Citation Point In The Article] in spite of the non-polynomiality of the classical expression. This is the reason why the real connection is now widely used. This choice has the advantage of eliminating the old ``reality conditions'' problem, namely the problem of implementing non-trivial reality conditions in the quantum theory.





6.1 Loop algebraLoop Quantum Gravity5.4 Problems not addressed

image Loop Quantum Gravity
Carlo Rovelli
http://www.livingreviews.org/lrr-1998-1
© Max-Planck-Gesellschaft. ISSN 1433-8351
Problems/Comments to livrev@aei-potsdam.mpg.de