We study spacetime diffeomorphisms in the Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shift vector of the spacetime metric in a given coordinate patch. Our results are generalizations of earlier results by Salisbury and Sundermeyer. They arise in a natural way from using the requirement of equivalence between Lagrangian and Hamiltonian formulations of the system, and they are new in that the symmetries are realized on the full set of phase space variables. The generators are displayed explicitly and are applied to the relativistic string and to general relativity.

The equivalence between the Lagrangian and Hamiltonian formalism is studied for constraint systems. A procedure to construct the Lagrangian constraints from the Hamiltonian constraints is given. Those Hamiltonian constraints that are first class with respect to the Hamiltonian constraints produce Lagrangian constraints that are FL-projectable.

We give an overview of some conceptual difficulties, sometimes called paradoxes, that have puzzled for years the physical interpetation of classical canonical gravity and, by extension, the canonical formulation of generally covariant theories. We identify these difficulties as stemming form some terminological misunderstandings as to what is meant by "gauge invariance", or what is understood classically by a "physical state". We make a thorough analysis of the issue and show that all purported paradoxes disappear when the right terminology is in place. Since this issue is connected with the search of observables -gauge invariant quantities -for these theories, we formally show that time evolving observables can be constructed for every observer. This construction relies on the fixation of the gauge freedom of diffeomorphism invariance by means of a scalar coordinatization. We stress the condition that the coordinatization must be made with scalars. As an example of our method for obtaining observables we discuss the case of the massive particle in AdS spacetime.

In the framework of the Einstein-Palatini formalism, even though the projective transformation connecting the arbitrary connection with the Levi Civita connection has been floating in the literature for a long time and perhaps the result was implicitly known in the affine gravity community, yet as far as we know Julia and Silva were the first to realise its gauge character. We rederive this result by using the Rosenfeld-Dirac-Bergmann approach to constrained Hamiltonian systems and do a comprehensive self contained analysis establishing the equivalence of the Einstein-Palatini and the metric formulations without having to impose the gauge choice that the connection is symmetric. We also make contact with the the Einstein-Cartan theory when the matter Lagrangian has fermions.

We derive for generally covariant theories the generic dependency of observables on the original fields, corresponding to coordinate-dependent gauge fixings. This gauge choice is equivalent to a choice of intrinsically defined coordinates accomplished with the aid of spacetime scalar fields. With our approach we make full contact with, and give a new perspective to, the "evolving constants of motion" program. We are able to directly derive generic properties of observables, especially their dynamics and their Poisson algebra in terms of Dirac brackets, extending earlier results in the literature. We also give a new interpretation of the observables as limits of canonical maps.

We consider static spherically symmetric Lovelock black holes and generalize the dimensionally continued black holes in such a way that they asymptotically for large r go over to the d-dimensional Schwarzschild black hole in dS/AdS spacetime. This means that the master algebraic polynomial is not degenerate but instead its derivative is degenerate. This family of solutions contains an interesting class of pure Lovelock black holes which are the Nth order Lovelock Λ-vacuum solutions having the remarkable property that their thermodynamical parameters have the universal character in terms of the event horizon radius. This is in fact a characterizing property of pure Lovelock theories. We also demonstrate the universality of the asymptotic Einstein limit for the Lovelock black holes in general.

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 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 (including all first-class constraints) for the total Hamiltonian (including only the primary first-class constraints). 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.

Abstract:We construct the canonical action of a Carroll string doing the Carroll limit of a canonical relativistic string. We also study the Killing symmetries of the Carroll string, which close under an infinite dimensional algebra. The tensionless limit and the Carroll p-brane action are also discussed.