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

We study the topology of (properly) immersed complete minimal surfaces $P^2$ in Hyperbolic and Euclidean spaces which have finite total extrinsic curvature, using some isoperimetric inequalities satisfied by the extrinsic balls in these surfaces, (see \cite{Pa}). We present an alternative and partially unified proof of the Chern-Osserman inequality satisfied by these minimal surfaces, (in $\erre^n$ and in $\Han$), based in the isoperimetric analysis above alluded. Finally, we show a Chern-Osserman type equality attained by complete minimal surfaces in the Hyperbolic space with finite total extrinsic curvature.


INTRODUCTION
Let us consider P 2 be a complete and minimal surface immersed in R n and with finite total curvature P K P dσ < ∞, being K P the Gauss curvature of the surface. Then we have the following equality (resp. inequality), known as the Chern-Osserman formula, (see [1], [3] and [8]): where χ(P ) is the Euler characterisitic of P , k is its number of ends, B P is the second fundamental foorm 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 wonder if it is possible to stablish 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 Q. Chen and Y. Cheng in the papers [4] and [5]. They proved, for a complete minimal surface P 2 (properly) immersed in H n (b) and such that P B P dσ < ∞, that Sup r Vol(P 2 ∩B −1,n r ) Vol(B −1,2 r ) < ∞ and the following version of the Chern-Osserman Inequality, in terms of the volume growth of the extrinsic balls: The proofs given by these authors are different for those for the Euclidean case, and rely heavily on the properties of the hyperbolic functions.
We present in this paper a partial unification of the 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 partial unification is based in obtaining estimates for the Euler characteristic of the extrinsic balls (given in Lemma 3.1, and Proposition 3.2) and in the isoperimetric inequality for the extrinsic balls given in Theorem 1.1 in [12]. These results are based, in its turn, on the divergence Theorem and the Hessian and Laplacian comparison theory of restricted distance function, (see [6], [7] and [13]) 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 an complete minimal surface immersed in a simply connected real space form with constant sectional curvature b ≤ 0, K n (b). 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-Osserman type equality for cmi surfaces in the Hyperbolic space: where G b (P ) is a nonnegative and finite quantity which do not depends on the exhaustion by extrinsic balls {D t } t>0 of P and is given by Outline. The outline of the paper is following. In Section §.2 we present the basic facts about the Hessian comparison theory of 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 it is proved a Chern-Osserman type equality satisfied by the cmi surfaces in H n (b) (Theorem B).

PRELIMINAIRES
2.1. The extrinsic distance. We assume throughout the paper that P 2 is a complete, noncompact, 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| 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 satisfies P B P 2 dσ < ∞ are properly immersed (see [1], [10] and [11]). 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 denotes the open geodesic ball of radius R centered at the pole o in N n . 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 a immersed curve in P . The generical smoothness of ∂D t (o) follows from the following considerations: the distance function r is smooth in . 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 subespace of the ambient real space form, the extrinsic balls become geodesic balls, and its boundary is the distance sphere. We recall here that the mean curvature of the geodesic sphere in the real space form K n (b), 'pointed inward' is (see [12]): Hessian comparison analysis of the extrinsic distance. Let us consider now 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 Gauss-Bonnet formula to the curve ∂D t .
To do that, we need to compute its geodesic curvature in the following Proposition 2.2. Given ∂D t the smooth closed curves in P , 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 is the unit normal to ∂D t in P , pointed outward. From the definition of geodesic curvature of the extrinsic boundaries ∂D t , we have Then, having on account the definition of 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 [7] and [13] for detailed computations): where B P is the second fundamental form of P in N . Applying at this point equation 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 an complete minimal surface immersed in a simply connected real space form with constant sectional curvature b ≤ 0, K n (b). 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 − B P ≤ B P (e, e), ∇ ⊥ r ≤ B P we have, on the points of the curve q ∈ ∂D t , Using now Proposition 2.2 in [1], when P 2 is a cmi in R n or Lemma 3.1 in [11], 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, Hence, ∇ P r > 0 in ∂D t , for all sufficiently large t. Fixing a sufficienty 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 sufficienty large fixed radius R 0 , there is a diffeomorphism In particular, P has only finitely many ends, each of finite topological type. To proof this we apply Theorem 3.1 in [9], concluding that, as the extrinsic annuli The above diffeomorfism implies that we can construct P from D R0 (R 0 big enough) attaching annulis 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 ingredient of the proof, both for 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 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 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 α ∈]0, 2[ , Integrating along ∂D t equation (2.2) and using Gauss-Bonnet theorem and co-area formula, (see [14]), we obtain where we denote as K P the Gauss curvature of P . But , on ∂D t , so, as f b,α (t) ≥ 0 ∀t > 0, having into account the inequality among the arithmetic and geometric mean and applying co-area formula: Then, using inequality (3.1) of Lemma 3.1 in the last member of the inequalities (3.6) and applying Gauss equation for minimal surfaces in the real space forms K n (b), we have and hence We are going to divide the proof in two cases: the Case I, where the ambient space is the Hyperbolic space H n (b), and the 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 co-area formula, we know that 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 isoperimetric inequality in [12], (Theorem 1.1), we have Hence, using the fact that Therefore, for all t > 0, Hence, by co-area formula: Let us consider the exhaustion of P by these extrinsic balls, namely, {D ti } ∞ i=1 . Then we have, replacing t for t i and taking limits when i → ∞ in inequality (3.14) and applying Theorem 2.3 (ii), for all α such that 0 < α < 2.

PROOF OF THEOREM B
In Corollary 2.3, it was obtained a sufficienty large radius R 0 , such that the extrinsic distance r p has no critical points in P \ D R0 .
Hence for this sufficienty 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 diffeomorfism implied that we could construct P from D R0 (R 0 big enough) attaching annulis 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 Gauss-Bonnet Theorem to the extrinsic balls D t Vol(B b,2 t ) Vol(D t ) ∂Dt B P (e, e), ∇ ⊥ r ∇ P r dσ t But 2π = b · Vol(B b,2 t ) + h b (t) Vol(S b,1 t ) ∀t > 0, so, for all sufficiently large radius t > R 0 and after some computations: ) ′ + ∂Dt < B P (e, e), ∇ ⊥ r ∇ P r > dσ t The above equation is valid for all t > R 0 , so, taking limits when t → ∞, we can define