No Arabic abstract
In a spacetime divided into two regions $U_1$ and $U_2$ by a hypersurface $Sigma$, a perturbation of the field in $U_1$ is coupled to perturbations in $U_2$ by means of the holographic imprint that it leaves on $Sigma$. The linearized gluing field equation constrains perturbations on the two sides of a dividing hypersurface, and this linear operator may have a nontrivial null space. A nontrivial perturbation of the field leaving a holographic imprint on a dividing hypersurface which does not affect perturbations on the other side should be considered physically irrelevant. This consideration, together with a locality requirement, leads to the notion of gauge equivalence in Lagrangian field theory over confined spacetime domains. Physical observables in a spacetime domain $U$ can be calculated integrating (possibly non local) gauge invariant conserved currents on hypersurfaces such that $partial Sigma subset partial U$. The set of observables of this type is sufficient to distinguish gauge inequivalent solutions. The integral of a conserved current on a hypersurface is sensitive only to its homology class $[Sigma]$, and if $U$ is homeomorphic to a four ball the homology class is determined by its boundary $S = partial Sigma$. We will see that a result of Anderson and Torre implies that for a class of theories including vacuum General Relativity all local observables are holographic in the sense that they can be written as integrals of over the two dimensional surface $S$. However, non holographic observables are needed to distinguish between gauge inequivalent solutions.
This paper explores construction of gauge (diffeomorphism)-invariant observables in anti de Sitter (AdS) space and the related question of how to find a holographic map providing a quantum equivalence to a boundary theory. Observables are constructed perturbatively to leading order in the gravitational coupling by gravitationally dressing local field theory operators in order to solve the gravitational constraints. Many such dressings are allowed and two are explicitly examined, corresponding to a gravitational line and to a Coulomb field; these also reveal an apparent role for more general boundary conditions than considered previously. The observables obey a nonlocal algebra, and we derive explicit expressions for the boundary generators of the SO(D-1,2) AdS isometries that act on them. We examine arguments that gravity {it explains} holography through the role of such a boundary Hamiltonian. Our leading-order gravitational construction reveals some questions regarding how these arguments work, and indeed construction of such a holographic map appears to require solution of the non-perturbative generalization of the bulk constraint equations.
The relation between manifold topology, observables and gauge group is clarified on the basis of the classification of the representations of the algebra of observables associated to positions and displacements on the manifold. The guiding, physically motivated, principles are i) locality, i.e. the generating role of the algebras localized in small, topological trivial, regions, ii) diffeomorphism covariance, which guarantees the intrinsic character of the analysis, iii) the exclusion of additional local degrees of freedom with respect to the Schroedinger representation. The locally normal representations of the resulting observable algebra are classified by unitary representations of the fundamental group of the manifold, which actually generate an observable, topological, subalgebra. The result is confronted with the standard approach based on the introduction of the universal covering ${tilde{cal M}}$ of $cal{M}$ and on the decomposition of $L^2({tilde{cal M}})$ according to the spectrum of the fundamental group, which plays the role of a gauge group. It is shown that in this way one obtains all the representations of the observables iff the fundamental group is amenable. The implications on the observability of the Permutation Group in Particle Statistics are discussed.
We show that a generalized version of the holographic principle can be derived from the Hamiltonian description of information flow within a quantum system that maintains a separable state. We then show that this generalized holographic principle entails a general principle of gauge invariance. When this is realized in an ambient Lorentzian space-time, gauge invariance under the Poincare group is immediately achieved. We apply this pathway to retrieve the action of gravity. The latter is cast a la Wilczek through a similar formulation derived by MacDowell and Mansouri, which involves the representation theory of the Lie groups SO(3,2) and SO(4,1).
Observable currents are locally defined gauge invariant conserved currents; physical observables may be calculated integrating them on appropriate hypersurfaces. Due to the conservation law the hypersurfaces become irrelevant up to homology, and the main objects of interest become the observable currents them selves. Gauge inequivalent solutions can be distinguished by means of observable currents. With the aim of modeling spacetime local physics, we work on spacetime domains $Usubset M$ which may have boundaries and corners. Hamiltonian observable currents are those satisfying ${sf d_v}F=-iota_VOmega_L+{sf d_h}sigma^F$ and a certain boundary condition. The family of Hamiltonian observable currents is endowed with a bracket that gives it a structure which generalizes a Lie algebra in which the Jacobi relation is modified by the presence of a boundary term. If the domain of interest has no boundaries the resulting algebra of observables is a Lie algebra. In the resulting framework algebras of observable currents are associated to bounded domains, and the local algebras obey interesting gluing properties. These results are due to considering currents that defined only locally in field space and to a revision of the concept of gauge invariance in bounded spacetime domains. A perturbation of the field on a bounded spacetime domain is regarded as gauge if: (i) the first order holographic imprint that it leaves in any hypersurface locally splitting a spacetime domain into two subdomains is negligible according to the linearized gluing field equation, and (ii) the perturbation vanishes at the boundary of the domain. A current is gauge invariant if the variation in them induced by any gauge perturbation vanishes up to boundary terms.
We show that gravity and matter fields are generically entangled, as a consequence of the local Poincare symmetry. First, we present a general argument, applicable to any particular theory of quantum gravity with matter, by performing the analysis in the abstract nonperturbative canonical framework, demonstrating the nonseparability of the scalar constraint, thus promoting the entangled states as the physical ones. Also, within the covariant framework, we show explicitly that the Hartle-Hawking state in the Regge model of quantum gravity is necessarily entangled. Our result is potentially relevant for the quantum-to-classical transition, taken within the framework of the decoherence programme: due to the gauge symmetry requirements, the matter does not decohere, it is by default decohered by gravity. Generically, entanglement is a consequence of interaction. This new entanglement could potentially, in form of an effective interaction, bring about corrections to the weak equivalence principle, further confirming that spacetime as a smooth four-dimensional manifold is an emergent phenomenon. Finally, the existence of the gauge-protected entanglement between gravity and matter could be seen as a criterion for a plausible theory of quantum gravity, and in the case of perturbative quantisation approaches, a confirmation of the persistence of the manifestly broken gauge symmetry.