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.

where here<br />

PARTICLE SYSTEMS 79<br />

H S ≡ η µν p µ p ν + m 2 ≈ 0 (3.27)<br />

plays the role of the Super-Hamiltonian which is constrained to vanish. The interpretation<br />

of the Lagrange multiplier N can be gained from Hamilton’s equations,<br />

ẋ 0 = ∂(NH S)<br />

∂p 0<br />

= −2Np 0 ,<br />

to give<br />

ẋ 0<br />

N =<br />

2 √ p 2 + m = ẋ0<br />

2 2mγ = 1 ds<br />

2m dτ , (3.28)<br />

where γ is the standard relativistic factor. In contrast to (3.11), the lapse function<br />

N here is proportional to the rate of change of proper time (not x 0 ) with respect<br />

to parameter time. 2<br />

If we apply Dirac’s quantization rule on the classical constraint (3.27), we get<br />

Ĥ S ψ(x µ ) ≡ ( − 2 ✷ + m 2) ψ(x µ )=0. (3.29)<br />

This is the Klein–Gordon equation for relativistic one-particle quantum mechanics<br />

(spinless particles). We emphasize that the classical parameter τ has completely<br />

disappeared since particle trajectories do not exist in quantum theory.<br />

With regard to the Hamiltonian action (3.26), the question arises how x, p,<br />

and N must transform under time reparametrizations in order to leave the action<br />

invariant; cf. Teitelboim (1982). Since the first-class constraint H S generates<br />

gauge transformations in the sense of (3.20), one has (neglecting the space–time<br />

indices)<br />

δx(τ) =ɛ(τ){x, H S } = ɛ ∂H S<br />

∂p , (3.30)<br />

δp(τ) =ɛ(τ){p, H S } = −ɛ ∂H S<br />

∂x . (3.31)<br />

(In the present case this yields δx =2ɛp, δp = 0, but we shall keep the formalism<br />

general for the moment.) But how does the Lagrange multiplier N transform?<br />

We calculate for this purpose<br />

τ 1<br />

∫ τ2<br />

δS = dτ (ẋδp + pδẋ − H S δN − NδH S ) .<br />

τ 1<br />

The last term is zero, and partial integration of the second term leads to<br />

∫ τ2<br />

(<br />

δS = dτ −ɛ ∂H ) [<br />

S<br />

∂x ẋ − ɛ∂H S<br />

∂p ṗ − H SδN + pɛ ∂H ] τ2<br />

S<br />

∂p<br />

2 If we had chosen (3.25) instead of (3.27), we would have found N =ẋ 0 .<br />

τ 1<br />

.

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

Saved successfully!

Ooh no, something went wrong!