Abstract
In this paper, we consider vacuum asymptotically anti-de Sitter spacetimes \(( \mathscr {M}, g )\) with conformal boundary \(( \mathscr {I}, \mathfrak {g})\). We establish a correspondence, near \(\mathscr {I}\), between such spacetimes and their conformal boundary data on \(\mathscr {I}\). More specifically, given a domain \(\mathscr {D} \subset \mathscr {I}\), we prove that the coefficients \(\mathfrak {g}^{\scriptscriptstyle (0)} = \mathfrak {g}\) and \(\mathfrak {g}^{\scriptscriptstyle (n)}\) (the undetermined term, or stress energy tensor) in a Fefferman–Graham expansion of the metric g from the boundary uniquely determine g near \(\mathscr {D}\), provided \(\mathscr {D}\) satisfies a generalised null convexity condition (GNCC). The GNCC is a conformally invariant criterion on \(\mathscr {D}\), first identified by Chatzikaleas and the second author, that ensures a foliation of pseudoconvex hypersurfaces in \(\mathscr {M}\) near \(\mathscr {D}\), and with the pseudoconvexity degenerating in the limit at \(\mathscr {D}\). As a corollary of this result, we deduce that conformal symmetries of \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) on domains \(\mathscr {D} \subset \mathscr {I}\) satisfying the GNCC extend to spacetime symmetries near \(\mathscr {D}\). The proof, which does not require any analyticity assumptions, relies on three key ingredients: (1) a calculus of vertical tensor-fields developed for this setting; (2) a novel system of transport and wave equations for differences of metric and curvature quantities; and (3) recently established Carleman estimates for tensorial wave equations near the conformal boundary.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Asymptotically anti-de Sitter (abbreviated aAdS) solutions to the \((n+1)\)-dimensional Einstein-vacuum equations with negative cosmological constant
are spacetimes whose asymptotic geometry models the maximally symmetric solution of (1.1), anti-de Sitter (AdS) space. Recall that AdS spacetime can be globally represented as
where \(g_\text {AdS}\) is expressed in polar coordinates, and where \(\mathring{\gamma }_{n-1}\) is the unit round metric on \(\mathbb {S}^{n-1}\).
The distinguishing feature of aAdS spacetimes, in contrast to asymptotically flat settings, is the existence of a timelike conformal boundary at infinity. This undermines global hyperbolicity, requiring the specification of suitable boundary conditions in addition to Cauchy data for a well-posed dynamical formulation of (1.1); see [21, 23]. Globally, this leads to very rich behaviour and requires understanding an entire range of novel phenomena, such as superradiant instabilities [16] and stable trapping [32] in the case of aAdS black holes. In particular, the nonlinear (in)stability properties of AdS spacetime and the Kerr-AdS family of black holes are still not known, although considerable progress has been made on various model problems, most notably the recent breakthrough [46].
Asymptotically AdS spacetimes have also seen a resurgence of interest in the physics literature, in view of the AdS/CFT conjecture [28, 42, 54], which, roughly, posits a correspondence between the gravitational dynamics in the aAdS spacetime interior and a conformal field theory on the boundary. Despite its prominence in physics, there are relatively few rigorous mathematical statements pertaining to the AdS/CFT correspondence, especially in dynamical settings. In fact, almost all known rigorous results have been in stationary or static contexts; see, e.g., [2, 12,13,14, 55].
In this paper, we formulate and prove a purely classical version of this correspondence, relating the geometry of the conformal boundary to the interior geometry near the boundary. In particular, this serves as the first such rigorous result for dynamical (time-dependent) aAdS spacetimes.
1.1 Fefferman–Graham Expansions
As our main interests lie near the conformal boundary, it will be useful to express aAdS metrics in a form that centres the boundary geometry. In the case of AdS spacetime, one convenient method for achieving this is to apply the change of coordinate
which transforms (1.2) into the so-called Fefferman–Graham gaugeFootnote 1:
For general aAdS geometries, one can apply a similar transformation into a Fefferman–Graham (FG) gauge, characterized by a boundary defining function \(\rho \) that is both normalised and fully decoupled from the other components.Footnote 2 As a result, in this paper, we will define the aAdS spacetimes that we consider in terms of such FG gauges. We refer to these as FG-aAdS segments, representing an appropriate near-boundary spacetime patch along with adapted coordinates.
Definition 1.1
Let \(( \mathscr {I}, \mathfrak {g})\) be a smooth n-dimensional Lorentzian manifold, and let \(\rho _0 > 0\). We say that \(( \mathscr {M}:= ( 0, \rho _0 ] \times \mathscr {I}, g )\) is a vacuum FG-aAdS segment, with conformal infinity \(( \mathscr {I}, \mathfrak {g})\), if g satisfies the Einstein-vacuum equations (1.1), and it can be expressed in the FG gauge,
where \(\textsf{g}(\rho )\), \(\rho \in ( 0, \rho _0 ]\) is a smooth family of Lorentzian metrics on \(\mathscr {I}\) (i.e. a vertical metric) that also extends continuously as a Lorentzian metric to \(\{0\} \times \mathscr {I}\), and with \(\textsf{g}(0) = \mathfrak {g}\).
The reader is referred to Sect. 2.1 for a more detailed development of FG-aAdS segments, as well as for precise definitions. In particular, observe from (1.3) that (time strips of) AdS spacetime can itself be expressed as a vacuum FG-aAdS segment, with the standard conformal infinity
More generally, a large class of vacuum FG-aAdS segments with conformal infinity (1.5) arises by solving a boundary-initial value problem for the Einstein-vacuum equations; see [21, 23].
If \(( \mathscr {M}, g )\) is a vacuum FG-aAdS segment, with conformal infinity \(( \mathscr {I}, \mathfrak {g})\), then the Einstein-vacuum equations imply the following formal series expansion for g near \(\rho =0\):
Have the \(\mathfrak {g}^{\scriptscriptstyle (k)}\)’s and \(\mathfrak {g}^{\scriptscriptstyle (\star )}\) are tensor fields on \(\mathscr {I}\). Note that the leading coefficient \(\mathfrak {g}^{\scriptscriptstyle (0)} = \mathfrak {g}\) is simply the boundary metric.Footnote 3 Furthermore, the Einstein-vacuum equations imply that all coefficients \(\mathfrak {g}^{\scriptscriptstyle (k)}\) for \(0< k < n\), as well as \(\mathfrak {g}^{\scriptscriptstyle (\star )}\) when n is even, are determined locally by \(\mathfrak {g}\) and its derivatives. In particular, for \(n\ge 3\), \(-\mathfrak {g}^{\scriptscriptstyle (2)}\) is precisely the Schouten tensor of \(\mathfrak {g}\), namely,
For the coefficient \(\mathfrak {g}^{\scriptscriptstyle (n)}\), the Einstein-vacuum equations imply that there exist universal functions \(\mathcal {F}, \mathcal {G}\)—depending only on the boundary dimension n—such that
that is, the divergence and the trace of \(\mathfrak {g}^{\scriptscriptstyle (n)}\) are determined by \(\mathfrak {g}\).Footnote 4 On the other hand, the remaining components of \(\mathfrak {g}^{\scriptscriptstyle (n)}\) are free—they are not formally determined by the Einstein-vacuum equations. Moreover, assuming sufficient regularity for \(\textsf{g}( \rho )\), the expansion (1.6) can be continued beyond \(\mathfrak {g}^{\scriptscriptstyle (n)}\), with all subsequent coefficients formally determined by the pair \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) alone.Footnote 5
Thus, we henceforth refer to \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) as holographic data, or a boundary triple, if \(\mathfrak {g}^{\scriptscriptstyle (0)}\) is a Lorentzian metric on \(\mathscr {I}\) and \(\mathfrak {g}^{\scriptscriptstyle (n)}\) is a symmetric 2-tensor on \(\mathscr {I}\) satisfying (1.7).Footnote 6
Remark 1.2
The interpretation of \(\mathfrak {g}^{\scriptscriptstyle (0)}\), as describing the geometry of the conformal boundary, is clear. In addition, in the physics literature, \(\mathfrak {g}^{\scriptscriptstyle (n)}\) is closely connected to the stress-energy tensor for the boundary conformal field theory; see [20, 51] for further discussions.
The expansions (1.6), which are widely used in the physics literature, can be formally derived by adapting the seminal works [22] of Fefferman and Graham to aAdS settings. For real-analytic holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), one can employ Fuchsian techniques to show [39] that the infinite expansion (1.6) converges near \(\mathscr {I}\) to a vacuum aAdS metric.Footnote 7
For generic (non-analytic) settings, where the full expansion (1.6) needs not converge, [50] showed rigorously that a vacuum FG-aAdS segment must still satisfy a partial FG expansion. More specifically, \(\textsf{g}( \rho )\) retains the form (1.6), but only up to n-th order. Nonetheless, the view of \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) as free boundary data (with the constraint (1.7)) for vacuum aAdS spacetimes persists. A summary of the precise results of [50] can be found in Theorem 2.16 and Corollary 2.18 below.
1.1.1 Gauge Covariance
The term conformal infinity arises from a special gauge covariance inherent to aAdS spacetimes. Here, one can transform the boundary defining function \(\rho \) in a manner that preserves the FG gauge condition (1.4) but alters the corresponding FG expansion (1.6). One can show that the boundary metric \(\mathfrak {g}^{\scriptscriptstyle (0)}\) then undergoes a conformal transformation,
Thus, another way of phrasing this is that only the conformal class \([ \mathfrak {g}]\) of the induced boundary metric can be invariantly associated with a given aAdS spacetime.
The other coefficients in (1.6) are also transformed via changes of FG gauge (see [20, 35]), though the formulas quickly become rather complicated. In particular, there is a known, and in principle explicitly computable, function \(\mathcal {H}\)—depending on \(\mathfrak {a}\), \(\mathfrak {g}^{\scriptscriptstyle (0)}\), and \(\mathfrak {g}^{\scriptscriptstyle (n)}\)—such that \(\mathfrak {g}^{\scriptscriptstyle (n)}\) transforms as
As a result, we refer to pairs \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) as gauge-equivalent when they are related via the formulas (1.8) and (1.9). The physical significance is that gauge-equivalent pairs should be viewed as “the same”, since they arise from the same aAdS spacetime.
Remark 1.3
The most general formulation of gauge equivalence can be expressed as two boundary data triples \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \check{\mathscr {I}}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) satisfying (1.8), (1.9) after pulling back through some boundary diffeomorphism . However, for convenience, we will always restrict, without any loss of generality, to the case when \(\phi \) is the identity map.
1.2 The Main Results
While the above discussion shows that any vacuum FG-aAdS segment induces some holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), it is also natural to ask the converse—in what sense does the holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) determine an Einstein-vacuum metric that realises this data. In view of the timelike nature of the boundary and the hyperbolicity of the Einstein-vacuum equations, this is generally an ill-posed problem, and hence one cannot expect existence and continuous dependence of the infilling geometry on the boundary quantities.
Instead, the appropriate mathematical framework is that of unique continuation for the Einstein-vacuum equations, leading us to the following more precise questions:
Problem 1.4
Given holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\)—up to gauge equivalence for \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\)—and a vacuum FG-aAdS segment \(( \mathscr {M}, g )\) that realises this data,
-
(1)
Is \(( \mathscr {M}, g )\) unique, that is, is this the only aAdS solution realising this holographic data?
-
(2)
Does \(( \mathscr {M}, g )\) necessarily inherit the symmetries of \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\)?
Note in particular that (1) in the above can be interpreted as asking whether there is a one-to-one correspondence between vacuum aAdS spacetimes (gravity) and some appropriate space of holographic data on the conformal boundary (conformal field theory).
Our paper provides an affirmative answer to both questions in Problem 1.4, provided the conformal boundary also satisfies a gauge-invariant geometric condition—which we call the generalised null convexity criterion, or GNCC, first identified in [18]. This GNCC will be defined and discussed in Sect. 1.3 below (Definition 1.12), but let us first state informal versions of our main results.
The following theorem answers question (1) of Problem 1.4:
Theorem 1.5
(Bulk-boundary correspondence, informal version) Let \(n > 2\), and consider vacuum FG-aAdS segments \(( \mathscr {M}, g )\) and \(( \check{\mathscr {M}}, \check{g} )\), inducing holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \mathscr {I}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\), respectively. Also, let \(\mathscr {D} \subset \mathscr {I}\) such that \(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC. If \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) are gauge-equivalent on \(\mathscr {D}\), then \(( \mathscr {M}, g )\) and \(( \check{\mathscr {M}}, \check{g} )\) must be isometric near \(\mathscr {D}\).
The precise version of Theorem 1.5 that we will prove is stated as Theorem 6.7 further below. Furthermore, the special case in which \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} ) = ( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\), which forms the heart of the unique continuation analysis, is treated separately in Theorem 5.1.
Remark 1.6
Since \(( \mathscr {M}, g )\) and \(( \check{\mathscr {M}}, \check{g} )\) have the same boundary manifold \(\mathscr {I}\), by Definition 1.1, both \(\mathscr {M}\) and \(\check{\mathscr {M}}\) are products of an interval with \(\mathscr {I}\). Therefore, we can, without loss of generality, assume \(\mathscr {M} = \check{\mathscr {M}}\); we make this simplification in the statements of Theorems 5.1 and 6.7.
1.2.1 Extension of Symmetries
An important application of Theorem 1.5 toward proving extension of symmetry results on aAdS spacetimes—namely, point (2) from Problem 1.4.
Theorem 1.7
(Extension of Killing fields, informal version) Let \(n > 2\), consider a vacuum FG-aAdS segment \(( \mathscr {M}, g )\) with holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), and let \(\mathscr {D} \subset \mathscr {I}\) such that \(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC. If \(\mathfrak {K}\) is a vector field on \(\mathscr {I}\) that is holographic Killing on \(\mathscr {D}\), that is,
then \(\mathfrak {K}\) extends to a (g-)Killing field K near \(\mathscr {D}\) in \(\mathscr {M}\).
See Theorem 6.11 for the precise statement of this result. Moreover, the conclusion of Theorem 1.7 remains valid if \(\mathfrak {K}\) is merely holographic conformal Killing, that is, (1.10) holds instead for data \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) that is gauge-equivalent to \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\); see again Theorem 6.11.
One immediate consequence of Theorem 1.7 and the classical Birkhoff theorem is the following rigidity result for the Schwarzschild-AdS family of spacetimes:
Corollary 1.8
(Rigidity of Schwarzschild-AdS) Let \(n > 2\), let \(( \mathscr {M}, g )\) denote a vacuum FG-aAdS segment with holographic data \(( \mathscr {I}:= ( T_-, T_+ ) \times \mathbb {S}^{n-1}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), and let \(\mathscr {D} \subset \mathscr {I}\) such that \(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC. If \(\mathfrak {g}^{\scriptscriptstyle (0)}\) and \(\mathfrak {g}^{\scriptscriptstyle (n)}\) are both spherically symmetric on \(\mathscr {D}\), then \(( \mathscr {M}, g )\) must be isometric to a domain of the Schwarzschild-AdS spacetime near \(\mathscr {D}\).
Remark 1.9
The statement of Corollary 1.8 can be refined by noting that if \(\mathfrak {g}^{\scriptscriptstyle (0)} = \mathfrak {g}_\text {AdS}\), then the GNCC holds for a time slab \(\mathscr {D}:= \{ t_-< t < t_+ \}\) whenever \(t_+ - t_- > \pi \) (see Proposition 1.16).
Next, Theorem 1.7 can in fact be viewed as a special case of a more general result.
Theorem 1.10
(Extension of symmetries, informal version) Let \(n > 2\), consider a vacuum FG-aAdS segment \(( \mathscr {M}, g )\) with holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), and let \(\mathscr {D} \subset \mathscr {I}\) be such that \(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC. If \(\phi \) is a boundary diffeomorphism such that \(( \phi _*\mathfrak {g}^{\scriptscriptstyle (0)}, \phi _*\mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) are gauge-equivalent on \(\mathscr {D}\), then \(\phi \) extends to an isometry of \(( \mathscr {M}, g )\) near \(\mathscr {D}\).Footnote 8
See Theorem 6.9 for the precise statement and proof of this result. In particular, Theorem 1.10 also applies to discrete symmetries that are not generated by Killing vector fields. One immediate consequence of Theorem 1.10—which cannot be inferred directly from Theorem 1.7—is that time periodicity of the conformal boundary is inherited by the bulk spacetime.
Corollary 1.11
(Extension of time periodicity) Let \(n > 2\), let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment with holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), and let \(\mathscr {D} \subset \mathscr {I}\) such that \(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC. If \(\mathfrak {g}^{\scriptscriptstyle (0)}\) and \(\mathfrak {g}^{\scriptscriptstyle (n)}\) are both time-periodic on \(\mathscr {D}\), then \(( \mathscr {M}, g )\) must be time-periodic near \(\mathscr {D}\).
1.2.2 Previous and Related Work
The Riemannian analogue of Theorem 1.5 was proven by Biquard [14] using a Carleman estimate of Mazzeo [43] for asymptotically hyperbolic manifolds; see also [12, 13]. The work of Biquard was then generalised by Chrusciel and Delay [19] to an analogue of Theorem 1.5, under the restriction that the spacetimes are stationary. Also, [19, Theorem 1.6] is an analogue of our Theorem 1.7, again assuming a priori that the spacetime is stationary.
We note that a fundamental ingredient in [12,13,14, 19] is that the key equations are elliptic in nature. In contrast, our main theorems, which are centred around hyperbolic equations, constitute the first correspondence and symmetry extension results in general dynamical settings.
We also recall, again in the Riemannian context, the well-known result of Graham and Lee [26], which shows (for \(n \ge 4\)) existence of asymptotically hyperbolic Einstein metrics on the Poincaré ball \(\mathbb {B}^{n}\) with prescribed conformal infinity on the boundary, provided the boundary metric is sufficiently close (in the \(C^{2,\alpha }\)-norm) to the round metric on \(\mathbb {S}^{n-1}\). Note this corresponds to solving an elliptic Dirichlet problem, which has no analogue for hyperbolic equations.
In the Lorentzian context, we first mention the programme of Anderson [10, 11]. In [11], a conditional global symmetry extension result for stationary Killing vectors was established under global a priori assumptions on \(( \mathscr {M}, g )\) (including convergence to stationarity as \(t \rightarrow \pm \infty \)), assuming that a unique continuation property holds from \(\mathscr {I}\) for the linearized Einstein equations.
Moreover, extension results for Killing fields have seen several applications in general relativity. For instance, (unconditional) Killing extension theorems have been established in the contexts of black hole rigidity [4, 5, 24, 37], cosmic censorship [47], and non-existence of time-periodicity [6]. The proofs of these results revolve around proving unique continuation for a system of tensorial wave and transport equations that is similar to the system studied in this paper; see Sect. 1.5.2.
Returning to the aAdS setting, [18, 30, 31, 45] established the first unique continuation results for (scalar and tensorial) wave equations, from the conformal boundaries of general dynamical aAdS spacetimes. In particular, the Carleman estimates developed in [18, 30, 31, 45] form a key ingredient for proving the main results of this paper; see Sect. 1.4 for further discussions in this direction.
Finally, the recent work of McGill [44], which characterized locally AdS spacetimes in terms of its holographic data, can be seen as a precursor to our results and as a special case of Theorem 1.5. More specifically, [44] showed that (assuming the GNCC) a vacuum FG-aAdS segment \(( \mathscr {M}, g )\) is locally AdS if and only if both \(\mathfrak {g}^{\scriptscriptstyle (0)}\) is conformally flat and \(\mathfrak {g}^{\scriptscriptstyle (n)} = 0\). The key step in the proof of this result is a more straightforward analogue of the process in this paper; in particular, [44] applies directly the unique continuation results of [45] to the tensorial wave equations satisfied by the spacetime curvature on a single aAdS spacetime.
1.3 The Generalised Null Convexity Criterion
We now turn our attention toward the key geometric assumption required for Theorems 1.5, 1.7, and 1.10—the GNCC of [18]. First, we give a rough statement of the GNCC, in the special case of vacuum aAdS spacetimes treated here.
Definition 1.12
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, with conformal boundary \(( \mathscr {I}, \mathfrak {g})\), and consider an open subset \(\mathscr {D} \subset \mathscr {I}\) with compact closure. We say \(( \mathscr {D}, \mathfrak {g})\) satisfies the generalised null convexity criterion (or GNCC) iff there is a \(C^4\)-function \(\eta \) on a neighbourhood of \(\bar{\mathscr {D}}\) such that:
-
\(\eta > 0\) on \(\mathscr {D}\), and \(\eta = 0\) on the boundary \(\partial \mathscr {D}\) of \(\mathscr {D}\).
-
The following bilinear form is uniformly positive-definite on \(\mathscr {D}\) along all \(\mathfrak {g}\)-null directions,
$$\begin{aligned} \eta ^{-1} \mathfrak {D}^2_{ \mathfrak {g}} \eta + \mathcal {P} [ \mathfrak {g}] \text {,} \end{aligned}$$(1.11)where \(\mathfrak {D}^2_{ \mathfrak {g}}\) and \(\mathcal {P} [ \mathfrak {g}]\) are the Hessian and Schouten tensor with respect to \(\mathfrak {g}\), respectively.
Remark 1.13
One important feature of the GNCC is that it is conformally invariant. In particular, [18, Proposition 3.6] showed that if \(( \mathscr {D}, \mathfrak {g})\) satisfies the GNCC with \(\eta \), then the conformally related \(( \mathscr {D}, e^{ 2 \varphi } \mathfrak {g})\) also satisfies the GNCC, with \(\eta ':= e^\varphi \eta \).
Remark 1.14
Observe that \(\mathcal {P} [ \mathfrak {g}]\) can be replaced by \(\frac{1}{n-2} {\text {Ric}} [ \mathfrak {g}]\) in (1.11), since their difference is proportional to \(\mathfrak {g}\) and hence vanishes along all null directions.
Remark 1.15
One can also show [45, Proposition 3.4] that \(( \mathscr {D}, \mathfrak {g})\) satisfies the GNCC if and only if there exists \(\eta \) as in Definition 1.12 and a smooth function \(\zeta : \mathscr {I} \rightarrow \mathbb {R}\) such that the following bilinear form is uniformly positive-definite on \(\mathscr {D}\) along all directionsFootnote 9:
See Definition 4.3 or [18] for a more precise description of the GNCC. Roughly, one can interpret the GNCC as stating that the domain \(\mathscr {D}\) is “large enough” with respect to the geometry of \(( \mathscr {I}, \mathfrak {g})\). Its main significance, demonstrated in [18], is that it precisely captures the conditions on the conformal boundary that lead to pseudoconvexity of the near-boundary geometry. More specifically, it ensures the level hypersurfaces of are pseudoconvex in a small region of \(\mathscr {M}\) near \(\mathscr {D}\). This observation was a crucial ingredient in the Carleman estimates of [18]; see the discussions in Sect. 1.4.
1.3.1 Special Cases
To further flesh out Definition 1.12, let us now consider the special case of the AdS conformal boundary \(( \mathscr {I}_\text {AdS}, \mathfrak {g}_\text {AdS} )\) of (1.5), which satisfies
In addition, we take \(\mathscr {D}:= \mathscr {D}_0\) to be the time slab
Proposition 1.16
([18], Corollary 3.14) \(( \mathscr {D}_0, \mathfrak {g}_\text {AdS} )\) satisfies the GNCC if and only if \(t_+ - t_- > \pi \).
The key observation here is that if we assume \(\eta \) to depend only on t, then (1.13) yields
Then, one can directly check that Definition 1.12 is satisfied by the function
whenever \(t_+ - t_- > \pi \).Footnote 10 (Conversely, if \(t_+ - t_- \le \pi \), then a contradiction argument using Sturm comparison yields that the GNCC cannot hold for \(( \mathscr {D}_{ 0}, \mathfrak {g}_\text {AdS} )\); see [18, Lemma 3.7].)
Remark 1.17
Note in particular that Proposition 1.16 applies to every Kerr-AdS spacetime, since these all induce the AdS conformal boundary.
Remark 1.18
The key consequence of Proposition 1.16—that unique continuation for wave equations holds from \(\mathscr {D}_0\) when \(t_+ - t_- > \pi \)—was first proved as a special case of the results of [30].
Next, we move to more general boundary domains that are foliated by a time function t,
with \(\mathcal {S}\) being a compact manifold of dimension \(n - 1\). Previous unique continuation results for linear wave equations were developed in this setting (1.17), and these can also be viewed as special cases of the GNCC. First, [30] developed an analogue of the GNCC for static \(\mathfrak {g}\). This was extended to non-static \(\mathfrak {g}\) in [31], and then to a wider class of metrics \(\mathfrak {g}\) and time foliations in [45].
Let us focus on the key criterion of [45], as well as its relation to the GNCC.
Proposition 1.19
([18], Proposition 3.13) Assume the setting of (1.17), and suppose there exist constants \(0 \le B < C\) such that the following holds for any \(\mathfrak {g}\)-null vector field \(\mathfrak {Z}\)Footnote 11:
Then, \(( \mathscr {D}_*, \mathfrak {g})\) satisfies the GNCC as long as \(t_+ - t_-\) is large enough (depending on B and C).
The proof of Proposition 1.19 is similar to that of Proposition 1.16, except one now chooses \(\eta \) (still depending only on t) to roughly solve a damped harmonic oscillator:
Remark 1.20
The connection between damped harmonic oscillators (1.19) and unique continuation from \(\mathscr {D}_*\) was first illuminated in [31]; see the discussions therein.
Remark 1.21
Proposition 1.19 can be used to generalize the conclusions of Proposition 1.16.
-
For instance, if \(t_+ - t_- > \pi \), then Proposition 1.19 implies that \(( \mathscr {D}_0, \mathfrak {g})\) satisfies the GNCC whenever \(\mathfrak {g}\) is a sufficiently small perturbation of \(\mathfrak {g}_\text {AdS}\).
-
If \(\mathfrak {g}\) is static with respect to t, and if the cross-sections \(\mathcal {S}\) have positive Ricci curvature, then \(( \mathscr {D}_*, \mathfrak {g})\) satisfies the GNCC for sufficiently large \(t_+ - t_-\); see [31, Proposition B.2].
The conditions (1.18) were first identified in [45] and were named the null convexity criterion (or NCC). Proposition 1.19 shows that the GNCC indeed generalizes the NCC, both removing the need for a predetermined time function and allowing for a larger class of boundary domains \(\mathscr {D}\).
One advantage of the NCC (1.18) is that it is easier to check than the rather abstract GNCC. On the other hand, one shortcoming of (1.18) is that it fails to be conformally invariant, as a conformal transformation of \(\mathfrak {g}\) can cause (1.18) to no longer hold. This makes the NCC undesirable for the main results of this paper and provides a key motivation for developing the GNCC.
1.3.2 Geodesic Return
The necessity of some geometric condition in Theorem 1.5 was already conjectured in [30, 31], due to the special properties of AdS geometry near its conformal boundary.
On AdS spacetime, there exist null geodesics which propagate arbitrarily close to the conformal boundary \(\mathscr {I}_\text {AdS}\), but only intersect \(\mathscr {I}_\text {AdS}\) at two points that are time \(\pi \) apart; see [30, Section 1.2].Footnote 12 One can then construct, via the geometric optics methods of Alinhac and Baouendi [9], solutions to linear wave equations that are concentrated along such a family of geodesics.Footnote 13 These solutions yield, for AdS spacetime, counterexamples to unique continuation for various linear wave equations when the data on the conformal boundary is imposed on a timespan of less than \(\pi \) (the return time of these null geodesics), between the start and end times of the geodesics.
Remark 1.22
We note that not every wave equation can have such counterexamples to unique continuation. By Holmgren’s theorem [33], if all the coefficients of the wave equation (including the principal part g) are real-analytic, then the above counterexamples cannot exist.
One can in fact view the GNCC as a generalization of the above intuitions for AdS spacetime to aAdS settings. This observation was given in [18, Theorem 4.1], which connected the GNCC to the trajectories of null geodesics near the conformal boundary. In particular, given a spacetime null geodesic \(\Lambda \) that is sufficiently close to the conformal boundary and that travels over \(\mathscr {D}\) satisfying the GNCC, [18, Theorem 4.1] established that \(\Lambda \) must intersect the conformal boundary within \(\mathscr {D}\) (in either the future or past direction). In other words, there cannot exist any near-boundary null geodesics that travel over \(\mathscr {D}\) but do not terminate at \(\mathscr {D}\) itself. From this, one concludes that the Alinhac-Baouendi counterexamples of [9] in AdS cannot be constructed over \(\mathscr {D}\).
Remark 1.23
In addition, [45, Theorem 4.5] established an analogue of [18, Theorem 4.1] for the NCC (1.18). This was the first result in general aAdS settings that directly connected criteria for unique continuation to near-boundary null geodesic trajectories.
Consequently, the above discussions give us two justifications for the GNCC being the crucial condition for unique continuation of wave equations from the conformal boundary:
-
The GNCC rules out the known counterexamples to unique continuation for waves.
-
The GNCC implies pseudoconvexity, allowing for unique continuation results to be proved.
Remark 1.24
Though the GNCC is crucial to our proof of Theorem 1.5, it is not known whether the methods of [9] extend to the Einstein-vacuum equations. The construction of counterexamples to unique continuation in Theorem 1.5 when the GNCC is violated is a challenging problem.
Finally, we note that this connection between the GNCC and null geodesics can be used to show that no subdomain \(\mathscr {D}\) of the planar AdS or toric AdS conformal boundaries can satisfy the GNCC; see [18, Corollary 3.10].Footnote 14 In particular, on both planar and toric AdS spacetimes, there exist null geodesics that remain arbitrarily close to but never intersect the conformal boundary for all times.
1.4 Proof Overview of Theorem 1.5
In this subsection, we provide an outline of the proof of Theorem 1.5, our key result. First, via an appropriate gauge transformation, we can assume
on \(\mathscr {D}\), without any loss of generality; for details of this process, see Sect. 6.1.
Furthermore, since we are only concerned with the near-boundary region, we can assume (see Remark 1.6) that , so that the two aAdS metrics g and \(\check{g}\) take the forms.
In light of (1.21), it suffices to show that
Below, we discuss each of the three key components of the proof of Theorem 1.5.
1.4.1 The Vertical Tensor Calculus
The main objects of analysis in the proof of Theorem 1.5 are so-called vertical tensor fields. These can be thought of as tensor fields on \(\mathscr {M}\) that are everywhere tangent to the level sets of \(\rho \); an equivalent way to view vertical tensor fields is as \(\rho \)-parametrized families of tensor fields on \(\mathscr {I}\). See Sect. 2.1 for a more detailed development.
The simplest examples of vertical tensor fields are the vertical metrics \(\textsf{g}\) and \(\check{\textsf{g}}\). As these define Lorentzian metrics on each level set of \(\rho \), one can also define corresponding vertical connections \(\textsf{D}\) and \(\check{\textsf{D}}\) on \(\mathscr {M}\), respectively. Other vertical tensor fields are obtained by appropriate decompositions of spacetime quantities, such as the Weyl curvature W associated with gFootnote 15
One reason for formulating our main quantities as vertical tensor fields is that these, when viewed as \(\rho \)-parametrised tensor fields on \(\mathscr {I}\), have a natural notion of limits at the conformal boundary—as \(\rho \rightarrow 0\). (For instance, the boundary limit of \(\textsf{g}\) is the boundary metric \(\mathfrak {g}= \mathfrak {g}^{\scriptscriptstyle (0)}\).) This allows one to easily connect quantities in the bulk spacetime with those on the conformal boundary.
Analogues of vertical tensor fields have been widely used in mathematical relativity, but here we also extend these ideas beyond the standard uses.Footnote 16 In particular, since tensorial wave equations play a key role in the proof of Theorem 1.5, we want to make sense of a spacetime wave operator \(\bar{\Box }\) applied to vertical tensor fields. Furthermore, we aim to do this in a covariant manner, so that the usual operations of geometric analysis—such as Leibniz rules and integrations by parts—continue to hold. As a result of this, we can present the analysis of vertical tensor fields in almost the exact same manner as corresponding analyses of scalar fields.
The difficulty in defining \(\bar{\Box }\) covariantly lies in making proper sense of second, spacetime derivatives of vertical tensor fields.Footnote 17 To get around this, we extend our calculus to mixed tensor fields—those that contain both spacetime and vertical components. This allows us to make sense of the spacetime Hessian as adding spacetime components to a mixed field; see Sect. 2.3 for details.
Mixed tensor fields and extended wave operators \(\bar{\Box }\) originated from [49] and have been applied in aAdS contexts in [18, 30, 31, 45].Footnote 18 The full vertical (and mixed) tensor calculus, in the form shown in this paper, was first constructed in [45, 50] and was also adopted in [18].
Remark 1.25
An alternative approach is to decompose our quantities into scalar fields and derive an analogue of the wave-transport system used in [3]. One disadvantage is that the unknowns are only locally defined, while we have to work with all of \(\mathscr {D}\) simultaneously. In contrast, the vertical formalism allows us to present our arguments in a geometric and frame-independent manner.
1.4.2 The Wave-Transport System
The strategy for obtaining (1.22) is to formulate \(\textsf{g}- \check{\textsf{g}}\) as an unknown in a closed system of (vertical) tensorial transport and wave equations, and to then apply the requisite unique continuation results to this system.
From the Gauss-Codazzi equations on level sets of \(\rho \) and from (1.1), one derives
analogous formulas also hold with respect to \(\check{\textsf{g}}\). We wish to couple the transport equations (1.23) to wave equations satisfied by the Weyl curvature W (see Proposition 3.4 for precise formulas):
Decomposing W into vertical components as before, we derive, for \(\textsf{U} \in \{ \textsf{w}^\star , \textsf{w}^1, \textsf{w}^2 \}\),
where \(c_\textsf{U} \in \mathbb {Z}\) depends on the component \(\textsf{U}\) considered. Moreover, \(\textsf{NL} (\cdot )\) represents terms involving (contractions of) the listed quantities that decay sufficiently quickly toward the conformal boundary, while \(\textsf{w}^\star \) in (1.24) is a renormalization of \(\textsf{w}^0\); see (3.2) and (3.6) for precise formulas.
Remark 1.26
That different masses \(c_{\textsf{U}}\) appear in (1.24), at least when \(n > 3\), is because \(\textsf{w}^\star \), \(\textsf{w}^1\), and \(\textsf{w}^2\) have different asymptotics (in powers of \(\rho \)) at the conformal boundary.Footnote 19 One consequence of this is that we must treat the components \(\textsf{w}^\star \), \(\textsf{w}^1\), \(\textsf{w}^2\) separately in our analysis.
Subtracting (1.23)–(1.24) from their counterparts for \(\check{\textsf{g}}\) yields a closed wave-transport system for the quantities \(\textsf{g}- \check{\textsf{g}}\), \(\textsf{m}- \check{\textsf{m}}\), \(\textsf{w}^\star - \check{\textsf{w}}^\star \), \(\textsf{w}^1 - \check{\textsf{w}}^1\), and \(\textsf{w}^2 - \check{\textsf{w}}^2\). However this system fails to close for the purpose of applying our Carleman estimates. In particular, the wave equation will only allow us to control up to one derivative of \(\textsf{w}^\star - \check{\textsf{w}}^\star \), \(\textsf{w}^1 - \check{\textsf{w}}^1\), and \(\textsf{w}^2 - \check{\textsf{w}}^2\), which, in turn, allows us to control only one derivative of \(\textsf{m}- \check{\textsf{m}}\) and \(\textsf{g}- \check{\textsf{g}}\). On the other hand, when we take a difference of the wave equations (1.24), we obtain a term involving the difference of \(\bar{\Box }\) and , which contains second derivatives of \(\textsf{g}- \check{\textsf{g}}\) (since \(\textsf{U}\) is a tensor) that we a priori cannot handle.Footnote 20
The resolution, inspired by the symmetry extension result [37] of Ionescu and Klainerman, is to apply a careful renormalization of the system that eliminates the troublesome quantities. (See also Sect. 1.5.2 below, where we compare our wave-transport system with that of [37].)
The first crucial observation is that while \(\textsf{D}^2 ( \textsf{g}- \check{\textsf{g}} )\) is off limits, we can obtain improved control if one derivative is a curl. In particular, the first and third equations in (1.23) yield, roughly,
The above still does not quite suffice, and we need one more renormalization—this is due to terms involving \(\textsf{D}( \check{\textsf{D}} - \textsf{D})\), which again contain the undesirable \(\textsf{D}^2 ( \textsf{g}- \check{\textsf{g}} )\). All this leads us to define the auxiliary quantities (see (3.11) and (3.12) for precise formulas)
with \(\textsf{Q} \rightarrow 0\) as \(\rho \rightarrow 0\). We then show that \(\textsf{D}\textsf{B}\) can indeed be adequately controlled by \(\textsf{D}( \textsf{w}^1 - \check{\textsf{w}}^1 )\).
The second crucial observation comes from a detailed examination of the difference . To appreciate this, we consider the wave equation for just \(\textsf{w}^2 - \check{\textsf{w}}^2\) for concreteness:
The dangerous terms arise from the following (rather long) computation,
where \(\{ a \leftrightarrow b \}\) denotes the preceding terms repeated but with a and b interchanged, and where \(\textsf{Err}\) consists of (many) terms containing only difference quantities that we can control.
The key point is that the only instances of \(\textsf{D}^2 ( \textsf{g}- \check{\textsf{g}} )\) appear either as \(\textsf{D}\textsf{B}\), which we can control, or as \(\bar{\Box }\) applied to difference quantities. This leads us to the renormalized curvature difference
which in essence shifts the \(\bar{\Box }\)-terms from the right-hand side of (1.27) into the left; one can also define the remaining \(\textsf{W}^1\) and \(\textsf{W}^\star \) similarly. In light of (1.26) and (1.27), we obtain that \(\textsf{W}^\star \), \(\textsf{W}^1\), \(\textsf{W}^2\) satisfy wave equations that do not contain \(\textsf{D}^2 ( \textsf{g}- \check{\textsf{g}} )\) as sources.
Finally, the renormalized wave-transport system is obtained by treating the quantities
as unknowns. In particular, from the above discussions, and from various asymptotic properties of geometric quantities, we arrive at the (schematic) transport equations
coupled to the following (schematic) wave equations for any \(\textsf{W} \in \{ \textsf{W}^\star , \textsf{W}^1, \textsf{W}^2 \}\):
The \(\mathcal {O} ( \cdot )\)’s in (1.30)–(1.31) indicate the asymptotics of various coefficients as \(\rho \rightarrow 0\).
For more precise formulas, see Propositions 3.13 and 3.14. In particular, the wave-transport system (1.30)–(1.31) indeed closes from the point of view of derivatives.Footnote 21
1.4.3 The Carleman Estimate
The technical workhorse in the proof of Theorem 1.5, connecting the system (1.30)–(1.31) with unique continuation, is a Carleman estimate for wave equations that are satisfied by vertical tensor fields near aAdS conformal boundaries.
The role of Carleman estimates in unique continuation theory has an extensive history, tracing back to the seminal [15, 17] for elliptic problems. Classical results for wave equations—see [34, 41]—highlight pseudoconvexity as the crucial condition needed for Carleman estimates, and hence unique continuation results, to hold across a given hypersurface. The novelty in aAdS settings is that the conformal boundary is zero-pseudoconvex, so the classical results no longer apply.Footnote 22
These difficulties were overcome in a series of results [18, 30, 31, 45] by the authors, Chatzikaleas, and McGill, leading to Carleman estimates and unique continuation results on FG-aAdS segments, under the assumption of the GNCC.Footnote 23 As mentioned before, the GNCC ensures the existence of a foliation of pseudoconvex hypersurfaces near the conformal boundary. (See the above references for further discussions of the ideas leading to the Carleman estimates.)
We now give a rough statement of the wave Carleman estimate used in this article.
Theorem 1.27
(Carleman estimate for wave equations, [18]) Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, and suppose its conformal infinity \(( \mathscr {I}, \mathfrak {g})\) has a subdomain \(\mathscr {D} \subset \mathscr {I}\) such that \(( \mathscr {D}, \mathfrak {g})\) satisfies the GNCC. Also, fix \(\sigma \in \mathbb {R}\), set (with \(\eta \) as in Definition 1.12), and define the region
Then the following holds, for any vertical tensor field on \(\mathscr {M}\) with
,
vanishing on \(f = f_\star \), that
![](http://media.springernature.com/lw474/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ32_HTML.png)
provided \(\kappa \) and \(\lambda \) are sufficiently large, \(f_\star \) is sufficiently small, and \(0< p < \frac{1}{2}\).
Remark 1.28
The norm \(| \cdot |\) can be defined relative to a given Riemannian metric on the space of vertical tensors. Moreover, the admissible values of \(\kappa \), \(\lambda \), \(f_\star \) depend on \(\textsf{g}\), \(\mathscr {D}\), \(\sigma \), and the rank of \(\Phi \).
See Theorem 4.6 below for a precise statement of the Carleman estimate. The region \(\Omega _{ f_\star }\), on which the Carleman estimate holds, is illustrated in Fig. 1.
The zero-pseudoconvexity of the conformal boundary leads to several complications in both the statement and the proof of Theorem 1.27. For instance, one consequence of this is that in contrast to classical results, which apply in small neighbourhoods of a single point, the estimate (1.32) holds only near sufficiently large domains \(\mathscr {D}\) in the conformal boundary that satisfy the GNCC. This is a feature that is exclusive to zero-pseudoconvex settings.
A second complication, arising from the degeneration of the pseudoconvexity of the level sets of f toward the conformal boundary, is the presence of decaying weights in (1.32)—\(f \rho ^3\) and \(f^{2p}\) in the right-hand side. This makes absorption arguments in the proof of Theorem 1.27 far more delicate, and it restricts the class of wave equations for which one can prove unique continuation—namely, to equations with similarly decaying lower-order coefficients.
Remark 1.29
There do exist stronger unique continuation results, for which pseudoconvexity is not needed at all; see [36, 40, 48, 52]. However, these results require either additional symmetries or partial analyticity, neither of which is available in our setting.
Theorem 1.27 is supplemented by a Carleman estimate—with the same region \(\Omega _{ f_*}\) and Carleman weight—for transport equations. In contrast to Theorem 1.27, the proof of the transport Carleman estimate is straightforward; see Proposition 4.9 below for the precise statement and for details.
1.4.4 Unique Continuation
The last step is to apply the wave and transport Carleman estimates to our system (1.30)–(1.31) to derive unique continuation—in particular (1.22). First, we claim all the unknowns (1.29) vanish to arbitrarily high order at the conformal boundary, so there are no boundary terms present in the Carleman estimates. This follows from two key observations:
-
From (1.20), one can also derive that \(\mathfrak {g}^{\scriptscriptstyle (k)} = \check{\mathfrak {g}}^{\scriptscriptstyle (k)}\) for all \(k < n\), and that \(\mathfrak {g}^{\scriptscriptstyle (\star )} = \check{\mathfrak {g}}^{\scriptscriptstyle (\star )}\); see [50] for details. This leads to high-order vanishing for all the unknowns (1.29).
-
Further orders of vanishing can then be derived from transport and Bianchi equations.Footnote 24
See Sect. 5.1 for further details on these steps.
From here, the process is mostly standard. We apply the wave Carleman estimate (1.32) to \(\chi \textsf{W}^\star \), \(\chi \textsf{W}^1\), and \(\chi \textsf{W}^2\)—for an appropriate cutoff \(\chi := \chi (f)\)—and recall (1.31) in order to obtain
where is the Carleman weight, and whereFootnote 25
(The “\(\dots \)” in the \(\Omega _e\)-integral depends on the unknowns (1.29), various weights in \(\rho \) and f, and the cutoff \(\chi \); however, its precise contents are irrelevant, as we only require that this integral is finite.) Similar (but easier) applications of the transport Carleman estimate and (1.30) yield
The key point here is that the \(\rho \)-weights on the right-hand sides of (1.33) and (1.34) come from the \(\mathcal {O} ( \cdot )\)-coefficients in (1.30)–(1.31). The final crucial feature of our system is these \(\rho \)-weights are strong enough that, after summing (1.33) and (1.34), the \(\Omega _i\)-integrals on the right-hand side can be absorbed into the left-hand side (once \(\lambda \) is sufficiently large). From the above, we conclude that
Finally, \(w_\lambda (f)\) in the above can be removed in the standard fashion by noting that \(w_\lambda (f) \le w_\lambda ( f_i )\) on \(\Omega _e\) and \(w_\lambda (f) \ge w_\lambda ( f_i )\) on \(\Omega _i\). The result (1.22) now follows by letting \(\lambda \rightarrow \infty \).
1.5 Comparison with Similar Results
It is instructive to compare the proof of Theorem 1.5 with those of some related results in the existing literature.
1.5.1 Biquard’s Riemannian analogue
We recall [14], which considered asymptotically hyperbolic Einstein manifolds (M, g). These (Riemannian) manifolds also have a conformal boundary \(( \partial M, \mathfrak {g})\), as well as a Fefferman–Graham expansion from \(\partial M\). In this setting, [14] proved that the coefficients \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) in the expansion uniquely determine the metric g on M—the analogue of Theorem 1.5.
The main difference between Theorem 1.5 and [14] is that the key equations in the latter are elliptic. Recall that all hypersurfaces are pseudoconvex in elliptic settings, hence the major difficulties of zero-pseudoconvexity and of constructing pseudoconvex hypersurfaces are entirely avoided.
Moreover, [14] can avoid working with the curvature directly, instead deriving a second order elliptic equation for the analogue of the second fundamental form \(\textsf{m}\), which sees arbitrary second derivatives of the metric \(\textsf{g}\) on the right hand side.Footnote 26 Since the equation is elliptic, the Carleman estimate for \(\textsf{m}\) allows for controlling two derivatives of \(\textsf{m}\) in terms of two derivatives of \(\textsf{g}\). Also, as the (commuted) transport equation for \(\textsf{g}\) estimates two derivatives of \(\textsf{g}\) in terms of two derivatives of \(\textsf{m}\), the Carleman estimates already close at the level of the second fundamental form.
For our setting, the analogous equation for \(\textsf{m}\) would be hyperbolic, and the Carleman estimates cannot be closed in the same way, since the hyperbolic version loses a derivative compared with the elliptic case. Consequently, we must also introduce the curvature as an unknown, which greatly complicates both our system and the ensuing analysis.
1.5.2 The Ionescu–Klainerman symmetry extension
Next, we look at [37], which proved a symmetry extension result similar to Theorem 1.7, but through finite hypersurface in a vacuum spacetime (M, g). In particular, [37] showed that a Killing vector field K on a domain \(U \subset M\) can be extended through a point \(p \in \partial U\), provided \(\partial U\) is pseudoconvex near p.
The proof of this result begins by extending K along a geodesic vector field X through \(\partial U\) using the Jacobi equation. One key step in showing that this extended K remains Killing is the derivation of a wave-transport system, on which a unique continuation result is applied:
Here, “\(c \, \cdot \)” denotes various contractions with tensorial coefficients, which we avoid specifying here. The unknowns \(\textbf{B}\), \(\textbf{P}\), \(\textbf{A}\) are spacetime tensor fields, roughly described as follows:
-
\(\textbf{B}\) consists of \(\mathscr {L}_K g\) plus a specially chosen antisymmetric renormalization term \(\omega \), while \(\textbf{P}\) consists of certain careful combinations of \(\nabla \mathscr {L}_K g\) and \(\nabla \omega \):
$$\begin{aligned} \textbf{B}_{\alpha \beta }:= \frac{1}{2} ( \mathscr {L}_K g_{\alpha \beta } + \omega _{\alpha \beta } ) \text {,} \qquad \textbf{P}_{\alpha \beta \mu }:= \nabla _\alpha \pi _{\beta \mu } - \nabla _\beta \pi _{\alpha \mu } - \nabla _\mu \omega _{\alpha \beta } \text {.} \end{aligned}$$ -
\(\textbf{A}\) is a “modified Lie derivative” of the Weyl curvature W:
$$\begin{aligned} \textbf{A}_{ \alpha \beta \mu \nu } = \mathscr {L}_K W_{ \alpha \beta \mu \nu } - ( \textbf{B} \odot W )_{ \alpha \beta \mu \nu } \text {.} \end{aligned}$$
That K is Killing follows from showing, via unique continuation, that \(\textbf{B}\), \(\textbf{P}\), \(\textbf{A}\) all vanish.
There are two connections we can make between the system (1.35) and our results. The first is that an analogous system can be applied to give a direct proof of Theorem 1.7, without appealing to Theorem 1.5. Setting \(X:= \rho \partial _\rho \) and K to be extension of the Killing field from the conformal boundary, we obtain a system of the same form (1.35).Footnote 27 However, we would also need to apply vertical decompositions to \(\textbf{B}\), \(\textbf{P}\), \(\textbf{A}\), since different components have different asymptotic behaviors at the conformal boundary. Nonetheless, this decomposed system has the same qualities as (1.30)–(1.31), and we can similarly apply our Carleman estimates to this.
The second connection is that we can in fact draw a direct parallel between (1.35) and our wave-transport system (1.30)–(1.31). One can construct a rough “dictionary” between the unknowns of [37] and our system by replacing each \(\mathscr {L}_K\) applied to a quantity by the corresponding difference of that quantity for two metrics. More specifically, we identify the following:
-
\(\mathscr {L}_K g\) in [37] corresponds to \(\textsf{g}- \check{\textsf{g}}\) in our paper.
-
The renormalized term \(\omega \) in [37] corresponds to our renormalization \(\textsf{Q}\).
-
The components of \(\textbf{P}\) roughly map to both \(\textsf{m}- \check{\textsf{m}}\) and \(\textsf{B}\) in our paper.
-
The modified Lie derivative \(\textbf{A}\) corresponds to our renormalized curvature differences \(\textsf{W}^\star \), \(\textsf{W}^1\), \(\textsf{W}^2\). Moreover, \(\textbf{B} \otimes W\) connect directly to the renormalization terms in (1.28).
Remark 1.30
As a result of the above, the preceding discussions of our system (1.30)–(1.31) also help to explain the various renormalizations used in (1.35) and [37].
1.6 Further Questions
Finally, we conclude the introduction by discussing some further directions of investigation that are related to or raised by Theorem 1.5.
1.6.1 The Case \(n = 2\)
Recall Theorem 1.5—and Theorems 1.7 and 1.10 by extension—all assume that the dimension n of the conformal boundary is strictly greater than 2. This raises the question of whether analogues of Theorems 1.5, 1.7, and 1.10 hold in the case \(n = 2\).
In fact, the problem simplifies considerably when \(n = 2\) due to the rigidity of low-dimensional settings. In particular, since the Weyl curvature vanishes identically in 3 dimensions, it follows already that any vacuum aAdS spacetime when \(n = 2\) must be locally isometric to the (3-dimensional) AdS metric. Furthermore, as all curvature terms disappear from the system (1.23), one can prove unique continuation using only transport equations (and avoiding wave equations). This yields analogues of all our main theorems for \(n=2\), but from any domain \(\mathscr {D}\)—without requiring the GNCC.Footnote 28
1.6.2 Optimal Boundary Conditions
An often studied setting in the physics literature is the case when the boundary region \(\mathscr {D} \subset \mathscr {I}\) in Theorem 1.5 is a causal diamond,Footnote 29
Unfortunately, one expects that causal diamonds (1.36), regardless of how large they are, should generically fail to satisfy the GNCC when \(n > 2\); see the argument in [18, Section 3.3]. As a result, Theorem 1.5 fails to apply when \(\mathscr {D}\) is as in (1.36)—in other words, we cannot establish that vacuum aAdS spacetimes are uniquely determined by their boundary data on a causal diamond.
This leads to the question of whether the GNCC can be further refined, so that Theorem 1.5 can be somehow extended to apply to \(\mathscr {D}\) as in (1.36). One observation here is that the failure of the GNCC is due only to the presence of corners in \(\partial \mathscr {D}\) where the boundaries of \(\mathcal {I}^+ (p)\) and \(\mathcal {I}^- (q)\) intersect. Near these corners, one can find near-boundary null (spacetime) geodesics “flying over" but avoiding \(\mathscr {D}\). This leads to the following question: Could boundary data \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) on \(\mathscr {D}\) uniquely determine the vacuum aAdS spacetime near some proper subset \(\mathscr {D}' \subseteq \mathscr {D}\), in particular when \(\mathscr {D}\) is sufficiently large, and when \(\mathscr {D}'\) is sufficiently far from any corners in \(\partial \mathcal {I}^+ (p) \cap \partial \mathcal {I}^- (q)\)?
At the same time, one may ask whether this refined GNCC can also be formulated for more general domains \(\mathscr {D} \subset \mathscr {I}\). More specifically, one can formulate the following:
Problem 1.31
Consider the setting of Theorem 1.5. Show that if \(\mathscr {D}' \subseteq \mathscr {D}\) satisfies some (yet to be formulated) “refined GNCC" relative to \(\mathscr {D}\), then \(( \mathscr {M}, g )\) is uniquely determined near \(\mathscr {D}'\) by the boundary data \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) on \(\mathscr {D}\), again up to gauge equivalence.
Keeping with the above intuitions, the optimal formulation of such a “refined GNCC” would be one that directly characterizes null geodesic trajectories near the conformal boundary. Such a criterion would confirm the belief that unique continuation holds if and only if one cannot construct geometric optics counterexamples near the conformal boundary to unique continuation for waves, as in [9]. However, a proof of such a statement may require incorporating, in a novel manner, ideas from microlocal analysis and propagation of singularities.
1.6.3 Global Correspondences
Our main result, Theorem 1.5, is “local” in nature, in the sense that the vacuum spacetime is only uniquely determined near the conformal boundary. This is due to our rather general setup, which does not provide any information on the global spacetime geometry. However, this leaves open the question of whether a more global unique continuation result can be established if more additional assumptions are imposed.
For example, one can consider aAdS spacetimes \(( \mathscr {M}, g )\) that are global perturbations, in some sense, of a Kerr-AdS spacetime. One can then ask whether the boundary data \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) determines the spacetime in the full domain of outer communications, or if additional conditions are needed to rule out bifurcating counterexamples. In the positive scenario, another physical question of interest is whether one can construct a one-to-one correspondence between conformal boundary data \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and some (appropriately conceived) data on the black hole horizon.
In [30, Section 6], the authors applied the Carleman estimates of that paper to show that the linearized Einstein-vacuum equations on AdS spacetime (formulated as Bianchi equations for spin-2 fields) is globally characterized by its boundary data on a sufficiently long time interval. Upcoming work by McGill and the second author will extend this to the nonlinear setting—roughly, under additional global assumptions, AdS spacetime is globally uniquely determined, as a solution to (1.1), by its holographic boundary data. An interesting next step would be to explore whether these analyses can be extended to black hole aAdS spacetimes.
1.7 Organization of the paper
In Sect. 2, we provide a detailed development of vacuum FG-aAdS segments and our vertical tensor formalism. Section 3 is dedicated to the wave-transport system that is at the heart of the proof of Theorem 1.5, while Sect. 4 presents the key Carleman estimates for both wave and transport equations. Finally, Sect. 5 proves the key unique continuation result for vacuum FG-aAdS segments, and Sect. 6 proves our main results: Theorems 1.5, 1.7, and 1.10. Finally, various proofs and derivations are presented separately in “Appendix 7”.
2 Preliminaries
This section is devoted to developing the background material that will be used throughout this article. First, we give a precise description of the aAdS setting that we will study, and we state the assumptions we will impose on our spacetimes and their conformal boundaries. We then turn our attention to Einstein-vacuum spacetimes, and we recall the Fefferman–Graham partial expansions derived in [50]. In the remaining parts, we recall the mixed tensor fields introduced in [45].Footnote 30 These are used to make sense of the wave operator \(\bar{\Box }\) applied to vertical tensor fields. Finally, we derive various identities connecting vertical and spacetime geometric quantities.
2.1 Asymptotically AdS Spacetimes
The first objective is to give precise descriptions of the aAdS spacetimes that we will study. We begin with the background manifold itself.Footnote 31
Definition 2.1
An aAdS region is a manifold with boundary of the form
where \(\mathscr {I}\) is a smooth n-dimensional manifold, and where \(n \in \mathbb {N}\).Footnote 32
Definition 2.2
Let \(\mathscr {M}\) be an aAdS region. Then
-
We let \(\rho \in C^\infty ( \mathscr {M} )\) denote the projection onto its \(( 0, \rho _0 ]\)-component.
-
We let \(\partial _\rho \) denote the lift to \(\mathscr {M}\) of the canonical vector field \(d_\rho \) on \(( 0, \rho _0 ]\).
-
The vertical bundle \(\textsf{V}^k_l \mathscr {M}\) of rank (k, l) over \(\mathscr {M}\) is defined to be the manifold consisting of all tensors of rank (k, l) on each level set of \(\rho \) in \(\mathscr {M}\):
$$\begin{aligned} \textsf{V}^k_l \mathscr {M} = \bigcup _{ \sigma \in ( 0, \rho _0 ] } T^k_l \{ \rho = \sigma \} \text {.} \end{aligned}$$(2.2) -
A (smooth) section of \(\textsf{V}^k_l \mathscr {M}\) is called a vertical tensor field of rank (k, l).
Remark 2.3
We adopt the following conventions and identifications on an aAdS region \(\mathscr {M}\):
-
We use italicized font, serif font, and Fraktur font (for instance, g, \(\textsf{g}\), and \(\mathfrak {g}\)) to denote tensor fields on \(\mathscr {M}\), vertical tensor fields, and tensor fields on \(\mathscr {I}\), respectively.
-
Given \(\sigma \in ( 0, \rho _0 ]\), we let \(\textsf{A} |_\sigma \) be the tensor field on \(\mathscr {I}\) obtained from restricting \(\textsf{A}\) to \(\{ \rho = \sigma \}\).
-
A vertical tensor field \(\textsf{A}\) of rank (k, l) can be equivalently viewed as a one-parameter family, \(\{ \textsf{A} |_\sigma \mid \sigma \in ( 0, \rho _0 ] \}\), of rank (k, l) tensor fields on \(\mathscr {I}\).
-
Given a tensor field \(\mathfrak {A}\) on \(\mathscr {I}\), we will also use \(\mathfrak {A}\) to denote the vertical tensor field on \(\mathscr {M}\) obtained by extending \(\mathfrak {A}\) as a \(\rho \)-independent family of tensor fields on \(\mathscr {I}\).Footnote 33
-
Any vertical tensor field \(\textsf{A}\) can be uniquely identified with a tensor field on \(\mathscr {M}\) (of the same rank) via the following rule: the contraction of any component of \(\textsf{A}\) with \(\partial _\rho \) or \(d \rho \) (whichever is appropriate) is defined to vanish identically.
Finally, unless otherwise specfied, we always implicitly assume any given tensor field is smooth.
Definition 2.4
Let \(\mathscr {M}\) be an aAdS region.
-
We use the symbol \(\mathscr {L}\) to denote Lie derivatives of tensor fields, on both \(\mathscr {M}\) and \(\mathscr {I}\).
-
We can also make sense of Lie derivatives of any vertical tensor field \(\textsf{A}\) by treating it as a spacetime tensor field, as described in Remark 2.3.
-
For convenience, we will often abbreviate \(\mathscr {L}_{ \partial _\rho }\) as \(\mathscr {L}_\rho \).
Remark 2.5
Observe that, in the context of Definition 2.4, for any vertical tensor field \(\textsf{A}\), its Lie derivative \(\mathscr {L}_\rho \textsf{A}\) can also be characterized as the unique vertical tensor field satisfyingFootnote 34
In the following definitions, we establish conventions for coordinate systems and limits:
Definition 2.6
Let \(\mathscr {M}\) be an aAdS region, and let \(( U, \varphi )\) be a coordinate system on \(\mathscr {I}\):
-
Let \(\varphi _\rho := ( \rho , \varphi )\) denote the corresponding lifted coordinates on \(( 0, \rho _0 ] \times U\).
-
We use lower-case Latin indices \(a, b, c, \dots \) to denote \(\varphi \)-coordinate components, and we use lower-case Greek indices \(\alpha , \beta , \mu , \nu , \dots \) to denote \(\varphi _\rho \)-coordinate components. As usual, repeated indices indicate summations over the appropriate components.
-
\(( U, \varphi )\) is called compact iff \(\bar{U}\) is a compact subset of \(\mathscr {I}\) and \(\varphi \) extends smoothly to \(\bar{U}\).
-
Given a vertical tensor field \(\textsf{A}\) of rank (k, l), we define (with respect to \(\varphi \)-coordinates)
$$\begin{aligned} | \textsf{A} |_{ M, \varphi } := \sum _{ m = 0 }^M \sum _{ \begin{array}{c} a_1, \dots , a_m \\ b_1, \dots , b_k \\ c_1, \dots , c_l \end{array} } | \partial ^m_{ a_1 \dots a_m } \textsf{A}^{ b_1 \dots b_k }_{ c_1 \dots c_l } | \text {.} \end{aligned}$$(2.4)
Definition 2.7
Let \(\mathscr {M}\) be an aAdS region, let \(M \ge 0\), and let \(\textsf{A}\) and \(\mathfrak {A}\) be a vertical tensor field and a tensor field on \(\mathscr {I}\), respectively, both of the same rank (k, l).
-
\(\textsf{A}\) is locally bounded in \(C^M\) iff for any compact coordinates \(( U, \varphi )\) on \(\mathscr {I}\),
$$\begin{aligned} \sup _{ ( 0, \rho _0 ] \times U } | \textsf{A} |_{ M, \varphi } < \infty \text {.} \end{aligned}$$(2.5) -
\(\textsf{A}\) converges to \(\mathfrak {A}\) in \(C^M\), denoted \(\textsf{A} \rightarrow ^M \mathfrak {A}\), iff for any compact coordinates \(( U, \varphi )\) on \(\mathscr {I}\),
$$\begin{aligned} \lim _{ \sigma \searrow 0 } \sup _{ \{ \sigma \} \times U } | \textsf{A} - \mathfrak {A} |_{ M, \varphi } = 0 \text {.} \end{aligned}$$(2.6)
We now describe the metrics that we will consider on our aAdS segments. This is summarized through the notion of “FG-aAdS segments” from [45, 50].
Definition 2.8
\(( \mathscr {M}, g )\) is called an FG-aAdS segment iff the following holdFootnote 35:
-
\(\mathscr {M}\) is an aAdS region, and g is a Lorentzian metric on \(\mathscr {M}\).
-
There exist a vertical tensor field \(\textsf{g}\) of rank (0, 2) and a Lorentzian metric \(\mathfrak {g}\) on \(\mathscr {I}\) with
$$\begin{aligned} g := \rho ^{-2} ( d \rho ^2 + \textsf{g}) \text {,} \qquad \textsf{g}\rightarrow ^0 \mathfrak {g}\text {.} \end{aligned}$$(2.7)
Remark 2.9
Given an FG-aAdS segment \(( \mathscr {M}, g )\):
-
We refer to the form (2.7) of g as the Fefferman–Graham (or FG) gauge condition.
-
We refer to \(( \mathscr {I}, \mathfrak {g})\) as the conformal boundary for \(( \mathscr {M}, g, \rho )\).
The following definitions describe the basic geometric objects in our setting:
Definition 2.10
Given an FG-aAdS segment \(( \mathscr {M}, g )\):
-
Let \(g^{-1}\), \(\nabla \), \(\nabla ^\sharp \), and R denote the metric dual, the Levi-Civita connection, the gradient, and the Riemann curvature (respectively) associated with the spacetime metric g.
-
Let \(\mathfrak {g}^{-1}\), \(\mathfrak {D}\), \(\mathfrak {D}^\sharp \), and \(\mathfrak {R}\) denote the metric dual, the Levi-Civita connection, the gradient, and the Riemann curvature (respectively) associated with the boundary metric \(\mathfrak {g}\).
-
Let \(\textsf{g}^{-1}\), \(\textsf{D}\), \(\textsf{D}^\sharp \), and \(\textsf{R}\) denote the metric dual, the Levi-Civita connection, the gradient, and the Riemann curvature (respectively) associated with the vertical metric \(\textsf{g}\).Footnote 36
As is standard, we omit the superscript “\({}^{-1}\)” when describing metric duals in index notion.
Definition 2.11
Furthermore, given an FG-aAdS segment \(( \mathscr {M}, g )\):
-
Let W, Rc, and Rs denote the Weyl, Ricci, and scalar curvatures (respectively) for g.
-
Let \(\mathfrak {Rc}\) and \(\mathfrak {Rs}\) denote the Ricci and scalar curvatures (respectively) for \(\mathfrak {g}\).
2.2 Vacuum Spacetimes
The final assumption we will pose is that our spacetime satisfies the Einstein-vacuum equations (with normalized negative cosmological constant).
Definition 2.12
An FG-aAdS segment \(( \mathscr {M}, g )\) is called vacuum iff the following holds:
Proposition 2.13
Suppose \(( \mathscr {M}, g )\) is a vacuum FG-aAdS segment. Then,
Furthermore, the following holds with respect to any coordinates on \(\mathscr {M}\):
Proof
These are direct computations; see [50, Proposition 2.24]. \(\square \)
The following results, which give partial Fefferman–Graham expansions for Einstein-vacuum metrics from the conformal boundary—are a portion of the main results of [50]:
Definition 2.14
Fix an integer \(M \ge 0\). An FG-aAdS segment \(( \mathscr {M}, g )\) is regular to order M iff:
-
\(\textsf{g}\) is locally bounded in \(C^{ M + 2 }\).
-
The following holds for any compact coordinates \(( U, \varphi )\) on \(\mathscr {I}\):
$$\begin{aligned} \sup _U \int _0^{ \rho _0 } | \mathscr {L}_\rho \textsf{g}|_{ 0, \varphi } |_\sigma d \sigma < \infty \text {.} \end{aligned}$$(2.11)
Definition 2.15
Let \(( \mathscr {M}, g )\) be a FG-aAdS segment, and let \(k \ge 2\). We say that a tensor field \(\mathfrak {A}\) on \(\mathscr {I}\) depends only on \(\mathfrak {g}\) to order k iff \(\mathfrak {A}\) can be expressed as contractions and tensor products of zero or more instances of each of the following: \(\mathfrak {g}, \mathfrak {g}^{-1}, \mathfrak {R}, \dots , \mathfrak {D}^{ k - 2 } \mathfrak {R}\).
Theorem 2.16
[50, Theorem 3.3] Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, and assume \(n > 1\). Moreover, suppose \(( \mathscr {M}, g )\) is regular to some order \(M \ge n + 2\). Then:
-
\(\textsf{g}\) and \(\textsf{g}^{-1}\) satisfy
$$\begin{aligned} \textsf{g}\rightarrow ^M \mathfrak {g}\text {,} \qquad \textsf{g}^{-1} \rightarrow ^M \mathfrak {g}^{-1} \text {.} \end{aligned}$$(2.12) -
There exist tensor fields \(\mathfrak {g}^{\scriptscriptstyle (k)}\), \(0 \le k < n\), on \(\mathscr {I}\) such that
$$\begin{aligned} \mathscr {L}_\rho ^k \textsf{g}\rightarrow ^{ M - k } k! \, \mathfrak {g}^{\scriptscriptstyle (k)} \text {,} \qquad \rho \mathscr {L}_\rho ^{ k + 1 } \textsf{g}\rightarrow ^{ M - k } 0 \text {.} \end{aligned}$$(2.13)Furthermore, \(\mathfrak {g}^{\scriptscriptstyle (0)} = \mathfrak {g}\), and the following properties hold:
-
If \(1 \le k < n\) is odd, then \(\mathfrak {g}^{\scriptscriptstyle (k)} = 0\).
-
If \(2 \le k < n\), then \(\mathfrak {g}^{\scriptscriptstyle (k)}\) depends only on \(\mathfrak {g}\) to order k. In particular,
$$\begin{aligned} \mathfrak {g}^{\scriptscriptstyle (2)} = - \frac{ 1 }{ n - 2 } \left[ \mathfrak {Rc}- \frac{ 1 }{ 2 ( n - 1 ) } \mathfrak {Rs}\cdot \mathfrak {g}\right] \text {,} \qquad n > 2 \text {.} \end{aligned}$$(2.14)
-
-
There exists a tensor field \(\mathfrak {g}^{\scriptscriptstyle (\star )}\) on \(\mathscr {I}\) such that
$$\begin{aligned} \rho \mathscr {L}_\rho ^{ n + 1 } \textsf{g}\rightarrow ^{ M - n } n! \, \mathfrak {g}^{\scriptscriptstyle (\star )} \text {.} \end{aligned}$$(2.15)In addition, \(\mathfrak {g}^{\scriptscriptstyle (\star )}\) satisfies the following:
-
Both the \(\mathfrak {g}\)-trace and the \(\mathfrak {g}\)-divergence of \(\mathfrak {g}^{\scriptscriptstyle (\star )}\) vanish on \(\mathscr {I}\).
-
If n is odd or if \(n = 2\), then \(\mathfrak {g}^{\scriptscriptstyle (\star )} = 0\).
-
If n is even, then \(\mathfrak {g}^{\scriptscriptstyle (\star )}\) depends only on \(\mathfrak {g}\) to order n.
-
-
There exist a \(C^{ M - n }\) tensor field \(\mathfrak {g}^{\scriptscriptstyle (\dagger )}\) on \(\mathscr {I}\) such that
$$\begin{aligned} \mathscr {L}_\rho ^n \textsf{g}- n! \, ( \log \rho ) \mathfrak {g}^{\scriptscriptstyle (\star )} \rightarrow ^{ M - n } n! \, \mathfrak {g}^{\scriptscriptstyle (\dagger )} \text {.} \end{aligned}$$(2.16)
Remark 2.17
In particular, when \(n > 2\), Theorem 2.16 implies that any vacuum FG-aAdS segment \(( \mathscr {M}, g )\) is also a strongly FG-aAdS segment, in the sense of [45, Definition 2.13]—that is,
for some rank (0, 2) tensor field \(\bar{\mathfrak {g}}\) on \(\mathscr {I}\), and \(\mathscr {L}_\rho ^3 \textsf{g}\) is locally bounded in \(C^0\).Footnote 37 These are the main regularity and asymptotic assumptions required for the Carleman estimates of [45] to hold.
Corollary 2.18
[50, Theorem 3.6] Assume the hypotheses of Theorem 2.16, and let the quantities \(\mathfrak {g}^{\scriptscriptstyle (0)}, \dots , \mathfrak {g}^{\scriptscriptstyle (n-1)}, \mathfrak {g}^{\scriptscriptstyle (\star )}\) be as in the conclusions of Theorem 2.16. Then, there exists a \(C^{ M - n }\) tensor field \(\mathfrak {g}^{\scriptscriptstyle (n)}\) on \(\mathscr {I}\) and a vertical tensor field \(\textsf{r}_{ \textsf{g}}\) such that the following partial expansion holds for \(\textsf{g}\),
where the remainder \(\textsf{r}_{ \textsf{g}}\) satisfies
Furthermore, \(\mathfrak {g}^{\scriptscriptstyle (n)}\) satisfies the following:
-
If n is odd, then the \(\mathfrak {g}\)-trace and \(\mathfrak {g}\)-divergence of \(\mathfrak {g}^{\scriptscriptstyle (n)}\) vanish on \(\mathscr {I}\).
-
On the other hand, if n is even, then the \(\mathfrak {g}\)-trace of \(\mathfrak {g}^{\scriptscriptstyle (n)}\) depends only on \(\mathfrak {g}\) to order n, and the \(\mathfrak {g}\)-divergence of \(\mathfrak {g}^{\scriptscriptstyle (n)}\) depend only on \(\mathfrak {g}\) to order \(n+1\).
Remark 2.19
The conclusions of Theorem 2.16 and Corollary 2.18 imply that the coefficients \(\mathfrak {g}^{\scriptscriptstyle (1)}, \dots , \mathfrak {g}^{\scriptscriptstyle (n-1)}, \mathfrak {g}^{\scriptscriptstyle (\star )}\)—as well as the \(\mathfrak {g}\)-trace and the \(\mathfrak {g}\)-divergence of \(\mathfrak {g}^{\scriptscriptstyle (n)}\)—are determined by the boundary metric \(\mathfrak {g}= \mathfrak {g}^{\scriptscriptstyle (0)}\). As a result, we can view \(\mathfrak {g}^{\scriptscriptstyle (0)}\) and the \(\mathfrak {g}\)-trace-free, \(\mathfrak {g}\)-divergence-free part of \(\mathfrak {g}^{\scriptscriptstyle (n)}\) as the “free” data for the Einstein-vacuum equations at the conformal boundary.
Definition 2.20
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, and let \(\mathfrak {g}^{\scriptscriptstyle (0)}, \dots , \mathfrak {g}^{\scriptscriptstyle (n-1)}, \mathfrak {g}^{\scriptscriptstyle (\star )}, \mathfrak {g}^{\scriptscriptstyle (n)}\) be defined as in the statements of Theorem 2.16 and Corollary 2.18 above. We then refer to the triple \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) as the holographic data associated to or induced by \(( \mathscr {M}, g )\).
2.3 The Mixed Covariant Formalism
In this subsection, we recall the notion of mixed tensor fields from [45]. In order to better handle some of the more complicated tensorial expressions in this section, we will make use of the following notational conventions for multi-indices:
Definition 2.21
In general, we will use symbols containing an overhead bar to denote multi-indices. Moreover, given a multi-index \(\bar{A}:= A_1 \dots A_l\) (with spacetime or vertical components):
-
For any \(1 \le i \le l\), we write
to denote \(\bar{A}\), but with \(A_i\) removed. Moreover, given another index B, we write
to denote \(\bar{A}\), but with \(A_i\) replaced by B.
-
Similarly, given any \(1 \le i, j \le l\), with \(i \ne j\), we write
to denote \(\bar{A}\) except with \(A_i\) and \(A_j\) removed. Furthermore, given any indices B and C, we write
to denote \(\bar{A}\), but with \(A_i\) and \(A_j\) replaced by B and C, respectively.
The first step in this process is to construct connections on the vertical bundles. The Levi-Civita connections \(\textsf{D}\) already define covariant derivatives of vertical tensor fields in the vertical directions. We now extend these connections to also act in the \(\rho \)-direction.
Proposition 2.22
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. There exists a (unique) family of connections \(\bar{\textsf{D}}\) on the vertical bundles \(\textsf{V}^k_l \mathscr {M}\), for all ranks (k, l), such that given any vertical tensor field \(\textsf{A}\) of rank (k, l), the following formula holds, with respect to any coordinates \(( U, \varphi )\) on \(\mathscr {I}\),
where \(\bar{a}:= a_1 \dots a_k\) and \(\bar{b}:= b_1 \dots b_l\) are multi-indices.
Furthermore, given any vector field on X on \(\mathscr {M}\), the operator \(\bar{\textsf{D}}_X\) satisfies the following:
-
For any vertical tensor fields \(\textsf{A}\) and \(\textsf{B}\),
$$\begin{aligned} \bar{\textsf{D}}_X ( \textsf{A} \otimes \textsf{B} ) = \bar{\textsf{D}}_X \textsf{A} \otimes \textsf{B} + \textsf{A} \otimes \bar{\textsf{D}}_X \textsf{B} \text {.} \end{aligned}$$(2.21) -
For any vertical tensor field \(\textsf{A}\) and any tensor contraction operation \(\mathcal {C}\),
$$\begin{aligned} \bar{\textsf{D}}_X ( \mathcal {C} \textsf{A} ) = \mathcal {C} ( \bar{\textsf{D}}_X \textsf{A} ) \text {.} \end{aligned}$$(2.22) -
\(\bar{\textsf{D}}_X\) annihilates the vertical metric:
$$\begin{aligned} \bar{\textsf{D}}_X \textsf{g}= 0 \text {,} \qquad \bar{\textsf{D}}_X \textsf{g}^{-1} = 0 \text {.} \end{aligned}$$(2.23)
Proof
See [45, Definition 2.22, Proposition 2.23]. \(\square \)
In summary, Proposition 2.22 states that \(\bar{\textsf{D}}\) extends the vertical Levi-Civita connections \(\textsf{D}\) to all directions along \(\mathscr {M}\), satisfy the same algebraic properties as the usual Levi-Civita derivatives (such as \(\nabla \) and \(\textsf{D}\)), and are compatible with the vertical metric \(\textsf{g}\).
Remark 2.23
If we identify vertical tensor fields with spacetime tensor fields via Remark 2.3, then \(\bar{\textsf{D}}\) can alternately be defined as the Levi-Civita connection associated with \(\rho ^2 g\).
Next, we construct mixed tensor bundles and their associated connections.
Definition 2.24
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. We then define the mixed bundle of rank \(( \kappa , \lambda ; k, l )\) over \(\mathscr {M}\) to be the tensor product bundle given by
We refer to sections of \(T^\kappa _\lambda \textsf{V}^k_l \mathscr {M}\) as mixed tensor fields of rank \(( \kappa , \lambda ; k, l )\).
Moreover, we define the connection \(\bar{\nabla }\) on \(T^\kappa _\lambda \textsf{V}^k_l \mathscr {M}\) to be the tensor product connection of the spacetime connection \(\nabla \) on \(T^\kappa _\lambda \mathscr {M}\) and the vertical connection \(\bar{\textsf{D}}\) on \(\textsf{V}^k_l \mathscr {M}\). More specifically, given any vector field X on \(\mathscr {M}\), tensor field G on \(\mathscr {M}\), and vertical tensor field \(\textsf{B}\), we have
Less formally, mixed tensor fields are those with some components designated as “spacetime” and other designated as “vertical”. The mixed connections are then defined on mixed tensor fields by acting like \(\nabla \) on the spacetime components and like \(\bar{\textsf{D}}\) on the vertical components.
Remark 2.25
Any tensor field of rank \(( \kappa , \lambda )\) on \(\mathscr {M}\) can be viewed as a mixed tensor field, with rank \(( \kappa , \lambda ; 0, 0 )\). Similarly, any vertical tensor field is a mixed tensor field.
Proposition 2.26
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. Then, given any vector field X on \(\mathscr {M}\):
-
The following holds for any mixed tensor fields \(\textbf{A}\) and \(\textbf{B}\)Footnote 38
$$\begin{aligned} \bar{\nabla }_X ( \textbf{A} \otimes \textbf{B} ) = \bar{\nabla }_X \textbf{A} \otimes \textbf{B} + \textbf{A} \otimes \bar{\nabla }_X \textbf{B} \text {.} \end{aligned}$$(2.25) -
The operator \(\bar{\nabla }_X\) annihilates both the spacetime and the vertical metrics:
$$\begin{aligned} \bar{\nabla }_X g = 0 \text {,} \qquad \bar{\nabla }_X g^{-1} = 0 \text {,} \qquad \bar{\nabla }_X \textsf{g}= 0 \text {,} \qquad \bar{\nabla }_X \textsf{g}^{-1} = 0 \text {.} \end{aligned}$$(2.26)
Proof
See [45, Proposition 2.28]. \(\square \)
In summary, the mixed connections \(\bar{\nabla }\) naturally extend \(\nabla \) and \(\bar{\textsf{D}}\) to mixed fields, have the same algebraic properties as the usual Levi-Civita derivatives, and are compatible with both g and \(\textsf{g}\).
The main reason for expanding our scope from vertical to mixed tensor fields is that we can now make sense of higher covariant derivatives of mixed tensor fields:
Definition 2.27
Given an FG-aAdS segment \(( \mathscr {M}, g )\) and a mixed tensor field \(\textbf{A}\) of rank \(( \kappa , \lambda ; k, l )\):
-
The mixed covariant differential of \(\textbf{A}\) is the mixed tensor field \(\bar{\nabla } \textbf{A}\), of rank \(( \kappa , \lambda + 1; k, l )\), that maps each vector field X on \(\mathscr {M}\) (in the extra covariant slot) to \(\bar{\nabla }_X \textbf{A}\).
-
The mixed Hessian \(\bar{\nabla }^2 \textbf{A}\) is then defined to be the mixed covariant differential of \(\bar{\nabla } \textbf{A}\).
-
In particular, we now define \(\bar{\Box }\textbf{A}\)—the wave operator applied to \(\textbf{A}\)—to be the g-trace of \(\bar{\nabla }^2 \textbf{A}\), where the trace is applied to the two derivative components.
Remark 2.28
In this article, we will only consider \(\bar{\Box }\) applied to vertical tensor fields. The main novelty, and subtlety, in this case is that the outer derivative acts as a spacetime derivative \(\nabla \) on the inner derivative slot and as a vertical derivative \(\bar{\textsf{D}}\) on the vertical tensor field itself.
Finally, we list the following identities, which will be useful in upcoming computations:
Proposition 2.29
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. In addition, let \(( U, \varphi )\) denote coordinates on \(\mathscr {I}\), and let \(\Gamma \) and denote Christoffel symbols in \(\varphi _\rho \)-coordinates for \(\nabla \) and \(\bar{\textsf{D}}\), respectively:
![](http://media.springernature.com/lw240/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ63_HTML.png)
Then, the following relations hold:
![](http://media.springernature.com/lw401/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ64_HTML.png)
Furthermore, for any mixed tensor field \(\textbf{A}\) of rank \(( \kappa , \lambda ; k, l )\), we have, in \(\varphi \)- and \(\varphi _\rho \)-coordinates,
![](http://media.springernature.com/lw439/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ65_HTML.png)
where \(\bar{\alpha }:= \alpha _1 \dots \alpha _\kappa \), \(\bar{\beta }:= \beta _1 \dots \beta _\lambda \), \(\bar{a}:= a_1 \dots a_k\), and \(\bar{b}:= b_1 \dots b_l\).
Proof
(2.28) follows from (2.7) and (2.20), while (2.29) follows from Definition 2.24. \(\square \)
2.4 Some General Formulas
Next, we provide some general formulas for vertical tensor fields, as well as relations between spacetime and vertical tensor fields. These will be used for deriving many of the equations we will need for proving Theorem 1.5. Moreover, we give a general development here, as these will be of independent interest beyond the present article.
Remark 2.30
Similar formulas were proved in [44], however here we need more details for the “error” terms. Thus, we provide full derivations of these properties in “Appendix 7”.
First, we devise some schematic notations, originally from [50], for describing error terms:
Definition 2.31
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. Given any \(N \ge 1\) and vertical tensor fields \(\textsf{A}_1, \dots , \textsf{A}_N\) on \(\mathscr {M}\), we write \(\mathscr {S} ( \textsf{A}_1, \dots , \textsf{A}_N )\) to represent any vertical tensor field of the form
where each \(\mathcal {Q}_j\), \(1 \le j \le J\), is a composition of zero or more of the following operations:
-
Component permutations.
-
(Non-metric) contractions.
-
Multiplications by a scalar constant.
Definition 2.32
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment.
-
For any \(N \ge 1\), we define the shorthands
$$\begin{aligned} \textsf{g}^N := \bigotimes _{ i = 1 }^N \textsf{g}\text {,} \qquad \textsf{g}^{-N} := \bigotimes _{ i = 1 }^N \textsf{g}^{-1} \text {.} \end{aligned}$$(2.31) -
For brevity, we also use the shorthand \(\textsf{m}\) to denote the \(\rho \)-derivative of \(\textsf{g}\):
$$\begin{aligned} \textsf{m}:= \mathscr {L}_\rho \textsf{g}\text {.} \end{aligned}$$(2.32)
Next, we establish some general identities for vertical tensor fields:
Proposition 2.33
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. Then:
-
The following commutation identities hold for any vertical tensor field \(\textsf{A}\)Footnote 39
$$\begin{aligned} \mathscr {L}_\rho ( \textsf{D}\textsf{A} )&= \textsf{D}( \mathscr {L}_\rho \textsf{A} ) + \mathscr {S} ( \textsf{g}^{-1}, \textsf{D}\textsf{m}, \textsf{A} ) \text {,} \nonumber \\ \bar{\textsf{D}}_\rho ( \textsf{D}\textsf{A} )&= \textsf{D}( \bar{\textsf{D}}_\rho \textsf{A} ) + \mathscr {S} ( \textsf{g}^{-1}, \textsf{m}, \textsf{D}\textsf{A} ) + \mathscr {S} ( \textsf{g}^{-1}, \textsf{D}\textsf{m}, \textsf{A} ) \text {.} \end{aligned}$$(2.33) -
The following identity holds for vertical tensor field \(\textsf{A}\) and \(p \in \mathbb {R}\),
$$\begin{aligned} \bar{\Box }( \rho ^p \textsf{A} ) = \rho ^p \bar{\Box }\textsf{A} + 2 p \rho ^{ p + 1 } \bar{\textsf{D}}_\rho \textsf{A} - p ( n - p ) \rho ^p \textsf{A} + p \rho ^2 \, \mathscr {S} ( \textsf{g}^{-1}, \textsf{m}, \rho ^p \textsf{A} ) \text {.}\nonumber \\ \end{aligned}$$(2.34) -
Furthermore, the following hold for any vertical tensor field \(\textsf{A}\):
$$\begin{aligned} \bar{\Box }\textsf{A}&= \rho ^2 \mathscr {L}_\rho ^2 \textsf{A} - ( n - 1 ) \rho \mathscr {L}_\rho \textsf{A} + \rho ^2 \textsf{g}^{ab} \textsf{D}_{ab} \textsf{A} + \rho ^2 \, \mathscr {S} ( \textsf{g}^{-1}, \textsf{m}, \mathscr {L}_\rho \textsf{A} ) \nonumber \\&\quad + \rho \, \mathscr {S} ( \textsf{g}^{-1}, \textsf{m}, \textsf{A} ) + \rho ^2 \, \mathscr {S} ( \textsf{g}^{-1}, \mathscr {L}_\rho \textsf{m}, \textsf{A} ) + \rho ^2 \, \mathscr {S} ( \textsf{g}^{-2}, \textsf{m}, \textsf{m}, \textsf{A} ) \text {.} \end{aligned}$$(2.35)
Proof
See “Appendix 7.1”. \(\square \)
Lastly, the key differential equations behind the proof of Theorem 1.5 are given in terms of spacetime tensor fields. On the other hand, our main quantities of analysis are vector tensor fields, for which one can make sense of limits at the conformal boundary. Thus, we will need to convert our equations for spacetime quantities into corresponding equations for vertical quantities.
Proposition 2.34
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment. Let F be a rank \(( 0, l_1 + l_2 )\) tensor field on \(\mathscr {M}\), and let \(\textsf{f}\) be the rank \(( 0, l_2 )\) vertical tensor field defined, in any coordinates \(( U, \varphi )\) on \(\mathscr {I}\), by
where the multi-index \(\bar{\rho }:= \rho \dots \rho \) represents \(l_1\) copies of \(\rho \), while \(\bar{a}:= a_1 \dots a_{ l_2 }\).
Then, the following identities hold with respect any coordinates \(( U, \varphi )\) on \(\mathscr {I}\),
where \(\bar{\rho }\) and \(\bar{a}\) are as defined above, and where:
-
For any \(1 \le i \le l_1\), the rank \(( 0, l_2 + 1 )\) vertical tensor field \(\textsf{f}^\rho _i\) is given by
$$\begin{aligned} ( \textsf{f}^\rho _i )_{ b \bar{a} } := F_{ \hat{\rho }_{i}\![b] \bar{a} } \text {.} \end{aligned}$$(2.38) -
For any \(1 \le j \le l_2\), the rank \(( 0, l_2 - 1 )\) vertical tensor field \(\textsf{f}^v_j\) is given by
$$\begin{aligned} ( \textsf{f}^v_j )_{ \hat{a}_{j} } := F_{ \bar{\rho } \hat{a}_{j}\![\rho ] } \text {.} \end{aligned}$$(2.39) -
For any \(1 \le i, j \le l_1\) with \(i \ne j\), the rank \(( 0, l_2 + 2 )\) vertical field \(\textsf{f}^{ \rho , \rho }_{ i, j }\) is given by
$$\begin{aligned} ( \textsf{f}^{ \rho , \rho }_{ i, j } )_{ c b \bar{a} } := F_{ \hat{\rho }_{i,j}\![c,b] \bar{a} } \text {.} \end{aligned}$$(2.40) -
For any \(1 \le i, j \le l_2\) with \(i \ne j\), the rank \(( 0, l_2 - 2 )\) vertical field \(\textsf{f}^{ v, v }_{ i, j }\) is given by
$$\begin{aligned} ( \textsf{f}^{ v, v }_{ i, j } )_{ \hat{a}_{i,j} } := F_{ \bar{\rho } \hat{a}_{i,j}\![\rho ,\rho ] } \text {.} \end{aligned}$$(2.41) -
For any \(1 \le i \le l_1\) and \(1 \le j \le l_2\), the rank \(( 0, l_2 )\) vertical field \(\textsf{f}^{ \rho , v }_{ i, j }\) is given by
$$\begin{aligned} ( \textsf{f}^{ \rho , v }_{ i, j } )_{ b \hat{a}_{j} } := F_{ \hat{\rho }_{i}\![b] \hat{a}_{j}\![\rho ] } \text {.} \end{aligned}$$(2.42)
Proof
See “Appendix 7.2”. \(\square \)
3 The Wave-Transport System
In this section, we establish various geometric identities relating the metrics and curvatures of vacuum FG-aAdS segments. We then apply these identities in order to derive a system of wave and transport equations that are satisfied by the difference of two vacuum FG-aAdS geometries. This wave-transport system will be central to the proof of our main results.
3.1 The Structure Equations
We now consider several identities connecting different geometric quantities in vacuum aAdS spacetimes. We begin by defining vertical tensor fields that capture the nontrivial components of the spacetime Weyl curvature:
Definition 3.1
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment. We then define vertical tensor fields \(\textsf{w}^0\), \(\textsf{w}^1\), and \(\textsf{w}^2\)—of ranks (0, 4), (0, 3), and (0, 2), respectively—by the formulas
In addition, when \(n > 2\), we let \(\textsf{w}^\star \) denote the rank (0, 4) vertical tensor field defined as
In both (3.1) and (3.2), the indices are respect to arbitrary coordinates \(( U, \varphi )\) (and \(\varphi _\rho \)) on \(\mathscr {I}\).
Remark 3.2
The reason for the renormalization (3.2) is that \(\textsf{w}^\star \) satisfies a tensorial wave equation (see (3.6)) that can be treated with our Carleman estimates, whereas \(\textsf{w}^0\) does not.
The following three identities, derived in [50], relate the spacetime Weyl curvature (expressed in terms of (3.1)) to the vertical metric and its derivatives.
Proposition 3.3
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment. Then, the following identities hold with respect to an arbitrary coordinate system \(( U, \varphi )\) on \(\mathscr {I}\):
Proof
See [50, Proposition 2.25] and (2.32). \(\square \)
Next, we derive identities satisfied by the spacetime Weyl curvature itself. First, we recall the more familiar formulas in terms of spacetime tensor fields:
Proposition 3.4
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment. Then, the following identities hold for the spacetime Weyl curvature W, with respect to any coordinates on \(\mathscr {M}\):
Proof
See “Appendix 7.3”. \(\square \)
The next step is to reformulate Proposition 3.4 in terms of the corresponding vertical quantities \(\textsf{w}^0\), \(\textsf{w}^1\), \(\textsf{w}^2\). We begin with the vertical Bianchi identities for \(\textsf{w}^0\), \(\textsf{w}^1\), and \(\textsf{w}^2\):
Proposition 3.5
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment. Then, the following vertical Bianchi identities hold with respect to any coordinates \(( U, \varphi )\) on \(\mathscr {I}\):
Proof
See “Appendix 7.4”. \(\square \)
In the following, we derive the wave equations satisfied by \(\textsf{w}^\star \), \(\textsf{w}^1\), and \(\textsf{w}^2\):
Proposition 3.6
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, and let \(n > 2\).Footnote 40 Then,
Proof
See “Appendix 7.5”. \(\square \)
Finally, we list some asymptotic bounds for various geometric quantities. To make these easier to state, we construct the following notations, which were also used in [44].
Definition 3.7
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment, fix an integer \(M \ge 0\), and let \(h \in C^\infty ( \mathscr {M} )\).
-
We use the notation \(\mathscr {O}_{M} ( h )\) to refer to any vertical tensor field \(\textsf{a}\) satisfying the following bound for any compact coordinate system \(( U, \varphi )\) on \(\mathscr {I}\):
$$\begin{aligned} | \textsf{a} |_{ M, \varphi } \lesssim _\varphi h \text {.} \end{aligned}$$(3.7) -
Given a vertical tensor field \(\textsf{B}\), we use the notation \(\mathscr {O}_{M} ( h; \textsf{B} )\) to refer to any vertical tensor field of the form \(\mathscr {S} ( \textsf{e}, \textsf{B} )\), where \(\textsf{e}\) is a vertical tensor field satisfying \(\textsf{e} = \mathscr {O}_{M} ( h )\).
Proposition 3.8
Suppose \(( \mathscr {M}, g )\) is a vacuum FG-aAdS segment, and assume \(( \mathscr {M}, g )\) is regular to order \(M \ge n + 2\).Footnote 41 Then, the following properties hold for \(\textsf{g}\) and \(\textsf{m}\):
Furthermore, we have the following properties for \(\textsf{w}^0\), \(\textsf{w}^1\), and \(\textsf{w}^2\):
Proof
See “Appendix 7.6”. \(\square \)
3.2 Difference Relations
We now consider two aAdS geometries on a common manifold, and we derive equations relating quantities representing the difference between two geometries. More specifically, we consider in this subsection two vacuum aAdS metrics on a common manifold—that is, we consider two vacuum FG-aAdS segments \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\), with
Note that g and \(\check{g}\) live on a common manifold \(\mathscr {M}\), and they share a common “radial” variable \(\rho \) that is used for the Fefferman–Graham expansion with respect to both g and \(\check{g}\).
To simplify matters, we will adopt the conventions for describing two geometries.
Definition 3.9
Let \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) denote two vacuum FG-aAdS segments, as in (3.10).
-
We use the notations described in Sect. 2 for both \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\).
-
In particular, all objects associated with \(\check{g}\) will use the usual notation, but with a “check” added above the symbol (e.g. \(\textsf{g}\) and \(\check{\textsf{g}}\) for the associated vertical metrics).
Remark 3.10
Since \(( \mathscr {M}, g )\), \(( \mathscr {M}, \check{g} )\) in Definition 3.9 have the same vertical bundles, the calculus for vertical tensors developed in Sect. 2 also applies to differences of corresponding geometric quantities, e.g. \(\textsf{g}- \check{\textsf{g}}\) and \(\textsf{m}- \check{\textsf{m}}\). In particular, all the equations in Propositions 3.3, 3.5, 3.6 hold for both the g- and \(\check{g}\)-geometries, hence we can consider differences of all these identities.
We now derive a closed system of wave and transport equations for the difference between two aAdS geometries. Later, we will show in Sect. 5 that the proof of Theorem 1.5 reduces precisely to unique continuation results, and hence Carleman estimates, for this coupled system.
To obtain this system, it will be convenient to have some additional auxiliary quantities:
Definition 3.11
Let \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) denote two vacuum FG-aAdS segments.
-
We define the rank (0, 2) vertical tensor field \(\textsf{Q}\) to be the solution of the transport equation
$$\begin{aligned} \mathscr {L}_\rho \textsf{Q}_{ca} = \frac{1}{2} \textsf{g}^{de} [ \textsf{m}_{ad} ( \textsf{g}- \check{\textsf{g}} + \textsf{Q} )_{ce} - \textsf{m}_{cd} ( \textsf{g}- \check{\textsf{g}} + \textsf{Q} )_{ae} ] \text {,} \qquad \textsf{Q} \rightarrow ^0 0 \text {.}\nonumber \\ \end{aligned}$$(3.11) -
We define the rank (0, 3) vertical tensor field \(\textsf{B}\) by
$$\begin{aligned} \textsf{B}_{cab} := \textsf{D}_c ( \textsf{g}- \check{\textsf{g}} )_{ab} - \textsf{D}_a ( \textsf{g}- \check{\textsf{g}} )_{cb} - \textsf{D}_b \textsf{Q}_{ca} \end{aligned}$$(3.12) -
We define the vertical tensor fields \(\textsf{W}^2, \textsf{W}^1, \textsf{W}^\star \)—of ranks (0, 2), (0, 3), (0, 4), respectively—as follows: given a multi-index \(\bar{a}\) of appropriate length, we set
$$\begin{aligned} \textsf{W}^2_{ \bar{a} } := ( \textsf{w}^2 - \check{\textsf{w}}^2 )_{ \bar{a} } + \textsf{g}^{bc} \sum _{ j = 1 }^2 \check{\textsf{w}}^2_{ \bar{a}_j [b] } ( \textsf{g}- \check{\textsf{g}} + \textsf{Q} )_{ a_j c } \text {,}&\qquad \bar{a} := ( a_1 a_2 ) \text {,} \nonumber \\ \textsf{W}^1_{ \bar{a} } := ( \textsf{w}^1 - \check{\textsf{w}}^1 )_{ \bar{a} } + \textsf{g}^{bc} \sum _{ j = 1 }^3 \check{\textsf{w}}^1_{ \bar{a}_j [b] } ( \textsf{g}- \check{\textsf{g}} + \textsf{Q} )_{ a_j c } \text {,}&\qquad \bar{a} := ( a_1 a_2 a_3 ) \text {,} \nonumber \\ \textsf{W}^\star _{ \bar{a} } := ( \textsf{w}^\star - \check{\textsf{w}}^\star )_{ \bar{a} } + \textsf{g}^{bc} \sum _{ j = 1 }^4 \check{\textsf{w}}^\star _{ \bar{a}_j [b] } ( \textsf{g}- \check{\textsf{g}} + \textsf{Q} )_{ a_j c } \text {,}&\qquad \bar{a} := ( a_1 a_2 a_3 a_4 ) \text {.} \end{aligned}$$(3.13)
In the above, all indices are with respect to any arbitrary coordinate system \(( U, \varphi )\) on \(\mathscr {I}\).
Proposition 3.12
Let \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) denote two vacuum FG-aAdS segments. Then:
-
The following asymptotic relations hold (with \(\textsf{Q}\), \(\textsf{B}\) be as in Definition 3.11):
$$\begin{aligned}{} & {} \textsf{g}^{-1} - \check{\textsf{g}}^{-1} = \mathscr {O}_{ M } ( 1; \textsf{g}- \check{\textsf{g}} ) \text {,} \qquad \textsf{Q} = \mathscr {O}_{ M - 1 } ( \rho ) = \mathscr {O}_{ M - 2 } ( \rho ^2 ) \text {,} \nonumber \\{} & {} \textsf{B} = \mathscr {O}_{ M - 2 } (1) \text {.} \end{aligned}$$(3.14) -
The following hold with respect to any coordinate system \(( U, \varphi )\) on \(\mathscr {I}\), where the Christoffel symbols \(\Gamma \), \(\check{\Gamma }\),
,
are defined as in Proposition 2.29:
(3.15)
Proof
See “Appendix 7.7”. \(\square \)
The following two propositions contain our main wave-transport system. In particular, the key step in the proof of our main result is a unique continuation result on this system.
Proposition 3.13
Let \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) denote two vacuum FG-aAdS segments. Then,
In addition, the following derivative transport equations hold:
Proof
See “Appendix 7.8”. \(\square \)
Proposition 3.14
Let \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) denote two vacuum FG-aAdS segments. Then,
where each \(\textsf{F} \in \{ \textsf{F}^2, \textsf{F}^1, \textsf{F}^\star \}\) is schematically of the form
Proof
See “Appendix 7.9”. \(\square \)
Finally, we collect here convenient forms for the differences of the Bianchi equations (3.5). These will be needed in another step in the proof of our main result—showing that the quantities relating to the differences of two geometries vanish to arbitrarily high order.
Proposition 3.15
Let \(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) denote two vacuum FG-aAdS segments. Then,
Proof
See “Appendix 7.10”. \(\square \)
Remark 3.16
The system (3.20) is sufficient to obtain higher-order vanishing of the differences of geometric quantities at the boundary (see Proposition 5.3). However, we will need to work with the larger system (3.16)–(3.18)—containing renormalized quantities \(\textsf{Q}\), \(\textsf{B}\), \(\textsf{W}^\star \), \(\textsf{W}^1\), \(\textsf{W}^2\)—in order to close the Carleman estimates, within which we cannot afford a loss in derivatives.
4 The Carleman Estimates
In this section, we state the two Carleman estimates for vertical tensor fields that constitute the main analytic ingredients for the proof of our main results.
4.1 The Wave Carleman Estimate
The first Carleman estimate we discuss is that for wave equations—namely, the main results obtained in [18, 30, 31, 45]. We begin by discussing the best-known conditions needed on the conformal boundary for such an estimate to hold.
Definition 4.1
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment, and let \(\mathfrak {h}\) be a Riemannian metric on \(\mathscr {I}\).
-
We can also view \(\mathfrak {h}\) as a \(\rho \)-independent vertical Riemannian metric.Footnote 42
-
For a vertical tensor field \(\textsf{A}\), we write \(| \textsf{A} |_{ \mathfrak {h} }\) to denote its pointwise \(\mathfrak {h}\)-norm. In other words, if \(\textsf{A}\) has rank (k, l), then with respect to any coordinate system \(( U, \varphi )\) on \(\mathscr {I}\), we have
$$\begin{aligned} | \textsf{A} |_{ \mathfrak {h} }^2 = \mathfrak {h}_{ a_1 c_1 } \dots \mathfrak {h}_{ a_k c_k } \mathfrak {h}^{ b_1 d_1 } \dots \mathfrak {h}^{ b_l d_l } \textsf{A}^{ a_1 \dots a_k }_{ b_1 \dots b_l } \textsf{A}^{ c_1 \dots c_k }_{ d_1 \dots d_l } \text {.} \end{aligned}$$(4.1)
Remark 4.2
The metric \(\mathfrak {h}\) is only used as a coordinate-independent way to measure the sizes of vertical tensor fields. Our main results will not depend on a particular choice of \(\mathfrak {h}\).
Definition 4.3
(Definition 3.1 of [18]) Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, let \(\mathfrak {h}\) be a Riemannian metric on \(\mathscr {I}\), and let \(\mathscr {D} \subset \mathscr {I}\) be open with compact closure. We say \(( \mathscr {D}, \mathfrak {g} )\) satisfies the generalized null convexity criterion (or GNCC) iff there exist \(\eta \in C^4 ( \bar{\mathscr {D}} )\) and \(c > 0\) satisfying
for all vectors fields \(\mathfrak {Z}\) on \(\mathscr {D}\) satisfying \(\mathfrak {g} ( \mathfrak {Z}, \mathfrak {Z} ) = 0\).
Remark 4.4
In Definition 4.3, we specialized to vacuum FG-aAdS segments. However, the GNCC can be directly extended, as in [18], to strongly FG-aAdS segments that are not necessarily vacuum. In the more general setting, the Ricci curvature \(\mathfrak {Rc}\) in (4.2) is replaced by \(-\mathfrak {g}^{\scriptscriptstyle (2)}\).Footnote 43
Next, we recall some quantities that will be essential to our Carleman estimates:
Definition 4.5
Assume the setting of Definition 4.3—in particular, let \(( \mathscr {D}, \mathfrak {g})\) satisfy the GNCC, with \(\eta \) satisfying (4.2). Within this setting, we define the following additional quantities:
-
Let \(f_\eta := f \in C^4 ( ( 0, \rho _0 ] \times \mathscr {D} )\) denote the function
$$\begin{aligned} f := \rho \eta ^{-1} \text {.} \end{aligned}$$(4.3) -
In addition, given \(f_\star > 0\), we define the domain
$$\begin{aligned} \Omega _{ f_\star } := \{ z \in \mathscr {M} \mid f (z) < f_\star \} \text {.} \end{aligned}$$(4.4)
We can now state the precise form of the Carleman estimate for wave equations from [18]. Here, to slightly simplify the presentation, we express this in a less general form than in [18].
Theorem 4.6
(Theorem 5.11 of [18]) Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment. In addition:
-
Let \(\mathfrak {h}\) be a Riemannian metric on \(\mathscr {I}\), and \(\mathscr {D} \subset \mathscr {I}\) be open with compact closure.
-
Assume \(( \mathscr {D}, \mathfrak {g})\) satisfies the GNCC, with \(\eta \in C^4 ( \bar{\mathscr {D}} )\) as in (4.2) and \(\mathfrak {h}\) as above.
-
Fix integers \(k, l \ge 0\) and a constant \(\sigma \in \mathbb {R}\).
Then, there exist \(\mathcal {C}_0 \ge 0\) and \(\mathcal {C}, \mathcal {C}_b > 0\) (depending on \(\textsf{g}\), \(\mathfrak {h}\), \(\mathscr {D}\), k, l) such that for any \(\kappa \in \mathbb {R}\) with
and for any constants \(f_\star , \lambda , p > 0\) with
the following Carleman estimate holds for any vertical tensor field on \(\mathscr {M}\) of rank (k, l) such that both
and
vanish identically on \(\{ f = f_\star \}\)Footnote 44:
![](http://media.springernature.com/lw530/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ105_HTML.png)
Here, \(d \mu _g\) denotes the volume form on \(\mathscr {M}\) induced by the spacetime metric g, while \(d \mu _{ \textsf{g}}\) denotes the volume forms on the level sets of \(\rho \) induced by the vertical metric \(\textsf{g}\).
Remark 4.7
We note that Theorem 4.6 only considers vacuum FG-aAdS segments, whereas the more general [18, Theorem 5.11] also allows for some non-vacuum FG-aAdS segments (under a more general GNCC). Moreover, [18, Theorem 5.11] allows for an additional first-order term in the wave equation that is vanishing at a slower “critical” rate toward the conformal boundary.Footnote 45
Remark 4.8
If \(k = l = 0\) (i.e. is scalar), then Theorem 4.6 holds with \(\mathcal {C}_0 = 0\); see [18].
4.2 The Transport Carleman Estimate
Next, we prove a simple Carleman estimate for transport equations, in the same setting and with the same weights as in Theorem 4.6.
Proposition 4.9
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment. In addition,
-
Let \(\mathfrak {h}\) be a Riemannian metric on \(\mathscr {I}\), and \(\mathscr {D} \subset \mathscr {I}\) be open with compact closure.
-
Assume \(( \mathscr {D}, \mathfrak {g})\) satisfies the GNCC, with \(\eta \in C^4 ( \bar{\mathscr {D}} )\) as in (4.2) and \(\mathfrak {h}\) as above.
Then, for any \(s \ge 0\), \(\kappa \in \mathbb {R}\), and \(\lambda , f_\star , p > 0\) satisfying
there exist \(\mathcal {C}', \mathcal {C}_b' > 0\) (depending on \(\textsf{g}\), \(\mathfrak {h}\), \(\mathscr {D}\)) such that for every vertical tensor field \(\Psi \) on \(\mathscr {M}\),
![](http://media.springernature.com/lw594/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ107_HTML.png)
Proof
Using that both \(\mathfrak {h}\) and \(\eta \) are \(\rho \)-independent, and recalling (4.3), we obtain
![](http://media.springernature.com/lw547/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ108_HTML.png)
Applying the Cauchy–Schwarz inequality to the right-hand side of the above and rearranging yields
![](http://media.springernature.com/lw295/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ109_HTML.png)
We now integrate the above inequality over the region \(\Omega _{ f_\star , \rho _\star }:= \Omega _{ f_\star } \cap \{ \rho > \rho _\star \}\) for an arbitrary \(0 < \rho _\star \ll f_\star \), first over level sets of \(\rho \) with respect to the \(\rho \)-independent volume forms \(d \mu _{ \mathfrak {h} }\) induced by \(\mathfrak {h}\), and then over \(\rho \). This yields the estimate
![](http://media.springernature.com/lw377/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ268_HTML.png)
where in the last step, we applied the fundamental theorem of calculus; note in particular that the ensuing boundary term on \(\{ f = f_\star \}\) is negative and can hence be neglected. The above now yields, for some constants \(\mathcal {C}', \mathcal {C}_{ b, 0 }' > 0\) (depending on \(\textsf{g}\), \(\mathfrak {h}\), \(\mathscr {D}\)),
![](http://media.springernature.com/lw363/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ110_HTML.png)
since \(d \mu _{ \mathfrak {h} }\) and \(d \mu _{ \textsf{g}}\) are comparable due to the compactness of \(\bar{\mathscr {D}}\), and since (2.7) implies
Finally, letting \(\rho _\star \searrow 0\) in (4.12) yields the desired (4.9), since
![](http://media.springernature.com/lw431/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ269_HTML.png)
and since the exponent \(2 \kappa - ( n - 2 ) \ge 0\) by (4.8). \(\square \)
Remark 4.10
Note that the GNCC is not required for Proposition 4.9 and its proof. However, it is convenient to include this in the statement Proposition 4.9, as the transport Carleman estimate will be applied concurrently with and in the same setting as the wave Carleman estimate.
5 Unique Continuation
In this section, we turn toward establishing unique continuation for the Einstein-vacuum equations. In particular, we prove the following theorem, which can be seen as a precise statement of most of Theorem 1.5—the special case in which the pair of holographic data are equal.Footnote 46
Theorem 5.1
Let \(n > 2\), and let \(( \mathscr {M}, g )\), \(( \mathscr {M}, \check{g} )\) be vacuum FG-aAdS segments (on a common aAdS region \(\mathscr {M}:= ( 0, \rho _0 ] \times \mathscr {I}\)),with associated holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), \(( \mathscr {I}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) (respectively).Footnote 47 In addition, let \(\mathscr {D} \subset \mathscr {I}\) be open with compact closure, and assume:
-
\(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) are regular to some large enough order \(M_0\) (depending on \(\textsf{g}\), \(\check{\textsf{g}}\), \(\mathscr {D}\)).
-
The holographic data coincide on \(\mathscr {D}\):
$$\begin{aligned} ( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} ) |_{ \mathscr {D} } = ( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} ) |_{ \mathscr {D} } \text {.} \end{aligned}$$(5.1) -
\(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) (or equivalently, \(( \mathscr {D}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)} )\)) satisfies the GNCC.
Then, \(g = \check{g}\) on a neighbourhood of \(\{ 0 \} \times \mathscr {D}\) (viewed as part of the conformal boundary)—more specifically, there exists some sufficiently small \(f_\star > 0\) such that \(g = \check{g}\) on the region \(\Omega _{ f_\star }\).Footnote 48
Remark 5.2
Note that Theorem 5.1 offers a more precise conclusion than Theorem 1.5—in the special case (5.1), the isometry in Theorem 1.5 is simply the identity map.
The proof of Theorem 5.1 is given in the remainder of this section. Throughout, we assume the hypotheses of Theorem 5.1 hold. Furthermore, we adopt the notational conventions of Sect. 3.2 regarding quantities defined with respect to g and \(\check{g}\).
5.1 Deducing Higher-Order Vanishing
For convenience, we can assume, without loss of generality, that \(M_0 - n\) is an even natural number. The first step is to derive a sufficiently high order of vanishing for \(\textsf{g}- \check{\textsf{g}}\), \(\textsf{m}- \check{\textsf{m}}\), \(\textsf{w}^2 - \check{\textsf{w}}^2\), \(\textsf{w}^1 - \check{\textsf{w}}^1\), and \(\textsf{w}^0 - \check{\textsf{w}}^0\). This will ensure that we can apply the Carleman estimates to (variants of) these quantities as needed later in the proof.
The key is to use the equations from Proposition 3.15 satisfied by these quantities to exchange regularity in the vertical directions for higher orders of vanishing. More specifically, the following proposition is a quantitative statement of the fact that if the our spacetime is regular to high enough order, then we can achieve a corresponding order of vanishing for the above quantities as \(\rho \searrow 0\).
Proposition 5.3
Consider the quantities \(\textsf{g} - \check{\textsf{g}}\), \(\textsf{m}- \check{\textsf{m}}\), \(\textsf{w}^2 - \check{\textsf{w}}^2\), \(\textsf{w}^1 - \check{\textsf{w}}^1\), \(\textsf{w}^0 - \check{\textsf{w}}^0\). Then,
-
There exist vertical tensor fields \(\textsf{r}_{ \textsf{g}}\), \(\textsf{r}_{ \textsf{m}}\) such that
$$\begin{aligned} \textsf{g}- \check{\textsf{g}} = \rho ^{ M_0 - 2 } \, \textsf{r}_{ \textsf{g}} \text {,}&\qquad \textsf{r}_{ \textsf{g}} \rightarrow ^2 0 \text {,} \nonumber \\ \textsf{m}- \check{\textsf{m}} = \rho ^{ M_0 - 3 } \, \textsf{r}_{ \textsf{m}} \text {,}&\qquad \textsf{r}_{ \textsf{m}} \rightarrow ^2 0 \text {.} \end{aligned}$$(5.2) -
There exist vertical tensor fields \(\textsf{r}_{ \textsf{w}^2 }\), \(\textsf{r}_{ \textsf{w}^1 }\), \(\textsf{r}_{ \textsf{w}^0 }\) such that
$$\begin{aligned} \textsf{w}^2 - \check{\textsf{w}}^2 = \rho ^{ M_0 - 4 } \, \textsf{r}_{ \textsf{w}^2 } \text {,}&\qquad \textsf{r}_{ \textsf{w}^2 } \rightarrow ^2 0 \text {,} \nonumber \\ \textsf{w}^1 - \check{\textsf{w}}^1 = \rho ^{ M_0 - 3 } \, \textsf{r}_{ \textsf{w}^1 } \text {,}&\qquad \textsf{r}_{ \textsf{w}^1 } \rightarrow ^1 0 \text {,} \nonumber \\ \textsf{w}^0 - \check{\textsf{w}}^0 = \rho ^{ M_0 - 4 } \, \textsf{r}_{ \textsf{w}^0 } \text {,}&\qquad \textsf{r}_{ \textsf{w}^0 } \rightarrow ^2 0 \text {.} \end{aligned}$$(5.3)
Proof
First, note that since \(\mathfrak {g}^{\scriptscriptstyle (0)} = \check{\mathfrak {g}}^{\scriptscriptstyle (0)}\) and \(\mathfrak {g}^{\scriptscriptstyle (n)} = \check{\mathfrak {g}}^{\scriptscriptstyle (n)}\), then Theorem 2.16 implies
where the Fefferman–Graham coefficients \(\mathfrak {g}^{\scriptscriptstyle (2)}, \dots , \mathfrak {g}^{\scriptscriptstyle (\star )}, \mathfrak {g}^{\scriptscriptstyle (n)}\) and \(\check{\mathfrak {g}}^{\scriptscriptstyle (2)}, \dots , \check{\mathfrak {g}}^{\scriptscriptstyle (\star )}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)}\) are defined as in Theorem 2.16 and Corollary 2.18—with respect to g and \(\check{g}\), respectively. The above and Corollary 2.18 then imply that there are vertical tensor fields \(\textsf{r}_{ \textsf{g}}\), \(\textsf{r}_{ \textsf{m}}\) satisfying
Moreover, the equations (3.3), along with (5.5), yield vertical tensor fields \(\textsf{r}_{ \textsf{w}^2 }\), \(\textsf{r}_{ \textsf{w}^1 }\), \(\textsf{r}_{ \textsf{w}^0 }\) with
The idea now is to use the Bianchi and transport system (3.20) to inductively improve the initial orders of vanishing from (5.5) and (5.6). Observe that by (5.5) and (5.6), the quantities
all vanish in the boundary limit \(\rho \searrow 0\). Thus, we can now integrate all the equations in (3.20) successively from \(\rho = 0\), without obtaining any boundary terms as \(\rho \searrow 0\).
Integrating the third equation in (3.20) and using (5.5)–(5.6), we deduce the existence of a (new) vertical tensor field \(\textsf{r}_{ \textsf{w}^2 }\) (for brevity, we use the same notation as before) such that
Integrating next the fifth part of (3.20) and using (5.5), (5.6), and the improved asymptotics for \(\textsf{w}^2 - \check{\textsf{w}}^2\) in (5.7) yields a vertical tensor field \(\textsf{r}_{ \textsf{w}^0 }\) such that
The next quantity in the hierarchy is \(\textsf{m}- \check{\textsf{m}}\); integrating the second identity in (3.20) and using (5.5) and (5.7), we deduce the existence of a vertical tensor field \(\textsf{r}_{ \textsf{m}}\) such that
Then, integrating the first part of (3.20) and applying (5.9) yields an \(\textsf{r}_{ \textsf{g}}\) with
Integrating finally the fourth identity of (3.20) and recalling (5.6)–(5.10) results in an \(\textsf{r}_{ \textsf{w}^1 }\) with
At this point, the vanishing of all quantities has been improved by two powers of \(\rho \) at the cost of two derivatives of regularity, compared to the initial asymptotics (5.5)–(5.6). By iterating this process (now inserting the improved asymptotics into the right-hand sides of (3.20)), we can repeatedly trade two derivatives of regularity for two powers of \(\rho \). Since \(M_0 - n\) is even by assumption, the proof is completed after iterating this process \(( M_0 - n - 2 ) / 2\) times. \(\square \)
Corollary 5.4
Let the renormalized quantities \(\textsf{Q}\), \(\textsf{B}\), \(\textsf{W}^2\), \(\textsf{W}^1\), \(\textsf{W}^\star \) be as in Definition 3.11. Then, there exist vertical tensor fields \(\textsf{r}_{ \textsf{Q} }\), \(\textsf{r}_{ \textsf{B} }\), \(\textsf{r}_{ \textsf{W}^2 }\), \(\textsf{r}_{ \textsf{W}^1 }\), \(\textsf{r}_{ \textsf{W}^\star }\) such that
Proof
This is an immediate consequence of (3.2), Definition 3.11, and Proposition 5.3. \(\square \)
5.2 Applying the Carleman Estimates
Fix any Riemannian metric \(\mathfrak {h}\) on \(\mathscr {I}\), and fix additional constants \(p, f_\star > 0\) (whose precise values will be determined later) such that
Furthermore, as long as \(M_0\) is sufficiently large (depending on \(\textsf{g}\), \(\mathscr {D}\)), we can find a sufficiently large \(\kappa \in \mathbb {R}\) (again, the precise value will be determined later) satisfying
Remark 5.5
In particular, \(p, f_\star , \kappa \) are chosen so that we can apply the Carleman estimates (4.7) and (4.9) as needed. Also, although all the above parameters depend on \(\mathfrak {h}\), we can instead view this as a dependence on \(\mathscr {D}\), as any choice of a Riemannian metric \(\mathfrak {h}\) on \(\bar{\mathscr {D}}\) suffices.
In addition, let f be as in (4.3), where \(\eta \) is given from the GNCC assumption. We also let
where \(\bar{\chi }: \mathbb {R}\rightarrow [0,1]\) is a smooth cut-off function satisfying
and we define the following associated subregions of \(\Omega _{ f_\star }\) (see (4.4)):
Lastly, for convenience, we define the following collections of quantities:
We now apply Theorem 4.6 to \(\chi \textsf{V}\), for each \(\textsf{V} \in \Xi ^\star \), on the region \(\Omega _{ f_\star }\) (since \(\chi \textsf{V}\) vanishes near \(\{ f = f_\star \}\)). Restricting the right-hand side of (4.7) to \(\Omega _i\), on which \(\chi \equiv 1\), we then obtain
for any \(\lambda \gg _{ \textsf{g}, \mathscr {D} } 1\), where \(( \sigma _{ \textsf{W}^2 }, \sigma _{ \textsf{W}^1 }, \sigma _{ \textsf{W}^\star } ) = ( 2n-4, n-1, 0 )\), and where
Note also in the last step of (5.19), we used that \(\rho \lesssim f\) by definition.
Observe the boundary limit as \(\rho _\star \searrow 0\) in (4.7) vanishes due to Corollary 5.4 and (5.14). Moreover, note that since every term in \(\mathcal {G}_{ \textsf{V} }\) involves at least one derivative of \(\chi \), then it is supported in \(\Omega _e\). Expanding \(\mathcal {F}_{ \textsf{V} }\) on \(\Omega _i\) using Proposition 3.14, then (5.19) becomes
Next, we can similarly apply the transport Carleman estimate of Proposition 4.9 to each \(\textsf{U} \in \Upsilon ^*\) on \(\Omega _i\). In particular, applying (4.9) with \(s = 2\) (for \(\textsf{U} = \textsf{m}- \check{\textsf{m}}\)) and \(s = 0\) (otherwise) yields
where \(\lambda \) is as before. (The boundary term as \(\rho _\star \searrow 0\) in (4.9) vanishes by Proposition 5.3, Corollary 5.4, and (5.14). Also, note the cutoff \(\chi \) is not needed here, since Proposition 4.9 does not require \(\Psi \) to vanish near \(\{ f = f_*\}\).) Applying (3.16) to the right-hand side of (5.22), we obtain that
We can also obtain analogous bounds for \(\textsf{D}\textsf{U}\), for each \(\textsf{U} \in \Upsilon ^*\). In particular, we apply Proposition 4.9 to the equations (3.17) (with \(s = 5\) for \(\textsf{U} = \textsf{m}- \check{\textsf{m}}\) and \(s = 3\) otherwise), which yields
Summing the estimates (5.21), (5.23), and (5.24) yields
Taking \(\lambda \) sufficiently large in the above, the integral over \(\Omega _i\) in the right-hand side can be absorbed into the left-hand side, since the quantities in the right contain higher powers of \(\rho \) than those in the left (and since \(\rho \) is bounded on \(\Omega _i\)). As a result, we have
Finally, using that the Carleman weight
satisfies \(w_\lambda (f) \le w_\lambda ( f_i )\) on \(\Omega _e\) and \(w_\lambda (f) \ge w_\lambda ( f_i )\) on \(\Omega _i\), we can eliminate \(w_\lambda (f)\) from (5.25):
Since the right-hand side of the above is finite by our vanishing assumptions, we can divide by \(\lambda \) and take the limit \(\lambda \rightarrow \infty \) to deduce in particular that \(\textsf{g}- \check{\textsf{g}} \equiv 0\) in \(\Omega _i\).
Remark 5.6
Note that by taking \(f_i\) to be arbitrarily close to \(f_\star \), the above argument yields that \(\textsf{g}- \check{\textsf{g}}\) vanishes (along with all the other associated difference quantities) on \(\Omega _{ f_\star }\).
Since g and \(\check{g}\) are assumed to be in the FG gauge (2.7), and with the same radial coordinate \(\rho \), the above immediately yields \(g = \check{g}\) on \(\Omega _i\). This finishes the proof of Theorem 5.1.
6 The Main Results
In this section, we state and prove precise versions of the main results of this paper:
-
Sect. 6.1 is dedicated to the precise statement and proof of Theorem 1.5.
-
Sect. 6.2 is dedicated to the precise statements and proofs of Theorems 1.7 and 1.10.
6.1 Gauge Covariance
In Theorem 5.1, we had assumed the two spacetimes in question had identical boundary data. Here, we extend Theorem 5.1—we establish the same conclusions, but we weaken the assumptions so that the spacetimes have gauge-equivalent boundary data. The key idea is to apply a specific change of coordinates (preserving the Fefferman–Graham gauge condition) on one spacetime, so that the boundary data for the two spacetimes become equal.
Before discussing the precise result, let us first give a more detailed description of gauge transformations in our current context of FG-aAdS segments.
Definition 6.1
Let \(( \mathscr {M}, g )\) be an FG-aAdS segment, and let \(\mathscr {V} \subset \mathscr {M}\) be an open neighbourhood of the conformal boundary.Footnote 49 A function \(\check{\rho } \in C^\infty ( \mathscr {V} )\) is called an FG radius for \(( \mathscr {V}, g )\) iff
Remark 6.2
Note that \(\rho \) itself is an FG radius for \(( \mathscr {M}, g )\).
Informally, we can view such an FG radius as a change of boundary defining function (from \(\rho \) to \(\check{\rho }\)) that preserves the Fefferman–Graham gauge condition (2.7). A more detailed justification, in terms of our language of FG-aAdS segments, arises from the following.
Consider a FG radius \(\check{\rho }\) for \(( \mathscr {V}, g )\) satisfying (6.1). Given \(\sigma > 0\) and \(p \in \mathscr {I}\), we identify the pair \(( \sigma , p )\) with \(\gamma _p (\sigma ) \in \mathscr {V}\), where \(\gamma _p\) is the integral curve of the \(\check{\rho }^2 g\)-gradient of \(\check{\rho }\) that satisfiesFootnote 50
(when all the above quantities exist). Then, given any \(\mathscr {J} \subset \mathscr {I}\) with \(\bar{\mathscr {J}} \subseteq \mathscr {I}\), the above identifies \(( 0, \check{\rho }_0 ] \times \mathscr {J}\), for some \(\check{\rho }_0 > 0\), with an open submanifold . Moreover, by the second part of (6.1), the projection onto the \(( 0, \check{\rho }_0 ]\)-component is simply \(\check{\rho }\). As this gradient is (g-)normal to the level sets of \(\check{\rho }\), then g is given—in terms of \(\check{\rho }\) and frames transported along this gradient—by
for some (\(\check{\rho }\)-)vertical tensor field \(\textsf{g}^*\). In other words, \(\tilde{\rho }\) generates an FG-aAdS segment, characterized by (6.2), that is isometric to (part of) the original FG-aAdS segment \(( \mathscr {M}, g )\) defined from \(\rho \).
It is well-known in the physics literature (see, e.g., [20, 35]) that these transformations preserving the FG gauge can be characterized in terms of corresponding transformations of the boundary data. Below, we present this in a more rigorous form, adapted to the setting of this paper.
Proposition 6.3
Let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, and fix \(\mathfrak {a} \in C^\infty ( \mathscr {I} )\). Then, there is a neighbourhood \(\mathscr {V} \subset \mathscr {M}\) of the conformal boundary and a unique FG radius \(\check{\rho }\) on \(( \mathscr {V}, g )\) such that
Furthermore, let \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \mathscr {I}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) denote the holographic data associated to the FG-aAdS segments constructed from \(( \mathscr {M}, g )\) with respect to \(\rho \) and \(\check{\rho }\), respectively. Then, there exists a universal algebraic function \(\mathscr {F}\) (i.e., independent of \(\mathscr {M}, g, \check{g}, \rho , \check{\rho }\)) such that
where \(\mathfrak {D}\) and \(\mathfrak {R}\) denotes the Levi-Civita connection and Riemann curvature for \(\mathfrak {g}^{\scriptscriptstyle (0)}\), respectively.
Proof sketch of Proposition 6.3
To obtain \(\check{\rho }\), we adapt an argument inspired by the constructions from [25]. First, we consider the following ansatz for our desired FG radius:
Then, the defining equation (6.1) for \(\check{\rho }\) expands as
Since g and \(\rho \) satisfy (2.7), the above becomes
Observe (6.6) yields a fully nonlinear equation for \(\textsf{a}\), which can be uniquely solved via the method of characteristics on a neighbourhood \(\mathscr {V}\) of the conformal boundary given initial data
Then, \(\check{\rho } = e^{ \textsf{a} } \rho \) yields the FG radius on \(\mathscr {V}\) which satisfies (6.3).
The relations between \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\), as well as their derivations, are standard in physics literature—see, for instance, [20, 35]. A detailed derivation of the first relation in (6.4), in the context of FG-aAdS segments, can be found in [18, Proposition 3.4]. \(\square \)
Remark 6.4
Using (6.6), along with the techniques of [50], one can derive boundary limits for \(\rho \)-derivatives of both \(\textsf{a}\) and \(\check{\rho }\) in Proposition 6.3. From these limits, one then obtains partial series expansions for \(\textsf{a}\) and \(\check{\rho }\) in terms of powers of \(\rho \), similar to those in Corollary 2.18. In particular, these expansions justify the ansatz for FG gauge transforms used in [18, Equation (3.4)].
Remark 6.5
In addition to (6.4), there are similar transformation formulas for the other coefficients \(\mathfrak {g}^{\scriptscriptstyle (2)}, \mathfrak {g}^{\scriptscriptstyle (4)}, \dots , \mathfrak {g}^{\scriptscriptstyle (\star )}\) of the Fefferman–Graham expansion. (For example, \(-\mathfrak {g}^{\scriptscriptstyle (2)}\) transforms like the Schouten tensor under conformal rescalings—see [18, Proposition 3.4] for a detailed derivation.)
In particular, Proposition 6.3 implies that two holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), \(( \mathscr {I}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) that are related via (6.4) are associated to the same aAdS spacetime, via two different FG gauges on this spacetime. This motivates the following definition:
Definition 6.6
Let \(\mathscr {I}\) be an n-dimensional manifold, let \(\mathfrak {g}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}\) be two Lorentzian metrics on \(\mathscr {I}\), and let \(\mathfrak {g}^{\scriptscriptstyle (n)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)}\) be two symmetric rank-(0, 2) tensor fields on \(\mathscr {I}\). We say \(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) are gauge-equivalent on \(\mathscr {D} \subset \mathscr {I}\) iff these quantities satisfy (6.4) on \(\mathscr {D}\) for some \(\mathfrak {a} \in C^\infty ( \mathscr {I} )\).
We can now state the precise version of Theorem 1.5, which combines the results of Theorem 5.1 while also taking into account the above gauge covariance,
Theorem 6.7
Let \(n > 2\), and let \(( \mathscr {M}, g )\), \(( \mathscr {M}, \check{g} )\) be vacuum FG-aAdS segments (on a common aAdS region \(\mathscr {M}\)), with associated holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\), \(( \mathscr {I}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) (respectively). In addition, let \(\mathscr {D} \subset \mathscr {I}\) be open with compact closure, and assume that
-
\(( \mathscr {M}, g )\) and \(( \mathscr {M}, \check{g} )\) are regular to some large enough order \(M_0\) (depending on \(\textsf{g}\), \(\check{\textsf{g}}\), \(\mathscr {D}\)).
-
\(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) are gauge-equivalent on \(\mathscr {D}\).
-
\(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) (or equivalently, \(( \mathscr {D}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)} )\)) satisfies the GNCC.
Then, g and \(\check{g}\) are isometric near \(\{ 0 \} \times \mathscr {D}\) (viewed as part of the conformal boundary). To be more precise, there exists a sufficiently small \(f_\star > 0\) and some \(\Psi : \Omega _{ f_\star } \rightarrow \mathscr {M}\) such thatFootnote 51
Proof
By gauge equivalence, there exists \(\mathfrak {a} \in C^\infty ( \mathscr {I} )\) so that (6.4) holds on \(\mathscr {D}\). Applying Proposition 6.3, we obtain an FG radius \(\check{\rho }\) such (6.3) holds. Using \(\check{\rho }\) (see the discussion below Definition 6.1), we can identify \(( \mathscr {M}, g )\) with another FG-aAdS segment \(( \mathscr {N}, g )\), for which the induced holographic data is \(( \mathscr {I}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\). Moreover, applying another isometry that identifies the FG gauges for \(( \mathscr {N}, g )\) and \(( \mathscr {M}, \check{g} )\), we then arrive at the setting of Theorem 5.1—two FG-aAdS segments on a common manifold \(\mathscr {M}\), with identical data \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) on \(\mathscr {D}\).Footnote 52
The result now follows by applying Theorem 5.1; the desired isometry \(\Psi \) is then constructed by unwinding all the identifications made in the preceding discussion. \(\square \)
Remark 6.8
Recall the GNCC is gauge-invariant, so that in the setting of Theorem 6.7, we have that the GNCC holds for \(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) if and only if it holds for \(( \mathscr {D}, \check{\mathfrak {g}}^{\scriptscriptstyle (0)} )\); see [18, Proposition 3.6] for a proof of this statement. Therefore, it suffices to assume the GNCC only for \(\mathfrak {g}^{\scriptscriptstyle (0)}\).
6.2 Extension of Symmetries
One application of Theorem 5.1 is that it immediately implies that holographic symmetries on the conformal boundary must be inherited in the bulk spacetime. Here, we prove two versions of this, one for discrete and the other for continuous symmetries.
The first result is the precise analogue of Theorem 1.10 from the introduction.
Theorem 6.9
Let \(n > 2\), and let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, with associated holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\). Consider also a smooth, invertible function \(\phi : \bar{\mathscr {D}} \rightarrow \mathscr {I}\), where \(\mathscr {D} \subset \mathscr {I}\) is open with compact closure.Footnote 53 In addition, assume that the following hold:
-
\(( \mathscr {M}, g )\) is regular to some large enough order \(M_0\) (depending on \(\textsf{g}\), \(\mathscr {D}\)).
-
\(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) and \(( \phi _*\mathfrak {g}^{\scriptscriptstyle (0)}, \phi _*\mathfrak {g}^{\scriptscriptstyle (n)} )\) are gauge-equivalent on \(\mathscr {D}\).
-
\(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC.
Then, \(\phi \) extends to an isometry of g near \(\{ 0 \} \times \mathscr {D}\) (viewed as part of the conformal boundary). To be more precise, there exists a sufficiently small \(f_\star > 0\) and some \(\Phi : \Omega _{ f_\star } \rightarrow \mathscr {M}\) such thatFootnote 54
Furthermore, if \(\phi \) is a holographic isometry on \(\mathscr {D}\), i.e.,
then the bulk isometry \(\Phi \) is given explicitly as
Proof
First, applying a gauge transformation as in the proof of Theorem 6.7, we can assume (6.9) holds. Thus, it suffices to show that the map \(\Phi \) given by (6.10) is an isometry.
Observe that (6.10) implies the pullback \(\Phi _*g\) satisfies
where \(\phi _*\textsf{g}\) is defined to the the pullback through \(\phi \) on each level set of \(\rho \):
In particular, \(\Phi _*g\) defines a vacuum FG-aAdS segment (with the same \(\rho \) as before), whose associated boundary data is \(( \phi ^{-1} ( \mathscr {I} ), \phi _*\mathfrak {g}^{\scriptscriptstyle (0)}, \phi _*\mathfrak {g}^{\scriptscriptstyle (n)} )\). From (6.9), we see that g and \(\Phi _*g\) have the same data on \(\mathscr {D}\), hence Theorem 5.1 yields \(g = \Phi _*g\) on some \(\Omega _{ f_\star }\), for \(f_\star > 0\) sufficiently small. \(\square \)
Remark 6.10
Note that in general, \(\phi |_{ \mathscr {D} }\) in Theorem 6.9 is a conformal isometry of \(\mathfrak {g}\). Furthermore, the extra condition (6.9) implies that \(\phi |_{ \mathscr {D} }\) is a full isometry of \(\mathfrak {g}\).
Theorem 6.9 implies the following extension result for Killing vector fields, which is, in addition, the precise analogue of Theorem 1.7 from the introduction:
Theorem 6.11
Let \(n > 2\), and let \(( \mathscr {M}, g )\) be a vacuum FG-aAdS segment, with holographic data \(( \mathscr {I}, \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\). Also, fix a smooth vector field \(\mathfrak {K}\) on \(\bar{\mathscr {D}}\),Footnote 55 with \(\mathscr {D} \subset \mathscr {I}\) and \(\bar{\mathscr {D}}\) compact, and assume that
-
\(( \mathscr {M}, g )\) is regular to some large enough order \(M_0\) (depending on \(\textsf{g}\), \(\mathscr {D}\)).
-
\(( \mathfrak {g}^{\scriptscriptstyle (0)}, \mathfrak {g}^{\scriptscriptstyle (n)} )\) is gauge-equivalent on \(\mathscr {D}\) to some \(( \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \check{\mathfrak {g}}^{\scriptscriptstyle (n)} )\) satisfying
$$\begin{aligned} ( \mathscr {L}_{ \mathfrak {K} } \check{\mathfrak {g}}^{\scriptscriptstyle (0)}, \mathscr {L}_{ \mathfrak {K} } \check{\mathfrak {g}}^{\scriptscriptstyle (n)} ) |_{ \mathscr {D} } = 0 \text {.} \end{aligned}$$(6.11) -
\(( \mathscr {D}, \mathfrak {g}^{\scriptscriptstyle (0)} )\) satisfies the GNCC.
Then, \(\mathfrak {K}\) extends to a Killing vector field K for g near \(\{ 0 \} \times \mathscr {D}\) (viewed as part of the conformal boundary). More precisely, there exist a sufficiently small \(f_\star > 0\) and vector field
where \(K^\rho \in C^\infty ( \Omega _{ f_\star } )\) and \(\textsf{K}\) is a vertical vector field on \(\Omega _{ f_\star }\), such thatFootnote 56
Furthermore, if \(\mathfrak {K}\) is a holographic Killing field on \(\mathscr {D}\), i.e.,
then K is vertical (\(K^\rho \equiv 0\)) and can be explicitly described via the relation
Proof
Once again, by a gauge transformation, it suffices to consider the special case in which (6.14) holds. Let \(\phi _s\), for \(s \in \mathbb {R}\) small enough, denote transport along the integral curves of \(\mathfrak {K}\) by parameter s. By definition, each \(\phi _s\) is a holographic isometry on \(\mathscr {D}\),
so by Theorem 6.9, it extends to a bulk isometry \(\Phi _s\) on some \(\Omega _{ f_\star }\), \(f_\star > 0\), with
and with \(\Phi _{ s *} g = g\) near \(\{ 0 \} \times \mathscr {D}\). Let K be the generator of the family \(\{ \Phi _s \}_{ s \in \mathbb {R}}\); note that by definition, K satisfies the first part of (6.13). Finally, one directly deduces from (6.16) that K must be vertical, and that \(K:= \textsf{K}\) satisfies the transport relation (6.15). \(\square \)
Data Availibility Statement
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
Notes
A different possibility is the more well-known conformal embedding of AdS spacetime into half the Einstein cylinder. However, the Fefferman–Graham gauge is a more convenient form for studying general aAdS metrics.
We will use the notations \(\mathfrak {g}\) and \(\mathfrak {g}^{\scriptscriptstyle (0)}\) interchangeably, depending on context.
Moreover, both \(\mathcal {F}\) and \(\mathcal {G}\) are identically zero if n is odd.
When n is even, the expansion remains polyhomogeneous beyond \(\mathfrak {g}^{\scriptscriptstyle (n)}\).
Our terminology arises from the common description of the AdS/CFT correspondence in physics as “holographic". This is due to the difference in dimension between the aAdS spacetime and its conformal boundary.
However, note this does not a priori prevent the possibility that there exist other vacuum metrics realising the boundary data whose Fefferman–Graham expansions do not converge.
Informally, \(\phi \) is a holographic conformal symmetry on \(\mathscr {D}\).
This can be directly checked when \(n=2\). For \(n \ge 3\), this follows from the fact that two bilinear forms that do not vanish simultaneously (except at zero) can be simultaneously diagonalised [27].
In particular, the condition \(t_+ - t_- > \pi \) is required for the right-hand side of (1.15) to be positive.
Observe that the second condition of (1.18) can be viewed as a bound on the non-stationarity of \(\mathfrak {g}\), since \(\mathfrak {D}_{ \mathfrak {g}}^2 t\) is proportional to the Lie derivative of \(\mathfrak {g}\) along the gradient of t.
In terms of the standard embedding of AdS spacetime into the Einstein cylinder \(\mathbb {R}\times \mathbb {S}^n_+\), these geodesics move forward in time and along great circles in the spatial component, both with constant speed.
These are analogues of AdS, but with the spheres \(\mathbb {S}^{n-1}\) are replaced with \(\mathbb {R}^{n-1}\) or the flat torus \(\mathbb {T}^{n-1}\).
See Sect. 2.1 for precise coordinate conventions. Roughly, Latin letters \(a, b, \dots \) denote vertical components.
These tensor fields are usually formulated as horizontal tensors that are everywhere tangent to a foliation of spacelike submanifolds. Common examples include the connection and curvature components in a double null foliation.
First spacetime derivatives can be straightforwardly defined by projecting spacetime covariant derivatives.
Similar notions were independently developed and used in [38].
The case \(n = 3\) is an exception, as \(c_{ \textsf{w}^1 } = c_{ \textsf{w}^2 } = 2\), and \(\textsf{w}^\star \) is fully determined by \(\textsf{w}^1\) and \(\textsf{w}^2\).
In principle, one may try to obtain estimates for two vertical derivatives of the metric from the structure equation involving \(\textsf{w}^0\) (see the second equation in (3.3)) and the vertical Riemann curvature. However, this introduces other difficulties related to finding an appropriate gauge on the vertical slices.
In particular, the null geodesics with respect to \(\rho ^2 g\) asymptote toward being tangent to the boundary \(\rho = 0\). As a result, the conformal boundary just barely fails to be pseudoconvex.
This can be viewed as coefficients of the two FG expansions matching beyond \(\mathfrak {g}^{\scriptscriptstyle (n)}\) and \(\check{\mathfrak {g}}^{\scriptscriptstyle (n)}\).
This equation can be derived from analogues of (1.23) and the Bianchi equation for \(\partial _\rho \textsf{w}^2_{ab}\).
In aAdS settings, \(\Box \) is replaced by \(\Box + 2 n\) due to the cosmological constant.
This is consistent with the fact that the Einstein-vacuum equations lose their hyperbolicity in (\(2+1\))-dimensions.
\(\mathcal {I}^+\) and \(\mathcal {I}^-\) denotes the causal future and past, respectively, in \(( \mathscr {I}, \mathfrak {g})\).
Most of the material in this subsection can also be found in [45, Sections 2.1–2.3] We give an abridged discussion here for the purpose of keeping the present article self-contained.
While we refer to \(\mathscr {M}\) as the aAdS region, this also implicitly includes the associated quantities n, \(\mathscr {I}\), \(\rho _0\).
In particular, a scalar function on \(\mathscr {I}\) also defines a \(\rho \)-independent function on \(\mathscr {M}\).
Though we refer to \(( \mathscr {M}, g )\) as the FG-aAdS segment, this also implicitly includes the quantities \(\textsf{g}\) and \(\mathfrak {g}\).
More specifically, \(\textsf{g}^{-1} |_\sigma \) and \(\textsf{R}|_\sigma \) are the metric dual and Riemann curvature of \(\textsf{g}|_\sigma \) for any \(\sigma \in ( 0, \rho _0 ]\). Moreover, \(\textsf{D}\) and \(\textsf{D}^\sharp \) act like the Levi-Civita connection and the gradient for \(\textsf{g}|_\sigma \) on each \(\{ \rho = \sigma \}\), for all \(\sigma \in ( 0, \rho _0 ]\).
As usual, \(\textbf{A} \otimes \textbf{B}\) is defined componentwise by multiplying the components of \(\textbf{A}:\) and \(\textbf{B}\).
To clarify, if \(\textsf{A}\) has rank (k, l), then \(\bar{\textsf{D}}_\rho ( \textsf{D}\textsf{A}: )\) denotes \(\bar{\textsf{D}}_\rho \) acting on the rank \(( k, l + 1 )\) field \(\textsf{D}\textsf{A}\), while \(\textsf{D}( \bar{\textsf{D}}_\rho \textsf{A} )\) denotes the covariant differential of the rank (k, l) field \(\bar{\textsf{D}}_\rho \textsf{A}\). A similar point holds for \(\mathscr {L}_\rho ( \textsf{D}\textsf{A} )\) and \(\textsf{D}( \mathscr {L}_\rho \textsf{A} )\).
The assumption \(n > 2\) is needed only to make sense of \(\textsf{w}^\star \); the first two parts of (3.6) also hold when \(n = 2\).
See Definition 2.14.
See Remark 2.3.
Note that for vacuum FG-aAdS segments, (2.14) implies \(-\mathfrak {g}^{\scriptscriptstyle (2)} ( \mathfrak {Z}, \mathfrak {Z} ) = \frac{1}{n-2} \, \mathfrak {Rc}( \mathfrak {Z}, \mathfrak {Z} )\) for any \(\mathfrak {g}\)-null vector field \(\mathfrak {Z}\).
For notational convenience, we replaced the parameter \(\lambda \) in [18] by \(\lambda /2\) here.
See the quantity X in [18, Theorem 5.11]; however, we will not need this extra generality here.
This is the same setup as in Sect. 3.2; the reader is referred there for further notational details.
See Definition 4.5 for the definition of \(\Omega _{ f_\star }\).
More precisely, for any \(p \in \mathscr {I}\), there exists \(\rho _p > 0\) such that \(\mathscr {V}\) contains \(( 0, \rho _p ) \times \{ p \}\).
In other words, \(\gamma _p\) emanates from the point p on the conformal boundary.
In other words, \(\Psi \) is an isometry that fixes the conformal boundary.
Here, one maps the integral curves of the gradient of \(\tilde{\rho }\) in \(\mathscr {N}\) to the integral curves of the gradient of \(\rho \) in \(\mathscr {M}\).
More accurately, \(\phi : \mathscr {J} \rightarrow \mathscr {I}\) for some open \(\mathscr {J} \subseteq \mathscr {I}\) that contains \(\bar{\mathscr {D}}\).
In other words, \(\Phi \) is an isometry that asymptotes to \(\phi \) at the conformal boundary.
More precisely, \(\mathfrak {K}\) is a vector field on some open \(\mathscr {J} \subseteq \mathscr {I}\) that contains \(\bar{\mathscr {D}}\).
In other words, K is a g-Killing vector field that asymptotes to \(\mathfrak {K}\) at the conformal boundary.
Here, we also used the standard identity \(\mathscr {L}_\rho \textsf{g}^{-1} = \mathscr {S} ( \textsf{g}^{-2}, \textsf{m})\).
On the left-hand side, the two schematic terms have the same algebraic form.
References
Alexakis, S.: Unique continuation for the vacuum Einstein equations, arXiv:0902.1131, 2009
Alexakis, S., Balehowsky, T., Nachman, A.: Determining a Riemannian metric from minimal areas. Adv. Math. 366, 107025, 2020
Alexakis, S., Ionescu, A., Klainerman, S.: Hawking’s local rigidity theorem without analyticity. Geom. Funct. Anal. 20(4), 845–869, 2010
Alexakis, S., Ionescu, A., Klainerman, S.: Uniqueness of smooth stationary black holes in vacuum: small perturbations of the Kerr spaces. Commun. Math. Phys. 299(1), 89–127, 2010
Alexakis, S., Ionescu, A., Klainerman, S.: Rigidity of stationary black holes with small angular momentum on the horizon. Duke Math. J. 163(14), 2603–2615, 2014
Alexakis, S., Schlue, V.: Non-existence of time-periodic vacuum spacetimes. J. Differ. Geom. 108(1), 1–62, 2018
Alexakis, S., Schlue, V., Shao, A.: Unique continuation from infinity for linear waves. Adv. Math. 286, 481–544, 2016
Alexakis, S., Shao, A.: Global uniqueness theorems for linear and nonlinear waves. J. Funct. Anal. 269(11), 3458–3499, 2015
Alinhac, S., Baouendi, M.S.: A non uniqueness result for operators of principal type. Math. Z. 220(1), 561–568, 1995
Anderson, M.T.: Geometric Aspects of the AdS/CFT correspondence. In: AdS/CFT correspondence: Einstein metrics and their conformal boundaries" (O. Biquard (ed.)), IRMA Lectures in Mathematics and Theoretical Physics (Europ. Math. Soc.) 8, 1–31, 2005
Anderson, M.T.: On the uniqueness and global dynamics of AdS spacetimes. Class. Quant. Grav. 23, 6935–6954, 2006
Anderson, M.T., Herzlich, M.: Unique continuation results for Ricci curvature and applications. J. Geom. Phys. 58(2), 179–207, 2008
Anderson, M.T., Herzlich, M.: Erratum to unique continuation results for Ricci curvature and applications. J. Geom. Phys. 60, 1062–1067, 2010
Biquard, O.: Continuation unique à partir de l’infini conforme pour les métriques d’Einstein. Math. Res. Lett. 15(6), 1091–1099, 2008
Calderón, A.P.: Uniqueness in the Cauchy problem for partial differential equations. Amer. J. Math. 80, 16–36, 1958
Cardoso, V. , Dias, O. J. C., Lemos, J. P. S., Yoshida, S.: The Black hole bomb and superradiant instabilities, Phys. Rev. D 70, 044039, 2004 [Erratum: Phys.Rev.D 70, 049903 (2004)].
Carleman, T.: Sur un problème d’unicité pour les systèmes déquations aux dérivées partielles à deux variables indépendentes, Ark. Mat., Astr. Fys. 26,(17), 1–9 (1939)
Chatzikaleas, A., Shao, A.: A gauge-invariant unique continuation criterion for waves in asymptotically Anti-de Sitter spacetimes. Commun. Math. Phys. 2022.
Chrusciel, P.T., Delay, E.: Unique continuation and extensions of Killing vectors at boundaries for stationary vacuum space-times. J. Geom. Phys. 61, 1249–1257, 2011
de Haro, S., Skenderis, K., Solodukhin, S.N.: Holographic reconstruction of spacetime and renormalization in the AdS/CFT correspondence. Commun. Math. Phys. 217, 595–622, 2001
Enciso, A., Kamran, N.: Lorentzian Einstein metrics with prescribed conformal infinity. J. Differ. Geom. 112(3), 505–554, 2019
Fefferman, C., Graham, C. R.: Conformal invariants, Astérisque (1985), no. Numero Hors Serie, 95–116, The mathematical heritage of Élie Cartan (Lyon, 1984).
Friedrich, H.: Einstein equations and conformal structure—existence of anti de Sitter type space-times. J. Geom. Phys. 17, 125–184, 1995
Giorgi, E.: On the local extension of Killing vector fields in electrovacuum spacetimes. Ann. Henri Poincaré 20, 2271–2293, 2019
Graham, C.R.: Volume and area renormalizations for conformally compact Einstein metrics. In: Proceedings of the 19th Winter School Geometry and Physics, Circolo Matematico di Palermo, 2000, pp. 31–42.
Graham, C.R., Lee, J.M.: On a conjecture of Fefferman and Graham. Adv. Math. 87, 186–225, 1991
Greub, W.: Linear Algebra. Springer-Verlag (1975)
Gubser, S.S., Klebanov, I.R., Polyakov, A.M.: Gauge theory correlators from non-critical string theory. Phys. Lett. B 428, 105–114, 1998
Guisset, S.: Counterexamples to unique continuations for wave equations on asymptotically Anti-de Sitter spacetimes, in preparation.
Holzegel, G., Shao, A.: Unique continuation from infinity in asymptotically Anti-de Sitter spacetimes. Commun. Math. Phys. 347(3), 1–53, 2016
Holzegel, G., Shao, A.: Unique continuation from infinity in asymptotically Anti-de Sitter spacetimes II: Non-static boundaries. Commun. Partial Differ. Equ. 42(12), 1871–1922, 2017
Holzegel, G., Smulevici, J.: Decay properties of Klein-Gordon fields on Kerr-AdS spacetimes. Commun. Pure Appl. Math. 66(11), 1751–1802, 2013
Hörmander, L.: The Analysis of Linear Partial Differential Operators II: Differential Operators with Constant Coefficients. Springer, 1985
Hörmander, L.: The Analysis of Linear Partial Differential Operators IV: Fourier Integral Operators. Springer, 1985
Imbimbo, C., Schwimmer, A., Theisen, S., Yankielowicz, S.: Diffeomorphisms and holographic anomalies. Class. Quantum Grav. 17, 1129–1138, 2000
Ionescu, A., Klainerman, S.: Uniqueness results for ill-posed characteristic problems in curved space-times. Commun. Math. Phys. 285(3), 873–900, 2009
Ionescu, A., Klainerman, S.: On the local extension of Killing vector-fields in Ricci flat manifolds. J. Am. Math. Soc. 26, 563–593, 2011
Keir, J.: The weak null condition and global existence using the \(p\)-weighted energy method. arXiv:1808.09982, 2018
Kichenassamy, S.: On a conjecture of Fefferman and Graham. Adv. Math. 185, 268–288, 2004
Lerner, N.: Unique continuation through transversal characteristic hypersurfaces. J. Anal. Math. 138, 135–156, 2019
Lerner, N., Robbiano, L.: Unicité de Cauchy pour des opérateurs de type principal par. J. Anal. Math. 44, 32–66, 1984
Maldacena, J. M. : The Large N limit of superconformal field theories and supergravity. Int. J. Theor. Phys. 38, 1113–1133, 1999 [Adv. Theor. Math. Phys.2,231(1998)].
Mazzeo, R.: Unique continuation at infinity and embedded eigenvalues for asymptotically hyperbolic manifolds. Amer. J. Math. 113, 25–45, 1991
McGill, A.: Holographic characterisation of locally Anti-de Sitter spacetimes, arXiv:2111.11155, 2021
McGill, A., Shao, A.: Null geodesics and improved unique continuation for waves in asymptotically Anti-de Sitter spacetimes. Class. Quantum Grav. 38, 054001, 2020
Moschidis, G.: A proof of the instability of AdS for the Einstein-massless Vlasov system, arXiv:1812.04268, 2018
Petersen, O.L.: Extension of Killing vector fields beyond compact Cauchy horizons. Adv. Math. 391, 107953, 2021
Robbiano, L., Zuily, C.: Uniqueness in the Cauchy problem for operators with partially holomorphic coefficients. Invent. Math. 131(3), 493–539, 1998
Shao, A.: A generalized representation formula for systems of tensor wave equations. Commun. Math. Phys. 306(1), 51–82, 2011
Shao, A.: The near-boundary geometry of Einstein-vacuum asymptotically Anti-de Sitter spacetimes. Class. Quantum Grav. 38, 034001, 2020
Skenderis, K.: Asymptotically Anti-de Sitter spacetimes and their stress energy tensor. Int. J. Mod. Phys. A 16(5), 740–749, 2001
Tataru, D.: Unique continuation for solutions to PDE’s: between Hörmander’s theorem and Holmgren’s theorem. Commun. Partial Differ. Equ. 20(5–6), 855–884, 1995
Wald, R.: General Relativity. The University of Chicago Press, 1984
Witten, E.: Anti de Sitter space and holography. Adv. Theor. Math. Phys. 2(2), 253–291, 1998
Witten, E., Yau, S.-T.: Connectedness of the boundary in the AdS/CFT-correspondence. Adv. Theor. Math. Phys. 3(6), 1635–1655, 1999
Acknowledgements
A.S. acknowledges support by EPSRC grant EP/R011982/1 for a portion of this project. G.H. acknowledges support by the Alexander von Humboldt Foundation in the framework of the Alexander von Humboldt Professorship endowed by the Federal Ministry of Education and Research as well as ERC Consolidator Grant 772249 and funding through Germany’s Excellence Strategy EXC 2044 390685587, Mathematics Münster: Dynamics–Geometry–Structure.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no financial or proprietary interests in any material discussed in this article.
Additional information
Communicated by M. Dafermos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Additional Details and Computations
Additional Details and Computations
This appendix contains additional proofs and computational details for readers’ convenience. We begin with some preliminary formulas that will be useful in later sections.
1.1 Proof of Proposition 2.33
Throughout, we assume indices are with respect to arbitrary coordinates \(( U, \varphi )\) on \(\mathscr {I}\), and we let (k, l) be the rank of \(\textsf{A}\). The first part of (2.33) is a consequence of (2.32) and the following commutation formula from [50, Proposition 2.27]:
Next, recalling the second formula in (2.20), we obtain that
Subtracting the above two equations and recalling the first part of (2.33) yields
from which the second identity in (2.33) follows.
Next, recalling Definition 2.27 for \(\bar{\Box }\), we expand (partially in \(\varphi _\rho \)-coordinates)
where we also recalled (2.7) in the last step. By (2.7), (2.28), and (2.32), we have
Thus, combining (7.1) with the above yields
which immediately imples (2.34).
Finally, for (2.35), the definitions of \(\bar{\nabla }^2_{ \rho \rho }\) and \(\bar{\textsf{D}}_\rho ^2\), along with Proposition 2.29, yield:
![](http://media.springernature.com/lw510/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ270_HTML.png)
Subtracting the above two equations and recalling the first part of (2.28) yields
Furthermore, relating \(\bar{\textsf{D}}_\rho \) and \(\mathscr {L}_\rho \) using (2.20), the above then becomesFootnote 57
Next, a similar decomposition of mixed and vertical derivatives in vertical components yields
Therefore, applying (2.7), Definition 2.27, (7.2), and the above, we conclude that
which is precisely the last part of (2.35).
1.2 Proof of Proposition 2.34
We assume all indices are with respect to \(\varphi \)- and \(\varphi _\rho \)-coordinates, and we let \(\Gamma \) and be the corresponding Christoffel symbols, as defined in Proposition 2.29. For future convenience, we also set \(l:= l_1 + l_2\), and we define (via indices) the vertical tensor fields
By the definitions of \(\nabla \) and \(\bar{\textsf{D}}\) (see Proposition 2.22 and (2.29)), along with (2.28), we have
![](http://media.springernature.com/lw352/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ271_HTML.png)
Subtracting the two equations above and applying (2.28) and (2.36) yields
![](http://media.springernature.com/lw355/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ272_HTML.png)
from which the first equation in (2.37) follows.
Similarly, the definitions of \(\nabla \) and \(\bar{\textsf{D}}\) imply
![](http://media.springernature.com/lw363/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ273_HTML.png)
Subtracting the above equations and recalling (2.28), (2.38), and (2.39), we obtain
Combining the above with (7.3) yields the second part of (2.37).
For the last identity in (2.37), we begin with \(\rho \)-derivatives. First, by Proposition 2.29,
Similarly, for the corresponding mixed derivatives, we apply (2.29) and compute
![](http://media.springernature.com/lw594/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ157_HTML.png)
where we also recalled (2.28) and the basic properties from Proposition 2.26. Subtracting (7.6) from (7.5), while applying both (2.28) and the first part of (2.37), we obtain that
![](http://media.springernature.com/lw497/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ158_HTML.png)
Next, applying again (2.29), we compute
![](http://media.springernature.com/lw557/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ274_HTML.png)
Subtracting the two equations and recalling (2.28) then yields
![](http://media.springernature.com/lw527/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ159_HTML.png)
To simplify the upcoming computations, we define, for all \(1 \le i \le l_1\) and \(1 \le j \le l_2\), the vertical tensor fields \(\textsf{z}\), \(\textsf{z}^\rho _i\), \(\textsf{z}^v_j\)—of ranks \(( 0, l_2 + 1 )\), \(( 0, l_2 + 2 )\), \(( 0, l_2 )\), respectively—via the index formulas
Applying (2.28), the first part of (2.37), and (7.9) to the term \(I_2\) from (7.8), we obtain
From (7.8), the first part of (7.9), and the above, we see that
Similarly, for \(I_3\) and \(I_4\), we again apply (2.28) and (7.9):
Now, recalling (7.4), along with (7.9), we deduce
Combining (7.3), (7.10), and the above, we conclude that
Similar computations using (7.11) also yield
Finally, combining (7.8), (7.13), and the above, we obtain
The last formula in (2.37) now follows from (7.7), the above, and the fact that
1.3 Proof of Proposition 3.4
Throughout this proof, we assume all indices are raised and lowered using g. First, the Bianchi identity and Proposition 2.13 yield
which immediately proves the first identity in (3.4).
Next, taking a divergence of the first part of (7.14) (in the “\(\mu \)” component) yields
Commuting derivatives and then applying the second part of (7.14), we obtain
Now, using Proposition 2.13, we expand
Summing the above and recalling the symmetries of W, we then obtain
Combining (7.15), (7.16), and the above results in the remaining equation of (3.4).
1.4 Proof of Proposition 3.5
Let us begin with the first two identities in (3.5). Applying the first equation in (2.37) to \(F:= W\) (with permuted indices) yields
Applying (2.7) and the first identity in (3.4) to the left-hand sides of the above yields
Applying the second identity of (2.37) to the first equation in (7.17), we have
where in the last step, we also used Definition 3.1 and the trace-free property of W to obtain
The first part of (3.5) follows immediately from (7.18).
Similarly, applying (2.37) to the second part of (7.17) yields
where in the last step, we noted from Definition 3.1 and the symmetries of W that
The second identity in (3.5) now follows from (7.19).
For the two remaining parts of (3.5), we again start with the first part of (2.37):
The right-hand sides of the above can then be expanded using the Bianchi identity for W:
Applying (2.37) to each term on the right-hand side of the above, we then obtain
The last two identities of (3.5) are now immediate consequences of the above.
1.5 Proof of Proposition 3.6
Throughout, we assume all indices are with respect to \(\varphi \) and \(\varphi _\rho \), for some arbitrary coordinates \(( U, \varphi )\) on \(\mathscr {I}\). Also, for convenience, we define Q by
that is, the right-hand side of the wave equation in (3.4). Then, by (2.7) and (3.1), we have
We now apply (3.1) and the last equation in (2.37) to W to obtain
where we used that \(-\textsf{w}^2\) is the \(\textsf{g}\)-trace of \(\textsf{w}^0\), and where the error terms \(\textsf{E}^2\) are given by
Applying the second part of (3.4) and the first part of (3.5) to (7.22) yields
Moreover, expanding the left-hand side using (2.34) (with \(p = 2\)), we see that
The first equation in (3.6) now follows from (7.21), (7.23), and the above.
The remaining parts of (3.6) are treated similarly. Again, we first apply the last part of (2.37):
where we also made use of the symmetries of W, and where the corresponding error terms are
The first-order terms in the right-hand sides of (7.25) can be further expanded using (3.5), and the terms involving \(\bar{\Box }\) in (7.27) can be expanded using (2.34):
The left-hand sides of (7.27) can be expanded using (3.4), (7.20), and (7.21):
Combining the above with (7.21) and (7.27) results in the second equation in (3.6), as well as
Recalling (3.2), (7.24), and the above, we then see that
The last equation in (3.6) now follows from (7.21), (7.23), (7.26), and the above.
1.6 Proof of Proposition 3.8
The first two parts of (3.8) follow immediately from Theorem 2.16, in particular from the boundary limits for \(\textsf{g}\) and \(\textsf{g}^{-1}\). The last two parts of (3.8) also follow from Theorem 2.16, using the boundary limits for \(\mathscr {L}_\rho \textsf{g}\) and \(\mathscr {L}_\rho ^2 \textsf{g}\), along with Taylor’s theorem.
Next, for the Weyl curvature components, the key is the formulation (3.3) of the Einstein-vacuum equations. From the boundary limits in Theorem 2.16, we see that
Moreover, writing the components of \(\textsf{R}\) in terms of coordinate derivatives of \(\textsf{g}\) yields
Combining (3.3), (3.8), (7.28), and (7.29) results in the asymptotics for \(\textsf{w}^0\), \(\textsf{w}^1\), and \(\textsf{w}^2\) in (3.9). The asymptotics for \(\textsf{w}^\star \) in (3.9) then follow from (3.2) and the above.
The asymptotics for \(\mathscr {L}_\rho \textsf{w}^0\), \(\mathscr {L}_\rho \textsf{w}^1\), and \(\mathscr {L}_\rho \textsf{w}^2\) are proved similarly—we apply \(\mathscr {L}_\rho \) to both sides of (3.3), and we then apply the boundary limits in Theorem 2.16 to each term on the right-hand side. In addition, we make use of the following observations:
-
For \(\mathscr {L}_\rho \textsf{w}^1\), we also use (2.33) to commute \(\mathscr {L}_\rho \) with \(\textsf{D}\).
-
For \(\mathscr {L}_\rho \textsf{w}^0\), we express the components of \(\textsf{R}\) in terms of derivatives of \(\textsf{g}\), which yields
$$\begin{aligned} \mathscr {L}_\rho \textsf{R}= \mathscr {O}_{ M - 3 } (1) \text {.} \end{aligned}$$ -
For both \(\mathscr {L}_\rho \textsf{w}^0\) and \(\mathscr {L}_\rho \textsf{w}^2\), we also note that
$$\begin{aligned} \mathscr {L}_\rho ( \rho ^{-1} \textsf{m}) = \mathscr {O}_{ M - 3 } (1) \text {.} \end{aligned}$$
Finally, the asymptotics for \(\mathscr {L}_\rho \textsf{w}^\star \) once again follow from (3.2) and the above.
1.7 Proof of Proposition 3.12
The first part of (3.14) is a consequence of the following identity, which holds with respect to any coordinate system \(( U, \varphi )\) on \(\mathscr {I}\):
Next, we can view (3.11) as a system of differential equations for the components of \(\textsf{Q}\), with coefficients and sources given by \(\textsf{g}^{-1}\), \(\textsf{g}- \check{\textsf{g}}\), and \(\textsf{m}\). By solving these equations, we can write the components of \(\textsf{Q} |_\sigma \), \(\sigma \in ( 0, \rho _0 ]\), as integrals in \(\rho \) (from 0 to \(\sigma \)) of some combination of \(\textsf{g}^{-1}\), \(\textsf{g}- \check{\textsf{g}}\), and \(\textsf{m}\), along with a matrix exponential factor. Combining the above with (3.8) results in the second part of (3.14). (In particular, we obtain one extra power of \(\rho \) from the integral with respect to \(\rho \).) The third part of (3.14) then follows from (3.8), (3.12), and the second part of (3.14).
It remains to prove (3.15). The first part of (3.15) is immediate, since it is clear from the first two parts of (2.28) that and
are identical. Moreover, the second identity in (3.15) follows immediately from applying the fifth part of (2.28). Similarly, for the third part of (3.15), we use the third and fourth parts of (2.28) in order to obtain
![](http://media.springernature.com/lw332/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ275_HTML.png)
Recalling the asymptotics of (3.8) and the first part of (3.14) yields, as desired,
![](http://media.springernature.com/lw384/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ276_HTML.png)
For the last part of (3.15), note the last part of (2.28) implies
![](http://media.springernature.com/lw159/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ277_HTML.png)
Expanding the Christoffel symbols, we then obtain, via a direct computation,
![](http://media.springernature.com/lw517/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ278_HTML.png)
as desired (see also [53, Appendix D]). The final equality in (3.15) now follows from (3.8).
1.8 Proof of Proposition 3.13
The first part of (3.16) follows from the definitions (2.32) of \(\textsf{m}\) and \(\check{\textsf{m}}\). For the second part of (3.16), we combine the asymptotics (3.8) with the definition (3.11).
Next, we take the difference of two applications of the third part of (3.3) to obtain
The last term can be treated using (3.8) and the first part of (3.14), and we obtain
The third part of (3.16) follows immediately from the above, since (3.9) and (3.13) imply
For the final identity in (3.16), we begin by applying \(\mathscr {L}_\rho \) to (3.12), and then commuting \(\textsf{D}\) and \(\mathscr {L}_\rho \) via (2.33). The error term in (2.33) can then be expressed as asymptotic terms using (3.8):
For the first three terms on the right-hand side, we apply (2.32), (3.8), and (3.11) to obtain
Applying the first part of (3.3), we then have
For the terms in (7.30) involving \(\textsf{D}- \check{\textsf{D}}\), we expand using the last part of (2.28):
![](http://media.springernature.com/lw461/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ279_HTML.png)
Combining the above with (7.30), we conclude that
For \(\mathcal {I}_1\) and \(\mathcal {I}_2\), we take as “main terms" the differences \(\textsf{g}^{-1} - \check{\textsf{g}}^{-1}\) and \(\textsf{m}- \check{\textsf{m}}\). (In particular, we treat \(\textsf{D}\textsf{g}\) and \(\textsf{D}\check{\textsf{g}}\) as coefficients of the form \(\mathscr {O}_{M-1} (1)\).) Recalling (3.8) and (3.14) then yields
By similar computations, we also obtain
Combining (7.31)–(7.33) and recalling (3.12) results in
The above, along with Proposition 3.8 and (3.13), immediately yield the last part of (3.16).
It remains to prove the derivative transport equations (3.17). These are in fact immediate consequences of the preceding (3.16), since (2.33) and (3.8) imply that
holds for any vertical tensor field \(\textsf{A}\).
1.9 Proof of Proposition 3.14
We prove all three formulas at once. Throughout, we fix
as well as the corresponding constant \(\sigma _{ \textsf{w}}\):
Then, from (3.13), we see that \(\textsf{W}\) satisfies the following wave equation:
Here and below, we index with respect to an arbitrary coordinate system \(( U, \varphi )\) on \(\mathscr {I}\).
To expand \(\mathscr {A}_0\), we use that both \(\textsf{w}\) and \(\check{\textsf{w}}\) solve wave equations of the form (3.6), and we take the difference of these two equations. In particular, we take the difference of each pair of corresponding terms on the right-hand side of the relevant equation in (3.6). Like in earlier proofs, each of these can be written as a sum, with each term involving a geometric difference quantity along with other coefficients that can be controlled using Proposition 3.8 and (3.14). For example, we can treatFootnote 58
For differences involving a vertical derivative, one must also take into account the difference \(\textsf{D}- \check{\textsf{D}}\) of connections; here, the key is to write this in terms of differences of Christoffel symbols and then apply the last identitiy in (3.15). One example of this is the following:
After a diligent analysis of all such difference terms, we obtain
In addition, using Proposition 3.8 and (3.13), we can then express, for \(k \in \{ 1, 2 \}\),
A similar computation can be done for \(\textsf{w}^0 - \check{\textsf{w}}^0\) and \(\textsf{W}^\star \), but we also recall (3.2) and (7.36):
Combining (7.35)–(7.37), we conclude that
Next, for \(\mathscr {A}_1\), we apply (2.35) twice—once with \(\bar{\Box }\) and once with \(\check{\bar{\Box }}\)—and subtract the resulting equations in order to obtain (note that \(\mathscr {L}_\rho \) is independent of the metric)
where each matching pair of schematic terms has the same algebraic form. Similar to the previous treatment of \(\mathscr {A}_0\), each schematic difference on the right-hand side of the above can be expanded and then controlled using Proposition 3.8 and (3.14); this then yields
In addition, we expand the last term of the above using the third identity in (3.16):
To handle \(\mathscr {A}_{ 1, v }\), we begin by expanding
The operator \(\textsf{D}- \check{\textsf{D}}\) can be expressed in terms of differences of Christoffel symbols. Applying again Proposition 3.8, (3.14), and the last part of (3.15), the above becomes
![](http://media.springernature.com/lw580/springer-static/image/art%3A10.1007%2Fs00205-023-01890-9/MediaObjects/205_2023_1890_Equ191_HTML.png)
(Notice in the last step, any term having less than two derivatives of \(\textsf{g}- \check{\textsf{g}}\) can be included with the schematic terms. In addition, \(\check{\textsf{g}}^{de}\) can be converted to \(\textsf{g}^{de}\) at the cost of an extra term involving \(\textsf{g}- \check{\textsf{g}}\), which can also be absorbed into the schematic terms.)
Recalling the definitions (3.11) and (3.12), then (7.40) can be rewritten as
Combining (7.39) and the above, we conclude that
Now, for the remaining term \(\mathscr {A}_2\), we begin by expanding
We now expand each of the terms on the right-hand side of (7.42). First, by Proposition 3.8,
Next, for \(\mathscr {A}_{ 2, 3 }\), we recall (2.20), along with (3.11) and the first part of (3.16):
For \(\mathscr {A}_{ 2, 2 }\), we begin by applying the wave equation (3.6) satisfied by \(\textsf{w}\). By inspecting the right-hand of the appropriate equation and recalling Proposition 3.8, we obtain
From the above, we then obtain the following asymptotics:
For \(\mathscr {A}_{ 2, 1 }\), we decompose \(\bar{\Box }\) using (2.35) and apply Proposition 3.8:
For the asympototic terms on the right-hand side, we recall (3.11) and (3.16):
Thus, combining (7.46) and the above yields
Combining (7.42)–(7.45) and the above, we have that
Finally, both (3.18) and (3.19) follow from (7.34), (7.38), (7.41), and (7.47).
1.10 Proof of Proposition 3.15
The first part of (3.20) is simply the first equation in (3.16), while the second identity in (3.20) follows from the final part of (3.3), along with Proposition 3.8 and (3.14). (Note this is just the third part of (3.16), except we do not renormalize \(\textsf{w}^2 - \check{\textsf{w}}^2\).)
For the remaining identities, we begin by rewriting the first, third, and fourth parts of (3.5) as
In particular, here we converted \(\bar{\textsf{D}}_\rho \) to \(\mathscr {L}_\rho \) using (2.20). We then take the difference of each of the equations in (7.48), applied once with respect to \(\textsf{g}\) and once with respect to \(\check{\textsf{g}}\), and we treat the resulting difference terms as in the proofs of Propositions 3.13 and 3.14. In particular, various geometric quantities can be controlled using Proposition 3.8 and (3.14); moreover, the difference \(\textsf{D}- \check{\textsf{D}}\) can be controlled by \(\textsf{D}( \textsf{g}- \check{\textsf{g}} )\) using the last part of (3.15).
For example, from the first part of (7.48), we have
which yields the third equation in (3.20). Note that in the last step, we used the improved vanishing rate for \(\textsf{w}^1\) in (3.9) when dealing with terms involving \(\textsf{g}- \check{\textsf{g}}\) and \(\textsf{D}( \textsf{g}- \check{\textsf{g}} )\). The remaining parts of (3.20) are obtained analogously, once again using the improved rates for \(\textsf{w}^1\) and \(\textsf{w}^2\) in (3.9).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Holzegel, G., Shao, A. The Bulk-Boundary Correspondence for the Einstein Equations in Asymptotically Anti-de Sitter Spacetimes. Arch Rational Mech Anal 247, 56 (2023). https://doi.org/10.1007/s00205-023-01890-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205-023-01890-9