I address the question: “What is fixed on the boundary in the action principles of general relativity?” Four forms of the action are considered: the Einstein action, the Hilbert action, the first order action, and what may be called the cosmological action. The relationships and boundary data of these actions are described geometrically. Formal passage to the “Euclidean” forms of these actions is effected in detail.

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Sec.1, we introduce these problems. In Sec.2, we introduce topos theory, especially the idea of a topos of presheaves. In Sec.3, we discuss several possible applications of topos theory to the problems in Sec.1. In Sec.4, we draw some conclusions.

We propose a solution to the problem of time for systems with a single global Hamiltonian constraint. Our solution stems from the observation that, for these theories, conventional gauge theory methods fail to capture the full classical dynamics of the system and must therefore be deemed inappropriate. We propose a new strategy for consistently quantizing systems with a relational notion of time that does capture the full classical dynamics of the system and allows for evolution parametrized by an equitable internal (...) clock. This proposal contains the minimal temporal structure necessary to retain the ordering of events required to describe classical evolution. In the context of shape dynamics (an equivalent formulation of general relativity that is locally scale invariant and free of the local problem of time) our proposal can be shown to constitute a natural methodology for describing dynamical evolution in quantum gravity and to lead to a quantum theory analogous to the Dirac quantization of unimodular gravity. (shrink)

A solution to the issue of time in quantum gravity is proposed. The hypothesis that time is not defined at the fundamental level (at the Planck scale) is considered. A natural extension of canonical Heisenberg-picture quantum mechanics is defined. It is shown that this extension is well defined and can be used to describe the "non-Schrödinger regime," in which a fundamental time variable is not defined. This conclusion rests on a detailed analysis of which quantities are the physical observables of (...) the theory; a main technical result of the paper is the identification of a class of gauge-invariant observables that can describe the (observable) evolution in the absence of a fundamental definition of time. The choice of the scalar product and the interpretation of the wave function are carefully discussed. The physical interpretation of the extreme "no time" quantum gravitational physics is considered. (shrink)