We address the problem of observables in generally invariant spacetime theories such as Einstein’s general relativity. Using the refined notion of an event as a “point-coincidence” between scalar fields that completely characterise a spacetime model, we propose a generalisation of the relational local observables that does not require the existence of four everywhere invertible scalar fields. The collection of all point-coincidences forms in generic situations a four-dimensional manifold, that is naturally identified with the physical spacetime.

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)

We cast the flat space theory of a scalar field in generally covariant form by introducing an auxiliary field $\lambda$. The resulting theory is couched in terms of an action integral $S$, and all the fields (the scalar, the spacetime metric, and $\lambda$) are dynamical in the sense of being varied freely in $S$. Conservation of energy-momentum emerges as a formal consequence of diffeomorphism invariance, in close analogy with the situation in ordinary general relativity.