Extrinsic isoperimetry and compactification of minimal surfaces in Euclidean and hyperbolic spaces

We study the topology of (properly) immersed complete minimal surfaces P2 in Hyperbolic and Euclidean spaces which have finite total extrinsic curvature, using some isoperimetric inequalities satisfied by the extrinsic balls in these surfaces (see [10]). We present an alternative and unified proof of the Chern-Osserman inequality satisfied by these minimal surfaces (in ℝn and in ℕn(b)), based in the isoperimetric analysis mentioned above. Finally, we show a Chern-Osserman-type equality attained by complete minimal surfaces in the Hyperbolic space with finite total extrinsic curvature.


Introduction
Let P 2 be a complete and minimal surface immersed in R n and with finite total curvature P K P dσ < ∞, K P being the Gauss curvature of the surface.
Then we have the following equality (resp. inequality), known as the Chern-Osserman formula (see [1], [3] and [6]): where χ(P ) is the Euler characterisitic of P , k is its number of ends, B P is the second fundamental form of P in R n and B b,n r denotes the geodesic r-ball in the simply connected real space form K n (b).
To have finite total scalar (extrinsic) curvature P B P 2 dσ < ∞ is equivalent to the finiteness of the total Gaussian curvature (the original assumption in [3]) when the surface is minimal and immersed in R n . From this point of view, it is natural to expect that it is possible to establish a Chern-Osserman inequality (or equality) for complete minimal surfaces with finite total extrinsic curvature (properly) immersed in the hyperbolic space. This question has been addressed by Qing and Yi in the papers [12] and [13]. They proved, for a complete minimal surface P 2 (properly) immersed in H n (b) and such that P B P dσ < ∞, that .
The proofs given by these authors are different from those for the Euclidean case, and rely heavily on the properties of the hyperbolic functions.
We present in this paper a unified proof of the Chern-Osserman inequality (in terms of the volume growth) for complete minimal surfaces with finite total extrinsic curvature immersed in Euclidean or Hyperbolic spaces. This unification is based on obtaining estimates for the Euler characteristic of the extrinsic balls (given in Lemma 3.1 and Proposition 3.2) and on the isoperimetric inequality for the extrinsic balls given in Theorem 1.1 in [10]. These results are based on the divergence theorem and the Hessian and Laplacian comparison theory of restricted distance functions (see [4], [5] and [11]) which involves bounds on the mean curvature of the submanifold.
We have proved the following Chern-Osserman inequality, which encompasses inequalities (1.1) and (1.2): Theorem A: Let P 2 be a complete minimal surface immersed in a simply connected real space form K n (b) with constant sectional curvature b ≤ 0. Let us suppose that P B P 2 dσ < ∞. Then: (1) P has finite topological type.
where χ(P ) is the Euler characteristic of P .
Although with this approach we are not able to state equality (1.1) in the Euclidean setting, we shall prove in Theorem B the following Chern-Ossermantype equality for complete and minimal immersed (cmi for short) surfaces in the Hyperbolic space: Theorem B: Let P 2 be a complete immersed minimal surface in H n (b). Let us suppose that P B P 2 dσ < ∞. Then where G b (P ) is a non-negative and finite quantity which does not depend on the exhaustion by extrinsic balls {D t } t>0 of P and is given by 1.1. Outline. The outline of the paper is the following. In Section 2 we present the basic facts about the Hessian comparison theory of the restricted distance function we are going to use, obtaining as a corollary the compactification of cmi surfaces in K n (b) with finite total extrinsic curvature (Corollary 2.3). Section 3 is devoted to the unified proof of the Chern-Osserman inequality for complete minimal surfaces with finite total extrinsic curvature immersed in Euclidean and Hyperbolic spaces (Theorem A), and in Section 4 a Chern-Osserman-type equality satisfied by the cmi surfaces in H n (b) is proved (Theorem B).

Preliminaries
2.1. The extrinsic distance. We assume throughout the paper that P 2 is a complete, non-compact, immersed, 2-dimensional submanifold in a simply connected real space form of non-positive constant sectional curvature K n (b) (K n (b) = R n when b = 0 and K n (b) = H n (b) when b < 0). All the points in these manifolds are poles. Recall that a pole is a point o such that the exponential map and this distance is realized by the length of a unique geodesic from o to x, which is the radial geodesic from o. We also denote by r the restriction r o | P : P → R + ∪{0}. This restriction is called the extrinsic distance function from o in P m . The gradients of r in N and P are denoted by ∇ N r and ∇ P r, respectively. Let us remark that ∇ P r(x) is just the tangential component in P of ∇ N r(x), for all x ∈ S. Then we have the following basic relation: On the other hand, we should recall that all immersed surfaces P in the real space forms of non-positive constant sectional curvature N n = K n (b) which satisfy P B P 2 dσ < ∞ are properly immersed (see [1], [8] and [9]). Therefore, we can omit the hypothesis about the properness of the immersion when we assume that P B P 2 dσ < ∞. Definition 2.1: Given a connected and complete surface P 2 properly immersed in a manifold N n with a pole o ∈ N , we denote the extrinsic metric balls of radius t > 0 and center o ∈ N by D t (o). They are defined as the intersection Remark a: We want to point out that the extrinsic domains D t (o) are precompact sets (because we assume in the definition above that the submanifold P is properly immersed), with boundary ∂D t (o) being an immersed curve in P for t > 0 almost everywhere. The generic smoothness of ∂D t (o) follows from the following considerations: the distance function r is smooth in K n (b) \ {o} for K n (b) to possess a pole o ∈ K n (b) (b ≤ 0). Hence the restriction r| P is smooth in P , and consequently the radii t that produce smooth boundaries ∂D t (o) are dense in R by Sard's theorem and the Regular Level Set Theorem.
Remark b: When the submanifold considered is totally geodesic, namely, when P is a Hyperbolic or an Euclidean subspace K m (b) of the ambient real space form K n (b), the extrinsic t-balls become geodesic t-balls, and its boundary is the distance sphere of radius t in K m (b). We recall here that the mean curvature of the geodesic sphere of radius t in the real space form Hessian comparison analysis of the extrinsic distance. Let us now consider D t an extrinsic ball in a complete and properly immersed minimal surface P in the real space form K n (b) with b ≤ 0. We are going to apply the Gauss-Bonnet formula to the curve ∂D t . To do that, we need to compute its geodesic curvature in the following Proposition 2.2: When ∂D t is a smooth curve, its geodesic curvature k ∂Dt g is given by Proof. Let {e, ν} ⊂ T P be an orthonormal frame along the curve ∂D t , where e is the unit tangent vector to ∂D t and ν = ∇ P r/ ∇ P r is the unit normal to ∂D t in P , pointing outward. From the definition of the geodesic curvature of the extrinsic boundaries ∂D t , we have Then, taking into account the definition of the Hessian Hess P r(e, e) = ∇ P ∇ P r, e and the fact that ∇ P r and e are orthogonal, But given X ∈ T q P unitary (see [5] and [11] for detailed computations), where B P is the second fundamental form of P in N . Applying at this point equation (2.5) we have Now we consider {D t } t>0 an exhaustion of P by extrinsic balls. Recall than an exhaustion of the submanifold P is a sequence of subsets {D t ⊆ P } t>0 such that Using the equality (2.2) for the geodesic curvature of the extrinsic curves we have the following result: Theorem 2.3: Let P 2 be a complete minimal surface immersed in a simply connected real space form K n (b) with constant sectional curvature b ≤ 0. Let us suppose that P B P 2 dσ < ∞. Then: (i) P is diffeomorphic to a compact surface P * punctured at a finite number of points. (ii) For all sufficiently large t > R 0 > 0, χ(P ) = χ(D t ) and hence, given {D t } t>0 an exhaustion of P by extrinsic balls, Proof. Let us consider {D t } t>0 an exhaustion of P by extrinsic balls, centered at the pole o ∈ K n (b). We apply Lemma 2.2 to the smooth curves ∂D t : As we have, on the points of the curve q ∈ ∂D t , (2.7) Using now Proposition 2.2 in [1], when P 2 is a cmi in R n , or Lemma 3.1 in [9], when P 2 is a cmi in H n (b), we know that B P (q) goes uniformly to 0 as t = r o (q) → ∞. Hence, for all the points q ∈ ∂D t and for sufficiently large t, We are going to examine this last assertion in more detail: when the ambient space is the Hyperbolic space H n (b) (b < 0), then we have that h b (r o (q)) − B P (q) > 0 on ∂D t and for all sufficiently large t because, applying Lemma 3.1 in [9], B P (q) goes uniformly to 0 as t = r o (q) → ∞ and we have in this case that When the ambient space is the Euclidean space we need a more careful analysis: applying Proposition 2.2 in [1] we have that, for all sufficiently large t, Sup q∈∂Dt B P ≤ (t)/t, where (t) is a non-negative function such that (t) → 0 when t → ∞. Hence we have, for all sufficiently large t and ∀q ∈ ∂D t , for all sufficiently large t (in the Euclidean case, we have moreover Lemma 2.4 in [1] where it is proved that, when P is a cmi surface in R n with finite total extrinsic curvature, then ∇ P r > 1 2 outside a compact in P ). Fixing a sufficiently large radius R 0 , we can conclude that the extrinsic distance r o has no critical points in P \ D R0 .
The above inequality implies that for this sufficiently large fixed radius R 0 , there is a diffeomorphism In particular, P has only finitely many ends, each one of finite topological type.
To prove this we apply Theorem 3.1 in [7], concluding that, as the extrinsic annuli The above diffeomorphism implies that we can construct P from D R0 (R 0 large enough) attaching annuli, and that χ(P \ D t ) = 0 when t ≥ R 0 . Then, for all t > R 0 ,

Proof of Theorem A
We begin with the following results which are the common ingredients of the proof, for both the Euclidean and Hyperbolic cases: Lemma 3.1: Let P 2 ⊂ K n (b) be a surface properly immersed in a real space form with curvature b ≤ 0, let D t be an extrinsic disc in P of radius t > 0 and let ∂D t be the extrinsic circle. Then Proof. Tracing equality (2.5) we obtain the following expression for the Laplacian of the extrinsic distance in this context: where H P denotes the mean curvature vector of P in N and h b (r) is the mean curvature of the geodesic r-spheres in K n (b). Applying the divergence theorem we have Proposition 3.2: Let P 2 ⊂ K n (b) be a complete minimal surface properly immersed in a real space form with curvature b ≤ 0, let D t be an extrinsic disc in P of radius t > 0 and let ∂D t be its boundary. Then where R(t) = Dt B P 2 dσ, B P is the norm of the second fundamental form of P in K n (b), χ(D t ) is the Euler's characterisc of D t and, given any fixed number α ∈]0, 2[, Proof. Integrating equation (2.2) along ∂D t and using the Gauss-Bonnet theorem, we obtain where we denote by K P the Gauss curvature of P . But on ∂D t , so as f b,α (t) ≥ 0∀t > 0, taking into account the arithmetic-geometric inequality and applying the co-area formula, we have Then, using inequality (3.1) of Lemma 3.1 in the last member of the inequalities (3.6) and applying the Gauss equation for minimal surfaces in the real space and hence We are going to divide the proof into two cases: Case I, where the ambient space is the Hyperbolic space H n (b), and Case II where the ambient space is the Euclidean space R n .
Case I. Let us consider P (properly) immersed in H n (b). Let {D t } t>0 be an exhaustion of P by extrinsic balls. Using the co-area formula, we know that, for t > 0 almost everywhere, Hence, applying Proposition 3.2 we have On the other hand, from (3.9), d dt Vol(D t ) ≥ Vol(∂D t ). Therefore, using inequality (3.10) we obtain Applying the isoperimetric inequality in [10] (Theorem 1.1), we have where S b,1 t and B b,2 t denote, respectively, the geodesic t-sphere and t-ball in K 2 (b). Hence, using the fact that we obtain, with some computations, Therefore, for all t > 0, .
Hence, by the co-area formula, Therefore, there is a monotone increasing (sub)sequence Let us consider the exhaustion of P by these extrinsic balls, namely, {D ti } ∞ i=1 . Then we have, replacing t by t i and taking limits when i → ∞ in inequality (3.14) and applying Theorem 2.3 (ii), for all α such that 0 < α < 2. Hence, as Vol(D t )/Vol(B b,2 t ) is a continuous non-decreasing function of t, we can conclude that Then, letting α tend to 0 in (3.16), we get, for all t > 0, Case II. Let us consider P immersed in R n . We consider, as in the proof above, an exhaustion of P by extrinsic balls, {D t } t>0 , but now, and following [1], these extrinsic balls will be centered at the origin 0 ∈ R n , which we assume, without loss of generality, belongs to the surface P . Applying Proposition 3.2 we have μ(t) being such that lim t→∞ μ(t) = 0 and therefore, from (3.18), On the other hand, if and only if μ(t) ≤ α(2 − α), which is true for t large enough, namely, for t > t α because lim t→∞ μ(t) = 0. Hence, as and applying Theorem 1.1 in [10], we have that inequality (3.20) becomes, for all t > t α , Then, taking limits when t → ∞ in inequality (3.21) and applying Theorem 2.3, we have that lim t→∞ μ(t) = 0 and χ(P ) = lim t→∞ χ(D t ), so we obtain, for all α such that 0 < α < 2, Therefore we obtain Then, letting α tend to 0, we obtain, for all t > 0,

Proof of Theorem B
In Corollary 2.3, we obtained a sufficiently large radius R 0 such that the extrinsic distance r p has no critical points in P \ D R0 . Hence for this sufficiently large fixed radius R 0 , there is a diffeomorphism so, in particular, P has only finitely many ends, each of finite topological type. The above diffeomorphism implied that we could construct P from D R0 (R 0 large enough) attaching annuli and that χ(P \ D t ) = 0 when t ≥ R 0 , and hence for all t > R 0 , χ(P ) = χ(D t ).
Let us consider now an exhaustion by extrinsic balls {D t } t>0 of P such that the extrinsic distance r o has no critical points in P \ D R0 .
Applying now the Gauss-Bonnet Theorem to the extrinsic balls D t , (4.1) 2πχ(P ) = Dt K P dσ + ∂Dt k g dσ t .
Taking into account equation (2.2) and the Gauss formula, we have, for every sufficiently large radius t > R 0 , But 2π = b · Vol(B b,2 t ) + h b (t) Vol(S b,1 t ) ∀t > 0, so, for every sufficiently large radius t > R 0 and after some computations, The above equation is valid for all t > R 0 , so, taking limits when t → ∞, we can define