arxiv: v1 [math.dg] 29 Nov 2018

Transcription

1 Existence of CMC-foliations in asymptotically cuspidal manifolds Claudio Arezzo and Karen Corrales arxiv: v1 [math.dg] 29 Nov 2018 Abstract In this paper we prove existence and uniqueness of a CMC foliation in asymptotically cuspidal manifolds. Moreover, we study the isoperimetric problem in this case. Our proof does not require any curvature assumption and it holds for any dimension. 1 Introduction One of the most classical questions in studying the Riemannian properties of a manifold M, g is to describe its constant mean curvature CMC submanifolds. Besides some beautiful classical results inspired by the celebrated Alexandrov Theorem [2] in space forms, a general study of existence and uniqueness of foliations with stable CMC hypersurfaces has started in the nineties thanks to the work of Ye [25], who found sufficient conditions for the existence of a CMC foliation by spheres in a small neighbourhood of a point, and by Huisken-Yau [11] for the existence of a CMC foliation by spheres at infinity of an asymptotically Schwarzschild end of a complete manifold. These two works have motivated a huge amount of further research: as for Ye s Theorem, his sufficient conditions have been later weakened in a number of ways for example by [13, 15, 20], while Huisken- Yau s work, seen as a first case of an asymptotically Euclidean manifold, has generated a almost complete study about existence and uniqueness of CMC foliations at infinity and the isoperimetric properties of the leafs in the classical trichotomy in Riemannian geometry for which we collect a non-exhaustive but illustrative summary: Positive curvature: The exact spherical case was studied by Brendle [5] as a particular case of a general theory he developed for warped products manifolds. In this case he has shown the validity of a strong Alexandrov-type Theorem. Existence and uniqueness of a CMC foliation in the asymptotic case is, to be best of authors knowledge, an open problem. Zero curvature: Because of its natural interest and its applications in General Relativity, this is by far the most studied case since the starting results by Huisken-Yau in the special case of asymptotically Schwarzschild case in dimension 3. Beautiful generalizations to any dimension and to general asymptotically flat cases can be found in [4, 8, 9, 10, 16, 21]. Negative curvature: The analogous question in the asymptotically hyperbolic setting has started by Rigger [22], Neves-Tian [17, 18] and Mazzeo-Pacard [14], for the Anti-de Sitter-Schwarzchild asymptotics and the conformally compact case. More recently, Chodosh [6] studied large isoperimetric regions in asymptotically hyperbolic manifolds, while Ambrozio [3] and Lancini [12] managed to give a quantitative version of some of the previous results and to apply them provide a partial solution to the Penrose Inequality in this setting. In all these results the model space at infinity is taken to be of infinite volume. 1

2 The original motivation of this paper was to complete the above picture in the negative curvature case by analysing the finite volume situation, still extensively studied especially in connection with classical hyperbolic geometry and known as cusps in its literature. In doing so, it turned out that the answer to this problem does not depend on any curvature assumption but just on the requirement on the cuspidal radial behaviour of the Riemannian metric at the ends: Definition 1.1. i Given a compact Riemannian n-manifold, ḡ, we say that is a cusp with slice, ḡ. N, g N = 0,, dr 2 + e 2r ḡ ii A complete n+1-dimensional Riemannian manifold M, g is called C k,β -asymptotically cuspidal of order α = α 1,..., α k, α l > 0 l = 1,..., k, if there exists a compact subset K M such that M \ K k l=1 0, l = k l=1 N l, For every l, the restriction of the diffeomorphism above Φ l : 0, l M \ K verifies Φ l g = g N l + h l, where h l ij C k,β N l Ce rα l, for some C > 0. It is immediate to observe that N has finite volume, the area of slices {r} decreases exponentially in r, and the scalar curvature R gn of N is given by R gn = e 2r Rḡ nn + 1, hence it is bounded only for scalar flat slices. Moreover each slice {r} has constant mean curvature equal to n with respect to the unit normal vector r. Our main results, Theorems 3.3, 4.3 and 5.2, provide existence, local uniqueness and the isoperimetric property of a CMC foliation near infinity for any asymptotically cuspidal manifold. It can be summarized as follows Theorem 1.2. Given a C 2,β -asymptotically cuspidal manifold M, g with α l > 4, l = 1,..., k. Then, for every l holds: i there exists R l > 0 such that for every r > R l there exists a constant CR l > 0 and a unique function u l r C 2,β l with zero mean value such that u l r C 2,β l Ce rαl 2 and S r u l r = {r + u l r x x l } N l has constant mean curvature, with respect to the metric Φ l g; ii having denoted by Hr, u l r, g to the mean curvature of S r u l r with respect to the metric g, we have the mean curvature of the CMC perturbed slices above satisfies for some constant c; Hr, u l r, Φ l g = n + ce rα l 4, iii there exists R l R l > 0 such that {S r u l r } r Rl, gives a CMC foliation of a non-compact region of each cuspidal end of M, g. Moreover each leaf of this foliation is a stable critical point of the perimeter functional with volume constraint. 2

3 iv ɛ 0 > 0 s.t. ɛ < ɛ 0, the boundary of the isoperimetric region of volume ɛ is given by S r u l r, for some l. It is interesting to put the above result also in light of a purely PDE s approach. All cases appearing in the Riemannian trichotomy mentioned above, fall into the category of warped product metrics, g = dr 2 + φr 2 ḡ, and it is easy to see that the linearized mean curvature operator takes the form L r u = φ 2 r ḡu + nu φr 2 φr φr. Of course failure of invertibility of this operator gives one measure of the difficulty of the problem studied in this paper. From this point of view, while at one of the spectrum we find Schwarzschild, Anti-de Sitter- Schwarzschild, and non-trivial cones in the sense of [7], where the above operator is actually invertible. At the other extreme, we find the general Euclidean case or the spherical one. In this perspective, it is immediate to see that the cuspidal case is actually the only case where the kernel of L r is non-zero and it is spanned by constant functions. Remark 1.3. It would be interesting to investigate the relationship between the cuspidal case here studied and the original Ye s problem for small neighbourhoods of Riemannian manifolds. It is in fact easy to observe that if, ḡ is the round sphere then, under the change of coordinates s = e er, for s 0, e 2u 0 s g N + h ds 2 + s 2 2 ḡ + O, log s if h ij C k,β N Ce rα, where u 0 = r e r and α > 4 as in our results. It seems quite intriguing to study the correspondence between Ye s foliation and ours via this conformal change. The organization of the paper is as follows: In Section 2, we will collect basic facts, notations and properties of asymptotically cuspidal manifolds and mean curvature. Section 3 will be devoted to provide a proof of parts i and ii of Theorem 1.2. In Section 4, we give an alternative proof of part i which allows also to prove part iii. Finally, Section 5 contains the proof of part iv. Aknowledgements: During the preparation of this work we benefited from many beautiful and instructive discussions with Francesco Maggi, Samuele Lancini and Lorenzo Mazzieri for which we are deeply grateful. 2 Preliminaries Throughout this paper, we will consider M, g as a C 2,β -asymptotically cuspidal manifold of order α > 4 and as a common notation, the geometric quantities relative to, ḡ will be over line. All the proofs involve working on one end at each time, so from now on, we assume l = 1, α = α 1 and α 1 = α. For simplicity, we will refer to each end as N = 0,, g = g N + h. Definition 2.1. Let r 0 > 0 and u C 2,β with β 0, 1. We define the hypersurface as the graph of u over the slice r0 := {r 0 }. S r0 u = {r 0 + ux, x x } N, 3

4 It is convenient to write S r0 u as a level set of a function and to find a suitable set of coordinates on N adopted to the graph of u. So, we set F : 0, R, F r, x = r r 0 + ux, x = x 1,, x n. Straightforward computations on F imply the following Proposition 2.2. If k denotes the partial derivative with respect x k, then i The vectors { k u r + k } are g-orthogonal to F. ii F = 1 + e 2r u 2 ḡ + E F, where E F = E F r, h, k u, k u 2. ii There exists a constant C 1 such that E F u = 0 C 0,β C 1 e r 0α. Therefore, the seeked set of coordinates on S r0 u is given by { ˆ F = F 2 F, ˆ k = k u r + k } and the metric g in this coordinates is given by g F F := g ˆ F, ˆ F = F 2 g F j := g if = g ˆ F, ˆ j = g ˆ i, ˆ F = 0 g ij := g ˆ i, ˆ j = i u j ug 00 + i ug 0j + j ug i0 + g ij. 1 Given a function u C 2,β, we will denote by Hr 0, u, g to the mean curvature of S r0 u with respect to the metric g. The following formula, inspired by [12] for the hyperbolic case of infinite volume, will be crucial for the rest of the paper Proposition 2.3. Let u C 2,β be a positive function. Then the mean curvature Hr 0, u, g satisfies Hr 0, u, g 1 + e 2r u 2 ḡ + E F = e 2r ḡu + e 4r Hess ḡu u, u 1 + e 2r u 2 ḡ where r = r 0 + ux and E H = E H r, h, k h, k u, 2 ij u. e2r u 2 ḡ 1 + e 2r u 2 n + E H, ḡ Proof. In coordinates { ˆ F, ˆ i } on the graph S r0 u, the coefficients of the second fundamental form is defined by ÎI ij = ĝ ˆ i ˆ j, νs r0 u, where νs r0 u = F ˆ F is the unit normal vector to S r0 u. Following equation 1, we have ÎI ij = F ĝ ˆΓk ij ˆ k, ˆ F = F ˆΓ F ijĝ F F = F 1 HessF ˆ i, ˆ j. Therefore, the mean curvature Hr 0, u, g in coordinates { ˆ F, ˆ i }, is given by Hr 0, u, g = F 1 ĝ ij HessF ˆ i, ˆ j. 2 4

5 First, we compute the Hessian in coordinates {r, x i } HessF ˆ i, ˆ j = HessF i u r + i, j u r + j [ ] [ ] = i u j u Γ Γ k 00 k u + i u Γ 0 0j + Γ k 0j k u [ ] [ ] + j u Γ 0 0i + Γ k 0i k u + Γ 0 ij iju 2 + Γ k ij k u where Straightforward computations show that Christoffel symbols are given by Thus, HessF ˆ i, ˆ j Γ 0 00 = H 000 = Oe rα, Γ k 00 = H 00k = Oe rα 2, Γ 0 0j = H 0j0 = Oe rα, Γ 0 ij = e 2r ḡ ij + H ij0 = e 2r ḡ ij + Oe rα, Γ k 0i = δ k i + H 0ik = δ k i + Oe rα 2, Γ k ij = Γ k ij + H ijk = Γ k ij + Oe rα 2 = 2 i u j u e 2r ḡ ij 2 iju + Γ k ij k u + E Hess ij r, h, k h, k u, k u 2, 3 E Hess ij = H 000 i u j u H 0j0 i u H 0i0 j u H ij0 + On the other hand, a direct computation shows that inverse metric satisfies where h = Oe rα. Then, n H 00k + H 0jk + H 0ik + H ijk k u. k=1 ĝ ij = e 2r ḡ ij + h ij g 00g ik k ug jl l u 1 + u 2 g 00, ĝ ij = e 2r ḡ ij + h ij e4r ḡ ik k uḡ jl l u 1 + e 2r u 2 ḡ + e ij 2 + eij 1. where e ij 1 = e 4r h 00 ḡ ik k uḡ jl l u + [e 2r ḡ ik k u h jl l u + ḡ jl l u h ik k u + h ik k u h jl l u]1 + h e 2r u 2 ḡ + h ij i u j u1 + h 00 e 4r ḡ ik k uḡ jl l u e 2r h 00 u 2 e ij 2 = ḡ + h ij i u j u1 + h e 2r u 2 ḡ 1 + e 2r u 2 ḡ + h ij i u j u1 + h 00 Thus, ĝ ij = e 2r ḡ ij e4r ḡ ik k uḡ jl l u 1 + e 2r u 2 ḡ + Êij r, h, k u 2, k u

6 where, Êij = h ij + e ij 1 + eij 2. Therefore, using Proposition 2.2ii and replacing the equations 3 and 4 in 2, we obtain Hr 0, u, g 1 + e 2r u 2 ḡ + E F = e 2r ḡu + e 4r Hess ḡu u, u 1 + e 2r u 2 ḡ e2r u 2 ḡ 1 + e 2r u 2 n + E H, ḡ where E H = E H r, h, k h, k u, 2 iju = ĝ ij E Hess ij + Êij HessF ˆ i, ˆ j Êij E Hess ij. 5 Notice that in the model case g = g N, the mean curvature of the graph S r0 u is just 1 Hr 0, u, g N = e 2r ḡu + e 4r Hess ḡu u, u 1 + e 2r u e 2r u 2 e2r u 2 ḡ ḡ ḡ 1 + e 2r u 2 ḡ n. 6 The first important application of Proposition 2.3 is Corollary 2.4. There exists a constant C 2 such that Proof. Following the equations3 and 4, we have and E H u = 0 C 0,β C 2 e r 0α 2. E Hess ij u = 0 = H ij0 = Oe rα, 7 Ê ij u = 0 = h ij = Oe rα. 8 Therefore, Proposition 2.3 implies 1 + E F u = 0 Hr 0, 0, g = n + E H u = 0 = n + Oe rα 2. On the other hand, if we consider a normal variation of the slice r0, i.e. S r0 tu = {r 0 + tux, x x }, and we denote by Hr 0, tu, g its mean curvature. Then Proposition 2.5. Hr 0, u, g = Hr 0, 0, g + d Hr 0, tu, g + d2 t=0 dt t=0 dt 2 Hr 0, tu, g E F t = 0 d Hr 0, tu, g = e 2r 0 ḡu + E L, dt t=0 where E L = E L r 0, h, k h, u, k u, 2 ij u. Moreover, there exists R 1 > 0 such that if r 0 > R 1 there exists a constant C 3 such that E L C 0,β C 3 e r 0α 4 u C 2,β. 6

7 Proof. Using Proposition 2.3, we obtain that the mean curvature of S r0 tu satisfies Hr 0, tu, gf 1 t = 5 f i t, 10 i=2 where f 1 t = 1 + e 2rt t 2 u 2 ḡ + E F t, f 2 t = e 2rt t ḡu, f 3 t = e 4rt t 3 Hess ḡu u, u 1 + e 2rt t 2 u 2, ḡ f 4 t = e2rt t 2 u 2 ḡ 1 + e 2rt t 2 u 2, f 5 t = n + E H t, r t = r 0 + tu. ḡ Taking derivatives in both sides of the equation 10, we obtain Thus, it is easy to compute f 10Hr 0, 0, g + f 1 0 d Hr 0, tu, g = dt t=0 f 1 0 = 1 + E F 0 f 10 1 = 2 d E F 1 + E F 0 dt t=0 f 30 = f 40 = 0 f 50 = d E H dt t=0 5 f i0. i=2 f 20 = e 2r 0 ḡu Therefore, following Corollary 2.4, we have 1 + E F 0 d Hr 0, tu, g = e 2r 0 ḡu + d E H + n EH 0 d dt t=0 dt t= E F E F. 0 dt t=0 Moreover, from Proposition 2.2 we get that there exists a constant c 1 such that d E F c 1 e rα 2 u dt C 2,β t=0. 11 Analogously, from Proposition 2.3 it is possible to estimate that the derivative with respect t at t = 0 of E H depends on {r 0, h, k h, u, k u, ij 2 u}. Specifically, equations 3, 4 and 5 imply HessF ˆ i, ˆ j t = 2t 2 i u j u e 2rt ḡ ij t iju 2 + t Γ k ij k u + Eij Hess t, ĝ ij t = e 2rt ḡ ij e4rt t 2 ḡ ik k uḡ jl l u 1 + e 2rt t 2 u 2 ḡ E H t = ĝ ij te Hess ij + Êij t, t + Êij thessf ˆ i, ˆ j t Êij teij Hess t. Thus, using 7 and 8 we get HessF ˆ i, ˆ j 0 = e 2r0ḡ ij + Eij Hess 0 = e 2r0ḡ ij H ij0 ĝ ij 0 = e 2r0ḡ ij + Êij 0 = e 2r0ḡ ij + h ij, 7

8 and d HessF ˆ i, dt ˆ j = 2ue 2r0ḡ ij 2 t=0 iju + Γ k ij k u + d Eij Hess dt t=0 d ĝ ij = 2ue 2r0ḡij + d Ê ij, dt t=0 dt t=0 where there exist constants c 2, c 3 such that d E Hess ij dt t=0 c 2e r0α 2 u C 2,β, Therefore, d Ê ij c 3 e r0α u dt C 2,β t=0. d E H = e 2r0ḡij d Eij Hess 2ue 2r0ḡij H ij0 + dt t=0 dt h ij 2ue 2r0ḡ ij 2 t=0 iju + Γ k ij k u e 2r0ḡ d ij Ê ij + dt h ij d E Hess d ij H ij0 Ê ij, t=0 dt t=0 dt t=0 and then, there exists a constant c 4 such that d E H c 4 e r0α 4 u dt C 2,β t=0. 12 Finally, we get 1 + E F 0 d Hr 0, tu, g = e 2r 0 ḡu + d E H + n EH 0 d dt t=0 dt t= E F E F, 0 dt t=0 }{{} E L and using 11 and 12 we get that there exists R 1 > 0 such that if r 0 > R 1 there exists a constant C 3 such that E L C 0,β C 3 e r 0α 4 u C 2,β. Now, we need to understand the structure of the quadratic part of the mean curvature operator Proposition E F t = 0 d2 t=0 dt 2 Hr 0, tu, g = 4e 2r 0 u ḡu 2e 2r 0 u 2 ḡ + ne2r0 u 2 ḡ 1 + E F t = 0 + EQ, where E Q = E Q r 0, h, k h, u, u 2, k u, u k u, k u 2, u 2 ij u, ku 2 ij u. Moreover, there exists R 2 > 0 such that if r 0 > R 2, there exists a constant C 4 such that E Q C 0,β C 4 e r 0α 4 u 2 C 2,β. Proof. Analogously to Proposition 2.5, with the same notations, we take second derivatives in both sides of the equation Hr 0, 0, g + 2f 10 d Hr 0, tu, g + f 1 0 d2 t=0 dt t=0 dt 2 Hr 0, tu, g = f 5 i=2 f i

9 Thus, it is easy to compute f 1 0 = 1 + E F 0, f 10 = EF 0 2f 1 0, f 1 0 = e2r 0 u 2 ḡ + E F 0 EF 0 2 f 1 0 2f 1 0 3, f 2 0 = 4e 2r 0 u ḡu, f 3 0 = 0, f 4 0 = 2e 2r 0 u 2 ḡ, f 5 0 = E H 0. The formula of this proposition comes from replacing these previous equations in 13, where E Q is given by E Q = d2 t=0 dt 2 E H + EL d f1 20 dt d 2 dt 2 t=0 E F 1 2f E F + e2r 0 d t=0 f1 20 E F ḡu E H 0 u 2 ḡ dt t=0 d 2 n E E F H 0 dt t=0 f1 20 Moreover, a straightforward computations similar to Proposition 2.5 shows that there exist constants c 1, c 2 such that d 2 t=0 dt 2 E F c 1e r0α 4 u 2 C 2,β, d 2 t=0 dt 2 E H c 2e r0α 4 u 2 C 2,β, 14 and then, estimates on E Q follows. Summarizing, given u C 2,β, the mean curvature of the graph of u over the slice r, satisfies 1 + E F 0Hr, 0, g = n + E H E F 0 d Hr, tu, g = e 2r ḡu + E L dt t= E F 0 d2 t=0 dt 2 Hr, tu, g = 4e 2r u ḡu 2e 2r u 2 ḡ + ne2r u 2 ḡ 1 + E F 0 + EQ, and there exist constants C 1, C 2, such that E F 0 C 0,β C 1 e rα, E H 0 C 0,β C 2 e rα 2, 16 and there exists R > 0 such that if r > R then there exists constants C 3, C 4 such that E L C 0,β C 3 e rα 4 u C 2,β, E Q C 0,β C 4 e rα 4 u 2 C 2,β Existence of CMC-surfaces In this section we will prove that, given an end of a C 2,β -asymptotically cuspidal manifold M, g of order α > 4 and given r big enough, there exists a function u C 2,β, depending of r, such that the graph of u over the slice r has constant mean curvature. To do this, we will use the Taylor s equation for the mean curvature to establish a non-linear partial differential equation and then, to find a solution using the iterative scheme. 9

10 Let N, g be an end of a C 2,β -asymptotically cuspidal manifold M, g of order α > 4. The goal in this section will be to find a function ur C 2,β such that the mean curvature of S r ur with respect to the metric g, Hr, ur, g, is constant for big r. Following Taylor s equation 9 and 15 for any positive function u, we have that the mean curvature of S r u satisfies 1 + E F 0Hr, u, g = n + E H 0 e 2r ḡu + E L + e 2r Qu + E Q, where the quadratic part Qu := 4u ḡu 2 u 2 ḡ + n u 2 ḡ 1+E F 0. To solve the equation Hr, u, g = n + δ, for some constant δ, is equivalent to solve the non-linear partial differential equation ] ḡu=e [n 2r 1 + E F E H 0 δ 1 + E F 0 +e 2r E L u+qu+e 2r E Q u. Since ḡ : C 2,β C 0,β defines an elliptic and continuous linear differential operator, the kernel Ker ḡ C 2,β is closed. Moreover, compactness of implies that C 2,β L 2 and Ker ḡ consists on constant functions. Therefore, the projection on the kernel exists, is continuous and for every u C 2,β it holds u = u + 1 The idea to find a solution of 18, is to prove that the sequence {u j } in C2,β defined by the iterative method u 0 = 0 ] ḡu j+1 = e [n 1 2r + E F E H 0 δ j 1 + E F 0 + E L u j + e 2r Qu j + E Q u j u with {δ j } given by converges. 1 δ 0 := 1 + E F 0 δ j := δ E F 0 n E F E H 0, E L u j + e 2r Qu j + E Q u j, 20 Remark 3.1. Note that the definition of {δ j } is to ensure that the iterative scheme is well-defined, in the sense that ḡu j+1 in C0,β to be zero mean value functions. To show convergence of the iterative scheme describe in 19, it is necessary two proper estimates for the inverse of ḡ and for the quadratic part Q. The proof of the following is directly adapted from an analogous result in [12]. 10

11 Lemma 3.2. Let ḡ : C 2,β C 0,β be the Laplace-Beltrami operator. If u C 2,β and ḡu = f, then there exists a constant C L > 0 such that u 1 u C L f C 0,β, C 2,β where C L is a constant independent of u and f. Proof. Suppose by contradiction that there exist sequence {u j } such that ḡu j = f j, u j 1 C u j = 1, f j C 0,β 0. 2,β { Then, up to subsequence, u j 1 } u j converges to v in C 2. So, taking the point-wise limit we get lim ḡ u j 1 u j = ḡv. j And also, we have lim ḡ u j 1 u j = lim f j = 0. j j Therefore, v Ker ḡ, i.e. v is a constant function. Moreover, using that and compactness of, Dominated convergence Theorem implies u j 1 u j = 1 C 2,β v = 1 v = 1 lim u j 1 u j = 1 j lim u j 1 u j = 0. j { Therefore, up to a subsequence, u j 1 } u j converges to 0 in C 2. On the other hand, interior Schauder estimates for ḡ implies that there exists a constant C > 0, depending on n, β, such that u C 2,β Ω k Cn, β u C 0 Ω k + ḡu C 0,β Ω k, where {Ω k Ω k } k is a finite covering of concentric open balls of. Therefore, u j 1 C u j Cn, β u j 1 C u j + ḡu j 2,β Ω k C 0,β Ω 0 Ω k k. Taking the supremum over the covering, we get 1 = sup u j 1 C u j Cn, β {Ω k } u j 1 C u j + f j 2,β Ω k C 0,β 0 but, since all the terms on the right side tend to zero as j, this is a contradiction. We can now prove the main result of this section which proves Theorem 1.2iii. 11

12 Theorem 3.3. Let N, g be an end of a C 2,β -asymptotically cuspidal manifold M, g of order α > 4. Then, there exists R > 0 such that for every r > R there exists a function ur C 2,β with zero mean value such that S r ur = {r + urx x } N has constant mean curvature, equal to n + δ, for some constant δ. Moreover, there exist constants CR > 0 and cr > 0 such that ur C 2,β Ce rα 2, δ ce rα 4. Proof. Following the description in this section, given one end N, g in a C 2,β -asymptotically cuspidal manifold, we define, for any positive number r and positive function u, the hypersurface S r u. Since to solve Hr, u, g = n + δ, for some constant δ, is equivalent to solve 18, we will consider the sequence {u j } in C2,β defined by the iterative method 19 given by u 0 = 0 ] ḡu j+1 = e [n 1 2r + E F E H 0 δ j 1 + E F 0 + E L u j + e 2r Qu j + E Q u j, where δ j is defined in 20. First, we will estimate δ j. We have that 1 δ 0 = 1 + E F 0 n 1 + E F E H E 0 F 1 n + E F E H 0 C 0,β Then, using 16, there exists R such that for every r > R there exists a constant c 0 such that Moreover, we have that δ j δ 0 + δ 0 + δ 0 c 0 e rα E F 0 E L u j + e 2r Qu j + E Q u j E 0 F E L u j + e 2r Qu j + E Q u j, C 0,β and by definition of Q, we get Qu C 0,β 4 + n 1 + E F 0 2 u 2 C 2,β. Then, there exists R > 0 such that for every r > R there exists a constant C Q > 0, independent of r and u, such that Qu C 0,β C Q u 2 C 2,β. 22 Therefore, using estimates 17, 21 and 22, there exists R = max{r, R, R } such that for every r > R the following holds δ j c 0 e rα + C 3 e rα 4 u j C 2,β + e 2r C Q u j 2 C 2,β + C 4e rα 4 u j 2 C 2,β

13 Now, we will estimate u j. Following the iterative scheme 19, we have that u 1 is defined by ] ḡu 1 = ḡu 1 = e [n 1 2r + E F E H 0 δ E F 0. Then, using Lemma 3.2 and estimates 16 and 21 we get that for every r > R there exists a constant C 1 such that u 1 C 2,β C L e 2r n 1 + E F E H 0 δ E F 0 C 1 e rα. C 0,β Moreover, this and 23 imply that there exists a constant c 1 such that δ 1 c 1 e rα 4. Now, u 2 is defined by ] ḡu 2 = e [n 1 2r + E F E H 0 δ E F 0 + E L u 1 + e 2r Qu 1 + E Q u 1. Then, using Lemma 3.2, inequalities 16, 17, 22 and 21 and the previous estimates for u 1 and δ 1, we obtain that for every r > R there exists a constant C 2 such that u 2 C 2,β C 2 e rα 2. Moreover, this and 23 imply that there exists a constant c 2 such that δ 2 c 2 e rα 4. Now, u j+1 is given by ] ḡu j+1 = e [n 1 2r + E F E H 0 δ j 1 + E F 0 + E L u j + e 2r Qu j + E Q u j. Analogously the previous computations, using Lemma 3.2 and estimates 16, 17, 22 and 21, we obtain that for every r > R is satisfied u j+1 C 2,β C L e 2r n 1 + E F E H 0 + C L e 2r δ j 1 + E F 0 C 0,β C 0,β + C L C 3 e rα 2 u j C 2,β + C Q u j 2 C 2,β + C 4e rα 2 u j 2 C 2,β. If we assume that for every r > R there exists a constant C j such that u j C 2,β C j e rα 2 then 23 implies that there exists a constant c j such that δ j c j e rα 4. Thus, using the previous estimate for u j+1, there exists a constant C j+1 such that u j+1 C 2,β C j+1 e rα 2. 13

14 Therefore, by induction, the sequence {u j } is uniformly bounded. Since u j C 2,β, Ascoli- Arzela Theorem implies that, up to a subsequence, {u j } converges to u in C 2. Thus, the sequence {δ j } converges to δ, defined by δ := δ E F 0 1 E L u + e 2r Qu + E Q u Moreover, u is a solution of ] ḡu = e [n 2r 1 + E F E H 0 δ 1 + E F 0 + E L u + e 2r Qu + E Q u, and there exists R > 0 such that for every r > R there exist constants C > 0 and c > 0 such that u C 2,β Ce rα 2, δ ce rα 4. Therefore, S r u has constant mean curvature equal to n + δ, with respect to the metric g. This concludes the proof. 4 Existence of a strongly stable CMC-foliation In this section, following the implicit function approach in [3], we will prove the existence of strongly stable constant mean curvature surfaces at each end N, g near infinity. Definition 4.1. Let GN be the set of metrics g on N such that Moreover, the space GN has a distance function g g N ij C 2,β N Ce rα, α > 4. dg 1, g 2 := sup r,x N { e rα g 1 g 2 ij C 2,β N Definition 4.2. A constant mean curvature surface S in N, g is called strongly stable if its Jacobi operator J S := S + Ricν, ν + A 2, is such that J S φφds > 0, φ C S, with φds = 0. S S Here Ric is the Ricci curvature of N, g, ν is the unit normal vector to S and A is the second fundamental form of S. Thus, the main result in this section, which proves Theorem1.2iiii, is the following Theorem 4.3. Given R > 0 there exists ε R > 0 and η 0 > 0 such that for all positive η < η 0 the following property holds: For every g GN with dg, g N < ε R and for every r > R, there exists a unique function ur, g C 2,β with ur, g C 2,β < η, u = 0, such that S r ur, g has constant mean curvature with respect to the metric g. Moreover, {S r ur, g} r R, gives a foliation in a region of N, g by strongly stable constant mean curvature surfaces. 14 }

15 Proof. Consider the spaces E := {u C 2,β Given R > 0, we define the C 1 -map u = 0}, F := {v C 0,β Ψ : R, C 2,β GN F, Ψr, u, g = Hr, u, g 1 v = 0}. Hr, u, g, where Hr, u, g is the mean curvature of S r u with respect to the metric g. Note that Ψr, u, g = 0 if and only if Hr, u, g is constant. Therefore, Ψr, 0, g N = 0. Moreover, Lemma 2.5 implies that the differential map D u Ψr, 0, g N : C 2,β F is defined by D u Ψr, 0, g N = d Hr, tu, g N 1 d Hr, tu, g N = e 2r ḡu, dt t=0 dt t=0 and then, D u Ψr, 0, g N restricted to E is an isomorphism. Therefore, Implicit Function Theorem implies that there exists ε R > 0 and η 0 > 0 such that for all positive η < η 0, for every r > R and every g GN with dg, g N < ε R there exists a C 1 -function r, g ur, g E, with ur, g C 2,β < η, ur, g N = 0, uniquely defined by Ψr, ur, g, g = 0. Thus, we construct a family of surfaces {S r ur, g}, where ur, g E with constant mean curvature with respect to the metric g. To prove that family is a foliation, it is necessary to prove that r r + ur, g > 0. Since, for g N the function ur, g N 0 then r r + ur, g N > 0. Hence, by continuity, r r + ur, g is also positive for all metrics g GN with dg, g N < ε R, at least when we choose a possibly smaller ε R. Finally, to prove that the CMC-surfaces in the family {S r ur, g} are strongly stable, it is necessary to study their Jacobi operator J. For the CMC-surfaces S r ur, g N = S r 0 we have that their Jacobi operator are given by J Sr0 := Sr0 + Ric r, r + A 2 = e 2r ḡ, thus, for every φ C S r 0, with S r0 φ = 0 is satisfied J Sr0φφ = e 2r φ ḡφ = e 2r φ 2 ḡ > 0. S r0 S r0 S r0 Therefore, the foliation {S r ur, g N } consists in strongly stable CMC-surfaces. And also, by continuity of u and arguing by contradiction, we conclude that for a possibly smaller ε R such that for every g GN with dg, g N < ε R the Jacobi operator J Srur,g satisfies J Srur,gφφ > 0, S rur,g φ C S r ur, g, with S rur,g φ = 0. 15

16 5 Isoperimetric profile In this section we will prove Theorem 1.2iv. Definition 5.1. Let M, g be a Riemannian manifold with finite volume equal to V M. We define the isoperimetric profile as a function I : 0, V M R, Iv := min{a Ω v Ω v M, V Ω v = v}, where A Ω v is the area of the boundary of Ω v and V Ω v is the volume of Ω v. Moreover, we say that Ω v is an isoperimetric region with volume v if Iv = A Ω v. Since an asymptotically cuspidal manifold N, g, according to Definition 1.1, is a complete noncompact manifold with finite volume equal to V N, [23, Theorem 2.1] implies existence of isoperimetric regions for every volume and also that its boundary has constant mean curvature. Moreover, every region S such that its boundary S has constant mean curvature λ is a critical point of the functional A S + λv S see [19]. Therefore, if H v denotes the mean curvature of Ω v then Ω v is a critical point of A Ω v + H v V Ω v. 24 Thanks to [24, Theorem 18c] and [15], it is enough to prove the following generalization of [1] for the negatively curved exact model. Theorem 5.2. Let N, g be an end of an asymptotically cuspidal manifold with finite volume equal to V N. There exists ε > 0 small such that for every v < ε there exists r v and ur v, g C 2,β with zero mean value such that the boundary of the isoperimetric region Ω v coincides with S rv ur v, g. Proof. Since the slices r have constant mean curvature equal to n, with respect to the metric g N, we will prove that the mean curvature of the boundary of a isoperimetric region, with respect to the metric g, is bounded by n. More precisely, for every sequence {v j } which converges to zero there exists a sequence of isoperimetric regions {Ω vj } which minimizes the functional A nv then the mean curvature of the boundary of Ω vj, with respect to the metric g, satisfies H vj n. Arguing by contradiction, let {v j } be a sequence which converges to zero, then any isoperimetric regions {Ω vj } which minimize the functional A nv satisfy H vj < n. Moreover, using 24 we have 0 A Ω vj nv Ω vj = H vj V Ω vj nv Ω vj = H vj + nv Ω vj. Since, {v j } converges to zero, then H vj + n 0. This is a contradiction with H vj < n. Therefore, if we choose always the normal vector such that the mean curvature in non-positive, we can choose ε > 0 such that for every v < ε there exists an isoperimetric region Ω v which is a minimizer of A nv and H v n. Moreover, since the injectivity radius of N, g at p Ω v is bounded below, a standard covering argument using disjoint geodesic spheres of small volume, shows, throught the monotonicity formula for submanifolds, that for every v < ε there exists r v such that the isoperimetric region Ω v is contained in [r v,. Now, we move the constant mean curvature surface S rv ur v, g, constructed in Theorem 3.3, until the first contact with Ω v. Let p be the contact point, and B ρ p be a geodesic spheres of small volume 16

17 near p, then we may represent both hypersurfaces, inside the spheres, by graphs of functions f 1 and f 2, respectively. Applying the maximum principle for the constant mean curvature equation, we get S rv ur v, g B ρ p = Ω v B ρ p, for some small ρ. Since f 1 and f 2 satisfy the elliptic PDE for constant mean curvature, f 1 and f 2 are analytic. Therefore, S rv ur v, g coincides with Ω v. References [1] C. Adams and F. Morgan, Isoperimetric curves on hyperbolic surfaces, Proc. Amer. Math. Soc , no. 5, [2] A. D. Alexandrov, Uniqueness theorems for surfaces in the large I, Vesnik Leningrad Univ , [3] L. Ambrozio, On perturbations of the Schwarzschild Anti-de Sitter spaces of positive mass, Comm. Math. Phys , [4] H. Bray, The Penrose inequality in general relativity and volume comparison theorems involving scalar curvature, PhD thesis, Stanford University [5] S. Brendle, Constant mean curvature surfaces in warped product manifolds, Publ. Math. Inst.IHES , [6] O. Chodosh, Large isoperimetric regions in asymptotically hyperbolic manifolds, Comm. Math. Phys , [7] O. Chodosh, M. Eichmair and A. Volkmann, Isoperimetric structure of asymptotically conical manifolds J. Diff. Geom , [8] M. Eichmair and J. Metzger, On large volume preserving stable CMC surfaces in initial data sets, J. Diff. Geom , [9] M. Eichmair and J. Metzger. Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions, Invent. Math , [10] Lan-Hsuan Huang, Foliations by stable spheres with constant mean curvature for isolated systems with general asymptotics, Comm. Math. Phys , [11] G. Huisken and S.T. Yau, Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature, Invent. Math , [12] S. Lancini, Complete constant scalar curvature metrics with funnel-like ends and relativistic initial data foliated by constant mean curvature tori, PhD Thesis, Scuola Normale Superiore Pisa [13] F. Mahmoudi, R. Mazzeo and F. Pacard, Constant mean curvature hypersurfaces condensing on a submanifold, GAFA , [14] R. Mazzeo and F. Pacard, Constant curvature foliations in asymptotically hyperbolic spaces, Rev. Mat. Iberoam ,

18 [15] S. Nardulli, The isoperimetric profile of a smooth Riemannian manifold for small volumes, Ann. Glob. Anal. Geom , [16] C. Nerz, Foliations by stable spheres with constant mean curvature for isolated systems without asymptotic symmetry, Calc. Var , [17] A. Neves and G. Tian, Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds, Geom. Funct. Anal , [18] A. Neves and G. Tian, Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds II, J.Reine Angew. Math , [19] F. Pacard, Constant mean curvature hypersurfaces in Riemannian manifolds. Riv. Mat. Univ.Parma , [20] F. Pacard and X. Xu, Constant mean curvature spheres in Riemannian manifolds. Manuscripta. Math , [21] J. Qing and G. Tian. On the uniqueness of the foliation of spheres of constant mean curvature in asymptotically flat 3-manifolds, J. Amer. Math. Soc , [22] R. Rigger, The foliation of asymptotically hyperbolic manifolds by surfaces of constant mean curvature, Manuscripta Math , [23] M. Ritoré and C. Rosales, Existence and characterization of regions minimizing perimeter under a volume constraint inside euclidean cones, Trans. A.M.S , [24] A. Ros. The isoperimetric problem, Global theory of minimal surfaces, Clay Math. Proc. 2 Amer. Math. Soc. 2005, [25] R. Ye, Foliation by constant mean curvature spheres. Pacific J. Math , Abdus Salam s International Centre for Theoretical Physics, ICTP Strada Costiera 11, 34151, Trieste, Italy. arezzo@ictp.it, kcorrale@ictp.it 18