arxiv: v3 [math.dg] 21 Jun 2016

Transcription

1 arxiv: v3 [math.dg] 1 Jun 016 The Abresch-Rosenberg Shape Operator and applications José M. Espinar and Haimer A. Trejos Instituto de Matematica Pura y Aplicada, 110 Estrada Dona Castorina, Rio de Janeiro , Brazil; jespinar@impa.br Instituto de Matematica Pura y Aplicada, 110 Estrada Dona Castorina, Rio de Janeiro , Brazil; aletrejosserna@gmail.com Abstract There exists a holomorphic quadratic differential defined on any H surface immersed in the homogeneous space E(κ,τ) given by U. Abresch and H. Rosenberg [1, ], called the Abresch-Rosenberg differential. However, there were no Codazzi pair on such H surface associated to the Abresch-Rosenberg differential when τ 0. The goal of this paper is to find a geometric Codazzi pair defined on any H surface in E(κ,τ), when τ 0, whose (, 0) part is the Abresch-Rosenberg differential. In particular, this allows us to compute a Simons type formula for H surfacesine(κ,τ). WeapplysuchSimons typeformula, first, tostudy the behavior of complete H surfaces of finite Abresch-Rosenberg total curvature immersed in E(κ, τ). Second, we estimate the first eigenvalue of any Schrödinger operator L = + V, V continuous, defined on such surfaces. Finally, together with the Omori-Yau s Maximum Principle, we classify complete H surfaces in E(κ,τ), τ 0, satisfying a lower bound on H depending on κ and τ. 010 MSC: 53C4, 58J50. Key words: Constant Mean Curvature Surfaces, Homogeneous Space, Codazzi Pairs, Finite Total Curvature, Simons Formula, Eigenvalue Estimate, Pinching Theorem. 1 Introduction. W. P. Thurston proved that the building blocks of the Geometrization Conjecture are given by eight maximal model geometries, in other words, a maximal model geometry is a simply connected smooth manifold M together with a transitive action of the Lie group G on M, which is maximal among groups acting smoothly and transitively on M, with compact stabilizers. Such maximal model geometries can be classified according to the dimension of its isometry group. If the dimension is 6, they correspond to the space forms M 3 (κ). When the dimension is 3, the manifold has the geometry of the Lie group Sol 3, and when the dimension is 4, they correspond to a -parameter family κ,τ R, κ 4τ 0, 1

2 of manifolds denoted by E(κ, τ). These manifolds correspond to the product spaces M (κ) R, when κ 0,τ = 0, where M (κ) is the simply connected surface of constant curvature κ. The Heisenberg space Nil 3, when κ = 0,τ 0. The covering space of the linear group PSl (R), when κ < 0,τ 0. The Berger sphere S 3 B (κ,τ), when κ > 0,τ 0. It is known that E(κ,τ) is a Riemannian submersion over M (κ) with fiber bundle curvature τ and the fibers are integral curves of a unit Killing field defined in E(κ,τ). Constant mean curvature surfaces, in short, H surfaces, immersed in homogeneous 3-spaces E(κ, τ) are receiving an impressive number of contributions since U. Abresch and H. Rosenberg [1, ] showed the existence of a holomorphic quadratic differential, the Abresch-Rosenberg differential, on such surfaces. Hence, they we able to extend the well-known Hopf s Theorem, i.e., they classified the topological spheres with constant mean curvature as the rotationally symmetric ones in E(κ,τ). When is isometrically immersed in a space form M 3 (κ), the second fundamental form defines a bilinear symmetric tensor that satisfies the Codazzi equation. The Codazzi equation is fundamental to ensure that the usual Hopf differential is holomorphic on any H surface in a space form; nevertheless, the above fact is no longer true when the surface is isometrically immersed in a homogeneous 3-manifold E(κ, τ). However, J.A. Aledo, J.M. Espinar and J.A. Gálvez [3] obtained a geometric Codazzi pair (I,II S ) on any H surface in M (κ) R so that the (,0)-part of II S with respect to the conformal structure given by the first fundamental form I, is the Abresch-Rosenberg differential. However, up to now, despite the existence of a holomorphic quadratic differential on any H surface in E(κ,τ), τ 0, there were no natural (or geometric) Codazzi pair on such H surfaces. In [7], J. Simons computed the Laplacian of the squared norm of the second fundamental form of a minimal submanifold in S n. Nowadays, such formula is known as the Simons formula and it is a powerful tool to obtain classification theorems for minimal hypersurfaces. Later, Simons formula has been extensively generalized by many authors in different situations (cf. [5, 11, 1, 18]). In [10], S.Y. Cheng and S.T. Yau computed an abstract version of the Simons formula, that is, they computed the Laplacian of the squared norm of any bilinear symmetric Codazzi (,0) tensor defined on a Riemannian manifold (M n,g). Specifically, if Φ is a bilinear symmetric Codazzi (, 0) tensor whose local expression in a orthonormal coframe {ω 1,...,ω n } is given by Φ = φ ij ω i ω j, i,j then the Laplacian of Φ is given by 1 Φ = (φ ij,k ) + i,j,k i λ i (tr(φ)) ii + 1 R ijij (λ i λ j ), (1) where R ijij is the Riemann curvature tensor associated to the metric g, tr(φ) is the trace operator, λ i, i = 1,...,n, are the eigenvalues of Φ for an orthonormal frame {e 1,...,e n } and Φ is a Codazzi tensor, that means, φ ij,k = φ ik,j. Akeyingredientto compute (1) is that Φ is Codazzi. So, when the hypersur- i,j

3 face is isometrically immersed in a space form M n (κ), the second fundamental form satisfies the Codazzi equation, hence we can recover Simons original formula. As said above, when τ = 0, the existence of a holomorphic quadratic differential on a H surface in M (κ) R implies the existence of a pair (I,II S ) defined on this H surface, where I is the induced metric of M (κ) R and II S is a symmetric Codazzi (, 0) tensor with respect to the connection induced by I. These type of pairs (I,II S ) are known as Codazzi pairs (cf. [3, 4]) and this property of (I,II S ) were used by M. Batista in [5] to compute a Simons type formula for H surfaces in M (κ) R. One of the main points of this paper is to obtain a geometric Codazzi pair (I,II AR ), where II AR is a symmetric (,0) tensor, that we call the Abresch- Rosenberg fundamental form, on any H surface in E(κ, τ) whose(, 0) part with respect to the conformal structure induced by I is the Abresch-Rosenberg differential. In other words, (I,II AR ) is a Codazzi pair on any H surface. In particular, this allows us to compute a Simons type formula for H surfaces in E(κ, τ). We apply such formula, first, to study the behavior of complete H surfaces of finite Abresch-Rosenberg total curvature immersed in E(κ, τ), i.e., those H surface whose L norm of the traceless Abresch-Rosenberg fundamental form is finite. Observe that complete H surfaces R 3 of finite total curvature, that is, those whose L norm of its traceless second fundamental form is finite, are of capital importance on the comprehension of H surfaces in R 3. In the case H = 0, Osserman s Theorem gives an impressive description of them. If has constant nonzero mean curvature and finite total curvature, then it must be compact. In our case, we extend the latter result when H is greater than a constant depending only on κ and τ. We also estimate the first eigenvalue of any Schrödinger operator L = + V, V continuous, defined on H surfaces of finite Abresch-Rosenberg total curvature. Finally, together with the Omori-Yau s Maximum Principle, we classify complete H surfaces (not necessary of finite Abresch-Rosenberg total curvature) in E(κ, τ), τ Outline of the paper In Section, we set up the notation and we review some of the standard facts on Codazzi pairs. Section 3 is devoted to the Codazzi pair interpretation of the Abresch- Rosenberg differential and its geometric properties. First, we discuss the known case of H surfaces in a product space M (κ) R. Later, we obtain a geometric Codazzi pair associated to the Abresch-Rosenberg differential on any H surface immersed in E(κ,τ) when τ 0. Specifically, Lemma 7 says Key Lemma. Given a H surface E(κ,τ), τ 0, consider the symmetric (, 0) tensor given by where II AR (X,Y) = II(X,Y) α T θ,x T θ,y + α T X,Y, 3

4 α = κ 4τ H +τ, e iθ = H iτ H +τ and T θ = cosθt+sinθjt. Then, (I,II AR ) is a Codazzi pair with constant mean curvature H. Moreover, the (,0) part of II AR with respect to the conformal structure given by I agrees (up to a constant) with the Abresch- Rosenberg differential. In Section 4, we obtain a Simons type formula on any H surface in E(κ,τ), τ 0 (cf. [5] when τ = 0). To do so, we use the Codazzi pair defined on the Key Lemma and [10], Theorem 3. Let be a H surface in E(κ,τ). Then, the traceless Abresch-Rosenberg shape operator satisfies 1 S = S +K S, or, equivalently, away from the zeroes of S, S S K S = S. Section 5 is devoted to complete H surfaces in E(κ,τ) of finite Abresch- Rosenberg total curvature, i.e., those H surfaces that satisfy S < +. We must point out here that the family of complete constant mean curvature surfaces of finite Abresch-Rosenberg total curvature is large. We focus on H = 1/surfacesinH Rtoshowthisfact. Recallthe followingresultoffernández- Mira: Theorem [17, Theorem 16]. Any holomorphic quadratic differential on an open simply connected Riemann surface is the Abresch- Rosenberg differential of some complete surface with H = 1/ in H R. Moreover, the space of noncongruent complete mean curvature one half surfaces in H R with the same Abresch-Rosenberg differential is generically infinite. We will see that, if we take the disk D as our open Riemann surface and a holomorphic quadratic differential on D that extends continuously to the boundary, then the H = 1/ surface constructed in [17, Theorem 16] has finite Abresch-Rosenberg total curvature. Theaboveexamplesalsoshowthat, despitewhathappensinr 3, H surfaces E(κ,τ) of finite Abresch-Rosenberg total curvature are not necessarily conformally equivalent to a compact surface minus a finite number of points, in particular, is not necessarily parabolic. However, we can obtain (cf. [6] when τ = 0): 4

5 Theorem 6. Let be a complete surface in E(κ,τ), H + τ 0, of finite Abresch-Rosenberg total curvature. Suppose one of the following conditions holds 1. κ 4τ > 0 and H +τ > κ 4τ 4.. κ 4τ < 0 and H +τ > ( 5+) 4 (κ 4τ ). Then, is compact. Also, we extend Simons first stability eigenvalue estimate (cf. [7]) to Schrödinger operators L = + V defined on a complete H surface of finite Abresch-Rosenberg total curvature, H +τ 0, immersed in E(κ,τ), Theorem 7. Let be a complete two-sided H surface in E(κ,τ) of finite Abresch-Rosenberg total curvature and H +τ 0. Denote by λ 1 (L) the first eigenvalue associated to the Schrödinger operator L := + V, V C 0 (). Then, is either an Abresch-Rosenberg surface, a Hopf cylinder or λ 1 (L) < inf {V +K}. In particular, when L is the Stability (or Jacobi) operator, i.e., L = +( A +Ric(N)), where Ric(N) is the Ricci curvature of the ambient manifold in the normal direction, we obtain the following (cf. [4] when is closed): Theorem 8. Let be a complete two sided H surface of finite Abresch-Rosenberg total curvature in E(κ,τ), H +τ 0. If κ 4τ > 0. Then, is either an Abresch-Rosenberg H surface, a Hopf cylinder, or λ 1 < (4H +κ). If κ 4τ < 0. Then, is either an Abresch-Rosenberg H surface, or λ 1 < (4H +κ) (κ 4τ ). Finally, in Section 6, we apply the Simons type formula to classify complete H surfaces in E(κ,τ) under natural geometric conditions using the Omori- Yau s Maximum Principle. We can summarize Theorem 10 and Theorem 11 as follows (cf. [5] when τ = 0): Theorems 10 and 11. Let be a complete immersed H surface in E(κ,τ), H +τ 0. If κ 4τ > 0, assume that 4(H +τ ) > κ 4τ and sup S < (H +τ )+(κ 4τ ), 5

6 where S is the traceless Abresch-Rosenberg shape operator. Then, is an Abresch-Rosenberg surface in E(κ, τ). Moreover, if sup S = (H +τ )+(κ 4τ ) and there exists one point p such that S(p) = sup S, then is a Hopf cylinder. If κ 4τ < 0, assume that (H +τ ) > κ 4τ and sup S < α + (H +τ )+ α, where S is the traceless Abresch-Rosenberg shape operator. Then, is an Abresch-Rosenberg surface of E(κ,τ). Moreover, if sup S = α + (H +τ )+ α and there exists one point p such that S(p) = sup S, then is a Hopf cylinder. Preliminaries Here, we mainly follow [3, 5, 13, 14, 15, 4, 6]..1 Homogeneous Riemanniann Manifolds E(κ, τ). The simply connected homogeneous manifold E(κ, τ) is a Riemannian submersion π : E(κ,τ) M (κ) over a simply connected surface of constant curvature κ. The fibers, i.e. the inverse image of a point at M (κ) by π, are the trajectories of a unitary Killing field ξ, called the vertical vector field. Denoteby thelevi-civitaconnectionofe(κ,τ), thenforallx X(E(κ,τ)), the following equation holds (see [6]): X ξ = τx ξ, where τ is the bundle curvature. Note that τ = 0 implies that E(κ,τ) is a product space. Denote by R the Riemann curvature tensor of E(κ,τ), then, Lema 1 ([13]). Let E(κ,τ) be a homogeneous space with unit Killing field ξ. For all vector fields X,Y,Z,W X(E(κ,τ)), we have: R(X,Y)Z,W = (κ 3τ )( X,Z Y Y,Z X) +(κ 4τ )( ξ,y ξ,z X ξ,x ξ,z Y) (κ 4τ )( Z,Y ξ,x ξ + Z,X ξ,y ξ). () 6

7 . Immersed surfaces in E(κ, τ). Let E(κ,τ) be an oriented immersed connected surface. We endow with the induced metric of E(κ,τ), called the first fundamental form, which we still denote by,. Denote by and R the Levi-Civita connection and the Riemann curvature tensor of respectively. Also, denote by A the shape operator, AX = X N for all X X(), where N is the unit normal vector field along the surface. Then II(X,Y) = AX,Y is the second fundamental form of. Moreover, denote by J the oriented rotation of angle π on T, JX = N X for all X X(). Set ν = N,ξ and T = ξ νn, then, ν is the normal component of the vertical vector field ξ, called the angle function, and T is a vector field in X() called the tangent component of the vertical vector field ξ. Note that, in a product space M (κ) R, we have a natural projection onto the fiber σ : R, hence we can define the restriction of σ to the surface, that is, h : R, h = σ. The function h is called the height function of. So, in M (κ) R, one can easily observes that σ = ξ and hence, T is the projection of σ onto the tangent plane, h = T. Lema ([13]). Let E(κ,τ) be an immersed surface with unit normal vector field N and shape operator A. Let T and ν be the tangent component of the vertical vector field and the angle function respectively. Then, given X, Y X(), the following equations hold: K = K e +τ +(κ 4τ )ν, (3) T S (X,Y) = (κ 4τ )ν( Y,T X X,T Y), (4) X T = ν(ax τjx), (5) dν(x) = τjx AX,T, (6) T + ν = 1, (7) where K denotes the Gaussian curvature of, K e denotes the extrinsic curvature and T S is the tensor given by: T S (X,Y) = X AY Y AX A([X,Y]), X,Y X()..3 H Surfaces in E(κ, τ) and the Abresch-Rosenberg differential. Let be an orientable complete connected H surface immersed in E(κ,τ). In terms of a local conformal parameter z, the first fundamental form I =, and the second fundamental form are given by I = λ dz, II = Qdz +λh dz +Qdz, where Qdz = z N, z dz is the usual Hopf differential of. Hence, in this conformal coordinate, the above Lemma reads as: 7

8 Lema 3 ([14, 15, 17]). Given an immersed H surface E(κ,τ), the following equations are satisfied: K = K e +τ +(κ 4τ )ν (8) Q z = λ(κ 4τ )νt (9) t z = λ z t+qν λ (10) t z = λ(h +iτ)ν (11) ν z = (H iτ)t Q λ t (1) t = 1 λ(1 ν ), (13) where t = T, z, t = T, z, K e is the extrinsic curvature and K is the Gaussian curvature. ForanimmersedH surface E(κ,τ), thereisagloballydefinedquadratic differential, called the Abresch-Rosenberg differential. Definition 1 ([1, ]). Given a local conformal parameter z for I, the Abresch- Rosenberg differential is defined by: Q AR = Q AR dz = ((H +iτ)q (κ 4τ )t )dz, moreover, associated to the Abresch-Rosenberg differential we define the Abresch- Rosenberg map q AR : [0,+ ) by: q AR = QAR 4λ. Note that Q AR and q AR do not depend on the conformal parameter z, hence Q AR and q AR are globally defined on. Then using Lemma 3, we can show Theorem 1 ([1, ]). Let be a H- surface in E(κ, τ), then the Abresch- Rosenberg differential Q AR is holomorphic for the conformal structure induced by the first fundamental form I..4 Codazzi Pairs on Surfaces We shall denote by an orientable (and oriented) smooth surface. Definition. A fundamental pair on is a pair of real quadratic forms (I,II) on, where I is a Riemannian metric. Associated with a fundamental pair (I,II) we define the shape operator S of the pair as: II(X,Y) = I(S(X),Y) for any X,Y X(). (14) Conversely, it is clear from (14) that the quadratic form II is totally determined by I and S. In other words, a fundamental pair on is equivalent to a Riemannian metric on together with a self-adjoint endomorphism S. 8

9 We define the mean curvature, the extrinsic curvature and the principal curvatures of the fundamental pair (I,II) as one half of the trace, the determinant and the eigenvalues of the endomorphism S, respectively. In particular, given local parameters (x,y) on such that I = Edx +F dxdy +Gdy, II = edx +f dxdy +gdy, the mean curvature and the extrinsic curvature of the pair are given, respectively, by H(I,II) = Eg +Ge Ff eg f (EG F, K e (I,II) = ) EG F, moreover,theprincipalcurvaturesofthepairareh(i,ii)± H(I,II) K e (I,II). We shall say that the fundamental pair (I,II) is umbilical at p, if II is proportional to I at p, or equivalently: if both principal curvatures coincide at p, or if S is proportional to the identity map on the tangent plane at p, or if H(I,II) K e (I,II) = 0 at p. We define the Hopf differential of the fundamental pair (I,II) as the (,0)-part of II for the Riemannian metric I. In other words, if we consider as a Riemann surface with respect to the metric I and take a local conformal parameter z, then we can write I = λ dz, II = Qdz +λh dz +Qd z. (15) The quadratic form Qdz, which does not depend on the chosen parameter z, is known as the Hopf differential of the pair (I,II). We note that (I,II) is umbilical at p if and only if Q(p) = 0. Remark 1. All the above definitions can be understood as natural extensions of the corresponding ones for isometric immersions of a Riemannian surface in a 3 dimensional ambient space, where I plays the role of the induced metric and II the role of its second fundamental form. A specially interesting case happens when the fundamental pair satisfies the Codazzi equation, that is, Definition 3. We say that a fundamental pair (I, II), with shape operator S, is a Codazzi pair if X SY Y SX S[X,Y] = 0, X,Y X(), (16) where stands for the Levi-Civita connection associated to the Riemannian metric I and X() is the set of smooth vector fields on. Let us also observe that, from (15) and (16), a fundamental pair (I,II) is a Codazzi pair if and only if Q z = λh z. Thus, one has: 9

10 Lema 4 ([4]). Let (I,II) be a fundamental pair. Then, any two of the conditions (i), (ii), (iii) imply the third: (i) (I,II) is a Codazzi pair. (ii) H is constant. (iii) The Hopf differential is holomorphic. Remark. We observe that Hopf s Theorem [3, p. 138], on the uniqueness of round spheres among immersed constant mean curvature spheres in Euclidean 3-space, can be easily obtained from this result. 3 Abresch-Rosenberg Differential and Codazzi Pairs One of the main points in the work of Abresch-Rosenberg [1, ] is to prove that the quadratic differential Q AR given in Definition 1 is holomorphic on any H surface immersed in E(κ,τ). Hence, it is easy to see that such quadratic differential must vanish on a topological sphere by the Poincaré-Hopf Index Theorem. Then, the authors showed that if the Abresch-Rosenberg differential vanishes on a H surface then it must be invariant under certain one parameter subgroup of isometries of the ambient manifold E(κ, τ). In particular, when the surface is a topological sphere, it must be rotationally symmetric. Specifically, they proved: Theorem ([1, ]). The only topological spheres in E(κ,τ) with constant mean curvature H are the rotational invariant spheres. Lemma 4 tells us that the existence of a holomorphic quadratic differential shouldimplythe existenceofacodazzipaironanyh surfaceine(κ,τ). When E(κ,τ) is a product manifold, i.e. τ = 0, such Codazzi pair was found a long time ago (cf. [3]). Our goal here is to obtain a Codazzi pair on any H surface such that the Abresch-Rosenberg differential appears as its Hopf differential. First, we recover the case τ = 0 since it will enlighten the case τ H surfaces in E(κ,τ) with τ = 0. Consider a complete immersed H surface M (κ) R. According to the notation introduced above, we define the self-adjoint endomorphism S on as SX = HAX κ X,T T+ κ T X H X, (17) where X X(), A is the Weingarten operator associated to the second fundamental form, T is the tangential component of the vertical vector field t defined in M (κ) R. Consider the quadratic form II S associated to S given by (17). In [3], it was shown that (I,II S ) is a Codazzi pair on if H is constant. Moreover, it is traceless, i.e., tr(s) = 0 = H(I,II S ), and the Hopf differential associated to (I,II S ) is the Abresch-Rosenberg differential Q AR in M (κ) R. 10

11 3. H surfaces in E(κ,τ) with τ 0. The main point in this section is to show that the Abresch-Rosenberg differential has an interpretation in terms of a Codazzi pair defined on any H surface in E(κ,τ) when τ 0. In this case, we have that H +τ > 0. Define θ [0,π) by e iθ = H iτ H +τ. Let E(κ,τ) beah surfaceandz bealocalconformalparameter. Then, up to the complex constant H + iτ, we can re-define the Abresch-Rosenberg differential as: ) Q AR dz = (Q κ 4τ (H +iτ) t dz. One can re-write the above differential as: ) Q AR dz = (Q κ 4τ t) dz. H +τ (eiθ Given the tangential vector field T, define T θ = cosθt + sinθjt, then T θ, z = e iθ t, hence, ) Q AR dz = ( A z, z α T θ, z dz, where α = κ 4τ and A is the usual shape operator. This leads us to the H +τ following definition: Definition 4. Given a H surface E(κ,τ), the Abresch-Rosenberg fundamental form is defined by: II AR (X,Y) = II(X,Y) α T θ,x T θ,y + α T X,Y, (18) or equivalently, the Abresch-Rosenberg shape operator S AR is defined by: S AR X = A(X) α T θ,x T θ + α T X, (19) or, the traceless Abresch-Rosenberg shape operator S is defined by: SX = S AR X HX = A(X) α T θ,x T θ + α T X HX, (0) where X,Y X(). First, we examine the geometric properties of the above quadratic form and its relation to the Abresch-Rosenberg differential: Proposition5. The following equations hold for the fundamental pair (I,II AR ): 1. II AR ( z, z )dz = Q AR dz, where z is a local conformal parameter for I. 11

12 . H(I,II AR ) = H(I,II). 3. K e (I,II AR ) = K e (I,II)+α ST θ,t θ + α T 4. 4 Moreover, the squared norm of the shape operator A and the squared norm of the traceless Abresch-Rosenberg shape operator S satisfy Moreover, it holds A = S +α ST θ,t θ + α T 4 +H. (1) T 4 ST θ,t θ S = ST θ,jt θ S. () Proof. Consider a local conformal parameter z for I. A straightforward computation shows II AR ( z, z )dz = Q AR dz and H(I,II AR ) = H(I,II). Leu us compute K e (I,II AR ). It is clear that T θ = JT θ = T, then; II AR (T θ,t θ ) = II(T θ,t θ ) α T 4. II AR (T θ,jt θ ) = II(T θ,jt θ ). (3) II AR (JT θ,jt θ ) = II(JT θ,jt θ )+ α T 4. FromthedefinitionoftheAbresch-Rosenbergquadraticform,wehaveK e (I,II AR ) = K e (I,II) on the set U = {p : T (p) = 0}. Then, take p \ U and consider the orthonormal basis in T p defined by: From (3), we obtain: e 1 = T θ T and e = JT θ T. II AR (e 1,e 1 ) II AR (e,e ) = II(e 1,e 1 ) II(e,e ) α T, (4) and, since {e 1,e } is orthonormal at p and (3), we have K e (I,II AR ) = II AR (e 1,e 1 )II AR (e,e ) II AR (e 1,e ) = II(e 1,e 1 )II(e,e ) II(e 1,e ) + α (II(e 1,e 1 ) II(e,e )) T α 4 T 4. On the one hand, substituting (4) into the above formula of K e (I,II AR ) and simplifying terms, we get at p: K e (I,II AR ) = K e (I,II)+ α (II AR(T θ,t θ ) II AR (JT θ,jt θ ))+ α T 4. 4 (5) 1

13 On the other hand, recall that S is traceless and hence, at a point p, we can consider an orthonormal basis {E 1,E } of principal directions for S, i.e, SE 1 = λe 1, SE = λe and S = λ. Then, there exists β [0,π) such that and hence, one can easily check Hence, from (0) and (6), we have T θ = T (cosβe 1 +sinβe ), ST θ,t θ = SJT θ,jt θ. (6) II AR (T θ,t θ ) II AR (JT θ,jt θ ) = ST θ,t θ SJT θ,jt θ = ST θ,t θ, thus,substitutingthelastequationinto(5)yieldstheexpressionfork e (I,II AR ). Also, a straightforward computation using (6) gives that T 4 ST θ,t θ S = ST θ,jt θ S, which shows (). Finally, (1) can be easily obtained by observing that A = 4H K e and S = q AR = (H K e (I,II AR )). Hence, Lemma 4 implies: Lema 6. Given any H surface in E(κ,τ), H +τ 0, it holds: Q AR is holomorphic if and only if (I,II AR ) is a Codazzi pair. So, we can summarize the above discussion in the following Lema 7 (Key Lemma). Given a H surface E(κ,τ), H +τ 0, consider the symmetric (, 0) tensor given by where II AR (X,Y) = II(X,Y) α T θ,x T θ,y + α T X,Y, α = κ 4τ H +τ, e iθ = H iτ H +τ and T θ = cosθt+sinθjt. Then, (I,II AR ) is a Codazzi pair with constant mean curvature H. Moreover, the (,0) part of II AR with respect to the conformal structure given by I agrees (up to a constant) with the Abresch-Rosenberg differential. 13

14 And, as a consequence of Lemma 4 we have: Corollary 1. Let be a H surface in E(κ,τ), H + τ 0. Then, the following conditions are equivalent S is bounded, A is bounded, K is bounded. Proof. On the one hand, from (1) is clear that A is bounded if, and only if, S is bounded. On the other hand, from 4H K e = A and the Gauss equation, we have that K is bounded if, and only if, A is bounded. 4 Simons type formula in E(κ,τ). In this section, we will obtain a Simons type formula for the traceless Abresch- Rosenberg shape operator S defined on a H surface E(κ,τ), τ 0. The Simons type formula follows form the fact that the traceless Abresch-Rosenberg shape operator is Codazzi and the work of Cheng-Yau [10]. Theorem 3. Let be a H surface in E(κ,τ). Then, the traceless Abresch- Rosenberg shape operator satisfies or, equivalently, away from the zeroes of S, 1 S = S +K S, (7) S S K S = S. (8) Proof. Since (I,II AR ) is a Codazzi pair on, from Lemma 4 we get that (I,II AR HI) is also a Codazzi pair on, observe that II AR HI is nothing but the traceless Abresch-Rosenberg fundamental form. Hence, from (1) (cf. [10]), we obtain 1 S = S +K S, asclaimed. Here,wehaveusedthatR ijij = K sinceweareworkingindimension two. Also, since S is traceless, the two eigenvalues, λ i, are opposite signs so (λ i λ j ) = 4λ i = S. To obtain (8), using S = S S + S, we get S S + S = S +K S Thus, since has dimension two and S is traceless and Codazzi, it holds (cf. [8]) S = S, and we finally obtain (8). 14

15 4.1 Classification results for H surfaces in E(κ, τ) First, we shall recall the classification theorem when q AR vanishes identically. Lema 8 ([1,, 15]). Let E(κ,τ) be a complete H surface whose Abresch- Rosenberg differential vanishes. Then is invariant by certain one parameter subgroup of isometries of E(κ,τ). Hence, the above Lemma motivates the following: Definition 5. Let be a complete H surface in E(κ,τ). We say that is an Abresch-Rosenberg surface if its Abresch-Rosenberg differential vanishes identically. Since E(κ,τ) is a Riemannian submersion π : E(κ,τ) M (κ), given γ a regular curve in M (κ), γ := π 1 (γ) is a surface in E(κ,τ) satisfying that ξ is a tangential vector field along γ, in this case ν = 0. So, ξ is a parallel vector field along γ and hence γ is flat and its mean curvature is given by H = k g, where k g is the geodesic curvature of γ in M (κ) (cf. [16, Proposition.10]). We will call γ := π 1 (γ) a Hopf cylinder in E(κ,τ) over the curve γ. If γ is a closed curve, γ is a flat Hopf cylinder and additionally, if π is a circle Riemannian submersion, γ is a Hopf torus. The latter case occurs when E(κ,τ) is a Berger sphere (see, [8, Theorem 1]), i.e., κ = 1 and τ 0. Now, with the definition of Hopf cylinders in hand, we classify H surfaces in E(κ,τ) with constant non-zero Abresch-Rosenberg map q AR (cf. [15] for a different proof). Theorem 4. Let E(κ,τ) be a complete H surface and suppose q AR is a positive constant map on, then is a Hopf cylinder over a complete curve of curvature H on M (κ). Proof. We can assume, without loss of generality, that is simply-connected by passing to the universal cover. Since q AR is a positive constant, (cf. [4, Main Lemma]) we have 0 = lnq AR = 4K, that is, the Gaussian curvature vanishes identically on. Moreover, since q AR = H K e (I,II AR ) = c > 0 is constant, we obtain that K e (I,II AR ) = H c is constant on. On the one hand, since is simply connected, q AR = c > 0, there exists a global conformal parameter z = x+iy (cf. [4, Main Lemma]), so that ci = dx +dy and cii AR = (H +c)dx +(H c)dy. On the other hand, combining the Gauss equation (8) and the expression of K e (I,II AR ) given by item 3 in Proposition 5, we obtain τ +(κ 4τ )(1 T ) = α ST θ,t θ + α T 4 H +c, 4 or, in other words, α T 4 +(κ 4τ ) T +α ST θ,t θ +c H τ (κ 4τ ) = 0 on. 4 Set u = T θ, x and v = T θ, y. Thus, the last equations imply that there exists a polynomial in the variables u and v, P(u,v), whose leading term 15

16 is α (u +v ). Since α 0, we obtain that T is constant on and hence ν is constant along, which implies that is a vertical cylinder (cf. [14, Theorem.]). 5 Finite Abresch-Rosenberg Total Curvature CompleteH surfaces R 3 offinitetotalcurvature,i.e., thosewhosel norm of its traceless second fundamental form is finite, are of capital importance on the comprehension of H surfaces. If has constant nonzero mean curvature and finite total curvature, then it must be compact. If is minimal, Osserman s Theorem gives an impressive description of them. When we consider complete H surfaces in E(κ,τ), the traceless part of the second fundamental form encodes less information about the surface. So, it is also convenient to consider the traceless part of the Abresch-Rosenberg fundamental form. Definition 6. Let E(κ,τ) be a complete H surface, H + τ 0. We say that has finite Abresch-Rosenberg total curvature if the L norm of the traceless Abresch-Rosenberg form is finite, i.e, S dv g < +. where dv g is the volume element of. We must point out here that the family of complete constant mean curvature surfaces of finite Abresch-Rosenberg total curvature is large. Obviously, any Abresch-Rosenberg surface has finite Abresch-Rosenberg total curvature. We focus on H = 1/ surfaces in H R to show this fact. Recall the following result of Fernández-Mira: Theorem [17, Theorem 16]. Any holomorphic quadratic differential on an open simply connected Riemann surface is the Abresch- Rosenberg differential of some complete surface with H = 1/ in H R. Moreover, the space of noncongruent complete mean curvature one half surfaces in H R with the same Abresch-Rosenberg differential is generically infinite. Then, we take the disk D as our open Riemann surface and a holomorphic quadratic differential Q on D that extends continuously to the boundary. Let be the H = 1/ surface constructed in [17, Theorem 16]. Now, we will see that has finite Abresch-Rosenberg total curvature. For a conformal parameter z D, we have I = λ dz and hence Q = f(z)dz, for a holomorphic function f : D C that extends continuously to the boundary. Then, the squared norm of the traceless Abresch-Rosenberg shape operator is given by S = f 4λ and dv g = 4λ dz. Thus, we have S dv g = f(z) dz < +, as claimed. D 16

17 The study of constant mean curvature surfaces of finite Abresch-Rosenberg total curvature is complementary to the study of surfaces of finite total curvature (see [0, 1] and references therein). Note that we are assuming H +τ 0, otherwise we consider the usual Abresch-Rosenberg operator given by (17). In [6], the authors studied complete H surfaces of finite Abresch-Rosenberg total curvature in product spaces M (κ) R. The fundamental tool used in [6] is the Simons type formula for S developed in [5] when τ = 0. Hence, using our Simons type formula (Theorem 3), we can obtain: Proposition 9. Let be an immersed H surface, H +τ 0, in E(κ,τ) and set u = S, where S is the traceless Abresch-Rosenberg form. Then where a, b are constants depending on κ 4τ and H. u au 3 +bu, (9) Proof. First, from (1) and 4H A = K e, we have K e = H 1 S α ST θ,t θ α T 4 4. (30) Substituting (30) into the Gauss equation K = K e +τ +(κ 4τ )ν, we can rewrite the Gaussian curvature K as follows K = (κ 4τ )(1 T )+τ +H 1 S α ST θ,t θ α T 4 4. (31) Next, substituting (31) into (8), we obtain: S S ((κ 4τ )ν +τ +H 1 ) S α ST θ,t θ α T 4 4 ( S 3 S min{0,κ 4τ } τ H + 1 ) α +α ST θ,t θ. (3) Since S is traceless, we have that ST θ = 1 S T θ, and using the Schwarz inequality ST θ,t θ T θ ST θ, we see that S (α ST θ,t θ ) α S α S 3 α S. (33) Finally, combining (33) with (3) yields ( S 1+ α ) ( S 3 min{0,κ 4τ } τ H + 1 α + α ) S, which proves (9). Any H surface in E(κ,τ) satisfies a Sobolev type inequality of the form (cf. []) f C 0 f 1 +C 1 f 1, f C 0 (), (34) where f p denotes the L p ()-norm of f and C 0, C 1 are constants that depend only on the mean curvature H. Here, C0 (), as always, stands for the linear space of compactly supported piecewise smooth functions on. 17

18 Now, let p be a fixed point. Consider the intrinsic distance function d(x,p) to p and define the open sets B(R) = {x : d(p,x) < R} and E(R) = {x : d(x,p) > R}, then, with the above notations, we can show the following: Theorem 5. Let E(κ,τ) be a complete H surface, H +τ 0, of finite Abresch-Rosenberg total curvature, that is, S dv g < +, then S goes to zero uniformly at infinity. More precisely, there exist positive constants A, B and a positive radius R, determined by the condition B E(R ) S 1, such that for u = S and for all R R, we have u,e(r) = sup A x E(R)u(x) ( S )1 dv g (35) E(R) and, there exist positive constants D and E such that the inequality S dv g D implies u = supu(x) E S dv g. x Proof. Since the function u = S satisfies the Sobolev type inequality (34) and the inequality (9), we can now work as in the proof of [7, Theorem 4.1] to show that u satisfies the inequality (35), letting R go to infinity we get that S goes to zero uniformly at infinity. Next, we study H surfaces in E(κ,τ), H + τ 0, of finite Abresch- Rosenberg total curvature. Despite what happens in R 3, a H surface E(κ, τ) with finite Abresch-Rosenberg total curvature is not necessarily conformally equivalent to a compact surface minus a finite number of points, in particular, is not necessarily parabolic. For example, the complete H = 1/ surface constructed above is hyperbolic. However, we obtain: Theorem 6. Let be a complete surface on E(κ,τ), H + τ 0, of finite Abresch-Rosenberg total curvature. Suppose one of the following conditions holds 1. κ 4τ > 0 and H +τ > κ 4τ 4.. κ 4τ < 0 and H +τ > ( 5+) 4 (κ 4τ ). Then, must be compact. Proof. From (31), the Gaussian curvature can be written as K = (κ 4τ )(1 T )+τ +H 1 S α ST θ,t θ α T 4 4. Now, T θ 1, S traceless and the Schwarz inequality imply α ST θ,t θ α S T θ α S, 18

19 therefore K (κ 4τ )ν +(H +τ ) 1 S α S α T 4 4. If κ 4τ > 0, then If κ 4τ < 0, then K (H +τ ) α 4 1 S α S. K (κ 4τ )+(H +τ ) α 4 1 S +α S. In both cases, the hypothesis and the fact that S goes to zero uniformly imply that there exists a compact set Ω and ǫ > 0 (depending on the compact set) such that the Gaussian curvature satisfies K(p) ǫ > 0 for all p \Ω. Therefore, Bonnet Theorem implies that d(p, \ Ω) is uniformly bounded for all p \Ω. Thus, must be compact. Remark 3. The above result was obtained in [6] when τ = 0. We could have extended other results from [6], but we left this to the interested reader. 5.1 First Eigenvalue of a Schrödinger operators We will use the Simons type formula (8) to estimate the first eigenvalue λ 1 (L) of a Schrödinger operator L defined on a complete H surface in E(κ,τ) of finite Abresch-Rosenberg total curvature. SetV C 0 ()andconsiderthedifferentiallinearoperator,calledschrödinger operator, given by L : C0 () C 0 () f Lf := f +V f, where is the Laplacian with respect to the induced Riemannian metric on. Given a relatively compact domain Ω, it is well-known (cf. [9, 19]), that there exists a positive function ρ : R such that { ρ = (V +λ1 (L,Ω))ρ in Ω ρ = 0 on Ω, where λ 1 (L,Ω) = inf { Ω ( f Vf )dv g Ω f dv g : f C 0 (Ω) }, that is, λ 1 (L,Ω) and ρ are the first eigenvalue and first eigenfunction, respectively, associated to the Schrödinger operator L on Ω. 19

20 Now, we can consider the infimum over all the relatively compact domains in and we can define the infimum of the spectrum of L as in particular, λ 1 (L) := inf{λ 1 (L,Ω) : Ω relatively compact}, for any compact exhaustion {Ω i } of. λ 1 (L) := inf i + λ 1 (L,Ω i ), Remark 4. It is standard that the regularity conditions above can be relaxed, but this is not important in our arguments. First, we will relate the Simons type formula to the first eigenvalue of any Schrödinger operator. Lema 10. Let E(κ,τ) be a complete H surface, H +τ 0, and Ω a relatively compact domain. Denote by λ 1 (L,Ω) and ρ Ω the first eigenvalue and first eigenfunction, respectively, associated to the Schrödinger operator L := +V on Ω, V C 0 (Ω). Set C Ω = S (V +λ 1 (L,Ω))+ S, where S is the traceless Abresch-Rosenberg shape operator. Given φ C0 (Ω ), Ω Ω, then φ S C Ω S φ. (36) Ω Proof. Set ρ Ω = ρ and λ 1 (L,Ω) = λ 1. By the Maximum Principle ρ > 0 in Ω. Set w := lnρ in Ω and note that it is well defined. Moreover, it holds w = (V +λ 1 ) w. Set ψ = φ S. On the one hand, by Stokes Theorem 0 = div ( ψ w ) Ω = ψ w+ ψ ψ, w Ω Ω = ψ (V +λ 1 ) ψ w + ψ ψ, w Ω Ω Ω ψ (V +λ 1 )+ ψ, Ω Ω where we have used ψ w + ψ ψ, w ψ. In other words, we have ψ (V +λ 1 ) ψ. (37) Ω On the other hand, using the definition of ψ we get and, since ψ = φ S +φ S φ, S + S φ, 1 ( div φ S ) = φ S S +φ S +φ S φ, S, 0 Ω Ω

21 we have that ψ = 1 div (φ S ) φ S S + S φ, so, taking integrals and using Stokes Theorem, we obtain ψ = φ S S + S φ. (38) Ω Thus, combining (38) with (37) we get (36). Ω Now, we can use Lemma 10 to estimate the first eigenvalue λ 1 (L) of the Schrödinger operator L = +V. Specifically, Theorem 7. Let be a complete two-sided H surface in E(κ,τ) of finite Abresch-Rosenberg total curvature and H +τ 0. Denote by λ 1 (L) the first eigenvalue associated to the Schrödinger operator L := + V, V C 0 (). Then, is either an Abresch-Rosenberg surface, a Hopf cylinder or Ω λ 1 (L) < inf {V +K}. (39) Proof. Assume that S is not identically constant on, otherwise is either an Abresch-Rosenberg H surface or a Hopf cylinder. Then, from (8), we get C = S (V +λ 1 (L))+ S S (V +λ 1 (L)+K). Note that C > S (V +λ 1 (L)+K) at some point since, otherwise, it would implies that S is constant, which is a contradiction. Suppose λ 1 (L) inf {V + K}, then C S (V + λ 1 (L) + K) 0. Now, take p a fixed point and R > 0. Denote by r(x) = d(x,p) the distance function from p and B(p,R) the geodesic ball of radius R. Choose R < R and define φ as follows 1 For x such that 0 r(x) R. φ(x) = R r(x) For x such that R < r(x) R. 0 For x such that R < r(x) R. Observes that φ C0 1(B(p,R )), B(p,R ) B(p,R) and B(p,R) is a relatively compact set on, then Lemma 10 implies φ S C B(p,R) S φ, B(p,R) and, since φ = 1 on B(p, R S C B(p,R) B(p, R ) B(p,R) B(p,R) ) and C 0 on, we get φ S C B(p,R) 4 (R ) {x : R <r(x) R } S. Hence, from the hypothesis that has finite Abresch-Rosenberg total curvature and letting R we obtain S C 0. 1

22 The above equation implies that C 0 on, hence S must be constant on, which is a contradiction since we are assuming that S is not constant. Therefore λ 1 (L) must satisfy λ 1 (L) < inf {V +K}. Obviously, any closed H surface in E(κ, τ) has finite Abresch-Rosenberg total curvature. Consequently, from [8, Theorem 1] and Theorem 7 we get an estimate of λ 1 (L) of any closed surface of E(κ,τ), H +τ 0. Corollary. Let be a closed H surface in E(κ,τ), H +τ 0. Denote by λ 1 (L) the first eigenvalue associated to the Schrödinger Operator L := +V, V C 0 (). Then, is either a rotationally symmetric H sphere, a Hopf H tori or λ 1 (L) < inf {V +K}. (40) 5. Stability Operator Now, we obtain estimates for the most natural Schrödinger operator of a complete H surface in E(κ, τ), the Stability (or Jacobi) operator J = +( A +Ric(N)), where Ric(N) is the Ricci curvature of the ambient manifold in the normal direction. Hence, in this case, V A +Ric(N). Note that, since Ric(N) = (κ 4τ ) T +τ and the Gauss equation (3), we have V +K = 4H +(K K e )+(κ 4τ ) T +τ = 4H +κ+(κ 4τ )ν. Hence, Theorem 7 and the above equality gives: Theorem 8. Let be a complete two sided H surface of finite Abresch- Rosenberg total curvature in E(κ,τ), H +τ 0. If κ 4τ > 0. Then, is either an Abresch-Rosenberg H surface, a Hopf cylinder, or λ 1 < (4H +κ). If κ 4τ < 0. Then, is either an Abresch-Rosenberg H surface, or λ 1 < (4H +κ) (κ 4τ ). Remark 5. These estimates were obtained by Alías-Meroño-Ortíz [4] for closed surfaces in E(κ,τ).

23 6 Pinching Theorems for H surfaces in E(κ, τ) In this section we use the Simons type formula (7) together with the Omori- Yau Maximum Principle to classify complete H surfaces in E(κ, τ) satisfying a pinching condition on its Abresch-Rosenberg fundamental form. First, we recall the Omori-Yau Maximum Principle for the reader convenience. Theorem 9 ([9]). Let M be a complete Riemannian manifold with Ricci curvature bounded from below. If u C (M) is bounded from above, then there exits a sequence of points {p j } j N M such that: 1. lim u(p j) = supu. j. u (p j ) < 1 j. 3. u(p j ) < 1 j. M Second, we study the Simons type formula (7) in the set of non-umbilical points of S. Proposition 11. Let be a H surface in E(κ,τ). Then, away from the umbilic points of S, it holds 1 S S + S F( S ), (41) where F(x) = x +bx+a is the second degree polynomial given by where α = κ 4τ H +τ. a = (κ 4τ )+(H +τ ) (κ 4τ ) T α T 4, b = α T, Proof. From (31), the Gaussian curvature can be written as K = (κ 4τ )(1 T )+τ +H α T S α ST θ,t θ. Since ST θ,t θ S T, substituting the above formulas into (7) yields 1 S S + S ( (κ 4τ )(1 T )+(τ +H ) α T 4 S α S T ), as claimed. So, our next step is to study the first positive root x R + of F(x) so that F(x) > 0 for all x (0, x). To do so, we set t = T [0,1] and hence, we can rewrite: a(t) = (κ 4τ )+(H +τ ) (κ 4τ )t α t. b(t) = α t. 3

24 In order to obtain a positive real root, the coefficients of F must hold h(t) = b(t) +4a(t) > 0 and a(t) > 0 for all t [0,1]. This means that and (H +τ )+(κ 4τ )(1 t)+ α 4 t > 0 for all t [0,1], (H +τ )+(κ 4τ )(1 t) α t > 0 for all t [0,1]. Proposition 1. Define G : [0,1] R as G(t) = b(t)+ b(t) +4a(t), (4) then, assuming h(t) > 0 and a(t) > 0 for all t [0,1], the function G(t) satisfies: } min t [0,1] G(t) = min{ (H +τ )+(κ 4τ ), α + (H +τ )+ α. (43) Proof. We compute the interior critical points of G(t). To do so, we compute the derivative of G at an interior point ( ) G (t) = b (t) 1+ + = α = ( b(t) b(t) +4a(t) a (t) (b(t)) +4a(t) b(t)+ ) b(t) +4a(t) α t+(κ 4τ ) b(t) +4a(t) (b(t)) +4a(t) 1 ( α G(t) α t (κ 4τ ) ) b(t) +4a(t) Assumethatthereexists t (0,1)sothat G ( t) = 0, thenthe aboveequation implies that the function Ψ(t) := α G(t) α t (κ 4τ ) satisfies Ψ( t) = 0 and Ψ ( t) = α t. Moreover, observe that G (t) = R(t)Ψ(t)+ for some smooth function R : (0,1) R +. Hence Ψ (t) b(t) +4a(t), G Ψ( t) ( t) = b( t) +4a( t) = α t b(t) +4a(t) < 0. Therefore, G does not have an interior minimum. Therefore, in any case, min t [0,1] G(t) = min{g(0),g(1)}. Next, we compute the minimum of G. To do so, we will distinguish two cases depending on the sign of κ 4τ. Case 1: κ 4τ > 0. In this case, we assume 4(H +τ ) > κ 4τ. Then, h(t) > 0 and a(t) > 0 for all t [0,1]. Therefore, Proposition 1 implies min t [0,1] G(t) = (H +τ )+(κ 4τ ) > 0. 4

25 Now, we are ready to show a pinching theorem for complete H surfaces in E(κ,τ) when κ 4τ > 0. Theorem 10. Let be a complete immersed H surface in E(κ,τ), κ 4τ > 0. Assume that 4(H +τ ) > κ 4τ and sup S < (H +τ )+(κ 4τ ), where S is the traceless Abresch-Rosenberg shape operator. Then, is an Abresch-Rosenberg surface in E(κ, τ). Moreover, if sup S = (H +τ )+(κ 4τ ) and there exists one point p such that S(p) = sup S, then is a Hopf cylinder. Proof. Assume S is not identically zero. Set d := F(sup p S ). From Proposition 1 we have F( S (p)) d > 0. Hence, Proposition 11 implies that S d S (44) away from the umbilic points of S. Thus, since S is bounded by hypothesis, Corollary 1 implies that the Ricci curvature of (nothing but the Gaussian curvature) is bounded from below. Hence, the Omori-Yau Maximum Principle implies that there exists a sequence {p j } j N such that: lim j S (p j ) = sup S and lim j S (p j ) 0., which contradicts (44). Hence, S = 0 on, that is, is an Abresch-Rosenberg surface. Now, assume that sup S = (H +τ )+(κ 4τ ) and there exists one point p such that S(p) = sup S > 0. So, from Proposition 1, there is a neighborhood Ω of p so that S 0. Then, the Interior Maximum Principle implies that S is constant (non zero) on Ω, and hence constant on. Thus, Lemma 4 implies that is a Hopf cylinder. Case : κ 4τ < 0. In this case, we assume H +τ > κ 4τ. Then, h(t) > 0 and a(t) > 0 for all t [0,1]. Therefore, Proposition 1 implies min t [0,1] G(t) = α + (H +τ )+ α > 0 5

26 So, arguing as in Theorem 10, we establish (without proof) a pinching theorem for complete H- surfaces in E(κ,τ) when κ 4τ < 0. Theorem 11. Let be a complete immersed H surface in E(κ,τ), κ 4τ < 0. Assume that H +τ > κ 4τ and sup S < α + (H +τ )+ α, where S is the traceless Abresch-Rosenberg shape operator. Then, is an Abresch-Rosenberg surface of E(κ, τ). Moreover, if sup S = α + (H +τ )+ α and there exists one point p such that S(p) = sup S, then is a Hopf cylinder. Acknowledgments The first author, José M. Espinar, is partially supported by Spanish MEC- FEDER Grant MTM P; CNPq-Brazil Grants 40573/013-9 and 14/01 - Universal, Grant 30669/ Produtividade; FAPERJ Grant 5/014 - Jovem Cientista de Nosso Estado. The second author, Haimer A. Trejos, is supported by CNPq-Brazil. References [1] U. Abresch. H. Rosenberg, A Hopf differential for constant mean curvature surfaces in S R and H R, Acta Math., 193 (004), [] U. Abresch. H. Rosenberg, Generalized Hopf differential. Mat. Contemp., 8 (005), 1 8. [3] J.A. Aledo, J.M. Espinar, J.A. Gálvez, The Codazzi equation on surfaces. Adv. in Math., 4 (010), [4] L. Alías, M. Meroño, I. Ortíz, On the first Stability eigenvalue of constant mean curvature surfaces into Homogeneous Spaces, Med. J. Math., 1 (015), [5] M. Batista, Simons Type equation in S R and H R and applications, Ann. Inst. Fourier (Grenoble), 61 (011) no. 4, [6] M. Batista, M.P. Cavalcante, D. Fetcu, Constant Mean Curvature Surfaces in M (c) R. Preprint. [7] P. Bérard, M. do Carmo, W. Santos, Complete hypersurfaces with constant mean curvature and finite total curvature. Ann. Global Anal. Geom. 16 (1998), no. 3,

27 [8] S. Brendle, Embedded minimal tori in S 3 and the Lawson conjecture, Acta Math., 11 (013), [9] I. Chavel, Eigenvalues in Riemannian Geometry, Pure and applied Mathematics 115, Academic Press (1984). [10] S.Y. Cheng, S.T. Yau, Manifolds with constant scalar curvature. Math. Ann., 5 (1977), [11] S.S. Chern. Minimal submanifolds in a Riemannian manifold. Mimeographed lecture notes. Univ. of Kansas [1] S.S. Chern, M.P. do Carmo, S. Kobayashi, Minimal submanifolds of a sphere with second fundamental form of constant length. Functional Analysis and Related Fields (edited by F. Brower) (1970), [13] B. Daniel, Isometric immersions into 3-dimensional homogenouos manifolds, Comment. Math. Helv. 8 (007), no. 1, [14] J.M. Espinar, H. Rosenberg, Complete Constant Mean Curvature surfaces and Bernstein type Theorems in M R, J. Diff. Geom., 8 (009), [15] J.M. Espinar, H. Rosenberg, Complete Constant Mean Curvature surfaces in homogeneous spaces, Comm. Math. Helv., 86 (011), [16] J.M. Espinar, I.S. Olivera, Locally convex surfaces immersed in a Killing Submersion, Bull. Braz. Math. Soc., 47 (013) no. 1, [17] I. Fernández, P. Mira, Harmonic maps and constant mean curvature surfaces in H R, Amer. J. Math., 19 (007), [18] D. Fetcu, H. Rosenberg, On complete submanifolds with parallel mean curvature in product spaces, Rev. Mat. Iberoam., 9 (013) no. 4. [19] D. Gilbarg, N.S. Trudinger, Elliptic partial differential equations of second order, Springer-Verlag, New York, nd edition, xiv+517 pp. ISBN: , MR [0] L. Hauswirth, H. Rosenberg, Minimal surfaces of finite total curvature in H R, Matematica Contemporanea, 31 (006), [1] L. Hauswirth, A. Menezes, On doubly periodic minimal surfaces in H R with finite total curvature in the quotient space, Annali Di Matematica Pura Ed Applicata, (193-), (015), 1. [] D. Hoffman, J. Spruck, Sobolev and isoparametric inequalities for Riemannian submanifolds, Comm. Pure Appl. Math., 7 (1974), [3] H. Hopf, Differential Geometry in the large, Lecture Notes in Math., 1000, Springer, Berlin, [4] T. Klotz Milnor, Abstract Weingarten Surfaces, J. Diff. Geom., 15 (1980), [5] O. Perdomo, First stability Eigenvalue Characterization of Clifford Hypersurfaces, Proc. A.M.S., 130 (00) no. 11,

28 [6] P. Scott, The Geometry of 3-Manifolds, Bull. London Math. Soc., 15(1983) no. 5, [7] J. Simons, Minimal varieties in Riemannian manifolds, Annals of Mathematics. Vol 88, no 1(1968), [8] F. Torralbo and F. Urbano, On the Gauss curvature of compact surfaces in homogeneous 3-manifolds, Proc. Amer. Math. Soc. 138 (010), [9] S.T. Yau. Harmonic functions on complete Riemannian manifolds, Comm. Pure and Appl. Math., 8 (1975),