Dirac's approach to gauge symmetries is discussed. We follow closely the steps that led him from his conjecture concerning the generators of gauge transformations {\it at a given time} ---to be contrasted with the common view of gauge transformations as maps from solutions of the equations of motion into other solutions--- to his decision to artificially modify the dynamics, substituting the extended Hamiltonian for the total Hamiltonian. We show in detail that Dirac's analysis was incomplete and, in completing it, we (...) prove that the fulfilment of Dirac's conjecture ---in the ``non-pathological" cases--- does not imply any need to modify the dynamics. We give a couple of simple but significant examples. (shrink)

We propose an operator constraint equation for the wavefunction of the Universe that admits genuine evolution. While the corresponding classical theory is equivalent to the canonical decomposition of General Relativity, the quantum theory contains an evolution equation distinct from standard Wheeler–DeWitt cosmology. Furthermore, the local symmetry principle—and corresponding observables—of the theory have a direct interpretation in terms of a conventional gauge theory, where the gauge symmetry group is that of spatial conformal diffeomorphisms (that preserve the spatial volume of the Universe). (...) The global evolution is in terms of an arbitrary parameter that serves only as an unobservable label for successive states of the Universe. Our proposal follows unambiguously from a suggestion of York whereby the independently specifiable initial data in the action principle of General Relativity is given by a conformal geometry and the spatial average of the York time on the spacelike hypersurfaces that bound the variation. Remarkably, such a variational principle uniquely selects the form of the constraints of the theory so that we can establish a precise notion of both symmetry and evolution in quantum gravity. (shrink)