  Canonical quantization of gravity requires knowledge about the representationtheory of its constraint algebra, which is physically equivalent to the algebraof arbitrary 4-diffeomorphisms. All interesting lowest-energy representationsare projective, making the relevant algebra into a four-dimensionalgeneralization of the Virasoro algebra. Such diffeomorphism anomalies areinvisible in field theory, because the relevant cocycles are functionals of theobserver's trajectory in spacetime. The multi-dimensional Virasoro algebra actsnaturally in the phase space of arbitrary histories, with dynamics playing therole of first-class constraints. General relativity is regularized by expandingall fields in Taylor series around the observer's trajectory, and truncating atsome fixed order. This regularized but manifestly general-covariant theory isquantized in the history phase space, and dynamics is imposed afterwards, inanalogy with BRST quantization. Infinities arise when the regularization isremoved; it is presently unclear how these should be dealt with.
General relativity is regularized by expanding all fields in Taylor series around the observer's trajectory, and truncating at some fixed order. This regularized but manifestly general-covariant theory is quantized in the history phase space, and dynamics is imposed afterwards, in analogy with BRST quantization.