13.06.2015 Views

Approaches to Quantum Gravity

Approaches to Quantum Gravity

Approaches to Quantum Gravity

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.

Prolegomena <strong>to</strong> any future <strong>Quantum</strong> <strong>Gravity</strong> 45<br />

Its field equations are invariant under all differentiable au<strong>to</strong>morphisms (diffeomorphisms)<br />

of the underlying manifold, which has no S-T structure until a solution<br />

of the field equations is specified. In a background-independent theory, there is no<br />

kinematics independent of the dynamics. 2<br />

4.1.2 The primacy of process<br />

GR and Special Relativistic <strong>Quantum</strong> Field Theory (SRQFT) do share one fundamental<br />

feature that often is not sufficiently stressed: the primacy of process over<br />

state. 3 The four-dimensional approach, emphasizing processes in regions of S-T, is<br />

basic <strong>to</strong> both (see, e.g., [11; 22; 23; 6; 7]). Every measurement, classical or quantum,<br />

takes a finite time, and thus involves a process. In non-relativistic <strong>Quantum</strong><br />

Mechanics (QM), one can sometimes choose a temporal slice of S-T so thin that<br />

one can speak meaningfully of an “instantaneous measurement” of the state of a<br />

system; but even in QM this is not always the case. Continuous quantum measurements<br />

are often needed. And this is certainly the case for measurements in SRQFT,<br />

and in GR (see, e.g. [4; 22; 23; 27]). The breakup of a four-dimensional S-T region<br />

in<strong>to</strong> lower-dimensional sub-regions – in particular, in<strong>to</strong> a one parameter family of<br />

three-dimensional hypersurfaces – raises another aspect of the problem. It breaks<br />

up a process in<strong>to</strong> a sequence of instantaneous states. This is useful, perhaps sometimes<br />

indispensable, as a calculational <strong>to</strong>ol in both quantum theory and GR. But<br />

no fundamental significance should be attached <strong>to</strong> such breakups, and results so<br />

obtained should be examined for their significance from the four-dimensional, process<br />

standpoint (see, e.g. [19; 9]). Since much of this paper is concerned with such<br />

2 Ashtekar and Lewandowski [2] note that “in interacting [special-relativistic] <strong>Quantum</strong> Field Theories, there is<br />

a delicate relation between quantum kinematics and dynamics: unless the representation of the basic opera<strong>to</strong>r<br />

algebra is chosen appropriately, typically, the Hamil<strong>to</strong>nian fails <strong>to</strong> be well-defined on the Hilbert space;” and<br />

go on <strong>to</strong> suggest that in GR one has the same “problem of choosing the ‘correct’ kinematical representation”<br />

(p. 51). By a “background independent kinematics” for GR they mean a “quantum kinematics for backgroundindependent<br />

theories of connections.” In making a distinction between “quantum kinematics and dynamics,”<br />

they evidently have in mind the distinction between the definition of an opera<strong>to</strong>r algebra for “position and<br />

momenta” opera<strong>to</strong>rs on some spacelike initial hypersurface and the attendant definition of a Hilbert space of<br />

state functions on that hypersurface; and the evolution of this state function from hypersurface <strong>to</strong> hypersurface<br />

induced by a Hamil<strong>to</strong>nian opera<strong>to</strong>r, which has been appropriately defined in terms of these position and<br />

momenta. Two comments may help <strong>to</strong> clarify the difference between their outlook and mine.<br />

(1) In any special-relativistic field theory, regardless of the field equations, the basic opera<strong>to</strong>r algebra, including<br />

the Hamil<strong>to</strong>nian, must be a representation of the Poincaré group, the fixed isometry group of the background<br />

S-T metric; this requirement is what I call a kinematics independent of dynamics. In canonical versions of GR,<br />

this algebra emerges from the field equations, in particular their division in<strong>to</strong> constraint and evolution opera<strong>to</strong>rs;<br />

and this an example of what I mean by “no kinematics independent of dynamics.”<br />

(2) While “kinematical” Hilbert spaces and state functions may be defined on the family of spacelike hypersurfaces,<br />

per se such state functions are without direct physical significance. They can only serve as aids in the<br />

calculation of the probability amplitude for some physical process, which will always involve what Ashtekar<br />

and Lewandowski call “dynamics”.<br />

3 Baez [3] emphasizes that both are included in the category of cobordisms. Two manifolds are cobordant if their<br />

union is the complete boundary of a third manifold.

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

Saved successfully!

Ooh no, something went wrong!