Positive mass theorems for asymptotically hyperbolic Riemannian manifolds with boundary

We prove positive mass theorems for asymptotically hyperbolic and asymptotically locally hyperbolic Riemannian manifolds with black-hole-type boundaries.

An interesting global invariant of AH general relativistic initial data sets is the energymomentum vector m ≡ (m μ ) [5,6,13] (compare [1,7]). It is known that m is timelike future pointing or vanishing [3,9] for conformally compactifiable manifolds with a connected conformal boundary at infinity with spherical topology and satisfying a natural lower bound on the scalar curvature. The object of this note is to point out how to generalise this result to manifolds with a compact boundary and with several ends in dimensions 3 n 7, using the results of [3,8], without assuming that the manifold M carries a compatible spin structure: Theorem 1. Let (M, h) be a conformally compact n-dimensional, 3 n 7, asymptotically locally hyperbolic manifold with boundary. Assume that the scalar curvature of M satisfies R(h) −n(n − 1), and that the boundary has mean curvature H n − 1 with respect to the normal pointing into M. Then, the energy-momentum vector m of every spherical component of the conformal boundary at infinity of (M, h) is future causal or vanishes.

Remark 2.
Neither the boundary ∂M, nor the conformal boundary at infinity of M, need to be connected.
Our sign convention for the mean curvature is such that the round sphere in Euclidean space has positive mean curvature with respect to the outward pointing normal.
In order to avoid ambiguities, some definitions are in order. We say that a Riemannian manifold (M, h) is conformally compact if there exists a compact manifold with boundary M such that the following holds: first, we allow M to have a boundary, which is then necessarily compact. Next, M is the interior of M, whose boundary is the union of the boundary of M and of a number of new boundary components, at least one, which form the conformal boundary at infinity. Next, there exists on M a smooth function Ω 0 which is positive on M, and which vanishes precisely on the new boundary components of M, with dΩ nowhere vanishing there. Finally, the tensor field Ω 2 h extends to a smooth metric on M.
An asymptotically locally hyperbolic (ALH) metric is a metric with all sectional curvatures approaching minus one as the conformal boundary at infinity is approached. An ALH metric has an asymptotically hyperbolic (AH) component of its boundary at infinity, or an AH end, if the conformal metric on that component of the boundary is conformal to a round sphere. See [14] for a review of definitions occurring in this context.
where h k is an Einstein metric on an (n − 1) dimensional manifold with scalar curvature equal to k(n − 1)(n − 2). The field of normals to the level sets of r equals N = V∂ r , hence When k = 1 we find H > (n − 1) (with respect to the outward normal) for all sufficiently large r regardless of the sign of m.
When m < 0 the range of H covers the interval (n − 1, ∞) when r runs over (0, ∞), which shows that the condition on H in theorem 1 is optimal.
In [4, theorem 1.1] we proved non-negativity of mass for ALH manifolds whose closure has topology [0, 1] × (S n−1 /Γ), where Γ is a finite subgroup of SO(n − 1). In particular it was assumed that both conformal infinity and the boundary have the same topology S n−1 /Γ. Such manifolds will be referred to as ALH manifolds with product topology [0, 1] × (S n−1 /Γ). An example is provided by the Birmingham-Kottler metrics (1). Theorem 1 allows us to prove the following improvement of this result: Proof of corollary 5. For simplicity, consider the special case, where Q is a closed manifold. We now make use of the following fact which is established by simple cut and paste arguments.
Fact. Let X and Y be n-manifolds. Suppose X is a finite cover of X with r > 1 sheets. Then It follows that (M, h) admits a finite Riemanian cover of degree r = |Γ|, (M , h ), such that We may now apply theorem 1 to (M , h ). The general case is handled in a similar manner.

Remark 6.
In [4, theorem 1.1], we also proved positivity of mass for ALH manifolds M with (nonempty) boundary so that M has product topology [0, 1] × T n−1 . By using theorem 1.2 in [8], this can be improved in several respects. First, the condition H < n − 1 can be replaced by H n − 1. Next, the assumption that ∂M ∼ = T n−1 can be replaced by the assumption ∂M satisfies what is called the cohomology condition in [8]. This insures, in particular, that ∂M cannot carry a metric of positive scalar curvature; see [10, theorem 2.28], compare [12, theorem 5.2]. Finally, the assumption, that M has product topology, can be weakened to the assumption that M satisfies the homotopy condition with respect to ∂M, as defined in [8]. This condition is satisfied if, in particular, there exists a retract of M onto ∂M. A special case of [8, theorem 1.2] is used in the proof of theorem 1; see proposition 8 below.
As already pointed-out in [4, remark 6.1], the Horowitz-Myers solutions admit a CMC foliation with tori whose mean curvature approaches n − 1 from above. This shows that the condition H n − 1 is also sharp in the toroidal case.
Proof of theorem 1. We note first that three dimensional manifolds are spin, and this case is already covered in [5]. Hence it remains to assume that n 4.
Next, the proof is reduced to the case of a single conformal boundary at infinity with spherical topology by checking, via a calculation similar to (2), that the mean curvature, with respect to the normal pointing towards the nearby conformal boundary at infinity, of the level sets of the conformal factor Ω, approaches n − 1 as the conformal boundary at infinity is approached. We can therefore cut away an asymptotic end of M by introducing a new boundary component {Ω = }, with sufficient small so that this new boundary component satisfies, say, H > 0 with respect to the outward normal (thus H < 0 < n − 1 with respect to the inward normal). This boundary component will be made part of the boundary of the new, truncated, manifold, still denoted by M.
Summarising, we only need to prove the result for dim M 4 and with a conformally compactifiable ALH manifold (M, h) with a connected spherical conformal boundary at infinity.
Finally, we will need the following lemma. Its hypotheses are tailored towards obtaining a contradiction: we will show that no well-behaved AH manifolds satisfying the hypotheses of the lemma exist. (S , g, K) with boundary, dim S = dim M, with the following properties. To continue we use the deformation arguments from [2]. Indeed, by [2, theorem 3.2] there exists a constant a ∈ (0, 1), which we will denote by a 2 here, and a metric g on S which coincides with the original metric near both copies of the original boundary ∂M, and which coincides with the metric

Lemma 7. Let (M, h) be an n-dimensional, n 4, ALH manifold with boundary. Assume that the scalar curvature of M satisfies R(h) −n(n − 1), and that the boundary has mean curvature H n − 1 with respect to the normal pointing into M. Then, if the energy-momentum vector m of an AH end of (M, h) is spacelike or past causal, there exists a general relativistic initial data set
for large r, where h 0 is the unit round metric on S n−1 . Moreover the metric g satisfies R( g) −n (n − 1)/a 2 everywhere.
Let g a = a −2 g, then R( g a ) −n(n − 1). Let N, respectively N a , be the g-unit, respectively the g a -unit normal to ∂M, and let H a denote the mean curvature of ∂M in the metric g a . Then N a = aN and H a = 1 det g a ∂ i ( det g a N i a ) = aH a(n − 1) n − 1.
As in the proof of [3, theorem 1.4], view the exact hyperbolic end of (S , g a ) as embedded in Minkowski space. By flattening out this hyperboloidal end (outside a sufficiently large sphere) within Minkowski space, one obtains a general relativistic initial data set (S , g a , K a ), with K a = g a on the unchanged part of S , which satisfies the requirements of the lemma.
We return to the proof of theorem 1. Suppose to the contrary that m is spacelike or past pointing causal. Then by lemma 7, there exists an initial data set (S , g, K) with the properties listed in the theorem. Moreover, since for the proof we are assuming that (M, h) is conformally compactifiable, by enclosing U inside a large box ∂([−R, R] n ), and then identifying n − 1 parallel sides of the box as in figure 1, we obtain an initial data set with boundary, which we still refer to as (S , g, K), where (S , g, K) is a compact manifold with boundary of the form where Q is a compact manifold with boundary, with the following additional properties. Such an initial data set is incompatible with the following special case of theorem 1. Then S is diffeomorphic to [0, 1] × T n−1 . In particular, S is connected.
We continue the proof of theorem 1. The constructed initial data set (S , g, K) satisfies all the assumptions of the proposition. In particular from the 'almost product' structure (4) of S it is easy to see that a retract of S onto Σ exists. Indeed, by suitably 'collapsing' Q, we obtain a continuous map from the right-hand side of (4) to [0, 1] × T n−1 , and use the product structure to project this to {0} × T n−1 . We then reach a contradiction since S is not connected.

Remark 9.
Even under more general assumptions, theorem 1.2 in [8] concludes much more. In particular, in suitable coordinates, each slice Σ t ∼ = {t} × T n−1 is flat with vanishing null second fundamental form, χ + = 0.

Remark 10.
We have chosen to carry out the argument using an embedding of the hyperbolic end into Minkowski spacetime, with an eye out on possible dimensional generalisations, taking advantage of the analysis in [11,12]. In the dimensions considered here one can, instead, use a compactification argument similar to what is done in [2], together with our remaining arguments, to achieve the same conclusions.