Several approaches to the dynamics of loop quantum gravity involve discretizing the equations of motion. The resulting discrete theories are known to be problematic since the first class algebra of constraints of the continuum theory becomes second class upon discretization. If one treats the second class constraints properly, the resulting theories have very different dynamics and number of degrees of freedom than those of the continuum theory. It is therefore questionable how these theories could be considered a starting point for quantization and the definition of a continuum theory through a continuum limit. We show explicitly in a model that the {\em uniform discretizations} approach to the quantization of constrained systems overcomes these difficulties. We consider here a simple diffeomorphism invariant one dimensional model and complete the quantization using {\em uniform discretizations}. The model can be viewed as a spherically symmetric reduction of the well known Husain--Kuchař model of diffeomorphism invariant theory. We show that the correct quantum continuum limit can be satisfactorily constructed for this model. This opens the possibility of treating 1+1 dimensional dynamical situations of great interest in quantum gravity taking into account the full dynamics of the theory and preserving the space-time covariance at a quantum level.
In a previous work we showed that, in a suitable setting, one can use diffeomorphism invariance in order to derive gravitational field equations from boundary terms of the gravitational action. Standing by our results we reply here to a recent comment questioning their validity.
We study the issue of the recovery of diffeomorphism invariance in the recently introduced loop quantum gravity treatment of the exterior Schwarzschild space-time. Although the loop quantization agrees with the quantization in terms of metric variables in identifying the physical Hilbert space, we show that diffeomorphism invariance in space-time is recovered with certain limitations due to the use of holonomic variables in the loop treatment of the model. This resembles behaviors that are expected in the full theory.
It has recently been suggested that the gravitational dynamics could be obtained by requiring the action to be invariant under diffeomorphism transformations. We argue that the action constructed in usual way is automatically diffeomorphism invariant in nature, which thus invalidates this alternative perspective to obtain gravitational dynamics. Especially, we also show what is wrong with the technical derivation of gravitational dynamics in the alternative approach.
An explicit calculation is carried out to show that the distributional curvature of a 2-cone, calculated by Clarke et al. (1996), using Colombeau's new generalised functions is invariant under non-linear $C^\infty$ coordinate transformations.
We consider the role of the diffeomorphism constraint in the quantization of lattice formulations of diffeomorphism invariant theories of connections. It has been argued that in working with abstract lattices, one automatically takes care of the diffeomorphism constraint in the quantum theory. We use two systems in order to show that imposing the diffeomorphism constraint is imperative to obtain a physically acceptable quantum theory. First, we consider $2+1$ gravity where an exact lattice formulation is available. Next, general theories of connections for compact gauge groups are treated, whe…
This paper is intended to study diffeomorphism invariance and diffeomorphism generation in the modified theory of gravity proposed by Horava. Firstly, we demonstrate that the theory does not lose diffeomorphism invariance due to the parameter $λ$, as it was previously believed. However, we show that the presence of terms containing the Levi-Civita symbol in the original proposal of Horava makes the theory diffeomorphism dependent. By neglecting such terms, what returns fully diffeomorphism invariance to the action, we obtain the equations of motion. Secondly, in the Hamiltonian formalism, we c…
In this paper, we explicitly prove the presymplectic forms of the Palatini and Ashtekar gravity to be zero along gauge orbits of the Lorentz and diffeomorphism groups, which ensures the diffeomorphism invariance of these theories.
A comprehensive account of a new structured algorithm for obtaining nonrelativistic diffeomorphism invariances in both space and spacetime by gauging the Galilean symmetry in a generic nonrelativistic field theoretical model is provided. Various applications like the obtention of nonrelativistic diffeomorphism invariance, the introduction of Chern-Simons term and its role in fractional quantum Hall effect, induction of diffeomorphism in irrotational fluid model, abstraction of Newton-Cartan geometry and the emergence of Horava-Lifshitz gravity are discussed in details.
A scalar field can be inserted in Maxwell and/or Einstein theory to effect symmetry breaking. Consequences of such a modification are discussed. Possible dynamics for the scalar field are presented.
A novel Dirac Hamiltonian formulation of the first order Einstein-Hilbert (EH) action, in which algebraic constraints are not solved to eliminate fields from the action at the Lagrangian level, has been shown to lead to an action and a constraint structure apparently distinct from the ADM action and the ADM constraint structure in that secondary first class constraints as well as tertiary first class constraints arise with an unusual Poisson Bracket (PB) algebra [24]. By canonical transformations of the fundamental fields we show how from the tertiary constraints one may derive the Hamiltonian…
Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the "observables") of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent)…
The Noether-charge realization and the Hamiltonian realization for the $\diff({\cal M})$ algebra in diffeomorphism invariant gravitational theories are studied in a covariant formalism. For the Killing vector fields, the Nother-charge realization leads to the mass formula as an entire vanishing Noether charge for the vacuum black hole spacetimes in general relativity and the corresponding first law of the black hole mechanics. It is analyzed in which sense the Hamiltonian functionals form the $\diff({\cal M})$ algebra under the Poisson bracket and shown how the Noether charges with respect to …
This paper discusses the implementation of diffeomorphism invariance in purely Hamiltonian formulations of General Relativity. We observe that, if a constrained Hamiltonian formulation derives from a manifestly covariant Lagrangian, the diffeomorphism invariance of the Lagrangian results in the following properties of the constrained Hamiltonian theory: the diffeomorphisms are generated by constraints on the phase space so that a) The algebra of the generators reflects the algebra of the diffeomorphism group. b) The Poisson brackets of the basic fields with the generators reflects the space-ti…
An algorithmic approach towards the formulation of non-relativistic diffeomorphism invariance has been developed which involves both matter and gauge fields. A step by step procedure has been provided which can accommodate all types of (abelian) gauge interaction. The algorithm is applied to the problem of a two dimensional electron moving under an external field and also under the Chern-Simons dynamics.
The discrete spatial geometry underlying Loop Quantum Gravity (LQG) is degenerate almost everywhere. This is at apparent odds with the non- degeneracy of asymptotically flat metrics near spatial infinity. Koslowski generalised the LQG representation so as to describe states labelled by smooth non- degenerate triad fields. His representation was further studied by Sahlmann with a view to imposing gauge and spatial diffeomorphism invariance through group averaging methods. Motivated by the desire to model asymptotically flat quantum geometry by states with triad labels which are non- degenerate …
In this paper we consider generalised Proca theories coupled to any background field and with time-time and time-space components of Hessian of the vector sector are zero, whereas the space-space part is non-degenerate. By using Faddeev-Jackiw analysis, we derive the conditions that these theories have to satisfy in order for the vector sector to have three propagating degrees of freedom. Most of these conditions are trivialised due to diffeomorphism invariance requirements. This leaves only a condition that a complicated combination of terms should not be trivially zero. This condition is the…
The interplay between the diffeomorphism and conformal symmetries (a feature common in quantum field theories) is shown to be exhibited for the case of black holes in two dimensional classical Liouville theory. We show that although the theory is conformally invariant in the near horizon limit, there is a breaking of the diffeomorphism symmetry at the classical level. On the other hand, in the region away from the horizon, the conformal symmetry of the theory gets broken with the diffeomorphism symmetry remaining intact.
We propose a new theory of gravitation on noncommutative space-time which is invariant under the general coordinate transformations, while the local Lorentz invariance is realized as twisted gauge symmetry. Our theory is remarkably simpler compared to the existing formulations of noncommutative gravity.
In the $torsion \otimes curvature$ approach of gravity Chern-Simons modification has been considered here. It has been found that Chern-Simons contribution to the bianchi identity has become cancelled from that of the scalar field part. But "homogeneity and isotropy" consideration of present day cosmology is a consequence of the "strong equivalence principle" and vice-versa.
We provide a new formulation of nonrelativistic diffeomorphism invariance. It is generated by localising the usual global Galilean Symmetry. The correspondence with the type of diffeomorphism invariant models currently in vogue in the theory of fractional quantum Hall effect has been discussed. Our construction is shown to open up a general approach of model building in theoretical condensed matter physics. Also, this formulation has the capacity of obtaining Newton - Cartan geometry from the gauge procedure.
We complement investigations of the gauge structure of general relativity with an analysis of the physical consequences of the spontaneous breaking of diffeomorphism invariance which manifests itself in e.g. the socalled Einstein hole problem. We analyze the nature of the gravitons as Goldstone excitations both in the classical and the quantum case. We show that the metrical field and the classical space-time manifold play the role of an order parameter field and order parameter manifold as macroscopic super structures living in an underlying presumed quantum space-time. We furthermore relate …
The Poincaré invariance of GR is usually interpreted as Lorentz invariance plus diffeomorphism invariance. In this paper, by introducing the local inertial coordinates (LIC), it is shown that a theory with Lorentz and diffeomorphism invariance is not necessarily Poincaré invariant. Actually, the energy-momentum conservation is violated there. On the other hand, with the help of the LIC, the Poincaré invariance is reinterpreted as an internal symmetry. In this formalism, the conservation law is derived, which has not been sufficiently explored before.
If general relativity is an emergent phenomenon, there may be small violations of diffeomorphism invariance. We propose a phenomenology of perturbatively small violations of general relativity by the inclusion of terms which break general covariance. These can be tested by matching to the Parametrized Post Newtonian (PPN) formalism. The most sensitive tests involve pulsar timing and provide an extremely strong bound, with a dimensionless constraint of order 10^{-20} relative to gravitational strength.
It is shown that when the Einstein-Hilbert Lagrangian is considered without any non-covariant modifications or change of variables, its Hamiltonian formulation leads to results consistent with principles of General Relativity. The first-class constraints of such a Hamiltonian formulation, with the metric tensor taken as a canonical variable, allow one to derive the generator of gauge transformations, which directly leads to diffeomorphism invariance. The given Hamiltonian formulation preserves general covariance of the transformations derivable from it. This characteristic should be used as th…
We study certain aspects of the recently proposed notion of nonrelativistic diffeomorphism invariance. In particular, we consider specific examples of invariant actions, extended gauge symmetry as well as an application to the theory of quantum Hall effect. We also discuss an alternative approach based on Horava-Lifshitz gravity.
We propose a lattice counterpart of diffeomorphism symmetry in the continuum. A functional integral for quantum gravity is regularized on a discrete set of space-time points, with fermionic or bosonic lattice fields. When the space-time points are positioned as discrete points of a continuous manifold, the lattice action can be reformulated in terms of average fields within local cells and lattice derivatives. Lattice diffeomorphism invariance is realized if the action is independent of the positioning of the space-time points. Regular as well as rather irregular lattices are then described by…
The key ingredient for lattice regularized quantum gravity is diffeomorphism symmetry. We formulate a lattice functional integral for quantum gravity in terms of fermions. This allows for a diffeomorphism invariant functional measure and avoids problems of boundedness of the action. We discuss the concept of lattice diffeomorphism invariance. This is realized if the action does not depend on the positioning of abstract lattice points on a continuous manifold. Our formulation of lattice spinor gravity also realizes local Lorentz symmetry. Furthermore, the Lorentz transformations are generalized…
Certain aspects of nonrelativistic diffeomorphisms in 2+1 dimensions are investigated. These include a nonrelativistic limit of some relativistic actions in 3 dimensions, the Seiberg-Witten map, a modification of the viscosity tensor in particular due to a non-uniform magnetic field, a redefinition of background fields, and 1/R terms on Riemann surfaces of constant curvature.
We show that the Wilsonian renormalization group (RG) provides a natural regularisation of the Quantum Master Equation such that to first order the BRST algebra closes on local functionals spanned by the eigenoperators with constant couplings. We then apply this to quantum gravity. Around the Gaussian fixed point, RG properties of the conformal factor of the metric allow the construction of a Hilbert space $\mathfrak{L}$ of renormalizable interactions, non-perturbative in $\hbar$, and involving arbitrarily high powers of the gravitational fluctuations. We show that diffeomorphism invariance is…
Standard inflationary models yield a characteristic signature of a primordial power spectrum with a red tensor and scalar tilt. Nevertheless, Cannone et al recently suggested that, by breaking the assumption of spatial diffeomorphism invariance in the context of the effective field theory of inflation, a blue tensor spectrum can be achieved without violating the Null Energy Condition. In this context, we explore in which cases a blue tensor tilt can be obtained along with a red tilt in the scalar spectrum. Ultimately, we analyze under which conditions this model can reproduce the specific cons…
We argue that the resolution to the black hole information paradox lies in a proper accounting of the implications of diffeomorphism invariance for the Hilbert space and observables of quantum gravity. The setting of asymptotically Anti-de Sitter spacetime is adopted for most of the paper, but in the framework of canonical quantum gravity, without invoking AdS/CFT duality. We present Marolf's argument that boundary unitarity is a consequence of diffeomorphism invariance, and show that its failure to apply in the classical limit results from a lack of analyticity that has no quantum counterpart…
We study a model for quantum gravity on a circle in which the notion of a classical metric tensor is replaced by a quantum metric with an inhomogeneous transformation law under diffeomorphisms. This transformation law corresponds to the co--adjoint action of the Virasoro algebra, and resembles that of the connection in Yang--Mills theory. The transformation property is motivated by the diffeomorphism invariance of the one dimensional Schrödinger equation. The quantum distance measured by the metric corresponds to the phase of a quantum mechanical wavefunction. The dynamics of the quantum gravi…
We present a matrix action based on the unitary group U(N) whose large N ground states are conjectured to be in precise correspondence with the weak-strong dual effective field theory limits of M theory preserving sixteen supersymmetries. We identify a finite N matrix algebra that corresponds to the spacetime and internal symmetry algebra of the Lorentz invariant field theories obtained in the different large N limits. The manifest diffeomorphism invariance of matrix theory is spontaneously broken upon specification of the large N ground state. We verify that there exist planar limits which yi…
The problem of observables in classical and quantum gravity is a long-standing one. It is sometimes argued that observable quantities should be diffeomorphsm invariant, following the philosophy of Dirac. We argue that diffeomorphism invariance in classical and quantum gravity is not primarily a case of gauge invariance but rather an example of spontaneous symmetry breaking of the diffeomorphism group. As a consequence, observables fall into two classes, Dirac observables which are invariant under the full diffeomorphism group and more general observables which take on different (expectation) v…
Viewing gravitational energy momentum $p_G^μ$ as equal by observation, but different in essence from inertial energy-momentum $p_I^μ$ requires two different symmetries to account for their independent conservations - spacetime and inner translation invariance. Gauging the latter a generalization of non-Abelian gauge theories of compact Lie groups is developed resulting in the gauge theory of the non-compact group of volume-preserving diffeomorphisms of an inner Minkowski space ${\bf M}^{\sl 4}$. As usual the gauging requires the introduction of a covariant derivative, a gauge field and a field…
A manifestly diffeomorphism invariant extension of Einstein gravity is constructed, which includes singular metrics, and whose ADM formulation is Ashtekar's gravity. The latter is shown to be locally equivalent to the covariant theory. It turns out that exactly those kinds of degenerate four dimensional metrics are allowed which do not destroy the causal structure of spacetime. It is also shown that Ashtekar's gravity possesses an extension that provides a local SO(3,C) invariance, without complexifying or changing the signature of the metric.
To guarantee the stability of the cosmological constant sector against radiative corrections coming from quantum matter fields, one of the most natural ingredients to invoke is the symmetry under scale transformations of the gravitational field. Previous attempts to follow this path have nevertheless failed in providing a consistent picture. Here we point out that this failure is intimately tied up to an assumption which is typically embedded in modern studies of the gravitational interaction: invariance under the full group of diffeomorphisms. We base the discussion on the gravitational theor…
We explore the nonperturbative renormalization group flow of Quantum Einstein Gravity (QEG) on an infinite dimensional theory space. We consider "conformally reduced" gravity where only fluctuations of the conformal factor are quantized and employ the Local Potential Approximation for its effective average action. The requirement of "background independence" in quantum gravity entails a partial differential equation governing the scale dependence of the potential for the conformal factor which differs significantly from that of a scalar matter field. In the infinite dimensional space of potent…
We propose a scenario for particle-mass generation, assuming the existence of a physical regime where, firstly, physical particles can be considered as point-like objects moving in a background space-time and, secondly, their mere presence spoils the invariance under the local diffeomorphism group, resulting in an anomalous realization of the latter. Under these hypotheses, we describe mass generation starting from the massless free theory. The mechanism is not sensitive to the detailed description of the underlying theory at higher energies, leaning only on general structural features of it, …
Effective gravitational field theories with background fields break local Lorentz symmetry and diffeomorphism invariance. Examples include Chern-Simons gravity, massive gravity, and the Standard-Model Extension (SME). The physical properties and behavior of these theories depend greatly on whether the spacetime symmetry breaking is explicit or spontaneous. With explicit breaking, the background fields are fixed and nondynamical, and the resulting theories are fundamentally different from Einstein's General Relativity (GR). However, when the symmetry breaking is spontaneous, the background fiel…
We study a series of the Wess-Zumino actions obtained by repeatedly integrating conformal anomalies with respect to the conformal-factor field that appear at higher loops. We show that they arise as physical quantities required to make nonlocal loop correction terms diffeomorphism invariant. Specifically, in a conformally flat spacetime $ds^2=e^{2ϕ}(-dη^2 + d{\bf x}^2)$, we find that effective actions are described in terms of momentum squared expressed as a physical $Q^2 = q^2/e^{2ϕ}$ for $q^2$ measured by the flat metric, which recalls the relationship between physical momentum and comoving …
We motivate the concept of emergent gauge symmetry and discuss ways that this concept can be tested. The key idea is that if a symmetry is emergent, one should look for small violations of this symmetry because the underlying fundamental theory does not contain the symmetry. We describe our recent work implementing this idea in the gravity sector. We also describe the reasons why violations of gauge symmetry may well be linked to violations of Lorentz invariance.
The proper definition of subsystems in gauge theory and gravity requires an extension of the local phase space by including edge mode fields. Their role is on the one hand to restore gauge invariance with respect to gauge transformations supported on the boundary, and on the other hand to parametrize the largest set of boundary symmetries which can arise if both the gauge parameters and the dynamical fields are unconstrained at the boundary. In this work we construct the extended phase space for three-dimensional gravity in first order connection and triad variables. There, the edge mode field…
Recently a scale invariant theory of gravity was constructed by imposing a conformal symmetry on general relativity. The imposition of this symmetry changed the configuration space from superspace - the space of all Riemannian 3-metrics modulo diffeomorphisms - to conformal superspace - the space of all Riemannian 3-metrics modulo diffeomorphisms and conformal transformations. However, despite numerous attractive features, the theory suffers from at least one major problem: the volume of the universe is no longer a dynamical variable. In attempting to resolve this problem a new theory is found…
We study the extent to which diffeomorphism invariance restricts the properties of the primordial perturbations in single scalar field models. We derive a set of identities that constrain the connected correlators of the cosmological perturbations, as well as the one-particle-irreducible vertices of the theory in any gauge. These identities are the analogues of Slavnov-Taylor identities in gauge theories, and follow essentially from diffeomorphism invariance alone. Yet because quantization requires diffeomorphism invariance to be broken, they not only reflect invariance under diffeomorphisms, …
We analyze asymptotic symmetries on the Killing horizon of the four-dimensional Kerr--Newman black hole. We first derive the asymptotic Killing vectors on the Killing horizon, which describe the asymptotic symmetries, and find that the general form of these asymptotic Killing vectors is the universal one possessed by arbitrary Killing horizons. We then construct the phase space associated with the asymptotic symmetries. It is shown that the phase space of an extreme black hole either has the size comparable with a non-extreme black hole, or is small enough to exclude degeneracy, depending on w…
We use the requirement of diffeomorphism invariance in the Bianchi I context to derive the form of the quantum Hamiltonian constraint. After imposing the correct classical behavior and making a certain minimality assumption, together with a certain restriction to "planar loops", we then obtain a unique expression for the quantum Hamiltonian operator for Bianchi I to both leading and subleading orders in $\hbar$. Specifically, this expression is found to exactly match the form proposed by Ashtekar and Wilson-Ewing in the loop quantum cosmology (LQC) literature. Furthermore, by using the project…
We study renormalization group flows in strongly interacting field theories with fermions that correspond to transitions between a theory without Lorentz invariance at high energies down to a theory with approximate Lorentz symmetry in the infrared. Holographic description of the strong coupling is used. The emphasis is made on emergence of chiral fermions in the low-energy theory.
The notion of "reference frame" is a central theoretical construct for interpreting the physical implications of spacetime diffeomorphism invariance in General Relativity. However, the alternative formulation of classical General Relativity known as Shape Dynamics suggest that a subset of spacetime diffeomorphisms - namely hypersurface deformations - are, in a certain sense, dual to spatial conformal (or Weyl) invariance. Moreover, holographic gauge/gravity dualities suggest that bulk spacetime diffeomorphism invariance can be replaced by the properties of boundary CFTs. How can these new fram…
Shape dynamics is classical theory of gravity which agrees with general relativity in many important cases, but possesses different gauge symmetries and constraints. Rather than spacetime diffeomorphism invariance, shape dynamics takes spatial diffeomorphism invariance and spatial Weyl invariance as the fundamental gauge symmetries associated with the gravitational field. Since the area of the event horizon of a black hole transforms under a generic spatial Weyl transformation, there has been some doubt that one can speak sensibly about the thermodynamics of black holes in shape dynamics. The …
This series of lectures gives a simple and self-contained introduction to the non-perturbative and background independent loop approach of canonical quantum gravity. The Hilbert space of kinematical quantum states is constructed and a complete basis of spin network states is introduced. An application of the formalism is provided by the spectral analysis of the area operator, which is the quantum analogue of the classical area function. This leads to one of the key results of loop quantum gravity: the derivation of the discreteness of the geometry and the computation of the quanta of area. Fin…
