General relativity histories theory II: Invariance groups

We show in detail how the histories description of general relativity carries representations of both the spacetime diffeomorphisms group and the Dirac algebra of constraints. We show that the introduction of metric-dependent equivariant foliations leads to the crucial result that the canonical constraints are invariant under the action of spacetime diffeomorphisms. Furthermore, there exists a representation of the group of generalised spacetime mappings that are functionals of the four-metric: this is a spacetime analogue of the group originally defined by Bergmann and Komar in the context of the canonical formulation of general relativity. Finally, we discuss the possible directions for the quantization of gravity in histories theory.Comment: 24 pages, submitted to Class. Quant. Gra

Continuous Time and Consistent Histories

We discuss the use of histories labelled by a continuous time in the approach to consistent-histories quantum theory in which propositions about the history of the system are represented by projection operators on a Hilbert space. This extends earlier work by two of us \cite{IL95} where we showed how a continuous time parameter leads to a history algebra that is isomorphic to the canonical algebra of a quantum field theory. We describe how the appropriate representation of the history algebra may be chosen by requiring the existence of projection operators that represent propositions about time average of the energy. We also show that the history description of quantum mechanics contains an operator corresponding to velocity that is quite distinct from the momentum operator. Finally, the discussion is extended to give a preliminary account of quantum field theory in this approach to the consistent histories formalism.Comment: Typeset in RevTe

General relativity histories theory I: The spacetime character of the canonical description

The problem of time in canonical quantum gravity is related to the fact that the canonical description is based on the prior choice of a spacelike foliation, hence making a reference to a spacetime metric. However, the metric is expected to be a dynamical, fluctuating quantity in quantum gravity. We show how this problem can be solved in the histories formulation of general relativity. We implement the 3+1 decomposition using metric-dependent foliations which remain spacelike with respect to all possible Lorentzian metrics. This allows us to find an explicit relation of covariant and canonical quantities which preserves the spacetime character of the canonical description. In this new construction, we also have a coexistence of the spacetime diffeomorphisms group, and the Dirac algebra of constraints.Comment: 23 pages, submitted to Class. Quant. Gra

Canonical Lagrangian Dynamics and General Relativity

Building towards a more covariant approach to canonical classical and quantum gravity we outline an approach to constrained dynamics that de-emphasizes the role of the Hamiltonian phase space and highlights the role of the Lagrangian phase space. We identify a "Lagrangian one-form" to replace the standard symplectic one-form, which we use to construct the canonical constraints and an associated constraint algebra. The method is particularly useful for generally covariant systems and systems with a degenerate canonical symplectic form, such as Einstein Cartan gravity, to which we apply the method explicitly. We find that one can demonstrate the closure of the constraints without gauge fixing the Lorentz group or introducing primary constraints on the phase space variables. Finally, using geometric quantization techniques, we briefly discuss implications of the formalism for the quantum theory.Comment: Version published in Classical and Quantum Gravity. Significant content and references adde