13.06.2015 Views

Kiefer C. Quantum gravity

Kiefer C. Quantum gravity

Kiefer C. Quantum gravity

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

THE SEVENTH ROUTE TO GEOMETRODYNAMICS 103<br />

Using the result (4.21) for Ha g , one can construct from (3.90) the explicit<br />

expression for H g ⊥<br />

. A rather lengthy but straightforward calculation leads to<br />

(Hojman et al. 1976; Teitelboim 1980)<br />

H g ⊥ =16πG G abcdp ab p cd + V [h ab ] , (4.22)<br />

with<br />

G abcd = 1<br />

2 √ h (h ach bd + h ad h bc − h ab h cd ) (4.23)<br />

as the (inverse) ‘DeWitt metric’, 5 h denoting the determinant of h ab ,and<br />

V = σ√ h<br />

16πG ( (3) R − 2Λ) , (4.24)<br />

where (3) R is the three-dimensional Ricci scalar. 6 The inverse of (4.23) is called<br />

‘DeWitt’ metric because it plays the role of a metric in the space of all metrics<br />

(DeWitt 1967a); cf. Section 4.2.5. Due to this it is often referred to as ‘supermetric’.<br />

The explict expression reads<br />

√<br />

h<br />

G abcd =<br />

2 (hac h bd + h ad h bc − 2h ab h cd ) (4.25)<br />

(the last term here is the same in all space dimensions), obeying<br />

G abcd (<br />

G cdef = 1 2 δ<br />

a<br />

e δf b + ) δa f δb e . (4.26)<br />

We recall that the Poisson-bracket relation (3.91) states that H ⊥ transforms as<br />

a scalar density under coordinate transformations; this is explicitly fulfilled by<br />

(4.22) (G abcd has weight −1, p ab and V have weight 1, so H g ⊥<br />

has weight 1). We<br />

thus have<br />

∫<br />

δH g ⊥ (x) = dy {H g ⊥ (x), Hg a (y)}δNa (y) =<br />

∂<br />

∂x a (Hg ⊥ (x)δNa (x)) . (4.27)<br />

It will be shown in Section 4.2 that H g ⊥ and Hg a uniquely characterize GR, that<br />

is, they follow from the Einstein–Hilbert action (1.1). Finally, we want to remark<br />

that the uniqueness of the construction presented here ceases to hold in space<br />

dimensions greater than three (Teitelboim and Zanelli 1987).<br />

4.1.3 Geometrodynamics and gauge theories<br />

We have seen that for vector fields H a is of such a form that the condition<br />

of ultralocality for H ⊥ would be violated, see (4.16). Since vector fields are an<br />

important ingredient in the description of nature, the question arises whether a<br />

5 In d space dimensions, the last term reads −2/(d − 1)h ab h cd .<br />

6 G and Λ are at this stage just free parameters. They will later be identified with the<br />

gravitational constant and the cosmological constant, respectively.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!