26.01.2014 Views

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.1. Particles in D Dimensions: QFT as 1D Euclidean Quantum Gravity.<br />

In chapters 2 and 4, we have discussed 2D Euclidean quantum gravity. In <strong>th</strong>is section,<br />

we apply <strong>th</strong>e same techniques to 1D Euclidean Quantum Gravity. While <strong>th</strong>e <strong>th</strong>eory is<br />

trivial as a <strong>th</strong>eory of quantum gravity, it has an important and obvious reinterpretation in<br />

terms of target space Euclidean quantum field <strong>th</strong>eory.<br />

Pa<strong>th</strong> Integral Approach<br />

An example which will illuminate our later considerations is <strong>th</strong>at of a particle moving<br />

<strong>th</strong>rough Euclidean spacetime. This may be <strong>th</strong>ought of as 1D quantum gravity since <strong>th</strong>e<br />

system is described by <strong>th</strong>e action<br />

S = 1 2<br />

We consider <strong>th</strong>e pa<strong>th</strong> integral<br />

∫<br />

dτ √ g(τ)<br />

(g ττ ( dX µ ) ) 2<br />

− m<br />

2<br />

. (5.1)<br />

dτ<br />

A(X I , X f ) =<br />

∫ dg dX<br />

Diff eS , (5.2)<br />

wi<strong>th</strong> boundary conditions X µ i , Xµ f on Xµ . We can fix <strong>th</strong>e gauge by transforming <strong>th</strong>e<br />

einbein to a constant, f ∗ e = s, where s is <strong>th</strong>e single coordinate invariant quantity (i.e.<br />

modulus), namely <strong>th</strong>e leng<strong>th</strong>. The pa<strong>th</strong> integral becomes<br />

A(X i , X f ) =<br />

∝<br />

∫ ∞<br />

0<br />

∫ ∞<br />

since <strong>th</strong>e determinant is proportional to s.<br />

Canonical Approach<br />

0<br />

ds (<br />

det ′ (−s −2 ∂ 2<br />

s 1/2 t ) ) (1−D)/2<br />

e<br />

−(∆X) 2 /2s−m 2 s/2<br />

∫<br />

ds<br />

/2s−m 2 s/2 d D p<br />

∝<br />

s D/2 e−(∆X)2 (2π) D<br />

e ip∆X (5.3)<br />

p 2 + m , 2<br />

Turning to <strong>th</strong>e canonical approach, <strong>th</strong>e action (5.1) has a gauge invariance:<br />

δX = ɛ(τ)X ′ δe(τ) = ɛ ′ (τ)e(τ) + ɛ(τ)e ′ (τ) . (5.4)<br />

We can fix <strong>th</strong>e gauge by putting e = 1 at <strong>th</strong>e price of imposing a constraint. The Wheeler–<br />

DeWitt operator, which generates τ diffeomorphisms, is simply H = p 2 + m 2 , where p µ (τ)<br />

is <strong>th</strong>e field canonically conjugate to x µ (τ). The Wheeler–DeWitt equation is <strong>th</strong>e Euclidean<br />

Klein-Gordon equation:<br />

Hψ(x) =<br />

(− ∂2<br />

∂x 2 + m2 )<br />

ψ = 0 . (5.5)<br />

62

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

Saved successfully!

Ooh no, something went wrong!