# Almost rigidity of the positive mass theorem for asymptotically hyperbolic manifolds with spherical symmetry

## Abstract

We use the notion of intrinsic flat distance to address the almost rigidity of the positive mass theorem for asymptotically hyperbolic manifolds. In particular, we prove that a sequence of spherically symmetric asymptotically hyperbolic manifolds satisfying the conditions of the positive mass theorem converges to hyperbolic space in the intrinsic flat sense, if the limit of the mass along the sequence is zero.

### Keywords

Asymptotically hyperbolic manifolds Positive mass theorem Intrinsic flat distance Almost rigidity## 1 Introduction

Broadly speaking, an asymptotically hyperbolic manifold is a non-compact Riemannian manifold having an end such that its geometry approaches that of hyperbolic space. Such manifolds naturally arise when studying isolated systems in General Relativity. When one assumes the dominant energy condition they are endowed with scalar curvature greater than or equal to \(-m(m-1)\) where *m* is the dimension of the manifold.

The notion of mass for this class of manifolds was first defined mathematically by Wang [32] and Chruściel and Herzlich [9]. Earlier exploration of a possible notion of mass was completed by physicists Abbott and Deser [1], Ashtekar and Magnon [5] and Gibbons et al. [15]. For the family of anti-de Sitter-Schwarzschild metrics (also called Kottler metrics) the mass coincides with the mass parameter. This notion of mass is similar to the concept of ADM mass of asymptotically Euclidean manifolds in the sense that it is a coordinate invariant which is computed in a fixed asymptotically hyperbolic end and which measures the leading order deviation of the geometry from the background hyperbolic metric in the end.

The same question of stability has been addressed in relation to the rigidity part of the Euclidean Positive Mass Theorem:What happens if the mass of an asymptotically hyperbolic manifold is close to zero and the scalar curvature is at least \(-m(m-1)\). Must the manifold then be close to hyperbolic space in some appropriate sense?

*an asymptotically Euclidean manifold with small mass and non-negative scalar curvature should be close to Euclidean space in some appropriate sense*. Asymptotically Euclidean spin manifolds with small mass have been studied by Finster with Bray and Kath, see [6, 12, 13]. From estimates on the spinor field in Witten’s argument they find that the \(L^2\)-norm of the curvature tensor (over the manifold minus an exceptional set) is bounded in terms of the mass. Lee [20] studies asymptotically Euclidean manifolds which are conformally flat outside a compact set

*K*. For such manifolds he proves that the conformal factor can be controlled by the mass, so that the conformal factor tends uniformly to one outside any ball containing

*K*as the mass tends to zero. The argument by Lee relies on the variational argument used by Schoen and Yau [27] to prove the rigidity part of the positive mass theorem for asymptotically Euclidean manifolds, and does not require the manifold to be spin.

Asymptotically hyperbolic manifolds have rich geometry at infinity which often prevents the application of techniques designed to deal with asymptotically Euclidean manifolds. For instance, it is not clear whether an argument similar to that used by Bray, Finster and Kath [6, 12, 13] could work to prove stability of the positive mass theorem for asymptotically hyperbolic manifolds. The difficulty comes from the fact that the spinor field in the proof of positive mass theorem in the work of Chruściel-Herzlich and Wang has more complicated behavior near infinity than the spinor field in Witten’s original argument [9, 32, 34]. Still, the argument of Lee [20] can be adapted to the asymptotically hyperbolic setting, although this adaptation is not straightforward, see the work of Dahl, Gicquaud and the first author in [10] for further details. Using this result, one may draw conclusions on convergence to hyperbolic space outside some compact set.

The current paper focuses on the much harder problem of understanding what happens inside the compact set. When studying the almost rigidity of a positive mass theorem in either setting one serious concern is that even if the mass is small, there still can be arbitrarily deep “gravity wells” and ”bubbles”. One avoids bubbles by restricting to the class of manifolds with no closed interior minimal surfaces. However, even in the spherically symmetric setting, Lee and the second author have constructed sequences of manifolds which develop increasingly deep gravity wells which do not converge in the smooth, Lipschitz or Gromov–Hausdorff sense to Euclidean space [22]. However they prove intrinsic flat convergence of the sequences. The intrinsic flat distance between Riemannian manifolds measures the filling volume between the spaces and will be described within. It was first introduced by the second author and Wenger [31] applying sophisticated ideas of Ambrosio and Kirchheim [3] extending earlier work of Federer and Fleming [11] and Whitney [33].

Lee and the second author proposed the Intrinsic Flat Almost Rigidity of the Euclidean Positive Mass Theorem Conjecture: *a sequence of asymptotically flat manifolds with nonnegative scalar curvature and no closed interior minimal surfaces whose ADM mass converges to* 0 *converges in the pointed intrinsic flat sense to Euclidean space.* They stated and then proved this conjecture in the spherically symmetric setting [22]. It was proven in the graph setting by Huang, Lee, and the second author in [18] applying prior work of Huang and Lee [17]. It was proven in the geometrostatic case by the second author with Stavrov [30]. See also related work [21] of Lee and the second author, where the almost rigidity of the Penrose inequality for spherically symmetric asymptotically Euclidean manifolds was studied, and a recent work [2] of Allen which addresses stability of positive mass theorem and Penrose inequality with respect to \(L^2\) metric convergence under the assumption that a smooth uniformly controlled solution of the inverse mean curvature flow exists.

Here we propose the Intrinsic Flat Almost Rigidity of the Hyperbolic Positive Mass Conjecture: *a sequence of asymptotically hyperbolic manifolds with*\(R \ge -m(m-1)\)*and no closed interior minimal surfaces whose mass converges to* 0 *converges in the pointed intrinsic flat sense to hyperbolic space.* To make this conjecture more precise we must identify where the points are located as we cannot allow them to diverge to infinity or descend into a gravity well. Thus we imitate one of the precise conjectures in [22], locating the points on constant mean curvature surfaces although it is possible we could locate them on other canonically defined surfaces.

### Conjecture 1.1

*D*around \(\Sigma \). Thus if \(p_j \in \Sigma _j\) then \((M_j,p_j)\) converges in the pointed intrinsic flat sense to \(({\mathbb {H}}^m, p_\infty )\).

Note that for a sufficiently large given area the choice of a constant mean curvature (CMC) surface with that given area is unique. There is in fact a canonical CMC foliation of asymptotically hyperbolic manifolds with \(R \ge -m(m-1)\) just as Huisken–Yau and others proved in the asymptotically Euclidean case [19]. Indeed in 2004, Rigger used Huisken–Yau’s method to prove the existence and uniqueness of such a foliation for manifolds asymptotic to the spatial anti-de Sitter–Schwarzschild solution [26]. This result was generalized by Neves and Tian [24, 25] and Chodosh [8]. Cederbaum, Cortier, and the first author proved that the CMC-foliation characterizes the center of mass in the hyperbolic setting [7]. Their work has been further generalized by Nerz [23] which surveys the prior work in this direction thoroughly.

Here we test the validity of our new conjecture by proving it in the spherically symmetric case (see Theorem 1.3 and Definition 1.2 within). This class of spaces includes anti-de Sitter-Schwarzschild manifolds (see Remark 3.4) and the asymptotically hyperbolic spherically symmetric gravity wells:

### Definition 1.2

Given \(m\ge 3\), let \({{\mathrm{SphSym}}}_m\) be the class of complete *m*-dimensional *SO*(*m*)-spherically symmetric smooth Riemannian manifolds with scalar curvature \(\mathrm {R}\ge -m(m-1)\) which have no closed interior minimal hypersurfaces and either have no boundary or have a boundary which is a stable minimal hypersurface. These spaces are warped products with metrics as in (22) satisfying (26) and (32).

Our main result is the following theorem.

### Theorem 1.3

*D*around \(\Sigma _0\). Precise estimates on \(\delta =\delta (\epsilon , A_0, D, m)\) are provided within the proof.

The paper is organized as follows. In Sect. 2 we review the key results and theorems about intrinsic flat convergence needed to prove our theorem. In Sect. 3 we summarize the properties of the spherically symmetric manifolds in \({{\mathrm{SphSym}}}_m\), provide the background material on the positive mass theorem and discuss some immediate consequences of having small mass in the spherically symmetric setting. These results are applied in Sect. 4, where we prove Theorem 1.3.

## 2 Estimating the intrinsic flat distance

In this section we review the definition of the intrinsic flat distance and the theorems we will apply to prove our main theorem. The notion was defined by the second author and Wenger [31] as a distance, \(d_{\mathcal {F}}(M^m_1, M^m_2)\), between oriented compact Riemannian manifolds with boundary, \(M^m_j\), and other more general spaces called integral current spaces. It was proven to satisfy symmetry, the triangle inequality, and most importantly, \(d_{\mathcal {F}}(M^m_1, M^m_2)=0\) if and only if there is an orientation preserving isometry between the spaces. In order to rigorously define the intrinsic flat distance and integral current spaces, and prove this theorem one needs the work of Ambrosio and Kirchheim [3] which builds upon the Geometric Measure Theory developed by Federer and Fleming [11].

### 2.1 Filling manifolds and excess boundaries

*m*-form \(\omega \) on \(Z^{m+1}\). In this case, \(B^{m+1}\) is called a

*filling manifold*between \(M_1\) and \(M_2\) and \(A^m\) is called the

*excess boundary*and each might have more than one component.

### 2.2 Distance preserving embeddings versus riemannian isometric embeddings

If one were to use Riemannian isometric embeddings in the definition of intrinsic flat distance then any manifold would lie arbitrarily close to any other manifold, as one could create a warped product through a point between them of arbitrarily small volume. For example, take \(\psi : {\mathbb {S}}^1 \rightarrow Z^2\) mapping to the \(\epsilon \) level set of \(Z^2= [0, \epsilon ] \times _f {\mathbb {S}}^1\) where *f* increases from \(f(0)=0\) to \(f(\epsilon )=1\). This is a Riemannian isometric embedding and the \({\text {Vol}}(Z^2)< \epsilon \). The reader should be warned that distance preserving embeddings as in (7) are called “isometric embeddings” by metric geometers like Gromov, Ambrosio, Kirchheim and the second author in some of her papers.

In many settings it is far easier to construct a Riemannian isometric embedding than it is to find a distance preserving embedding. In fact we will be constructing Riemannian isometric embeddings in this paper from the regions in our spherically symmetric asymptotically hyperbolic manifolds into \({\mathbb {H}}^m \times \mathbb {R}\) with the standard product metric. Once we have constructed those Riemannanian isometric embeddings we will need to construct filling spaces *Z* and distance preserving embeddings of our regions into *Z*. The following collection of theorems proven by Lee and the second author in [22] will enable us to complete these constructions.

We begin with a definition which quantifies how far a Riemannian isometric embedding is from a distance preserving embedding:

### Definition 2.1

In [22] Lee and the second author prove the following theorem:

### Theorem 2.2

*W*is a Riemannian manifold with boundary. Viewed as a Riemannian isometric embedding into \(W\times \mathbb {R}\), the embedding constant satisfies

Note that a better estimate for \(C_M\) is available, see [22, Remark 3.7]. However, the estimate (10) suffices for the purposes of the current paper.

### 2.3 Constructing filling manifolds

We now present a few theorems from the work of Lee and the second author [22] which start with a pair of manifolds that have Riemannian isometric embeddings into a common manifold, and then construct a new space *Z* into which they have distance preserving embeddings. These theorems allow us to estimate the intrinsic flat distances between these manifolds.

We begin with the basic construction:

### Theorem 2.3

*Z*, by attaching a strip of width \(S_M\) to the manifold

*N*as follows:

*M*into the far side of the strip given by

*Z*, denoted \(d_Z\), are found by taking the infimum of lengths of curves in

*Z*just as in any Riemannian manifold.

As a consequence of Theorem 2.3, the following bound on the intrinsic flat distance was obtained in [22]. We start with two manifolds isometrically embedded into a third, and then *Z* is constructed by applying Theorem 2.3 twice, building a strip for each \(M_i\). The intrinsic flat distance between the \(M_i\) is then the sum of the volumes of the strips and their boundaries and the volume between the Riemannian isometric embeddings and the last piece of excess boundary.

### Theorem 2.4

In a more general case when a pair of manifolds does not have global Riemannian isometric embeddings into a common manifold \(N^{m+1}\) the following result from [22] can be applied. Here we have only regions \(U_i \subset M_i\) which embed into a common \(N^{m+1}\) so the regions are used to construct the strips and the extra parts of \(M_i \setminus U_i\) are just extra pieces of excess boundary.

### Theorem 2.5

It should be noted that there are many other ways of estimating intrinsic flat distances and indeed such methods are applied in papers exploring the almost rigidity of the positive mass theorem in settings without rotational symmetry.

## 3 Scalar curvature and mass in asymptotically hyperbolic setting

This section is organized as follows. In the first subsection we briefly review the properties of spherically symmetric manifolds and the key formulas defining their mass. In the next subsection we embed a manifold in this class into \(\mathbb {H}^m\times \mathbb {R}\) as a graph and review the positive mass theorem and the monotonicity of the Hawking mass. In the third subsection we explore geometric implications of having a small mass and prove key lemmas which will be applied later for proving the stability of the positive mass theorem. We are deliberately imitating the methods used by Lee and the second author in [22] to make this easier to read for those who know that work.

### 3.1 Understanding mass in our setting

When \(\partial M=\emptyset \) then \(f(0)=f_{\textit{min}}=0\) and \(f(s)\ge f(0)\) by smoothness at the pole, \(p_0\), where *s* is the distance from the pole. When \(\partial M \ne \emptyset \) the definition of \({{\mathrm{SphSym}}}\) states that \(\partial M\) is a stable minimal surface so \(f(0)=f_{\textit{min}}>0\) and \(f'(0)=0\) and \(f(s)\ge f(0)\) in that case as well. In this case *s* is the distance from \(\partial M\).

*s*from the pole or boundary. We then have the following formulae for the “area” and mean curvature of \(\Sigma '_s\):

*A*(

*s*) is increasing and we can uniquely define our rotationally symmetric constant mean curvature spheres

### Remark 3.1

### 3.2 Finding a Riemannian isometric embedding

Since our manifolds are spherically symmetric and asymptotically hyperbolic we can embed them into \(\mathbb {H}^m \times \mathbb {R}\) with the standard product metric as follows:

### Lemma 3.2

*r*:

### Proof

*s*is a distance function, we need to define

*z*(

*r*) so that

*r*follow from the corresponding equations in

*s*(see Sect. 3.1). \(\square \)

### 3.3 Reviewing rigidity when the mass is zero

We now review the proof of the Hyperbolic Positive Mass Theorem and Penrose Inequality in the spherically symmetric setting, as this helps convey what to expect when proving our main theorem. It is the quantitative nature of the proof of these theorems in this setting that makes it possible to prove our conjecture. There is no quantitative proof of the Hyperbolic Positive Mass Theorem without such strong symmetry. The key here is the monotonicity of Hawking mass:

### Theorem 3.3

### Remark 3.4

### Proof

When \(\mathrm {m}_{\mathrm {AH}}=0\), we have \(z'(r)=0\) so \(z \equiv z_{\textit{min}}\) and \(M^m\) is the hyperbolic space. Observe that in this case \(r_{\textit{min}}\) must be 0 because \(r_{\textit{min}}>0\) forces the existence of a minimal surface at the boundary, and coordinate spheres are not minimal in hyperbolic space. \(\square \)

Note that in the above proof we not only proved that when the mass is 0 our manifold is isometric to Hyperbolic space, but in fact it embeds naturally with \(z'(r)=0\). When the mass is almost 0 one might hope that we would have \(z'(r)\) close to 0 but that is not true. There can be a deep well or horizon where \(z'(r)\) is arbitrarily large for small values of *r*. Examples of this sort are constructed explicitly in [22] and could easily be done in this setting as well.

### 3.4 Preparing for deep apparent horizons

The following lemma will be useful for dealing with “deep apparent horizons” that may occur in sequences satisfying the hypothesis of Theorem 1.3:

### Lemma 3.5

*z*hold on

*M*:

*M*,

*g*) is hyperbolic space.

There is a similar lemma in [22] but here things are a little more complicated as they are throughout.

### Proof

It is clear from the proof of the Lemma 3.2 that \(z'(r) > 0\) unless \(\mathrm {m}_{\mathrm {H}}(r) = 0\). If \(\partial M \ne \emptyset \) then by (33) and monotonicity of Hawking mass we have \(\mathrm {m}_{\mathrm {H}}(r)>0\), and hence \(z'(r) > 0\), for all \(r \ge r_{\textit{min}}\). Replacing \(dr=(z'(r))^{-1} dz\) yields the stated formula for *g*, and the rest of the formulae follow from the respective equations of Lemma 3.2.

*M*. Otherwise, if the Hawking mass is not strictly positive for \(r>0\), define \(r_{{disk}}\) by

*M*,

*g*) is hyperbolic space. \(\square \)

### 3.5 Bounding the diameter of the boundary

In this subsection we use the mass \(\mathrm {m}_{\mathrm {AH}}\) to bound the diameter of the boundary of the manifold:

### Lemma 3.6

### Proof

### 3.6 Lipschitz control away from the center

Here we see that if we avoid small values of *r*, where there might be a deep well or a deep horizon, we obtain Lipschitz controls on \(z=F(r)\) where we have embedded as in Lemma 3.2. These controls will allow us to estimate the embedding constants of annular regions in our embedded manifolds.

### Lemma 3.7

### Proof

## 4 Almost rigidity of the positive mass theorem

In this section we will prove Theorem 1.3 following a method very similar to that used in [22], which can be briefly described as follows. We wish to estimate the intrinsic flat distance between the two tubular neighborhoods, \(T_D(\Sigma _{\alpha _0})\subset M^m\) and \(T_D(\Sigma _{\alpha _0})\subset {\mathbb {H}}^m\) by constructing an explicit filling between them. By Lemma 3.2, both \(M^m\) and \({\mathbb {H}}^m\) have Riemannian isometric embeddings into \(N^{m+1}={\mathbb {H}}^{m}\times {\mathbb {R}}\). In fact the isometric embedding of \({\mathbb {H}}^m\) is distance preserving. We will then use Theorem 2.3 to construct a filling space *Z* from \(N^{m+1}\) by adding a strip for \(M^m\). This will allow to explicitly estimate the intrinsic flat distance by adding up the appropriate volumes of the strips and the regions between the embeddings in \(N^{m+1}\).

The difficulty arises when we note that we only have a small embedding constant for annular regions in our manifold that avoid possible deep wells and deep horizons. Without a small embedding constant, the volumes in the strips will be too large. Thus we will cut off the deep wells at a carefully chosen radius \(r_\epsilon \), and only embed the annular regions beyond \(r_\epsilon \) into \(N^{m+1}\). We will then estimate the intrinsic flat distance using Theorem 2.5.

### 4.1 Constructing Z

We will use the same notation that was used by Lee and the second author in [22] to label all the relevant regions that will be used in the construction of the filling space. See Fig. 1. These are regions whose volumes will later need to be estimated to compute the intrinsic flat distance.

*r*is a distance function, we have

Applying Theorem 2.5 we have the following proposition. See Fig. 1.

### Proposition 4.1

The proof of Theorem 1.3 will be completed by estimating the volumes of these regions.

### 4.2 Cutting off the deep wells

In this section we carefully determine where to cut off a possibly deep well.

### Lemma 4.2

### Proof

*D*about \(\Sigma _0\). Observe that the cylinder

### 4.3 Initial restriction on \(\delta \) for Theorem 1.3

Recall that in Theorem 1.3 we are given any \(\epsilon >0\), \(D>0\), \(A_0>0\) and \(m\in \mathbb {N}\), and must choose \(\delta =\delta (\epsilon , D, A_0, m)>0\) depending only on these parameters such that if \(M^m\in {{\mathrm{SphSym}}}_m\) has mass, \(\mathrm {m}_{\mathrm {AH}}(M)<\delta \) we will have our estimate on the intrinsic flat distance. Here we will start choosing a number \(\delta >0\) which will give us strong enough control to bound \(|F'|\) which will then bound the embedding constant and the width of the strip.

### Lemma 4.3

### Proof

*r*. \(\square \)

Note that the results of Sect. 4.2 allow us to control all regions with \(r<r_\epsilon \). Lemma 4.3 will enable us to controll the remaining regions of interest by taking \(\delta \) small enough.

### 4.4 Estimating the regions in hyperbolic space

In this section we estimate the volumes of the regions \(A_0\) and \(A_{2}\) proving Lemma 4.4 and Lemma 4.5.

### Lemma 4.4

### Proof

Recall that the region \(A_{2,2}\) in (83) is only defined when \(r'_\epsilon \le r_{D-}\), in which case \(r_\epsilon = r_{D-}\). This condition is assumed in the following lemma estimating the volume of \(A_{2,2}\).

### Lemma 4.5

### Proof

### 4.5 Controlling the width of the strip

### Lemma 4.6

### Proof

### 4.6 Volume estimates and the proof of Theorem 1.3

In this section we complete the proof of Theorem 1.3 by estimating the volumes of the filling manifold \(B_1\cup B_2\) and the excess boundary *A* and applying (88) as required in Proposition 4.1.

### Proof

## Notes

### Acknowledgements

The authors would like to thank the organizers of the Mathematical General Relativity Program at MSRI and especially James Isenberg, Piotr Chruściel, Greg Galloway, and Richard Schoen for encouraging everyone to work together so actively. We would also like to thank Hélène Barcelo and David Eisenbud for everything they do to make MSRI such an amazing place work. The time we spent there was invaluable to our careers. We would also like to thank Hubert Bray, Otis Chodosh, Greg Galloway, and Pengzi Miao for organizing the AMS Special Session at Charleston where we completed this first paper in our international collaboration. We hope to have many more delightful interactions with everyone for years to come.

### References

- 1.Abbott, L.F., Deser, S.: Stability of gravity with a cosmological constant. Nucl. Phys. B
**195**(1), 76–96 (1982)ADSCrossRefMATHGoogle Scholar - 2.Allen, B.: Inverse mean curvature flow and the stability of the positive mass theorem and Riemannian Penrose inequality under \(l^2\) metric convergence (2017). Preprint on arXiv:1705.00591
- 3.Ambrosio, L., Kirchheim, B.: Currents in metric spaces. Acta Math.
**185**(1), 1–80 (2000)MathSciNetCrossRefMATHGoogle Scholar - 4.Andersson, L., Cai, M., Galloway, G.J.: Rigidity and positivity of mass for asymptotically hyperbolic manifolds. Ann. Henri Poincaré
**9**(1), 1–33 (2008)ADSMathSciNetCrossRefMATHGoogle Scholar - 5.Ashtekar, A., Magnon, A.: Asymptotically anti-de Sitter space-times. Class. Quantum Grav.
**1**(4), L39–L44 (1984)ADSMathSciNetCrossRefGoogle Scholar - 6.Bray, H., Finster, F.: Curvature estimates and the positive mass theorem. Commun. Anal. Geom.
**10**(2), 291–306 (2002)MathSciNetCrossRefMATHGoogle Scholar - 7.Cederbaum, C., Cortier, J., Sakovich, A.: On the center of mass of asymptotically hyperbolic initial data sets. Ann. Henri Poincaré
**17**(6), 1505–1528 (2016)ADSMathSciNetCrossRefMATHGoogle Scholar - 8.Chodosh, O.: Large isoperimetric regions in asymptotically hyperbolic manifolds. Commun. Math. Phys.
**343**(2), 393–443 (2016)ADSMathSciNetCrossRefMATHGoogle Scholar - 9.Chruściel, P.T., Herzlich, M.: The mass of asymptotically hyperbolic Riemannian manifolds. Pac. J. Math.
**212**(2), 231–264 (2003)MathSciNetCrossRefMATHGoogle Scholar - 10.Dahl, M., Gicquaud, R., Sakovich, A.: Asymptotically hyperbolic manifolds with small mass. Commun. Math. Phys.
**325**(2), 757–801 (2014)ADSMathSciNetCrossRefMATHGoogle Scholar - 11.Federer, H., Fleming, W.H.: Normal and integral currents. Ann. Math.
**2**(72), 458–520 (1960)MathSciNetCrossRefMATHGoogle Scholar - 12.Finster, F.: A level set analysis of the Witten spinor with applications to curvature estimates. Math. Res. Lett.
**16**(1), 41–55 (2009)MathSciNetCrossRefMATHGoogle Scholar - 13.Finster, F., Kath, I.: Curvature estimates in asymptotically flat manifolds of positive scalar curvature. Commun. Anal. Geom.
**10**(5), 1017–1031 (2002)MathSciNetCrossRefMATHGoogle Scholar - 14.Gibbons, G.W.: Some comments on gravitational entropy and the inverse mean curvature flow. Class. Quantum Grav.
**16**(6), 1677–1687 (1999)ADSMathSciNetCrossRefMATHGoogle Scholar - 15.Gibbons, G.W., Hawking, S.W., Horowitz, G.T., Perry, M.J.: Positive mass theorems for black holes. Commun. Math. Phys.
**88**(3), 295–308 (1983)ADSMathSciNetCrossRefGoogle Scholar - 16.Herzlich, M.: Mass formulae for asymptotically hyperbolic manifolds. In: AdS/CFT correspondence: Einstein metrics and their conformal boundaries. IRMA Lectures in Mathematics and Theoretical Physics, vol. 8, pp. 103–121. European Mathematical Society, Zürich (2005)Google Scholar
- 17.Huang, L.-H., Lee, D.A.: Stability of the positive mass theorem for graphical hypersurfaces of Euclidean space. Commun. Math. Phys.
**337**(1), 151–169 (2015)ADSMathSciNetCrossRefMATHGoogle Scholar - 18.Huang, L.-H., Lee, D.A., Sormani, C.: Intrinsic flat stability of the positive mass theorem for graphical hypersurfaces of Euclidean space. J. Reine Angew. Math.
**727**, 269–299 (2017)Google Scholar - 19.Huisken, G., Yau, S.-T.: Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature. Invent. Math.
**124**(1–3), 281–311 (1996)ADSMathSciNetCrossRefMATHGoogle Scholar - 20.Lee, D.A.: On the near-equality case of the positive mass theorem. Duke Math. J.
**148**(1), 63–80 (2009)ADSMathSciNetCrossRefMATHGoogle Scholar - 21.Lee, D.A., Sormani, C.: Near-equality of the Penrose inequality for rotationally symmetric Riemannian manifolds. Ann. Henri Poincaré
**13**(7), 1537–1556 (2012)ADSMathSciNetCrossRefMATHGoogle Scholar - 22.Lee, D.A., Sormani, C.: Stability of the positive mass theorem for rotationally symmetric Riemannian manifolds. J. Reine Angew. Math.
**686**, 187–220 (2014)MathSciNetMATHGoogle Scholar - 23.Nerz, C.: Existence and uniqueness of constant mean curvature foliations of general asymptotically hyperbolic 3-manifolds (2017). Preprint on arXiv:1608.03742
- 24.Neves, A., Tian, G.: Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds. Geom. Funct. Anal.
**19**(3), 910–942 (2009)MathSciNetCrossRefMATHGoogle Scholar - 25.Neves, A., Tian, G.: Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds. II. J. Reine Angew. Math.
**641**, 69–93 (2010)MathSciNetMATHGoogle Scholar - 26.Rigger, R.: The foliation of asymptotically hyperbolic manifolds by surfaces of constant mean curvature (including the evolution equations and estimates). Manuscr. Math.
**113**(4), 403–421 (2004)MathSciNetCrossRefMATHGoogle Scholar - 27.Schoen, R., Yau, S.T.: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys.
**65**(1), 45–76 (1979)ADSMathSciNetCrossRefMATHGoogle Scholar - 28.Schoen, R., Yau, S.T.: Proof of the positive mass theorem. II. Commun. Math. Phys.
**79**(2), 231–260 (1981)ADSMathSciNetCrossRefMATHGoogle Scholar - 29.Schoen, R., Yau, S.T.: Positive scalar curvature and minimal hypersurface singularities (2017). Preprint on arXiv:1704.05490
- 30.Sormani, C., Stavrov, I.: Geometrostatic manifolds of small ADM mass (2017). Preprint on arXiv:1707.03008
- 31.Sormani, C., Wenger, S.: Intrinsic flat convergence of manifolds and other integral current spaces. J. Differ. Geom.
**87**, 117–199 (2011)CrossRefMATHGoogle Scholar - 32.Wang, X.: The mass of asymptotically hyperbolic manifolds. J. Differ. Geom.
**57**(2), 273–299 (2001)MathSciNetCrossRefMATHGoogle Scholar - 33.Whitney, H.: Geometric Integration Theory. Princeton University Press, Princeton (1957)CrossRefMATHGoogle Scholar
- 34.Witten, E.: A new proof of the positive energy theorem. Commun. Math. Phys.
**80**(3), 381–402 (1981)ADSMathSciNetCrossRefMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.