Non-properly embedded H-planes in H2×R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb H}^2\times {\mathbb R}$$\end{document}

For any H∈(0,12)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$H \in (0,\frac{1}{2})$$\end{document}, we construct complete, non-proper, stable, simply-connected surfaces embedded in H2×R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb H}^2\times {\mathbb R}$$\end{document} with constant mean curvature H.


Introduction
In their ground breaking work [2], Colding and Minicozzi proved that complete minimal surfaces embedded in R 3 with finite topology are proper. Based on the techniques in [2], Meeks and Rosenberg [5] then proved that complete minimal surfaces with positive injectivity embedded in R 3 are proper. More recently, Meeks and Tinaglia [7] The first author is partially supported by BAGEP award of the Science Academy, and a Royal Society Newton Mobility Grant. The second author was supported in part by NSF Grant DMS -1309236. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the NSF. The third author was partially supported by EPSRC Grant No. EP/M024512/1, and a Royal Society Newton Mobility Grant. proved that complete constant mean curvature surfaces embedded in R 3 are proper if they have finite topology or have positive injectivity radius.
In contrast to the above results, in this paper we prove the following existence theorem for non-proper, complete, simply-connected surfaces embedded in H 2 × R with constant mean curvature H ∈ (0, 1/2). The convention used here is that the mean curvature function of an oriented surface M in an oriented Riemannian three-manifold N is the pointwise average of its principal curvatures.
The catenoids in H 2 ×R mentioned in the next theorem are defined at the beginning of Sect. 2.1.

Theorem 1.1
For any H ∈ (0, 1/2) there exists a complete, stable, simply-connected surface H embedded in H 2 × R with constant mean curvature H satisfying the following properties: (1) The closure of H is a lamination with three leaves, H , C 1 and C 2 , where C 1 and C 2 are stable catenoids of constant mean curvature H in H 3 with the same axis of revolution L. In particular, H is not properly embedded in H 2 × R. (2) Let K L denote the Killing field generated by rotations around L. Every integral curve of K L that lies in the region between C 1 and C 2 intersects H transversely in a single point. In particular, the closed region between C 1 and C 2 is foliated by surfaces of constant mean curvature H , where the leaves are C 1 and C 2 and the rotated images H (θ ) of around L by angle θ ∈ [0, 2π).
When H = 0, Rodríguez and Tinaglia [10] constructed non-proper, complete minimal planes embedded in H 2 × R. However, their construction does not generalize to produce complete, non-proper planes embedded in H 2 × R with non-zero constant mean curvature. Instead, the construction presented in this paper is related to the techniques developed by the authors in [3] to obtain examples of non-proper, stable, complete planes embedded in H 3 with constant mean curvature H , for any H ∈ [0, 1).
There is a general conjecture related to Theorem 1.1 and the previously stated positive properness results. Given X a Riemannian three-manifold, let Ch(X ) := inf S∈S it is embedded and its mean curvature is constant equal to H ; we will assume that H is appropriately oriented so that H is non-negative. We will use the cylinder model of H 2 × R with coordinates (ρ, θ, t); here ρ is the hyperbolic distance from the origin (a chosen base point) in H 2 0 , where H 2 t denotes H 2 × {t}. We next describe the H -catenoids mentioned in the Introduction.
The following H -catenoids family will play a particularly important role in our construction.
If d = −2H , then by rotating the curve (ρ, 0, λ d (ρ)) around the t-axis one obtains a simply-connected H -surface E H that is an entire graph over H 2 0 . We denote by −E H the reflection of E H across H 2 0 . We next recall the definition of the mean curvature vector.
In particular, the corresponding H -catenoids are disjoint, i.e. C H is decreasing for t > 0 and increasing for t < 0. In particular, The proof of the above lemma requires a rather lengthy computation that is given in the Appendix.
We next recall the well-known mean curvature comparison principle.

The examples
For a fixed H ∈ (0, 1/2), the outline of construction is as follows. First, we will take two disjoint H -catenoids C 1 and C 2 whose existence is given in Lemma 2.1. These catenoids C 1 , C 2 bound a region in H 2 × R with fundamental group Z. In the universal cover of , we define a piecewise smooth compact exhaustion 1 ⊂ 2 ⊂ · · · ⊂ n ⊂ · · · of . Then, by solving the H -Plateau problem for special curves n ⊂ ∂ n , we obtain minimizing H -surfaces n in n with ∂ n = n . In the limit set of these surfaces, we find an H -plane P whose projection to is the desired non-proper H -plane H ⊂ H 2 × R.

Construction of
Fix H ∈ (0, 1 2 2 . We will use the notation C i := C H d i . Recall that both catenoids have the same rotational axis, namely the t-axis, and recall that the mean curvature vector H i of C i points into the connected component of Fig. 1 The induced coordinates (ρ, θ, t) in H 2 × R − C i that contains the t-axis. We emphasize here that H is fixed and so we will omit describing it in future notations.
Let be the closed region in H 2 × R between C 1 and C 2 , i.e., ∂ = C 1 ∪ C 2 ( Fig. 1left). Notice that the set of boundary points at infinity ∂ ∞ is equal to By construction, is topologically a solid torus. Let be the universal cover of . Then, ∂ = C 1 ∪ C 2 ( Fig. 1-right), where C 1 , C 2 are the respective lifts to of C 1 , C 2 . Notice that C 1 and C 2 are both H -planes, and the mean curvature vector H points outside of along C 1 while H points inside of along C 2 . We will use the induced coordinates (ρ, θ, t) on where θ ∈ (−∞, ∞). In particular, if is the covering map, then Recalling the definition of b i (t), i = 1, 2, note that a point (ρ, θ, t) belongs to if and only if ρ ∈ [b 1 (t), b 2 (t)] and we can write

Infinite bumps in
Let γ be the geodesic through the origin in H 2 0 obtained by intersecting H 2 0 with the vertical plane {θ = 0} ∪ {θ = π }. For s ∈ [0, ∞), let ϕ s be the orientation preserving hyperbolic isometry of H 2 0 that is the hyperbolic translation along the geodesic γ with ϕ s (0, 0) = (s, 0). Let be the related extended isometry of H 2 × R.
Let C d be an embedded H -catenoid as defined in Sect. 2.1. Notice that the rotation axis of the H -catenoid , which gives an upper bound estimate for the asymptotic distance between the catenoids; recall that by our choices of C 1 , C 2 given in Lemma 2.1, we have δ > 0. Let δ 1 = 1 2 min{δ, η 1 } and let δ 2 = δ − δ 1 2 . Let We claim that for any t ∈ R, the intersection τ i t ∩ is an arc with end points in τ i t , i = 1, 2. This result would give that ∩ C i is an infinite strip. We next prove this claim.
Consider the case i = 1 first. Since . This follows because This argument shows that ∩ C 1 is an infinite strip.
Consider now the case i = 2. Since δ 2 < δ < b 2 (t), the center p 2,t is inside the disk in H 2 t bounded by τ 2 t . Since the radii of τ 2 t and τ 2 t are both equal to b 2 (t), then the intersection τ 2 t ∩ τ 2 t is nonempty. It remains to show that This completes the proof that ∩ C 2 is an infinite strip and finishes the proof of the claim. Now, let Y + := ∩ C 2 and let Y − := ∩ C 1 . In light of Claim 3.1 and its proof, Fig. 2 The position of the bumps B ± in is shown in the picture. The small arrows show the mean curvature vector direction. The H -surfaces n are disjoint from the infinite strips B ± by construction Remark 3.2 Note that by construction, any rotational surface contained in must intersect as the circles C d ∩ H 2 t intersect either the circle τ 2 t or the circle τ 1 t for some t > 0 since δ 1 + δ 2 > δ.
The H -surfaces B ± near the top and bottom of will act as barriers (infinite bumps) in the next section, ensuring that the limit H -plane of a certain sequence of compact H -surfaces does not collapse to an H -lamination of all of whose leaves are invariant under translations in the θ -direction.
Next we modify as follows. Consider the component of −(B + ∪B − ) containing the slice { θ = 0}. From now on we will call the closure of this region * .

Consider the rotationally invariant
Moreover, there exists n 0 ∈ N such that for any n > n 0 , n ∈ N, the following holds. The highest (lowest) component of the intersection S + n := E n H ∩ (S − n := −E n H ∩ ) is a rotationally invariant annulus with boundary components contained in C 1 and C 2 . The annulus S + n lies "above" S − n and their intersection is empty. The region U n in between S + n and S − n is a solid torus, see Fig. 3-left, and the mean curvature vectors of S + n and S − n point into U n . Let U n ⊂ be the universal cover of U n , see Fig. 3 where can view S ± n as a lift to U n of the universal cover of the annulus S ± n . Hence, n is an infinite H -strip in , and the mean curvature vectors of the surfaces S + n , S − n point into U n along S ± n . Note that each U n has bounded t-coordinate. Furthermore, we can view U n as (U n ∩ P 0 ) × R, where P 0 is the half-plane {θ = 0} and the second coordinate is θ . Abusing the notation, we redefine U n to be U n ∩ * , that is we have removed the infinite bumps B ± from U n . Now, we will perform a sequence of modifications of U n so that for each of these modifications, the θ -coordinate in U n is bounded and so that we obtain a compact exhaustion of * . In order to do this, we will use arguments that are similar to those in Claim 3.1. Recall that the necksize of C 2 is η 2 = b 2 (0). Let C 3 = ϕ η 2 (C 2 ), see equation (3) for the definition of ϕ η 2 . Then, C 3 is a rotationally invariant catenoid whose rotational axis is the line (η 2 , 0) × R (Fig. 4-left).

Lemma 3.3 The intersection C 3 ∩ is a pair of infinite strips.
Proof It suffices to show that C 3 ∩ C 1 and C 3 ∩ C 2 each consists of a pair of infinite lines. Now, consider the horizontal circles τ 1 Now, let C 3 ∩ = T + ∪ T − , where T + is the infinite strip with θ ∈ (0, π), and T − is the infinite strip with θ ∈ (−π, 0). Note that T ± is a θ -graph over the infinite strip P 0 = ∩ P 0 where P 0 is the half plane {θ = 0}. Let V be the component of − C 3 containing P 0 . Notice that the mean curvature vector H of ∂V points into V on both T + and T − .
Consider the lifts of T + and T − in . For n ∈ Z, let T + n be the lift of T + which belongs to the region θ ∈ (2nπ, (2n + 1)π ). Similarly, let T − n be the lift of T − which belongs to the region θ ∈ ((2n − 1)π, 2nπ). Let V n be the closed region in between the infinite strips T − −n and T + n . Notice that for n sufficiently large, B ± ⊂ V n . Next we define the compact exhaustion n of * as follows: n := U n ∩ V n . Furthermore, the absolute value of the mean curvature of ∂ n is equal to H and the mean curvature vector H of ∂ n points into n on ∂ n − [(∂ n ∩ C 1 ) ∪ B − ].

The sequence of H-surfaces
We next define a sequence of compact H -surfaces { n } n∈N where n ⊂ n . For each n sufficiently large, we define a simple closed curve n in ∂ n , and then we solve the H -Plateau problem for n in n . This will provide an embedded H -surface n in n with ∂ n = n for each n.
The Construction of n in ∂ n : First, consider the annulus n be an arc in S + n ∩ A n , whose θ and ρ coordinates are strictly increasing as a function of the parameter and whose endpoints are l + n ∩ S + n and l − n ∩ S + n (Fig. 5-left). Similarly, define μ − n to be a monotone arc in S − n ∩A n whose endpoints are l + n ∩ S − n and l − n ∩ S − n . Note that these arcs μ + n and μ − n are by construction disjoint from the infinite bumps B ± . Then, n = μ + n ∪ l + n ∪ μ − n ∪ l − n is a simple closed curve in A n ⊂ ∂ n (Fig. 5-right).
Next, consider the following variational problem (H -Plateau problem): Given the simple closed curve n in A n , let M be a smooth compact embedded surface in n with ∂ M = n . Since n is simply-connected, M separates n into two regions. Let Q be the region in n − with Q ∩ C 2 = ∅, the "upper" region. Then define the functional I H = Area(M) + 2H Volume(Q). 5 In the left, μ n + is pictured in S + n . On the right, the curve n is described in ∂ n By working with integral currents, it is known that there exists a smooth (except at the 4 corners of n ), compact, embedded H -surface n ⊂ n with Int( n ) ⊂ Int( n ) and ∂ n = n . Note that in our setting, n is not H -mean convex along n ∩ C 1 . However, the mean curvature vector along n points outside Q because of the construction of the variational problem. Therefore n ∩ C 1 is still a good barrier for solving the H -Plateau problem. In fact, n can be chosen to be, and we will assume it is, a minimizer for this variational problem, i.e., I ( n ) ≤ I (M) for any M ⊂ n with ∂ M = n ; see for instance [12, Theorem 2.1] and [1, Theorem 1]. In particular, the fact that Int( n ) ⊂ Int( n ) is proven in Lemma 3 of [4]. Moreover, n separates n into two regions. Similarly to Lemma 4.1 in [3], in the following lemma we show that for any such n , the minimizer surface n is a θ-graph. Lemma 3.4 Let E n := A n ∩ T + n . The minimizer surface n is a θ -graph over the compact disk E n . In particular, the related Jacobi function J n on n induced by the inner product of the unit normal field to n with the Killing field ∂ θ is positive in the interior of n .
Proof The proof is almost identical to the proof of Lemma 4.1 in [3], and for the sake of completeness, we give it here. Let T α be the isometry of which is a translation by α in the θ direction, i.e., Let T α ( n ) = α n and T α ( n ) = α n . We claim that α n ∩ n = ∅ for any α ∈ R \ {0} which implies that n is a θ -graph; we will use that α n is disjoint from n for any α ∈ R \ {0}.
Arguing by contradiction, suppose that α n ∩ n = ∅ for a certain α = 0. By compactness of n , there exists a largest positive number α such that α n ∩ n = ∅. Let p ∈ α n ∩ n . Since ∂ α n ∩ ∂ n = ∅ and the interior of n , respectively α n , lie in the interior of n , respectively T α ( n ), then p ∈ Int( α n ) ∩ Int( n ). Since the surfaces Int( α n ), Int( n ) lie on one side of each other and intersect tangentially at the point p with the same mean curvature vector, then we obtain a contradiction to the mean curvature comparison principle for constant mean curvature surfaces, see Proposition 2.2. This proves that n is graphical over its θ -projection to E n .
Since by construction every integral curve, (ρ, s, t) with ρ, t fixed and (ρ, s 0 , t) ∈ E n for a certain s 0 , of the Killing field ∂ θ has non-zero intersection number with any compact surface bounded by n , we conclude that every such integral curve intersects both the disk E n and n in single points. This means that n is a θ -graph over E n and thus the related Jacobi function J n on n induced by the inner product of the unit normal field to n with the Killing field ∂ θ is non-negative in the interior of n . Since J n is a non-negative Jacobi function, then either J n ≡ 0 or J n > 0. Since by construction J n is positive somewhere in the interior, then J n is positive everywhere in the interior. This finishes the proof of the lemma.

The proof of Theorem 1.1
With n as previously described, we have so far constructed a sequence of compact stable H -disks n with ∂ n = n ⊂ ∂ n . Let J n be the related non-negative Jacobi function described in Lemma 3.4. By the curvature estimates for stable H -surfaces given in [11], the norms of the second fundamental forms of the n are uniformly bounded from above at points which are at intrinsic distance at least one from their boundaries. Since the boundaries of the n leave every compact subset of * , for each compact set of * , the norms of the second fundamental forms of the n are uniformly bounded for values n sufficiently large and such a bound does not depend on the chosen compact set. Standard compactness arguments give that, after passing to a subsequence, n converges to a (weak) H -lamination L of * and the leaves of L are complete and have uniformly bounded norm of their second fundamental forms, see for instance [5].
Let β be a compact embedded arc contained in * such that its end points p + and p − are contained respectively in B + and B − , and such that these are the only points in the intersection [B + ∪ B − ] ∩ β. Then, for n-sufficiently large, the linking number between n and β is one, which gives that, for n sufficiently large, n intersects β in an odd number of points. In particular n ∩ β = ∅ which implies that the lamination L is not empty. Let L be a leaf of L and let J L be the Jacobi function induced by taking the inner product of ∂ θ with the unit normal of L. Then, by the nature of the convergence, J L ≥ 0 and therefore since it is a Jacobi field, it is either positive or identically zero. In the latter case, L would be invariant with respect to θ -translations, contradicting Remark 4.1. Thus, by Remark 4.1, we have that J L is positive and therefore L is a Killing graph with respect to ∂ θ .

Claim 4.2 Each leaf L of L is properly embedded in * .
Proof Arguing by contradiction, suppose there exists a leaf L of L that is NOT proper in * . Then, since the leaf L has uniformly bounded norm of its second fundamental form, the closure of L in * is a lamination of * with a limit leaf , namely ⊂ L − L. Let J be the Jacobi function induced by taking the inner product of ∂ θ with the unit normal of .
Just like in the previous discussion, by the nature of the convergence, J ≥ 0 and therefore, since it is a Jacobi field, it is either positive or identically zero. In the latter case, would be invariant with respect to θ -translations and thus, by Remark 4.1, cannot be contained in * . However, since is contained in the closure of L, this would imply that L is not contained in * , giving a contradiction. Thus, J must be positive and therefore, is a Killing graph with respect to ∂ θ . However, this implies that L cannot be a Killing graph with respect to ∂ θ . This follows because if we fix a point p in and let U p ⊂ be neighborhood of such point, then by the nature of the convergence, U p is the limit of a sequence of disjoint domains U p n in L where p n ∈ L is a sequence of points converging to p and U p n ⊂ L is a neighborhood of p n . While each domain U p n is a Killing graph with respect to ∂ θ , the convergence to U p implies that their union is not. This gives a contradiction and proves that cannot be a Killing graph with respect to ∂ θ . Since we have already shown that must be a Killing graph with respect to ∂ θ , this gives a contradiction. Thus cannot exist and each leaf L of L is properly embedded in * .
Arguing similarly to the proof of the previous claim, it follows that a small perturbation of β, which we still denote by β intersects n and L transversally in a finite number of points. Note that L is obtained as the limit of n . Indeed, since n separates B + and B − in * , the algebraic intersection number of β and n must be one, which implies that β intersects n in an odd number of points. Then β intersects L in an odd number of points and the claim below follows.

Claim 4.3 The curve β intersects L in an odd number of points.
In particular β intersects only a finite collection of leaves in L and we let F denote the non-empty finite collection of leaves that intersect β.
Then we call the arc in given by the vertical line segment based at (ρ 1 , θ 0 , t 0 ).

Claim 4.4
There exists at least one leaf L β in F that intersects β in an odd number of points and the leaf L β must intersect each vertical line segment at least once.
Proof The existence of L β follows because otherwise, if all the leaves in F intersected β in an even number of points, then the number of points in the intersection β ∩ F would be even. Given L β a leaf in F that intersects β in an odd number of points, suppose there exists a vertical line segment which does not intersect L β . Then since by Claim 4.2 L β is properly embedded, using elementary separation arguments would give that the number of points of intersection in β ∩ L β must be zero mod 2, that is even, contradicting the previous statement.
Let be the covering map defined in equation (2) and let P H := ( L β ). The previous discussion and the fact that is a local diffeomorphism, implies that P H is a stable complete H -surface embedded in . Indeed, P H is a graph over its θprojection to Int( ) ∩ {(ρ, 0, t) | ρ > 0, t ∈ R}, which we denote by θ(P H ). Abusing the notation, let J P H be the Jacobi function induced by taking the inner product of ∂ θ with the unit normal of P H , then J P H is positive. Finally, since the norm of the second fundamental form of P H is uniformly bounded, standard compactness arguments imply that its closure P H is an H -lamination L of , see for instance [5].

Claim 4.5 The closure of P H is an H -lamination of consisting of itself and two
H -catenoids L 1 , L 2 ⊂ that form the limit set of P H . Remark 4.6 Note that these two H -catenoids are not necessarily the ones which determine ∂ .
Proof Given (ρ 1 , θ 0 , t 0 ) ∈ C 1 , let γ be the fixed vertical line segment in based at (ρ 1 , θ 0 , t 0 ), let p 0 be a point in the intersection L β ∩ γ (recall that by Claim 4.4 such intersection is not empty) and let p 0 = ( p 0 ) ∈ ( γ ) ∩ P H . Then, by Claim 4.4, for any i ∈ N, the vertical line segment T 2πi ( γ ) intersects L β in at least a point p i , and p i+1 is above p i , where T is the translation defined in equation (4). Namely, p 0 = (r 0 , θ 0 , t 0 ), p i = (r i , θ 0 + 2πi, t 0 ) and r i < r i+1 < ρ 2 ( θ 0 , t 0 ). The point p i ∈ L β corresponds to the point p i = ( p i ) = (r i , θ 0 mod 2π, t 0 ) ∈ P H . Let r (2) := lim i→∞ r i then r (2) ≤ ρ 2 ( θ 0 , t 0 ) and note that since lim i→∞ (r i+1 − r i ) = 0, then the value of the Jacobi function J P H at p i must be going to zero as i goes to infinity. Clearly, the point Q := (r (2), θ 0 mod 2π, t 0 ) ∈ is in the closure of P H , that is L. Let L 2 be the leaf of L containing Q. By the previous discussion J L 2 (Q) = 0. Since by the nature of the convergence, either J L 2 is positive or L 2 is rotational, then L 2 is rotational, namely an H -catenoid.
Arguing similarly but considering the intersection of L β with the vertical line segments T −2πi ( γ ), i ∈ N, one obtains another H -catenoid L 1 , different from L 2 , in the lamination L. This shows that the closure of P H contains the two H -catenoids L 1 and L 2 .
Let g be the rotationally invariant, connected region of − [L 1 ∪ L 2 ] whose boundary contains L 1 ∪ L 2 . Note that since P H is connected and L 1 ∪ L 2 is contained in its closure, then P H ⊂ g . It remains to show that L = P H ∪ L 1 ∪ L 2 , i.e. P H − P H = L 1 ∪ L 2 . If P H − P H = L 1 ∪ L 2 then there would be another leaf L 3 ∈ L ∩ g and by previous argument, L 3 would be an H -catenoid. Thus L 3 would separate g into two regions, contradicting that fact that P H is connected and L 1 ∪ L 2 are contained in its closure. This finishes the proof of the claim.
Note that by the previous claim, P H is properly embedded in g .

Claim 4.7
The H -surface P H is simply-connected and every integral curve of ∂ θ that lies in g intersects P H in exactly one point.
Proof Let D g := Int( g ) ∩ {(ρ, 0, t) | ρ > 0, t ∈ R}, then P H is a graph over its θ -projection to D g , that is θ(P H ). Since θ : g → D g is a proper submersion and P H is properly embedded in g , then θ(P H ) = D g , which implies that every integral curve of ∂ θ that lies in g intersects P H in exactly one point. Moreover, since D g is simply-connected, this gives that P H is also simply-connected. This finishes the proof of the claim.
Recall that λ d (ρ) is a monotone increasing function with lim ρ→∞ λ d (ρ) = ∞ and that , is obtained by rotating a generating curve λ d (ρ) about the t-axis. The generating curve λ d is obtained by doubling the curve (ρ, 0, λ d (ρ)), ρ ∈ [η d , ∞), with its reflection In particular, the corresponding H -catenoids are disjoint, i.e., C H is decreasing for t > 0 and increasing for t < 0. In particular, Proof We begin by introducing the following notations that will be used for the computations in the proof of this lemma, c := cosh r = e r + e −r 2 , s := sinh r = e r − e −r 2 .
Recall that c 2 − s 2 = 1 and c − s = e −r . Using these notations, can be rewritten as where First, by using a series of substitutions, we will get an explicit description of f d (ρ). Then, we will show that for d > 2, J d (ρ) is bounded independently of ρ and d.