6.10 Unfreezing the frozen time 6 The Formalism6.8 Diffeomorphism invariance

6.9 Dynamics

Finally, the definition of the theory is completed by giving the hamiltonian constraint. A number of approaches to the definition of a hamiltonian constraint have been attempted in the past, with various degrees of success. Recently, however, Thiemann has succeeded in providing a regularization of the hamiltonian constraint that yields a well defined, finite operator. Thiemann's construction [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] is based on several clever ideas. I will not describe it here. Rather, I will sketch below the final form of the constraint (for the Lapse=1 case), following [175Jump To The Next Citation Point In The Article].

I begin with the Euclidean hamiltonian constraint. We have

  equation751

Here i labels the nodes of the s-knot s ; (IJ) labels couples of (distinct) links emerging from i . tex2html_wrap_inline3118 are the colors of the links emerging from i . tex2html_wrap_inline3122 is the operator that acts on an tex2html_wrap_inline3124 -knot by: (i) creating two additional nodes, one along each of the two links I and J ; (ii) creating a novel link, colored 1, joining these two nodes, (iii) assigning the coloring tex2html_wrap_inline3130 and, respectively, tex2html_wrap_inline3132 to the links that join the new formed nodes with the node i . This is illustrated in Figure 2.

 

Click on thumbnail to view image

Figure 2: Action of tex2html_wrap_inline3122 .

The coefficients tex2html_wrap_inline3144, which are finite, can be expressed explicitly (but in a rather laborious way) in terms of products of linear combinations of 6- j symbols of SU (2), following the techniques developed in detail in [77Jump To The Next Citation Point In The Article]. Some of these coefficients have been explicitly computed [51Jump To The Next Citation Point In The Article]. The Lorentzian hamiltonian constraint is given by a similar expression, but quadratic in the tex2html_wrap_inline3150 operators.

The operator defined above is obtained by introducing a regularized expression for the classical hamiltonian constraint, written in terms of elementary loop observables, turning these observables into the corresponding operators and taking the limit. The construction works rather magically, relying on the fact, first noticed in [188Jump To The Next Citation Point In The Article], that certain operator limits tex2html_wrap_inline3152 turn out to be finite on diff invariant states, thanks to the fact that, for tex2html_wrap_inline3154 and tex2html_wrap_inline3156, sufficiently small, tex2html_wrap_inline3158 and tex2html_wrap_inline3160 are diffeomorphic equivalent. Thus, here diff invariance plays again a crucial role in the theory.

For a discussion of the problems raised by the Thiemann operator and of the variant proposed, see section 8 .



6.10 Unfreezing the frozen time 6 The Formalism6.8 Diffeomorphism invariance

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