We will pick up the concepts of partial and complete observables introduced by Rovelli in Conceptional Problems in Quantum Gravity, Birkhäuser, Boston (1991); Class Quant Grav, 8:1895; Phys Rev, D65:124013 (2002); Quantum Gravity, Cambridge University Press, Cambridge (2007) in order to construct Dirac observables in gauge systems. We will generalize these ideas to an arbitrary number of gauge degrees of freedom. Different methods to calculate such Dirac observables are developed. For background independent field theories we will show that partial and complete observables can be related to Kuchař's Bubble-Time Formalism (J Math Phys, 13:768, 1972). Moreover one can define a non-trivial gauge action on the space of complete observables and also state the Poisson brackets of these functions. Additionally we will investigate, whether it is possible to calculate Dirac observables starting with partially invariant partial observables, for instance functions, which are invariant under the spatial diffeomorphism group.

In this work we will consider the concepts of partial and complete observables for canonical general relativity. These concepts provide a method to calculate Dirac observables. The central result of this work is that one can compute Dirac observables for general relativity by dealing with just one constraint. For this we have to introduce spatial diffeomorphism invariant Hamiltonian constraints. It will turn out that these can be made to be Abelian. Furthermore the methods outlined here provide a connection between observables in the spacetime picture, i.e. quantities invariant under spacetime diffeomorphisms, and Dirac observables in the canonical picture.

Starting from the canonical phase space for discretised (4d) BF-theory, we implement a canonical version of the simplicity constraints and construct phase spaces for simplicial geometries. Our construction allows us to study the connection between different versions of Regge calculus and approaches using connection variables, such as loop quantum gravity. We find that on a fixed triangulation the (gauge invariant) phase space associated to loop quantum gravity is genuinely larger than the one for length and even area Regge calculus. Rather, it corresponds to the phase space of area-angle Regge calculus, as defined in [1] (prior to the imposition of gluing constraints, which ensure the metricity of the triangulation). Finally, we show that for a subclass of triangulations one can construct first class Hamiltonian and Diffeomorphism constraints leading to flat 4d space-times.

We will examine the issue of diffeomorphism symmetry in simplicial models of (quantum) gravity, in particular for Regge calculus. We find that for a solution with curvature there do not exist exact gauge symmetries on the discrete level. Furthermore we derive a canonical formulation that exactly matches the dynamics and hence symmetries of the covariant picture. In this canonical formulation broken symmetries lead to the replacements of constraints by so-called pseudo constraints. These considerations should be taken into account in attempts to connect spin foam models, based on the Regge action, with canonical loop quantum gravity, which aims at implementing proper constraints.We will argue that the long standing problem of finding a consistent constraint algebra for discretized gravity theories is equivalent to the problem of finding an action with exact diffeomorphism symmetries. Finally we will analyze different limits in which the pseudo constraints might turn into proper constraints. This could be helpful to infer alternative discretization schemes in which the symmetries are not broken.

We consider the notion of improved and perfect actions within Regge calculus. These actions are constructed in such a way that they -although being defined on a triangulation -reproduce the continuum dynamics exactly, and therefore capture the gauge symmetries of General Relativity. We construct the perfect action in three dimensions with cosmological constant, and in four dimensions for one simplex. We conclude with a discussion about Regge Calculus with curved simplices, which arises naturally in this context.

A general canonical formalism for discrete systems is developed which can handle varying phase space dimensions and constraints. The central ingredient is Hamilton's principal function which generates canonical time evolution and ensures that the canonical formalism reproduces the dynamics of the covariant formulation following directly from the action. We apply this formalism to simplicial gravity and (Euclidean) Regge calculus, in particular. A discrete forward/backward evolution is realized by gluing/removing single simplices step by step to/from a bulk triangulation and amounts to Pachner moves in the triangulated hypersurfaces. As a result, the hypersurfaces evolve in a discrete 'multi-fingered' time through the full Regge solution. Pachner moves are an elementary and ergodic class of homeomorphisms and generically change the number of variables, but can be implemented as canonical transformations on naturally extended phase spaces. Some moves introduce a priori free data which, however, may become fixed a posteriori by constraints arising in subsequent moves. The end result is a general and fully consistent formulation of canonical Regge calculus, thereby removing a longstanding obstacle in connecting covariant simplicial gravity models to canonical frameworks. The present scheme is, therefore, interesting in view of many approaches to quantum gravity, but may also prove useful for numerical implementations.

A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves and naturally incorporates both constant and evolving phase spaces, the latter of which is necessary for a time varying discretization. The different roles of constraints in the discrete and the conditions under which they are first or second class and/or symmetry generators are clarified. The (non-) preservation of constraints and the symplectic structure is discussed; on evolving phase spaces the number of constraints at a fixed time step depends on the initial and final time step of evolution. Moreover, the definition of observables and a reduced phase space is provided; again, on evolving phase spaces the notion of an observable as a propagating degree of freedom requires specification of an initial and final step and crucially depends on this choice, in contrast to the continuum. However, upon restriction to translation invariant systems, one regains the usual time step independence of canonical concepts. This analysis applies, e.g., to discrete mechanics, lattice field theory, quantum gravity models and numerical analysis.Comment: 49 pages, many figures, typos corrected, clarification concerning consistency of discrete evolution from initial value problem added, matches published versio

We introduce a modified Regge calculus for general relativity on a triangulated four dimensional Riemannian manifold where the fundamental variables are areas and a certain class of angles. These variables satisfy constraints which are local in the triangulation. We expect the formulation to have applications to classical discrete gravity and non-perturbative approaches to quantum gravity.