It is common knowledge that the Einstein-Hilbert action does not furnish a well-posed variational principle. The usual solution to this problem is to add an extra boundary term to the action, called a counter-term, so that the variational principle becomes well-posed. When the boundary is spacelike or timelike, the Gibbons-Hawking-York counter-term is the most widely used. For null boundaries, we had proposed a counter-term in a previous paper. In this paper, we extend the previous analysis and propose a counter-term that can be used to eliminate variations of the "off-the-surface" derivatives of the metric on any boundary, regardless of its spacelike, timelike or null nature.
Using the Brown-York prescription for the definition of quasilocal gravitational energy-momentum tensor on a boundary and also complete canonical structure on a null boundary which has been found recently \cite{Aghapour:2018icu}, we propose a similar stress tensor on the null boundary. Then we exploit this stress tensor to compute the quasi-local energy and angular momentum for some well-known gravitational solutions. We have found that in addition to reference spacetime method for regularizing total energy, in the case of null boundary we can add a possible counterterm so avoiding embedding d…
We carry out in full generality and without fixing specific boundary conditions, the symmetry and charge analysis near a generic null surface for two and three dimensional (2d and 3d) gravity theories. In 2d and 3d there are respectively two and three charges which are generic functions over the codimension one null surface. The integrability of charges and their algebra depend on the state-dependence of symmetry generators which is a priori not specified. We establish the existence of infinitely many choices that render the surface charges integrable. We show that there is a choice, the "fund…
The Brown-York stress tensor provides a means for defining quasilocal gravitational charges in subregions bounded by a timelike hypersurface. We consider the generalization of this stress tensor to null hypersurfaces. Such a stress tensor can be derived from the on-shell subregion action of general relativity associated with a Dirichlet variational principle, which fixes an induced Carroll structure on the null boundary. The formula for the mixed-index tensor $T{}^i{}_j$ takes a remarkably simple form that is manifestly independent of the choice of auxiliary null vector at the null surface, an…
We present a complete discussion of the boundary term in the action functional of general relativity when the boundary includes null segments in addition to the more usual timelike and spacelike segments. We confirm that ambiguities appear in the contribution from a null segment, because it depends on an arbitrary choice of parametrization for the generators. We also show that similar ambiguities appear in the contribution from a codimension-two surface at which a null segment is joined to another (spacelike, timelike, or null) segment. The parametrization ambiguity can be tamed by insisting t…
We revisit the covariant phase space formalism applied to gravitational theories with null boundaries, utilizing the most general boundary conditions consistent with a fixed null normal. To fix the ambiguity inherent in the Wald-Zoupas definition of quasilocal charges, we propose a new principle, based on holographic reasoning, that the flux be of Dirichlet form. This also produces an expression for the analog of the Brown-York stress tensor on the null surface. Defining the algebra of charges using the Barnich-Troessaert bracket for open subsystems, we give a general formula for the central -…
Null shells are a useful geometric construction to study the propagation of infinitesimally thin concentrations of massless particles or impulsive waves. In this paper, we determine and study the necessary and sufficient conditions for the matching of two spacetimes with respective null embedded hypersurfaces as boundaries. Whenever the matching is possible, it is shown to depend on a diffeomorphism between the set of null generators in each boundary and a scalar function, called step function, that determines a shift of points along the null generators. Generically there exists at most one po…
We consider a class of globally hyperbolic space-times with "expanding singularities". Under suitable assumptions we show that no $C^0$-extensions across a compact boundary exist, while the boundary must be null wherever differentiable (which is almost everywhere) in the non-compact case.
Constructing a well-posed variational principle is a non-trivial issue in general relativity. For spacelike and timelike boundaries, one knows that the addition of the Gibbons-Hawking-York (GHY) counter-term will make the variational principle well-defined. This result, however, does not directly generalize to null boundaries on which the 3-metric becomes degenerate. In this work, we address the following question: What is the counter-term that may be added on a null boundary to make the variational principle well-defined? We propose the boundary integral of $2 \sqrt{-g} \left( Θ+κ\right)$ as …
We study the compatibility of the AdS/CFT duality with the bulk and boundary causality, and derive a conformally invariant averaged null energy condition (CANEC) for quantum field theories in 3 and 5-dimensional curved boundaries. This is the generalization of the averaged null energy condition (ANEC) in Minkowski spacetime to curved boundaries, where null energy is averaged along the null line with appropriate weight for conformal invariance. For this purpose we take, as our guiding principle, the no-bulk-shortcut theorem of Gao and Wald, which essentially asserts that when going from one poi…
We give new definitions of null infinity and black hole in terms of causal boundaries, applicable to any strongly causal spacetime $(M,g)$. These are meant to extend the standard ones given in terms of conformal boundaries, and use the new definitions to prove a classic result in black hole theory for this more general context: if the null infinity is regular (i.e. well behaved in a suitable sense) and $(M,g)$ obeys the null convergence condition, then any closed trapped surface in $(M,g)$ has to be inside the black hole region. As an illustration of this general construction, we apply it to t…
We study the null-boundaries of Wheeler-de Witt (WdW) patches in three dimensional Poincare-AdS, when the selected boundary timeslice is an arbitrary (non-constant) function, presenting some useful analytic statements about them. Special attention will be given to the piecewise smooth nature of the null-boundaries, due to the emergence of caustics and null-null joint curves. This is then applied, in the spirit of our previous paper arXiv:1806.08376, to the problem of how complexity of the CFT$_2$ groundstate changes under a small local conformal transformation according to the action (CA) prop…
We consider the Complexity=Action (CA) proposal in Einstein gravity and investigate new counterterms which are able to remove all the UV divergences of holographic complexity. We first show that the two different methods for regularizing the gravitational on-shell action proposed in Ref. \cite{Carmi:2016wjl} are completely equivalent, provided that one considers the Gibbons-Hawking-York term as well as new counterterms inspired from holographic renormalization on timelike boundaries of the WDW patch. Next, we introduce new counterterms on the null boundaries of the WDW patch for four and five …
We construct a class of spacetimes (without symmetry assumptions) satisfying the vacuum Einstein equations with singular boundaries on two null hypersurfaces intersecting in the future on a 2-sphere. The metric of these spacetimes extends continuously beyond the singularities while the Christoffel symbols fail to be square integrable in a neighborhood of any point on the singular boundaries. The construction shows moreover that the singularities are stable in a suitable sense. These singularities are stronger than the impulsive gravitational spacetimes considered by Luk-Rodnianski and conjectu…
In this paper, we analysis the counter-term for the general relativity in the Palatini framework. The expression is valid for both the null boundary and non-null boundary. We show that final results coincide with that in Ref.\cite{pad1} which starts form the Einstein-Hilbert action.
We study 2d and 3d gravity theories on spacetimes with causal (timelike or null) codimension one boundaries while allowing for variations in the position of the boundary. We construct the corresponding solution phase space and specify boundary degrees freedom by analysing boundary (surface) charges labelling them. We discuss Y and W freedoms and change of slicing in the solution space. For D dimensional case we find D+1 surface charges, which are generic functions over the causal boundary. We show that there exist solution space slicings in which the charges are integrable. For the 3d case the…
In order to find out whether empty singular boundaries can arise in higher dimensional Gravity, we study the solution of Einstein's equations consisting in a ($N+2$)-dimensional static and hyperplane symmetric perfect fluid satisfying the equation of state $ρ=η\, p$, being $ρ$ an arbitrary constant and $N\geq2$. We show that this spacetime has some weird properties. In particular, in the case $η>-1$, it has an empty (without matter) repulsive singular boundary. We also study the behavior of geodesics and the Cauchy problem for the propagation of massless scalar field in this spacetime. For $η>…
The Weiss variation of the Einstein-Hilbert action with an appropriate boundary term has been studied for general boundary surfaces; the boundary surfaces can be spacelike, timelike, or null. To achieve this we introduce an auxiliary reference connection and find that the resulting Weiss variation yields the Einstein equations as expected, with additional boundary contributions. Among these boundary contributions, we obtain the dynamical variable and the associated conjugate momentum, irrespective of the spacelike, timelike or, null nature of the boundary surface. We also arrive at the general…
The Cauchy slicings for globally hyperbolic spacetimes and their relation with the causal boundary are surveyed and revisited, starting at the seminal conformal boundary constructions by R. Penrose. Our study covers: (1) adaptive possibilities and techniques for their Cauchy slicings, (2) global hyperbolicity of sliced spacetimes, (3) critical review on the conformal and causal boundaries for a globally hyperbolic spacetime, and (4) procedures to compute the causal boundary of a Cauchy temporal splitting by using isocausal comparison with a static product. New simple counterexamples on $\mathb…
We examine the variational problem in Lovelock gravity when the boundary contains timelike and spacelike segments nonsmoothly glued. We show that two kinds of contributions have to be added to the action. The first one is associated to the presence of a boundary in every segment and it depends on intrinsic and extrinsic curvatures. We can think of this contribution as adding a total derivative to the usual surface term of Lovelock gravity. The second one appears in every joint between two segments and it involves the integral along the joint of the Jacobson-Myers entropy density weighted by th…
In this second part of the study initiated in arxiv:1804.07410, we investigate holographic complexity for eternal black hole backgrounds perturbed by shock waves, with both the complexity$=$action (CA) and complexity$=$volume (CV) proposals. In particular, we consider Vaidya geometries describing a thin shell of null fluid with arbitrary energy falling in from one of the boundaries of a two-sided AdS-Schwarzschild spacetime. We demonstrate how known properties of complexity, such as the switchback effect for light shocks, as well as analogous properties for heavy ones, are imprinted in the com…
We examine holographic complexity in time-dependent Vaidya spacetimes with both the complexity$=$volume (CV) and complexity$=$action (CA) proposals. We focus on the evolution of the holographic complexity for a thin shell of null fluid, which collapses into empty AdS space and forms a (one-sided) black hole. In order to apply the CA approach, we introduce an action principle for the null fluid which sources the Vaidya geometries, and we carefully examine the contribution of the null shell to the action. Further, we find that adding a particular counterterm on the null boundaries of the Wheeler…
This paper considers aspects of 4-manifold topology from the point of view of the null cone of a neutral metric, a point of view we call neutral causal topology. In particular, we construct and investigate neutral 4-manifolds with null boundaries that arise from canonical 3- and 4-dimensional settings. A null hypersurface is foliated by its normal and, in the neutral case, inherits a pair of totally null planes at each point. This paper focuses on these plane bundles in a number of classical settings The first construction is the conformal compactification of flat neutral 4-space into the 4-ba…
In Haller and Beron-Vera (2013) we developed a variational principle for the detection of coherent Lagrangian vortex boundaries. The solutions of this variational principle turn out to be closed null-geodesics of the Lorentzian metric associated with a generalized Green-Lagrange strain tensor family. This metric interpretation implies a mathematical analogy between coherent Lagrangian vortex boundaries and photon spheres in general relativity. Here we give an improved discussion on this analogy.
Timelike and null focusing singularities in spherical symmetry: a solution to the cosmological horizon problem and a challenge to the cosmic censorship hypothesis
Information exchanged between observers in the universe typically travels along the null rays of the associated light signals. One may therefore decompose the luminosity distance of a given radiation source along these null geodesics, instead of the timelike worldlines of the emitting/receiving observers. In so doing, one obtains (among others) the null counterparts of the familiar Hubble and deceleration parameters. Although the timelike and the null sets of these parameters coincide in an exact Friedmann universe, they generally differ in perturbed cosmological models. The situation becomes …
