Abstract
Given an arbitrary \(C^\infty \) Riemannian manifold \(M^n\), we consider the problem of introducing and constructing minimal hypersurfaces in \(M\times \mathbb {R}\) which have the same fundamental properties of the standard helicoids and catenoids of Euclidean space \(\mathbb {R}^3=\mathbb {R} ^2\times \mathbb {R}\). Such hypersurfaces are defined by imposing conditions on their height functions and horizontal sections and then called vertical helicoids and vertical catenoids. We establish that vertical helicoids in \(M\times \mathbb {R}\) have the same fundamental uniqueness properties of the helicoids in \(\mathbb {R}^3.\) We provide several examples of properly embedded vertical helicoids in the case where M is one of the simply connected space forms. Vertical helicoids which are entire graphs of functions on \(\mathrm{Nil}_3\) and \(\mathrm{Sol}_3\) are also presented. We show that vertical helicoids of \(M\times \mathbb {R} \) whose horizontal sections are totally geodesic in M are locally given by a “twisting” of a fixed totally geodesic hypersurface of M. We give a local characterization of hypersurfaces of \(M\times \mathbb {R}\) which have the gradient of their height functions as a principal direction. As a consequence, we prove that vertical catenoids exist in \(M\times \mathbb {R}\) if and only if M admits families of isoparametric hypersurfaces. If so, properly embedded vertical catenoids can be constructed through the solutions of a certain first-order linear differential equation. Finally, we give a complete classification of the hypersurfaces of \(M\times \mathbb {R}\) whose angle function is constant.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we address the problem of defining and constructing minimal hypersurfaces in \(M\times \mathbb {R} \) with special properties, where \(M^n\) is an arbitrary \(C^\infty \) Riemannian manifold. We will focus our attention on those fundamental properties of the standard helicoids and catenoids of Euclidean space \(\mathbb {R} ^3=\mathbb {R} ^2\times \mathbb {R} ,\) so that the corresponding minimal hypersurfaces of \(M\times \mathbb {R} \) will be called vertical helicoids and vertical catenoids.
More specifically, these hypersurfaces will be introduced by imposing conditions on their horizontal sections (intersections with \(M\times \{t\}, \,t\in \mathbb {R} \)), and also on the trajectories of the gradient of their height functions (height trajectories, for short). Vertical helicoids, for instance, are defined as those hypersurfaces of \(M\times \mathbb {R} \) whose horizontal sections are minimal hypersurfaces of \(M\times \{t\}\), and whose height trajectories are asymptotic lines. Vertical catenoids, in turn, have nonzero constant mean curvature hypersurfaces as horizontal sections, and lines of curvature as height trajectories.
In this setting, we show that vertical helicoids of \(M\times \mathbb {R} \) have all the classical uniqueness properties of the standard helicoids of \(\mathbb {R} ^3\). Namely, they are minimal hypersurfaces of \(M\times \mathbb {R} \) and, as such, they are the only ones which are foliated by horizontal minimal hypersurfaces. They are also the only minimal local graphs of harmonic functions (defined on domains in M), and the only minimal non-totally geodesic hypersurfaces of \(M\times \mathbb {R} \) whose spacelike pieces are maximal with respect to the standard Lorentzian product metric of \(M\times \mathbb {R} \).
This last property extends the analogous classical result, set in Lorentzian space \(\mathbb {L}^3,\) established by O. Kobayashi [16]. In our approach, we briefly consider the class of hypersurfaces of \(M\times \mathbb {R} \) whose mean curvatures with respect to both the Riemannian and Lorentzian metrics of \(M\times \mathbb {R} \) coincide. We call them mean isocurved. These hypersurfaces have been studied by Albujer-Caballero [3] in the case where the ambient space is \(\mathbb {L}^{3}\) (see [1] as well). Actually, during the preparation of this paper, we became acquainted with the recent works by Alarcón-Alias-Santos [2] and Albujer-Caballero [4] which have some overlapping with ours on this subject. Mean isocurved surfaces in \(\mathbb {H} ^2\times \mathbb {R} \) and \(\mathbb {S} ^2\times \mathbb {R} \) have also been considered by Kim et al in [15].
Concerning examples of vertical helicoids in \(M\times \mathbb {R} \), we show that they can be constructed by considering one-parameter groups of isometries of M acting on suitable minimal hypersurfaces. When M is one of the simply connected space forms, this method allows us to construct properly embedded minimal vertical helicoids in \(M\times \mathbb {R} \) which are foliated by vertical translations of totally geodesic hypersurfaces of M. We also construct properly embedded vertical helicoids in \(\mathbb {R} ^n\times \mathbb {R} \) and \(\mathbb {H} ^3\times \mathbb {R} \) which are foliated by vertical translations of helicoids of \(\mathbb {R} ^{n}\) and \(\mathbb {H} ^3,\) respectively. In the same way, we construct vertical helicoids in \(\mathbb {S} ^3_\delta \times \mathbb {R} ,\) where \(\mathbb {S} ^3_\delta \) is a Berger sphere. Finally, we obtain a family of properly embedded minimal vertical helicoids in \(\mathbb {S} ^{2n+1}\times \mathbb {R} \) which are foliated by 2n-dimensional Clifford tori, and also a corresponding family of vertical helicoids in \(\mathbb {R} ^{2n+2}\times \mathbb {R} \) (previously constructed by Choe and Hoppe [7]), whose horizontal sections are the cones of these tori in \(\mathbb {R} ^{2n+2}.\)
Other examples of vertical helicoids that we give are graphs of harmonic and horizontally homothetic functions defined on domains of certain manifolds M, such as the Nil and Sol three-dimensional spaces (see Sect. 4.1). We remark that, all the vertical helicoids presented here, graphs or not, contain spacelike zero mean isocurved open sets.
We also give a local characterization of vertical helicoids of \(M\times \mathbb {R} \) with totally geodesic horizontal sections and nonvanishing angle function by showing that each of its points has a neighborhood which can be expressed as a “twisting” of a totally geodesic hypersurface of M (see Sect. 4.2 for more details).
Regarding vertical catenoids in \(M\times \mathbb {R} \), their study naturally leads to the consideration of a broader class of hypersurfaces of \(M\times \mathbb {R} ;\) those which have the gradient of their height functions as a principal direction. These hypersurfaces have been given a local characterization by R. Tojeiro [22] assuming that M is one of the simply connected space forms. Here, we extend this result to general products \(M\times \mathbb {R} \) and conclude that a necessary and sufficient condition for the existence of minimal or constant mean curvature (CMC) hypersurfaces in \(M\times \mathbb {R} \) with this property (in particular, vertical catenoids) is that M admits families of isoparametric hypersurfaces.
This extension of Tojeiro’s result, in fact, provides a way of constructing such minimal and CMC hypersurfaces (as long as they are admissible) by solving a first-order linear differential equation. This can be performed, for instance, when M is any of the simply connected space forms, a Damek–Ricci space or any of the simply connected 3-homogeneous manifolds with isometry group of dimension 4: \(\mathbb {E}(k,\uptau ), \, k-4\uptau ^2\ne 0.\) This result will also be applied for constructing properly embedded vertical catenoids in \(M\times \mathbb {R} \) when M is a Hadamard manifold or the sphere \(\mathbb {S} ^n.\) As a further application, we give a complete classification of hypersurfaces of \(M\times \mathbb {R} \) whose angle function is constant.
The paper is organized as follows. In Sect. 2, we set some notation and formulae. In Sect. 3, we introduce mean isocurved hypersurfaces and establish some basic lemmas. We discuss on vertical helicoids in Sect. 4. In Sect. 5, we consider hypersurfaces of \(M\times \mathbb {R} \) which have the gradient of their height functions as a principal direction. Finally, in Sect. 6, we discuss on vertical catenoids.
2 Preliminaries
Throughout this paper, M will denote an arbitrary \(n(\ge 2)\)-dimensional \(C^\infty \) orientable Riemannian manifold. For such an M, we will consider the product manifold \(M\times \mathbb {R} \) with its standard differentiable structure. We will set
for the tangent bundle of \(M\times \mathbb {R} ,\) where TM and \(T\mathbb {R} \) denote the tangent bundles of M and \(\mathbb {R} ,\) respectively. We will endow \(M\times \mathbb {R} \) with the Riemannian product metric:
We shall write \(\pi _{\scriptscriptstyle M}\) and \(\pi _{\scriptscriptstyle \mathbb {R} }\) for the projection of \(M\times \mathbb {R} \) on its first and second factors, respectively, and \(\partial _t\) for the gradient of \(\pi _{\scriptscriptstyle \mathbb {R} }\) with respect to the Riemannian metric \(\langle \,,\,\rangle .\) We remark that \(\partial _t\) is a parallel field on \(M\times \mathbb {R} .\)
Let \(\Sigma \) be an orientable hypersurface of \(M\times \mathbb {R} .\) Given a unit normal field \(N\in T\Sigma ^\perp \subset T(M\times \mathbb {R} ),\) we will denote by A the shape operator of \(\Sigma \) relative to N, i.e.,
where \(\overline{\nabla }\) stands for the Levi-Civita connection of \(M\times \mathbb {R} \). The gradient of a differentiable function \(\zeta \) on \(\Sigma \) will be denoted by \(\nabla \zeta .\)
The height function \(\xi \) and the angle function \(\Theta \) of \(\Sigma \) are defined as
Regarding these functions, the following fundamental identities hold:
where the second one follows from the fact that \(\partial _t\) is parallel in \(M\times \mathbb {R} .\) We point out that \(\Theta _{}\in [-1,1],\) and that \(x\in \Sigma \) is a critical point of the height function \(\xi \) if and only if \(\Theta ^2(x)=1.\) If so, we say that x is a horizontal point of \(\Sigma .\) Any field \(X\in TM\subset T(M\times \mathbb {R} )\) will be called horizontal as well.
3 Basic lemmas
Given a product manifold \(M\times \mathbb {R} ,\) for each \(t\in \mathbb {R} ,\) we will call the submanifold \(M_t:=M\times \{t\}\) a horizontal section of \(M\times \mathbb {R} .\) If \(\Sigma \) intersects a horizontal section \(M_t\) transversally, we call the set
a horizontal section of the hypersurface \(\Sigma .\)
Notice that, for all \(t\in \mathbb {R} ,\) \(M_\mathrm{t}\) is isometric to M, and that any horizontal section \(\Sigma _\mathrm{t}\) is a hypersurface of \(M_\mathrm{t}\) . In this setting, it is easily checked that
is a well defined unit normal field to \(\Sigma _\mathrm{t}\) .
Now, denote the shape operator of \(\Sigma _\mathrm{t}\) with respect to \(\eta \) by \(A_\eta \) , and set H and \(H_{\Sigma _\mathrm{t}}\) for the (non-normalized) mean curvature functions of \(\Sigma \) and \(\Sigma _\mathrm{t}\), respectively.
Lemma 1
Let \(\Sigma _t\) be a horizontal section of a hypersurface \(\Sigma \) of \(M\times \mathbb {R} .\) Then,
As a consequence, for \(T=\nabla \xi /\Vert \nabla \xi \Vert \), the following equality holds along \(\Sigma _t\):
Proof
We have that \(M_\mathrm{t}=M\times \{t\}\) is totally geodesic in \(M\times \mathbb {R} .\) Hence, its Riemannian connection coincides with the restriction of the Riemannian connection \(\overline{\nabla }\) of \(M\times \mathbb {R} \) to \(TM_\mathrm{t}\times TM_\mathrm{t}\) . Therefore, for all \(X\in T\Sigma _\mathrm{t}\) , we have
Thus, for all \(Y\in T\Sigma _\mathrm{t}=TM_\mathrm{t}\cap T\Sigma \) ,
Now, in a suitable neighborhood \(U\subset \Sigma \) of an arbitrary point on \(\Sigma _t\) , consider an orthonormal frame \(\{X_1\,\ldots , X_{n-1},T\}\) such that \(X_1\,, \ldots X_{n-1}\) are all tangent to \(\Sigma _t\) . Then, on \(U\cap \Sigma _t\) , we have
which concludes the proof.\(\square \)
3.1 Mean isocurved hypersurfaces
Let us consider in \(M\times \mathbb {R} \) the Lorentzian product metric, which is defined as
This metric relates to the Riemannian metric \(\langle \,,\, \rangle \) of \(M\times \mathbb {R} \) through the identity
which, as one can verify, is valid for all \(X,Y\in T(M\times \mathbb {R} ).\)
Denote by \(\Sigma _{\scriptscriptstyle {L}}:=(\Sigma ,\langle \,,\, \rangle _{\scriptscriptstyle {L}})\) a hypersurface \(\Sigma \) of \(M\times \mathbb {R} \) with the induced Lorentzian metric of \(M\times \mathbb {R} .\) We say that \(\Sigma \) is spacelike if \(\Sigma _{\scriptscriptstyle {L}}\) is a Riemannian manifold, that is, the Lorentzian metric on \(\Sigma \) is positive definite. It is easily checked that \(\Sigma \) is spacelike if and only if \(\langle Z,Z\rangle _{\scriptscriptstyle {L}}<0\) for all nonzero local field \(Z\in T\Sigma _{\scriptscriptstyle {L}}^\perp .\) Also, any spacelike hypersurface of \(M\times \mathbb {R} \) is necessarily orientable.
Assuming \(\Sigma \subset M\times \mathbb {R} \) spacelike, choose a unit normal \(N_{\scriptscriptstyle {L}}\) to \(\Sigma _{\scriptscriptstyle {L}}\), that is,
It is a well-known fact that the connections of \(M\times \mathbb {R} \) with respect to the Riemannian and Lorentzian metrics coincide. So, keeping the notation of Sect. 2, we define the Lorentzian shape operator of \(\Sigma _{\scriptscriptstyle {L}}\) with respect to \(N_{\scriptscriptstyle {L}}\) as
Finally, the (non-normalized) Lorentzian mean curvature \(H_{\scriptscriptstyle {L}}\) of \(\Sigma _{\scriptscriptstyle {L}}\) is defined as
Definition 1
A spacelike hypersurface \(\Sigma \subset M\times \mathbb {R} \) is said to be mean isocurved if its Riemannian and Lorentzian mean curvature functions, H and \(H_{\scriptscriptstyle {L}}\), coincide. When \(H=H_{\scriptscriptstyle {L}}=0,\) we say that \(\Sigma \) is zero mean isocurved.
Let us consider the following map
which is easily seen to be an involution, that is, \(\Phi \circ \Phi \) is the identity map of \(T(M\times \mathbb {R} ).\) Moreover, for all \(X, Y\in T( M\times \mathbb {R} ),\) the following identities hold:
Given an oriented hypersurface \(\Sigma \subset M\times \mathbb {R} \) with unit normal N, it follows from the second relation in (6) that \(\Phi (N)\) is a Lorentzian normal field on \(\Sigma .\) Indeed,
Moreover, considering also the equality (4), we have
from which we conclude that \(\Sigma \) is spacelike if and only if \(2\Theta ^2>1.\) If so, set
and write \(A_{\scriptscriptstyle {L}}\) for the shape operator of \(\Sigma _{\scriptscriptstyle {L}}\) with respect to \(N_{\scriptscriptstyle {L}}.\)
Lemma 2
Let \(\Sigma \) be a spacelike hypersurface of \(M\times \mathbb {R} \) with no horizontal points. With the above notation, the following identities hold:
-
(i)
\(\langle A_{\scriptscriptstyle {L}}X,Y\rangle _{\scriptscriptstyle {L}}=\mu \langle A_{}X,Y\rangle _{} \,\,\, \forall X,Y\in T\Sigma .\)
-
(ii)
\(H_{\scriptscriptstyle {L}}+\mu H_{}=\mu (1-\mu ^2)\langle A_{}T,T\rangle _{}, \,\,\, T=\nabla \xi /\Vert \nabla \xi \Vert .\)
Proof
Given \(X,Y \in TM,\) one has
which proves (i).
Now, let us consider a point \(x\in \Sigma \) and a basis \(\mathfrak B=\{X_1\,, \ldots , X_n\}\) of \(T_x\Sigma \) which is orthonormal with respect to the Riemannian metric \(\langle \,,\, \rangle \). Since x is non-horizontal, we can assume that \(X_1\,, \ldots ,X_{n-1}\) are horizontal, i.e., tangent to M, and \(X_n=T.\) Hence, by (4), \(\{X_1\,, \ldots ,X_{n-1}\}\) is orthonormal with respect to the Lorentzian metric \(\langle \,,\,\rangle _{\scriptscriptstyle {L}}\), and \(\langle X_i, T\rangle _{\scriptscriptstyle {L}}=0 \,\, \forall i=1,\ldots ,n-1.\)
Denote by \([a_{ij}]\) and \([\ell _{ij}]\), the matrices of the shape operators A and \(A_{\scriptscriptstyle {L}}\), respectively, with respect to the basis \(\mathfrak B.\) From (i), we have
Also, for any index \(j=1,\ldots ,n,\) one has
This, together with (8), yields
Putting (7) and (9) together, we have
which implies that
Since we have \(a_{nn}=\langle AT,T\rangle ,\) \(H_{\scriptscriptstyle {L}}=-\mathrm{trace}[\ell _{ij}],\) and \(H=\mathrm{trace}[a_{ij}],\) the identity (10) clearly implies (ii).
The following result extends [3, Theorem 4], set in Lorentzian space \(\mathbb {L}^{3},\) to hypersurfaces in \(M\times \mathbb {R} .\)
Corollary 1
Let \(\Sigma \) be a mean isocurved hypersurface of \(M\times \mathbb {R} .\) Then, its second fundamental form \(\sigma \) is nowhere definite. Furthermore, \(\sigma \) is semi-definite at \(x\in \Sigma \) if and only if \(\Sigma \) is totally geodesic at x.
Proof
Let us denote by \(C\subset \Sigma \) the set of critical points of the height function \(\xi \) of \(\Sigma .\) Keeping the notation of the proof of the preceding lemma, and considering the equality (10), we have that \(H=\mu (1-\mu )a_{nn}\) on \(\Sigma -C,\) for \(H_{\scriptscriptstyle {L}}=H.\) Thus,
However, \(1+\mu (\mu -1)>0\) and \(a_{ii}=\langle AX_i,X_i\rangle _{}=\sigma _{}(X_i,X_i), \,i=1,\ldots ,n.\) Hence, the equality (11) implies that, at a point x in the closure of \(\Sigma -C\) in \(\Sigma ,\) \(\sigma _{}\) is neither definite nor semi-definite, unless, in the latter case, it vanishes.
4 Vertical helicoids in \(M\times \mathbb {R} .\)
Inspired by some fundamental properties of the standard helicoids of \(\mathbb {R} ^3\) (see Example 1 below), we introduce in this section the concept of vertical helicoid in \(M\times \mathbb {R} \). We shall establish the uniqueness properties of these hypersurfaces and present a variety of examples, as we mentioned in the introduction. In addition, we will characterize the vertical helicoids which are graphs of functions on M and give a local characterization of vertical helicoids \(\Sigma \) whose horizontal sections \(\Sigma _t\) are totally geodesic in \(M_t\,.\)
Definition 2
Let \(\Sigma \) be a hypersurface of \(M\times \mathbb {R} \) with no horizontal points and nonconstant angle function. We say that \(\Sigma \) is a vertical helicoid if it satisfies the following conditions:
-
The horizontal sections \(\Sigma _t\subset \Sigma \) are minimal hypersurfaces of \(M\times \{t\}.\)
-
\(\nabla \xi \) is an asymptotic direction of \(\Sigma ,\) that is, \(\langle A\nabla \xi ,\nabla \xi \rangle =0\) on \(\Sigma .\)
Remark 1
Considering the standard helicoids in \(\mathbb {R} ^3=\mathbb {R} ^2\times \mathbb {R} ,\) one could expect that a right extension of this concept to the context of products \(M\times \mathbb {R} \) should ask for the horizontal sections to be totally geodesic, since the horizontal sections of the helicoids in \(\mathbb {R} ^3\) are straight lines. However, as our results and examples shall show, the appropriate condition to be imposed to the horizontal sections is, in fact, minimality, as in the above definition.
Remark 2
The identity \(\nabla \Theta =-A\nabla \xi \) implies that \(\nabla \xi \) is an asymptotic direction of \(\Sigma \) if and only if the equality \( \langle \nabla _{}\Theta _{},\nabla _{}\xi \rangle _{}=0 \) holds on \(\Sigma .\) In this case, we have that \(\Theta \) is constant along any trajectory \(\gamma (s)\) of \(\nabla \xi .\) However, \(\langle \nabla \xi ,\partial _t\rangle =1-\Theta ^2,\) which gives that the tangent directions \(\gamma '(s)\) make a constant angle with the vertical direction \(\partial _t.\) Therefore, considering the concept of helix in \(\mathbb {R} ^3\) as a curve which makes a constant angle with a given direction, we can extend it to curves in \(M\times \mathbb {R} \) in an obvious way and conclude that the trajectories of \(\nabla \xi \) on a vertical helicoid in \(M\times \mathbb {R} \) are vertical helices.
In what follows, let \(Q_c^n\) denote the simply connected n-space form of constant sectional curvature \(c\in \{0,1,-1\},\) that is, the Euclidean space \(\mathbb {R} ^n\) (\(c=0\)), the n-sphere \(\mathbb {S} ^n\) (\(c=1\)), or the hyperbolic space \(\mathbb {H} ^n\) (\(c=-1\)).
Example 1
(Helicoids in \(Q_c^2\times \mathbb {R} \)) Consider the following parametrization of the standard vertical helicoid \(\Sigma \) of \(\mathbb {R} ^3=\mathbb {R} ^2\times \mathbb {R} \) with pitch \(a>0,\)
As its Riemannian unit normal field, we can choose
which gives \(\Theta =x/(x^2+a^2)^{1/2}.\)
Since \(\Psi \) is an orthogonal parametrization and \(\Theta _{}\) depends only on x, we have that \(\nabla _{}\Theta _{}\) is parallel to \(\Psi _x=(\cos y,\sin y,0).\) In particular,
Hence, \(\nabla \xi \) is an asymptotic direction of \(\Sigma .\)
We also have that all horizontal sections of \(\Sigma \) are straight lines. Therefore, \(\Sigma \) is a vertical helicoid as in Definition 2. Moreover, from the equality
we conclude that the open subset \(\Sigma '=\{\Psi (x,y)\in \Sigma \,;\, |x|>a\}\) is spacelike and, as is well known, zero mean isocurved (see, e.g., [16]).
Considering the standard inclusions \(\mathbb {S} ^2\hookrightarrow \mathbb {R} ^3\) and \(\mathbb {H} ^2\hookrightarrow \mathbb {L}^3,\) we can apply an analogous reasoning to the parametrizations (see, e.g., [8, Section 4]):
and conclude that their images are vertical helicoids in \(\mathbb {S} ^2\times \mathbb {R} \) and \(\mathbb {H} ^2\times \mathbb {R} ,\) respectively. They are both minimal surfaces containing open spacelike zero mean isocurved subsets, as verified in [15].
We prove now, as suggested by the above examples, that vertical helicoids in product spaces \(M\times \mathbb {R} \) are minimal hypersurfaces. As such, except for some constant angle hypersurfaces, they are the only ones foliated by horizontal minimal hypersurfaces. Moreover, spacelike pieces of vertical helicoids (if any) are zero mean isocurved hypersurfaces in \(M\times \mathbb {R} \), and they are unique with respect to this property as well.
Theorem 1
Let \(\Sigma \) be a hypersurface of \(M\times \mathbb {R} \) with no horizontal points and nonconstant angle function. Then, the following statements are equivalent:
-
(i)
\(\Sigma \) is a vertical helicoid.
-
(ii)
\(\Sigma _{}\) and all the horizontal sections \(\Sigma _t\) are minimal hypersurfaces.
If, in addition, \(\Sigma \) is spacelike, then both (i) and (ii) are equivalent to:
-
(iii)
\(\Sigma \) is zero mean isocurved.
Proof
(i) \(\Rightarrow \) (ii): Since we are assuming that \(\Sigma \) is a vertical helicoid, we have \(H_{\Sigma _t}=0\) for all horizontal sections \(\Sigma _t\subset \Sigma ,\) and \(\langle A_{}\nabla _{}\xi \,,\nabla _{}\xi \rangle _{}=0\) on \(\Sigma .\) Thus, from the identity (3) in Lemma 1, \(H_{}=0,\) that is, \(\Sigma _{}\) is minimal.
(ii) \(\Rightarrow \) (i): Now, we have \(H_{}=H_{\Sigma _t}=0\) for any horizontal section \(\Sigma _t\subset \Sigma .\) In this case, (3) yields \(\langle A_{}T,T\rangle _{}=0,\) which implies that \(\nabla \xi \) is an asymptotic direction, that is, \(\Sigma \) is a vertical helicoid.
(ii) \(\Rightarrow \) (iii): We have \(H=0\) and, as above, \(\langle A_{}T,T\rangle _{}=0.\) Hence, by Lemma 2-(iii), \(H_{\scriptscriptstyle {L}}=0,\) i.e., \(\Sigma \) is zero mean isocurved.
(iii) \(\Rightarrow \) (ii): From \(H=H_{\scriptscriptstyle {L}}=0\) and Lemma 2-(ii), one has \(\langle A_{}T,T\rangle _{}=0.\) This, together with identity (3), gives that the horizontal sections \(\Sigma _t\subset \Sigma \) are minimal hypersurfaces of \(M\times \{t\}.\) Hence, \(\Sigma \) is a vertical helicoid.
Vertical helicoids can be constructed by “twisting” minimal hypersurfaces, as shown in the following examples.
Example 2
(Twisted planes in \(\mathbb {R} ^3\times \mathbb {R} \)) Given \(a, k>0,\) consider the map
which we call a vertical twisting of the plane \(\mathbb {R} ^2\times \{0\}\subset \mathbb {R} ^3\) in \(\mathbb {R} ^3\times \mathbb {R} .\) It is easily verified that \(\Psi \) is a parametrization of a properly embedded hypersurface \(\Sigma \) of \(\mathbb {R} ^3\times \mathbb {R} \). Also, direct computations give that
is a unit normal field on \(\Sigma \). In particular, \(\Theta =kx/\sqrt{a^2+(kx)^2}\) depends only on x and \(\Theta ^2\ne 1,\) that is, \(\xi \) has no critical points on \(\Sigma .\) Also, the inverse matrix \([g^{ij}]\) of the first fundamental form of \(\Sigma \) in this parametrization is
Therefore,
Thus, \(\Sigma \) is a (minimal) vertical helicoid, since its horizontal sections \(\Sigma _t\) are planes of \(\mathbb {R} ^3\times \{t\}.\) Moreover, its angle function \(\Theta \) satisfies
which implies that the nonempty open subset \(\Sigma '\) of \(\Sigma \) given by
is spacelike. So, by Theorem 1, \(\Sigma '\) is zero mean isocurved in \(\mathbb {R} ^3\times \mathbb {R} .\)
Example 3
(Twisted helicoids in \(\mathbb {R} ^n\times \mathbb {R} \)) Let us consider now the map
where \(a, k>0.\)
Clearly, \(\Sigma =\Psi (\mathbb {R} ^3)\) is a properly embedded hypersurface of \(\mathbb {R} ^3\times \mathbb {R} ,\) which we call a twisted helicoid. A unit normal field to \(\Sigma \) is
so that \(\Theta =kx/\sqrt{a^2(1+x^2)+(kx)^2}.\) Again, we have \(\Theta ^2\ne 1\) and
which yields \(\langle \nabla \Theta ,\nabla \xi \rangle =0.\)
Since, by construction, the horizontal sections \(\Sigma _t\) of \(\Sigma \) are two-dimensional helicoids in \(\mathbb {R} ^3\times \{t\},\) we conclude from the above that \(\Sigma \) is a vertical helicoid in \(\mathbb {R} ^3\times \mathbb {R} .\) Moreover, if \(k>a,\) then the set
is easily seen to be spacelike and, so, zero mean isocurved.
Now, define the functions \(f,\, g:\mathbb {R} ^{n-1}\rightarrow \mathbb {R} \) by
Applying induction on n and proceeding as above, one concludes that the map
parametrizes a properly embedded minimal vertical helicoid \(\Sigma ^n\subset \mathbb {R} ^n\times \mathbb {R} \) whose horizontal sections are vertical helicoids in \(\mathbb {R} ^{n-1}\times \mathbb {R} .\) Furthermore, for \(k>a,\) \(\Sigma \) contains open spacelike zero mean isocurved subsets.
Example 4
(Twisted Clifford torus in \(\mathbb {S} ^3\times \mathbb {R} \)) Given \(k>0,\) consider the immersion
defined by the equality
Then, \(\Sigma =\Psi (\mathbb {R} ^3)\) is proper and embedded in \(\mathbb {S} ^3\times \mathbb {R} .\) A computation shows that
is a unit normal to \(\Sigma ,\) which implies that its angle function is given by
Also, the matrix \([g_{ij}]\) of the first fundamental form of \(\Sigma \) is
In particular, for its inverse \([g^{ij}],\) we have that \(g^{12}=g^{32}=0,\) since the corresponding cofactors of \([g_{ij}]\) clearly vanish. This, together with the fact that \(\Theta \) depends only on y, gives that
for \({\partial \Psi }/{\partial y}\) is a horizontal vector. Therefore, \(\nabla \xi \) is an asymptotic direction of \(\Sigma .\) Observing that each horizontal section of \(\Sigma \) is a Clifford torus, which is a compact embedded minimal hypersurface of \(\mathbb {S} ^3,\) we conclude that \(\Sigma \) is a properly embedded minimal vertical helicoid of \(\mathbb {S} ^3\times \mathbb {R} .\)
Finally, we have that the angle function of \(\Sigma \) satisfies
Hence, if we assume \(k>2,\) we have that the open set
is nonempty and zero mean isocurved in \(\mathbb {S} ^3\times \mathbb {R} .\)
Example 5
(Twisted hyperbolic helicoid in \(\mathbb {H} ^3\times \mathbb {R} \)) Consider the Lorentzian model of hyperbolic space \(\mathbb {H} ^3\hookrightarrow \mathbb {L}^4=(\mathbb {R} ^4, ds^2), \,\, ds^2=dx_1^2+dx_2^2+dx_3^2-dx_4^2.\) It is well known that the map
parametrizes a properly embedded minimal surface which is called the hyperbolic helicoid of \(\mathbb {H} ^3.\) Considering its twisting \(\Psi :\mathbb {R} ^3\rightarrow \mathbb {H} ^3\times \mathbb {R} \) defined, for \(k>0,\) by
we have that the hypersurface \(\Sigma =\Psi (\mathbb {R} ^3)\) is proper and embedded in \(\mathbb {H} ^3\times \mathbb {R} .\) A unit normal field for \(\Sigma \) is given by
where \(\lambda =(\cosh ^2x+\sinh ^2x+(k\cosh x\sinh x)^2)^{-1/2}\). Therefore, the angle function of \(\Sigma \) is \(\Theta =k\lambda \sinh x\cosh x,\) which depends only on x.
Proceeding as before, one easily concludes that \(\nabla \Theta \) is horizontal, i.e., that \(\nabla \xi \) is an asymptotic direction of \(\Sigma .\) Hence, \(\Sigma \) is a properly embedded minimal vertical helicoid in \(\mathbb {H} ^3\times \mathbb {R} \) whose horizontal sections \(\Sigma _t\) are hyperbolic helicoids of \(\mathbb {H} ^3\times \{t\}.\) Also, for sufficiently large k, \(\Sigma \) contains open spacelike zero mean isocurved subsets.
Example 6
(Twisted helicoid in \(\mathbb {S} _\delta ^3\times \mathbb {R} \)) Consider the product \(\mathbb {S}_{\delta }^3\times \mathbb {R}\), where the first factor is a Berger sphere. It is well known that, given \(\alpha \in \mathbb {R} ,\) the map
is a parametrization of a minimal helicoid of \(\mathbb {S}_{\delta }^3\) (see, for instance, [21]).
From this helicoid, using the same twisting method of the previous examples, we obtain a vertical helicoid in \(\mathbb {S}_{\delta }^3\times \mathbb {R}\) that is given by
To see that \(\Psi \) is indeed a vertical helicoid, it suffices to compute the angle function \(\Theta \) and check that its gradient is horizontal. After a long but straightforward computation, \(\Theta \) can be written as
where \(\omega (\uptau )\) is given by
From these expressions, and after some further computations, we get that \(\nabla \Theta \) is horizontal. Also, for a convenient choice of the parameters \(\alpha ,\,a, \delta \), and of the range of \(s,\,\uptau ,\) and u, \(\Psi \) is a spacelike immersion.
4.1 Vertical Helicoids as Graphs
Let u be a differentiable (i.e., \(C^\infty \)) function defined on a domain \(\Omega \subset M.\) It is easily checked that
is a unit normal to \(\Sigma =\mathrm{graph}(u)\subset M\times \mathbb {R} \), where, by abuse of notation, we are writing \(\nabla u\) instead of \(\nabla u\circ \pi _{\scriptscriptstyle M}.\) In particular,
is the angle function of \(\Sigma .\)
Denoting by \(\mathrm{div}\) the divergence of fields on M, as is well known, \(\Sigma =\mathrm{graph}(u)\) is a minimal hypersurface of \(M\times \mathbb {R} \) if and only if u satisfies the equation
Lemma 3
Let \(\Sigma \) be the graph of a differentiable function u on a domain \(\Omega \subset M\), and let \(\Sigma _t\) be a horizontal section of \(\Sigma .\) Then, the following holds:
-
(i)
\(\Sigma \) is minimal in \(M\times \mathbb {R} \) if and only if u satisfies:
$$\begin{aligned} \Delta u-\frac{\Vert \nabla u\Vert }{1+\Vert \nabla u\Vert ^2}\langle \nabla u, \nabla \Vert \nabla u\Vert \rangle =0. \end{aligned}$$(15) -
(ii)
The mean curvature of \(\Sigma _t\) is given by:
$$\begin{aligned} H_{\Sigma _t}=\frac{\Delta u}{\Vert \nabla u\Vert }-\frac{\langle \nabla u,\nabla \Vert \nabla u\Vert \rangle }{\Vert \nabla u\Vert ^2}\,\cdot \end{aligned}$$(16)
Proof
Given a differentiable function \(\varrho \) on \(\Omega ,\) it is an elementary fact that
Then, considering (14) and setting \(\varrho =1/\sqrt{1+\Vert \nabla u\Vert ^2}\), one easily concludes that the equations (14) and (15) are equivalent.
From (12), we have that \(\eta =-\nabla u/\Vert \nabla u\Vert \) is a unit normal field to \(\Sigma _t\) . Therefore, if we choose an orthonormal frame \(\{X_1\,,\dots ,X_{n-1}\}\) in \(T\Sigma _t\) , we have
Now, equality (16) follows from (17) if we set \(\varrho =1/\Vert \nabla u\Vert .\)
The identities in the above lemma suggest the consideration of horizontally homothetic functions, which we now introduce (cf. [18, 19]).
Definition 3
We say that a smooth function u on \(\Omega \subset M\) is horizontally homothetic if the identity \(\langle \nabla u,\nabla \Vert \nabla u\Vert \rangle =0\) holds on \(\Omega .\)
Our next result establishes the uniqueness of vertical helicoids as minimal hypersurfaces which are local graphs of harmonic functions.
Theorem 2
Let \(\Sigma =\mathrm{graph}(u),\) where u is a smooth function defined on a domain \(\Omega \subset M\) whose gradient never vanishes. Then, if the angle function of \(\Sigma \) is nonconstant, the following are equivalent:
-
(i)
\(\Sigma \) is a vertical helicoid in \(M\times \mathbb {R} .\)
-
(ii)
u is harmonic and \(\Sigma \) is minimal.
-
(iii)
u is harmonic and horizontally homothetic.
Proof
Assume that \(\Sigma \) is a vertical helicoid. Then, \(H_{\Sigma _t}=0\) for any horizontal section \(\Sigma _t\) of \(\Sigma .\) Also, by Theorem 1, \(\Sigma \) is minimal. So, by Lemma 3, u satisfies equation (15). Combining it with (16), we have
which yields \(\langle \nabla u,\nabla \Vert \nabla u\Vert \rangle =0.\) This, together with (15), implies that u is a harmonic function, that is, (i) \(\Rightarrow \) (ii).
Let us suppose now that (ii) holds. Then, u satisfies (15). Since u is harmonic, it follows that u is also horizontally homothetic. Now, we have from (16) that the horizontal sections of \(\Sigma \) are minimal. Hence, from Theorem 1, \(\Sigma \) is a vertical helicoid, which shows that (i) and (ii) are equivalent.
The equivalence between (ii) and (iii) follows directly from Lemma 3-(i).
We now make use of Theorem 2 to obtain vertical helicoids \(\Sigma \subset M\times \mathbb {R} \) which contain spacelike pieces of zero mean isocurved hypersurfaces. Before that, let us remark that, by (13), the angle function \(\Theta \) of \(\Sigma =\mathrm{graph}(u)\) satisfies
Therefore, \(\Sigma =\mathrm{graph}(u)\) is a spacelike hypersurface if and only if \(\Vert \nabla u\Vert <1.\)
Example 7
Consider the set \(\Omega \) of points \((x_1\,, \ldots ,x_n)\in \mathbb {R} ^n\) which satisfy \(x_{n-1}>0\) and define on it the function
From a direct computation, one concludes that u is harmonic and horizontally homothetic. Thus, Theorem 2 gives that \(\Sigma =\mathrm{graph}(u)\) is a vertical helicoid. Moreover, the gradient of u is
which implies that
Therefore, if we assume \(a_1^2+\cdots +a_{n-2}^2<1\) and consider the set \(\Omega '\subset \Omega \) of points \((x_1\,,\ldots ,x_n)\in \Omega \) for which the right hand side of (18) is \(<1,\) we have that \(\Sigma '=\mathrm{graph}(u|_{\Omega '})\) is spacelike and, in particular, zero mean isocurved in \(\mathbb {R} ^n\times \mathbb {R} .\)
Example 8
(Y-L Ou examples) The following functions \(u:M\rightarrow \mathbb {R} \), which were considered by Y-L Ou in [18, 19], are all harmonic and horizontally homothetic. Therefore, by Theorem 2, their graphs are complete embedded vertical helicoids in the corresponding product \(M\times \mathbb {R} .\)
-
(i)
\(M=\mathbb {H} ^n=(\mathbb {R} ^n_+,x_n^{-2}g_{\scriptscriptstyle \mathrm Euc}),\) \(u(x_1,\ldots ,x_n)=ax_i\,, \,\,\, 1\le i\le n-1.\)
-
(ii)
\(M=(\mathbb {R} ^3,g_{\scriptscriptstyle \mathrm Nil}),\) \(g_{\scriptscriptstyle \mathrm Nil}=dx^2+dy^2+(dz-xdy)^2,\) \(u(x,y,z)=a(z-xy/2).\)
-
(iii)
\(M=(\mathbb {R} ^3,g_{\scriptscriptstyle \mathrm Sol}),\) \(g_{\scriptscriptstyle \mathrm Sol}=e^{2z}dx^2+e^{-2z}dy^2+dz^2,\) \(u(x,y,z)=az.\)
We remark that, in contrast with (i), in (ii) and (iii) the horizontal sections of \(\Sigma =\mathrm{graph}(u)\) are non-totally geodesic. Also, in all cases, for certain suitable values of the parameter a, \(\Sigma \) has nonempty spacelike zero mean isocurved open sets.
4.2 Construction and local characterization of vertical helicoids
In this section, we generalize the method for constructing vertical helicoids in \(M\times \mathbb {R} \) which we applied in Examples 2–6. We also give a local characterization of vertical helicoids whose horizontal sections are totally geodesic.
Let \(I\ni 0\) be an open interval in \(\mathbb {R} \) and let
be a one-parameter group of isometries of M such that \(\Gamma _0\) is the identity map. Choose a hypersurface \(\Sigma _0^{n-1}\subset M^n,\) define \(\Sigma _s^{n-1}\subset M^n\) by
and let \(\eta \) and \(\eta _s=\Gamma _{s_{*}}\eta \) be unit normal fields on \(\Sigma _0\) and \(\Sigma _s\), respectively.
Definition 4
Given a constant \(a>0,\) we call the hypersurface
the a-pitched twisting of \(\Sigma _0\) determined by \(\{\Gamma _s\,;\, s\in I\}\subset \mathrm{Isom}\,(M).\)
Given \(p\in \Sigma _0\), denote by \(\alpha _p\) the orbit of p in M under the action of \(\Gamma _s\), that is,
Finally, define the \(\nu \)-function of \(\Sigma \) as
Lemma 4
Given \(a>0,\) let \(\Sigma \subset M\times \mathbb {R} \) be the a-pitched twisting of a hypersurface \(\Sigma _0\subset M\) determined by a one-parameter group \(\{\Gamma _s\,;\, s\in I\}\subset \mathrm{Isom}(M).\) Then, \(\nabla \xi \) never vanishes on \(\Sigma ,\) and the following assertions hold:
-
(i)
\(\nabla \xi \) is an asymptotic direction on \(\Sigma \) if and only if the gradient \(\nabla \nu \) of the \(\nu \)-function of \(\Sigma \) is a horizontal field.
-
(ii)
The open set \(\Sigma '=\{x\in \Sigma \,;\, |\nu (x)|>a\}\subset \Sigma \) is spacelike (if nonempty).
In particular, if \(\nabla \nu \) is horizontal and the horizontal sections \(\Sigma _t\subset \Sigma \) are minimal, then \(\Sigma \) is a vertical helicoid in \(M\times \mathbb {R} \), and \(\Sigma '\) is zero mean isocurved.
Proof
Given a point \(x=(\alpha _p(s),as)\in \Sigma ,\) we have that
Hence, a unit normal field N for \(\Sigma \) in \(T(M\times \mathbb {R} )\) can be defined as
In particular, the angle function of \(\Sigma \) at x is given by
Hence, \(\Theta ^2\ne 1\), which implies that \(\nabla \xi \) never vanishes on \(\Sigma .\) Equality (23) also gives that \(\nabla \Theta (x)\) is a multiple of \(\nabla \nu (x).\) So, \(\nabla \xi \) is an asymptotic direction of \(\Sigma \) if and only if \(\langle \nabla \nu (x),\partial _t\rangle =0\) for all \(x\in \Sigma \), which proves (i).
Now, a direct computation yields
which implies that \(\Sigma '\) is spacelike, as stated in (ii).
Let \(\Sigma \) be as in the above lemma. Given \(x=(\alpha _p(s), as)\in \Sigma ,\) considering the decomposition (22) of \(T_x\Sigma ,\) we have that any vector \(X\in T_x\Sigma \) can be written as
Since \(X^s\) is horizontal, taking the inner product with \(\partial _t\) on both sides of (24), one gets \(\lambda =\langle X,\partial _t\rangle /a.\) Thus, for \(X=\nabla \nu (x)\), setting \(X^s=\nabla ^s\nu (x),\) one has
Lemma 5
Let \(\Sigma \) be as in Lemma 4. Assume that its \(\nu \)-function is independent of s, i.e., \(\langle \nabla \nu ,\partial _s\rangle =0\) on \(\Sigma .\) Then, \(\nabla \nu \) is a horizontal field on \(\Sigma \) if and only if
Proof
We have that \(0=\langle \nabla \nu ,\partial _s\rangle =\langle \nabla \nu ,\alpha _p'+a\partial _t\rangle .\) This, together with (25), gives
Hence, \(\langle \nabla \nu (x),\partial _t\rangle =0\) if and only if \(\langle \nabla ^s\nu (x),\alpha _p'(s)\rangle =0.\)
Recall that the cone over a given hypersurface \(\Sigma _0^{n-1}\) of \(\mathbb {S} ^{n}\subset \mathbb {R} ^{n+1}\) is the hypersurface \(\widehat{\Sigma }_0\) of \(\mathbb {R} ^{n+1}\) which is defined as
It is an elementary fact that the unit normal \(\hat{\eta }\) of the cone \(\widehat{\Sigma }_0\) at rp is the parallel transport of the unit normal \(\eta \) at \(p\in \Sigma _0\) along the radial line of \(\mathbb {R} ^{n+1}\) through p and rp. So, they can be identified as vectors of \(\mathbb {R} ^{n+1},\) that is,
Also, \(\Sigma _0\) is minimal in \(\mathbb {S} ^n\) if and only if \(\widehat{\Sigma }_0\) is minimal in \(\mathbb {R} ^{n+1}.\)
Lemma 6
Assume that \(\Sigma _0\) is a hypersurface of \(\mathbb {S} ^n\) and let \(\widehat{\Sigma }_0\) be the cone of \(\mathbb {R} ^{n+1}\) over \(\Sigma _0\). Assume further that \(\{\Gamma _s\,;\, s\in I\}\) is a one-parameter subgroup of the orthogonal group \(O(n+1)=\mathrm{Isom}(\mathbb {S} ^{n}).\) Given \(a>0,\) denote by \(\Sigma \subset \mathbb {S} ^n\times \mathbb {R} \) (respect. \(\widehat{\Sigma }\subset \mathbb {R} ^{n+1}\times \mathbb {R} \)) the a-pitched twisting of \(\Sigma _0\) in \(\mathbb {S} ^n\times \mathbb {R} \) (respect. \(\mathbb {R} ^{n+1}\times \mathbb {R} \)) determined by \(\{\Gamma _s\,;\, s\in I\}\), that is,
-
\(\Sigma :=\{(\Gamma _s(p), as)\in \mathbb {S} ^{n}\times \mathbb {R} \,;\, p\in \Sigma _0, \, s\in I\}\subset \mathbb {S} ^n\times \mathbb {R} .\)
-
\(\widehat{\Sigma }:=\{(\Gamma _s(rp), as)\in \mathbb {R} ^{n+1}\times \mathbb {R} \,;\, rp\in \widehat{\Sigma }_0, \, s\in I\}\subset \mathbb {R} ^{n+1}\times \mathbb {R} .\)
Under these conditions, \(\Sigma \) is a vertical helicoid in \(\mathbb {S} ^n\times \mathbb {R} \) if and only if \(\widehat{\Sigma }\) is a vertical helicoid in \(\mathbb {R} ^{n+1}\times \mathbb {R} .\) Moreover, open spacelike subsets occur in \(\widehat{\Sigma }\) if they occur in \(\Sigma \).
Proof
Set \(x=(\Gamma _s(p), as)\in \Sigma \) and \(\hat{x} =(\Gamma _s(rp), as)\in \widehat{\Sigma }\). Let \(\alpha _p\) and \(\nu \) be as in (20) and (21) and denote the corresponding objects for \(\widehat{\Sigma }\) by \(\hat{\alpha }_{rp}\) and \(\hat{\nu },\) that is,
Since \(\Gamma _s\) is linear, we have that \(\hat{\alpha }_{rp}(s)=\Gamma _s(rp)=r\Gamma _s(p)=r\alpha _p(s).\) Therefore, considering (27), we conclude that
Therefore, denoting by \(\partial _r\in T_{rp}\widehat{\Sigma }_0\) the gradient of the radial function \(rp\in \widehat{\Sigma }_0\mapsto r\in \mathbb {R} \) on \(\widehat{\Sigma }_0\) , it follows from (28) that
where \(\widehat{\nabla }\) denotes the gradient on \(\widehat{\Sigma }.\)
Since \(\partial _r\) is horizontal, it follows from this last equality that \(\widehat{\nabla }\hat{\nu }(\hat{x})\) is horizontal if and only if \(\nabla \nu (x)\) is horizontal. Therefore, by Lemma 4, \(\widehat{\nabla }\hat{\xi }\) is an asymptotic direction on \(\widehat{\Sigma }\) if and only if \(\nabla \xi \) is an asymptotic direction on \(\Sigma .\) In addition, any horizontal section \(\widehat{\Sigma }_t\subset \mathbb {R} ^{n+1}\times \{t\}\) is clearly the cone of \(\Sigma _t\subset \mathbb {S} ^n\times \{t\}\) in \(\mathbb {R} ^{n+1}\times \{t\}.\) In particular, \(\Sigma _t\) is minimal in \(\mathbb {S} ^n\times \{t\}\) if and only if \(\widehat{\Sigma }_t\) is minimal in \(\mathbb {R} ^{n+1}\times \{t\}.\) Thus, \(\Sigma \) is a vertical helicoid in \(\mathbb {S} ^n\times \mathbb {R} \) if and only if \(\widehat{\Sigma }\) is a vertical helicoid in \(\mathbb {R} ^{n+1}\times \mathbb {R} \).
From Lemma 4, \(\Sigma '=\{x\in \Sigma \,;\, |\nu (x)|>a\}\subset \Sigma \) is the spacelike part of \(\Sigma ,\) which we assume to be nonempty. Thus, by (28), the set
is nonempty. Then, by Lemma 4, it is spacelike.
Now, by means of Lemmas 4–6, we construct properly embedded vertical helicoids in \(Q_c^n\times \mathbb {R} \) whose horizontal sections project on totally geodesic hypersurfaces of \(Q_c^n.\) First, we handle the Euclidean case \(c=0.\) For that, consider the matrices
and, for \(k>0,\) define \(\Gamma _s=\Gamma _s(k)\) as the following \(n\times n\) block diagonal matrix:
-
\(\Gamma _s=\left[ \begin{array}{ccccc} e^{(ks)J} &{} &{} &{} &{} \\ &{} e^{(ks)J} &{} &{} &{} \\ &{} &{} \ddots &{} &{}\\ &{} &{} &{} e^{(ks)J} &{}\\ &{} &{} &{} &{} e^{(ks)J} \end{array} \right] \) (n even).
-
\(\Gamma _s=\left[ \begin{array}{ccccc} e^{(ks)J} &{} &{} &{} &{} \\ &{} e^{(ks)J} &{} &{} &{} \\ &{} &{} \ddots &{} &{} \\ &{} &{} &{} e^{(ks)J} &{} \\ &{} &{} &{} &{} \,1 \end{array} \right] \) (n odd).
We have that \(\mathscr {G}:=\{\Gamma _s\,;\, s\in \mathbb {R} \}\) is a one-parameter group of isometries of \(\mathbb {R} ^n.\) So, given \(a>0,\) we can choose a totally geodesic hyperplane \(\Sigma _0^{n-1}\subset \mathbb {R} ^n\) through the origin \(\varvec{0}\in \mathbb {R} ^n\) and consider the a-pitched twisting \(\Sigma =\Sigma (a,k)\) determined by \(\mathscr {G}\). In this setting, since J and \(e^{(ks)J}\) commute, we have that
Hence, for any \((\Gamma _s(p),as)\in \Sigma ,\)
where
-
\(\varvec{J}=\left[ \begin{array}{ccccc} J &{} &{} &{} &{}\\ &{} J &{} &{} &{}\\ &{} &{} \ddots &{} &{}\\ &{} &{} &{} J &{} \\ &{} &{} &{} &{} J \end{array} \right] \) (n even).
-
\(\varvec{J}=\left[ \begin{array}{ccccc} J &{} &{} &{} &{} \\ &{} J &{} &{} &{} \\ &{} &{} \ddots &{} &{} \\ &{} &{} &{} J &{} \\ &{} &{} &{} &{} 0 \end{array} \right] \) (n odd).
Thus,
i.e., \(\nu \) is nonconstant and independent of s. Also, the orbits \(\alpha _p(s)=\Gamma _s(p)\), \(p\in \mathbb {R} ^n,\) lie on geodesic spheres of \(\mathbb {R} ^n\) centered at the origin \(\varvec{0}.\) Thus, since the hypersurfaces \(\Gamma _s(\Sigma _0)\subset \mathbb {R} ^n\) all intersect these spheres orthogonally, we have, in particular, that (26) holds. So, by Lemma 5, \(\nabla \nu \) is horizontal on \(\Sigma .\)
Now, Lemma 4 applies and gives that \(\Sigma \) is a properly embedded vertical helicoid in \(\mathbb {R} ^n\times \mathbb {R} ,\) since its horizontal sections are minimal. In addition, equality (29) and the second part of Lemma 4 imply that, for a sufficiently large k, \(\Sigma \) contains open spacelike zero mean isocurved subsets.
The above method can be easily adapted for constructing properly embedded vertical helicoids in \(\mathbb {H} ^n\times \mathbb {R} .\) Indeed, one has just to consider the standard isometric immersion of \(\mathbb {H} ^n\) into the Lorentz space \(\mathbb {L}^{n+1}\) and then define the isometries \(\Gamma _s\) as
-
\(\Gamma _s=\left[ \begin{array}{cccccc} e^{(ks)J} &{} &{} &{} &{} &{}\\ &{} e^{(ks)J} &{} &{} &{} &{}\\ &{} &{} \ddots &{} &{} &{} \\ &{} &{} &{} e^{(ks)J} &{} \\ &{} &{} &{} &{} e^{(ks)J} &{} \\ &{} &{} &{} &{} &{} 1 \end{array} \right] \) (n even).
-
\(\Gamma _s=\left[ \begin{array}{cccccc} e^{(ks)J} &{} &{} &{} &{} &{}\\ &{} e^{(ks)J} &{} &{} &{} &{}\\ &{} &{} \ddots &{} &{} &{} \\ &{} &{} &{} e^{(ks)J} &{} &{} \\ &{} &{} &{} &{} 1 &{} \\ &{} &{} &{} &{} &{} 1 \end{array} \right] \) (n odd).
The rest of the argument is the same as in the Euclidean case.
For the spherical case \(c=1,\) we consider the standard isometric immersion of \(\mathbb {S} ^n\) into \(\mathbb {R} ^{n+1}=\mathbb {R} ^n\times \mathbb {R} ,\) and then define \(\Sigma _0\) as the totally geodesic sphere \(\mathbb {S} ^n\cap \widehat{\Sigma }_0,\) where \(\widehat{\Sigma }_0\) is an arbitrary totally geodesic hyperplane of \(\mathbb {R} ^{n+1}\) through the origin \(\varvec{0}\). For \(a,k>0\), the a-twisting of \(\widehat{\Sigma }_0\) determined by \(\Gamma _s(k)\in \mathrm{Isom}(\mathbb {R} ^{n+1}),\) as described above, is a vertical helicoid in \(\mathbb {R} ^{n+1}\times \mathbb {R} .\) Since \(\widehat{\Sigma }_0-\{\varvec{0}\}\) is the cone of \(\mathbb {R} ^{n+1}\) over \(\Sigma _0\,,\) Lemma 6 gives that the corresponding a-twisting of \(\Sigma _0\) is a properly embedded minimal vertical helicoid in \(\mathbb {S} ^n\times \mathbb {R} .\)
We summarize these considerations in the following
Theorem 3
There exists a two-parameter family \(\{\Sigma (a,k)\,;\, a, k>0\}\) of properly embedded vertical helicoids in \(Q_c^n\times \mathbb {R} \) whose horizontal sections are vertical translations of totally geodesic hypersurfaces of \(Q_c^n.\) Such a \(\Sigma (a,k)\) is an a-pitched twisting of a totally geodesic hypersurface \(\Sigma _0\subset Q_c^n\) determined by a suitable one-parameter subgroup \(\mathscr {G}=\{\Gamma _s=\Gamma _s(k)\,;\, s\in \mathbb {R} \}\) of \(\mathrm{Isom}(Q_c^n)\). Furthermore, for any fixed \(a>0,\) the parameter k can be chosen in such a way that \(\Sigma (a,k)\) contains open spacelike zero mean isocurved subsets.
Our next result shows that any vertical helicoid in \(M\times \mathbb {R} \) with nonvanishing angle function and totally geodesic horizontal sections is locally a twisting. In particular, Theorem 3 admits a local converse.
Theorem 4
Let \(\Sigma \subset M\times \mathbb {R} \) be a vertical helicoid with non-vanishing angle function. Assume that each horizontal section \(\Sigma _t\subset \Sigma \) is totally geodesic in \(M\times \{t\}.\) Then, given \(x_0\in \Sigma ,\) there exists a connected open set \(\Sigma '\ni x_0\) of \(\Sigma \), a totally geodesic hypersurface \(\mathfrak L_0\subset \pi _{\scriptscriptstyle M}(\Sigma ')\subset M,\) and a one-parameter group of isometries
such that \(\Sigma '\) is the 1-pitched twisting of \(\mathfrak {L}_0\) determined by \(\{\Gamma _t \,;\, t\in (-\epsilon ,\epsilon )\},\) that is,
Proof
Let \(\varphi _t\) be the flow of the field \(Z=\nabla \xi /\Vert \nabla \xi \Vert ^2\) on \(\Sigma ,\) i.e.,
Considering that
we have \(\xi (\varphi _t(x))=t+\xi (x).\) In particular, \(\varphi _{t}\) takes a horizontal section \(\Sigma _s\) to \(\Sigma _{s+t}\) .
Since we are assuming \(\Theta \ne 0,\) we have that \(\Sigma \) is locally a vertical graph. So, there exists a connected open set \(\Sigma '\ni x_0\) of \(\Sigma \) satisfying \(\Sigma '=\mathrm{graph}(u),\) where u is a differentiable function defined on the domain \(\Omega =\pi _{\scriptscriptstyle M}(\Sigma ')\subset M.\)
After a vertical translation, we can assume \(\Sigma '\cap (M\times \{0\})\) nonempty and \(\pi _{\scriptscriptstyle \mathbb {R} }(\Sigma ')=(-2\epsilon , 2\epsilon )\) for some \(\epsilon >0.\) In this setting, define the field \(Z_0\in T(\Omega )\) as
and let \(\Gamma _t\) be the its flow on \(\Omega \), that is,
Writing \(\mathfrak {L}_t:=u^{-1}(t),\) \(t\in (-2\epsilon , 2\epsilon ),\) one has \(\Gamma _t(\mathfrak L_s)=\mathfrak L_{s+t}\) for \(|s+t|<2\epsilon .\) (Here, we are identifying \(M\times \{0\}\) with M.) Moreover, it follows from (12) that \(\pi _{\scriptscriptstyle M_*}\nabla \xi \) is parallel to \(\nabla u,\) which implies that \(Z_0\) is orthogonal to all level sets \(\mathfrak L_t\) , \(t\in (-2\epsilon ,2\epsilon ).\)
Noticing that the family \(\{\mathfrak L_t\,,\, t\in (-2\epsilon ,2\epsilon )\}\) defines a totally geodesic foliation of \(\Omega \subset M,\) we conclude from [23, Corollary 6.6] that, for \(t, s\in (-\epsilon , \epsilon ),\) the restriction of \(\Gamma _t\) to \(\mathfrak {L}_s\) is an isometry over its image \(\Gamma _t(\mathfrak {L}_s)=\mathfrak {L}_{s+t}\) . Also, since \(\Sigma \) is a vertical helicoid, we have that \(\Vert \nabla \xi \Vert \), and so \(\Vert Z\Vert ,\) is constant along the curves \(t\mapsto \varphi _t(x), \, x\in \Sigma '\) (see Remark 2). In addition, \(Z_0=Z-\langle Z,\partial _t\rangle \partial _t=Z-\partial _t\) , and \(\Gamma _{t_*}\circ Z_0=Z_0\circ \Gamma _{t}.\) Thus, for any \(p=\pi _{\scriptscriptstyle M}(x),\) \(x\in \Sigma ',\) we have
It follows from the above considerations that, defining \(\Omega _\epsilon \subset \Omega \) as the union of all level sets \(\mathfrak {L}_t\) with \(t\in (-\epsilon , \epsilon ),\) any map \( p\in \Omega _\epsilon \mapsto \Gamma _t(p), \,\, t\in (-\epsilon ,\epsilon ), \) is an isometry from \(\Omega _\epsilon \) to \(\Gamma _t(\Omega _\epsilon )\subset \Omega .\) Therefore, if we set, by abuse of notation, \(\Sigma '=\pi _{\scriptscriptstyle M}^{-1}(\Omega _\epsilon )\cap \Sigma ',\) and \(\Omega =\Omega _\epsilon ,\) we have that
as we wished to prove.
Since one-dimensional minimal submanifolds are totally geodesic, Theorem 4 has the following consequence.
Corollary 2
Any two-dimensional vertical helicoid \(\Sigma ^2\subset M^2\times \mathbb {R} \) with nonvanishing angle function is given, locally, by a twisting of a geodesic of M.
As a further application of Lemma 4, we now generalize the construction made in Example 4. Namely, we will obtain a family of properly embedded vertical helicoids in the product \(\mathbb {S} ^{2n+1}\times \mathbb {R} \) by twisting 2n-dimensional Clifford tori.
We will adopt the following notation. The identity matrix of order \(n+1\) will be denoted by \(\mathrm{Id}\). We will write \(\varvec{J}\), now, for the \((2n+2)\times (2n+2)\) block matrix
Then, setting \(C(t)=(\cos t) \mathrm{Id}\), and \(S(t)=(\sin t) \mathrm{Id},\) the following identity holds:
In particular, the derivative of the map \(t\in \mathbb {R} \mapsto e^{t\varvec{J}}\in O(2n+2)\) is
Theorem 5
Let \(\Sigma _0=\mathbb {S} ^n(1/\sqrt{2})\times \mathbb {S} ^n(1/\sqrt{2})\) be the minimal Clifford torus of the sphere \(\mathbb {S} ^{2n+1}\). Then, for any \(a, k>0,\) the a-pitched twisting
is a properly embedded vertical helicoid in \(\mathbb {S} ^{2n+1}\times \mathbb {R} \). Furthermore, for any fixed \(a>0,\) the parameter k can be chosen in such a way that \(\Sigma (a,k)\) contains open spacelike zero mean isocurved subsets.
Proof
Consider the standard immersion of \(\mathbb {S} ^{2n+1}\times \mathbb {R} \) into \(\mathbb {R} ^{2n+2}\times \mathbb {R} \) and define the following local parametrization of \(\Sigma \):
where \(\Gamma _s=e^{(ks){\varvec{J}}}\) and \(\varphi , \psi :\mathbb {R} ^n\rightarrow \mathbb {S} ^n\) are conformal parametrizations of \(\mathbb {S} ^n.\)
Setting \(\varphi _i=\partial \varphi /\partial x_i\) and \(\psi _i=\partial \psi /\partial y_i\), we have that
In particular, \(\eta _s=\Gamma _s\eta \) is a unit normal field on \(\Sigma _s=\Gamma _s\Sigma _0\subset \mathbb {S} ^{2n+1},\) where
Writing \(x=(x_1\,, \ldots ,x_n)\) and \(y=(y_1\,,\ldots ,y_n)\), we have that the orbit of a point \(p=\frac{1}{\sqrt{2}}(\varphi (x), \psi (y))\in \Sigma _0\) under the action of \(\Gamma _s\) is
From \(\frac{d\Gamma _s}{ds}=k{\varvec{J}}e^{(ks)\varvec{J}}=k\varvec{J}\Gamma _s=k\Gamma _s\varvec{J}\), one has
Thus, with the notation of Lemma 4,
so that \(\nu \) is independent of s. Now, for \(i=1,\ldots ,n,\) define
and notice that
-
\(\displaystyle \Vert \psi \Vert ^2=\sum _{i=1}^{n}\frac{\langle \psi ,\varphi _i\rangle ^2}{\Vert \varphi _i\Vert ^2}+\frac{\langle \psi ,\varphi \rangle ^2}{\Vert \varphi \Vert ^2}= \frac{1}{k^2}\sum _{i=1}^{n}\frac{a_i^2}{\Vert \varphi _i\Vert ^2}+\frac{\langle \psi ,\varphi \rangle ^2}{\Vert \varphi \Vert ^2}\,\cdot \)
-
\(\displaystyle \Vert \varphi \Vert ^2=\sum _{i=1}^{n}\frac{\langle \psi _i,\varphi \rangle ^2}{\Vert \psi _i\Vert ^2}+\frac{\langle \psi ,\varphi \rangle ^2}{\Vert \psi \Vert ^2}= \frac{1}{ k^2}\sum _{i=1}^{n}\frac{b_i^2}{\Vert \psi _i\Vert ^2}+\frac{\langle \psi ,\varphi \rangle ^2}{\Vert \psi \Vert ^2}\,\cdot \)
Hence, setting \(\lambda =\langle \varphi _i,\varphi _i\rangle \) and \(\mu =\langle \psi _i,\psi _i\rangle \), \(i=1,\ldots ,n,\) (recall that \(\varphi \) and \(\psi \) are both conformal), we have that
for \(\Vert \varphi \Vert ^2=\Vert \psi \Vert ^2=1/2.\)
From (30), we have that \({\partial \Psi }/{\partial s}=\left( \frac{k}{\sqrt{2}}\Gamma _s(-\psi ,\varphi ),a\right) .\) So,
from which we conclude that the \([g_{ij}]\) matrix of \(\Sigma \) with respect to \(\Psi \) is
where the non-dotted missing entries are all zero.
Computing the cofactors of the first 2n entries of the last line of \([g_{ij}]\), we conclude that the first 2n entries of the last line of \([g^{ij}]=[g_{ij}]^{-1}\) are
where \(\mathcal {D}=\det [g_{ij}].\) Since the coordinates of \(\nabla \nu \) with respect to the frame
are the entries of the column matrix
it follows from (31) and (32) that the last coordinate of \(\nabla \nu \) with respect to \(\mathfrak B\) is
so that \(\nabla \nu \) is a horizontal field on \(\Sigma .\)
Finally, we observe that
Thus, given \(a>0\), for a sufficiently large \(k>0,\) the open set of points of \(\Sigma \) on which \(|\nu |>a\) is nonempty. The result, then, follows from Lemma 4.
From the above theorem and Lemma 6, we have:
Corollary 3
Let \(\widehat{\Sigma }_0\subset \mathbb {R} ^{2n+2}\) be the cone over the Clifford torus \(\Sigma _0\) of \(\mathbb {S} ^{2n+1}\). Then, for any \(a, k>0,\) the a-pitched twisting
is an embedded vertical helicoid of \(\mathbb {R} ^{2n+2}\times \mathbb {R} .\) Furthermore, for any fixed \(a>0,\) the parameter k can be chosen in such a way that \(\Sigma (a,k)\) contains open spacelike zero mean isocurved subsets.
It should be mentioned that, through a method different from ours, Choe and Hoppe [7] showed that the twisted cones in the above corollary are minimal hypersurfaces of \(\mathbb {R} ^{2n+3}\). (We are grateful to Alma Albujer for let us know about this work.) A distinguished property of these a-twisted cones is that, for sufficiently large \(a>0,\) they constitute nodal sets of the solutions of the Allen-Cahn differential equation (see [9]).
5 Hypersurfaces with a canonical direction
With the aim of introducing and studying vertical catenoids in \(M\times \mathbb {R} ,\) we proceed now to the characterization of hypersurfaces of \(M\times \mathbb {R} \) which have \(\nabla \xi \) as a principal direction. Our approach will be based on the work of Tojeiro [22], who considered the case where M is a constant sectional curvature space form \(Q_c^n.\)
We start with an arbitrary isometric immersion
with \(\Sigma _0\) orientable, assuming that there is a neighborhood \(\mathscr {U}\) of \(\Sigma _0\) in \(T\Sigma _0^\perp \) without focal points of f, that is, the restriction of the normal exponential map \(\exp ^\perp _{\Sigma _0}:T\Sigma _0^\perp \rightarrow M\) to \(\mathscr {U}\) is a diffeomorphism onto its image. In other words, denoting by \(\eta \) the unit normal field of f, we are assuming that there is an open interval \(I\ni 0\) such that, for all \(p\in \Sigma _0,\) the curve
is a well defined geodesic of M without conjugate points. In particular, for all \(s\in I,\)
is an immersion of \(\Sigma _0\) into M, which is said to be parallel to f. Observe that, given \(p\in \Sigma _0\), the tangent space \(f_{s_*}(T_p\Sigma _0)\) of \(f_s\) at p is the parallel transport of \(f_{*}(T_p\Sigma _0)\) along \(\gamma _p\) from 0 to s. Also, with the induced metric, the unit normal \(\eta _s\) of \(f_s\) at p is \(\eta _s(p)=\gamma _p'(s).\)
Now, define in \(M\times \mathbb {R} \) the hypersurface
where \(a:I\rightarrow a(I)\subset \mathbb {R} \) is an increasing diffeomorphism, i.e., \(a'>0.\) We call \(\Sigma \) an \((f_s,a)\)-graph of \(M\times \mathbb {R} .\)
For any point \(x=(f_s(p),a(s))\in \Sigma ,\) one has
A unit normal to \(\Sigma \) is
In particular, its angle function is
Theorem 6
If \(\Sigma \) is an \((f_s,a)\)-graph in \(M\times \mathbb {R} ,\) the following holds:
-
(i)
\(\Theta \) and \(\nabla \xi \) never vanish on \(\Sigma .\)
-
(ii)
\(\nabla \xi \) is a principal direction of \(\Sigma .\)
-
(iii)
\(\Theta \) and the principal curvature of \(\Sigma \) in the direction \(\nabla \xi \) are constant along the horizontal sections \(\Sigma _t\) of \(\Sigma .\)
Conversely, if \(\Sigma \subset M\times \mathbb {R} \) is a hypersurface with nonvanishing angle function which has \(\nabla \xi \) as a principal direction, then \(\Sigma \) is locally an \((f_s,a)\)-graph.
Proof
Assume that \(\Sigma \) is an \((f_s,a)\)-graph of \(M\times \mathbb {R} .\) Then, by (35), \(\Theta \ne 0\) and \(\Theta ^2\ne 1.\) In particular, \(\nabla \xi \) never vanishes on \(\Sigma .\)
Since, for any \(p\in \Sigma _0\), \(\gamma _p\) is a geodesic of M (and so of \(M\times \mathbb {R} \)), and \(\eta _s=\gamma _p'(s),\) we have \(\overline{\nabla }_{\partial _s}\eta _s=0.\) Then, noticing that \(N=\Theta (-a'\eta _s+\partial _t),\) one has
Hence, for all \(X\in \{\partial _s\}^\perp \cap T\Sigma ,\) we have that \(\langle \overline{\nabla }_{\partial _s}N,X\rangle =0,\) which implies that \(\partial _s\) is a principal direction of \(\Sigma .\) In addition, one has
So, the corresponding eigenvalue of A is
(for \(\Vert \partial _s\Vert ^2=1+(a')^2=1/\Theta ^2\)), which gives that \(\lambda \) is a function of s alone, and so it is constant along the horizontal sections of \(\Sigma .\) By (35), the same is true for \(\Theta .\)
Finally, observing that \(\nabla \xi =\partial _t-\Theta N=a'\Theta ^2\partial _s,\) we conclude that \(\nabla \xi \) is also a principal direction of \(\Sigma \) with principal curvature \(\lambda =a''\Theta ^3,\) i.e.,
This proves the first part of the theorem.
Conversely, let us suppose that \(\Sigma \subset M\times \mathbb {R} \) is a hypersurface which has \(\nabla \xi \) as a principal direction and whose angle function \(\Theta \) never vanishes. Then, \(\Sigma \) is (locally) a graph of a differentiable function u defined on a domain \(\Omega \subset M.\) (By abuse of notation, we keep denoting this local graph by \(\Sigma \).)
As we have seen in Section 4.1, in this setting,
where, as before, we are writing \(\nabla u\) instead of \(\nabla u\circ \pi _{\scriptscriptstyle M}.\) Notice that, since we are assuming that \(\nabla \xi \) is a principal direction, we have \(\nabla \xi \ne 0.\) In particular, \(\Theta ^2\ne 1\), so that \(\Vert \nabla u||\) never vanishes.
Considering the flow \(\varphi _t\) of \(\nabla \xi /\Vert \nabla \xi \Vert ^2\) on \(\Sigma ,\) and possibly restricting the domain \(\Omega ,\) we can assume that the horizontal sections \(\Sigma _t\subset \Sigma \) are all connected and homeomorphic to a certain Riemannian manifold \(\Sigma _0.\) In other words, there exists an open interval \(I_0\ni 0\) such that the map \(G:\Sigma _0\times I_0\rightarrow \Sigma \subset M\times \mathbb {R} \) given by
is a well defined immersion satisfying \(G(\Sigma _0\times \{t\})=\Sigma _t\) .
Define the map \(f_t:\Sigma _0\rightarrow M\) by
and observe that each \(f_t\) is an immersion whose image \(f_t(\Sigma _0)\) is a level set of u. In particular, \(\nabla u\) is orthogonal to \(f_t\) with respect to the induced metric. Furthermore, since \(\nabla \xi \) is a principal direction and \(\nabla \Theta =-A\nabla \xi ,\) we have that \(\Theta \) is constant along the horizontal sections \(\Sigma _t\) (so, the same is true for \(\Vert \nabla \xi \Vert ,\) since \(\Vert \nabla \xi \Vert ^2+\Theta ^2=1\)). This, together with (37), gives that, for each \(t\in I_0,\) \(\Vert \nabla u\Vert \) is constant on the level set \(f_t(\Sigma _0).\) Consequently, the (normalized) trajectories of \(\nabla u\) are geodesics of M (see [22, Lemma 1]).
For a fixed \(p\in \Sigma _0,\) let us denote by \(\varphi _t'(p)\) the velocity vector of the trajectory \(t\in I_0\mapsto \varphi _t(p)\in \Sigma \) at t, that is,
In particular, the curve \(\gamma _p(t):=\pi _{\scriptscriptstyle M}\circ \varphi _t(p)\) is tangent to \(\nabla u\) and, by the above considerations, is a geodesic of M (when reparametrized by arclength). Also, from
we have \( \gamma _p'=\varphi _t'(p)-\langle \varphi _t'(p),\partial _t\rangle \partial _t=\varphi _t'(p)-\partial _t\,, \) which yields
Let \(s=L_p(t)\in I\subset \mathbb {R} \) be the arclength parameter of \(\gamma _p\) from an arbitrary point \(t_0\in I_0.\) Since \(\Vert \nabla \xi \Vert \) is a function of t alone, it follows from (38) that the same is true for \(L_p(t).\) Hence, the function \(a=L_p^{-1}:I\rightarrow I_0\) depends only on s and satisfies \(a'>0.\) Writing, by abuse of notation, \(\gamma _p=\gamma _p\circ a\), and \(f_s=f_{a(s)}\) , one has that each \(\gamma _p\) is an arclength geodesic of M, so that the immersions \(f_s\) are parallel and \(\Sigma \) is the corresponding \((f_s,a)\)-graph. This finishes the proof.
We get from Theorem 6 the following result, which classifies the hypersurfaces of \(M\times \mathbb {R} \) whose angle function is constant. For \(M=Q_c^n\), this was done in [17, 22].
Corollary 4
Let \(\Sigma \) be a connected hypersurface of \(M\times \mathbb {R} \). Then, if the angle function \(\Theta \) of \(\Sigma \) is constant, one of the following holds:
-
(i)
\(\Sigma \) is an open set of \(M\times \{t\},\, t\in \mathbb {R} \).
-
(ii)
\(\Sigma \) is an open set of a vertical cylinder over a hypersurface of M.
-
(iii)
\(\Sigma \) is locally an \((f_s,a)\)-graph with \(a'\) constant.
Conversely, if one of these possibilities occurs, then \(\Theta \) is constant.
Proof
Suppose that \(\Theta \) is constant on \(\Sigma .\) Clearly, (i) occurs if \(\Theta ^2=1\), and (ii) occurs if \(\Theta =0.\) Otherwise, \(\nabla \xi \ne 0\) and \(\Theta \ne 0.\) Since, \(A\nabla \xi =-\nabla \Theta =0,\) it follows that \(\nabla \xi \) is a principal direction of \(\Sigma .\) Hence, by Theorem 6, \(\Sigma \) is locally an \((f_s,a)\)-graph and, by (35), \(a'\) is constant.
The converse is immediate in cases (i) and (ii). The case (iii) follows directly from equality (35).
An important class of hypersurfaces of \(Q_c^n\times \mathbb {R} \) having \(\nabla \xi \) as a principal direction are the rotational hypersurfaces, which are those obtained by the rotation of a plane curve about an axis \(\{o\}\times \mathbb {R} ,\) \(o\in Q_c^n.\) Clearly, any horizontal section \(\Sigma _t\) of a rotational hypersurface \(\Sigma \subset Q_c^n\times \mathbb {R} \) is contained in a geodesic sphere with center at \((o,t)\in Q_c^n\times \mathbb {R} .\) Considering this property, we introduce the following notion of rotational hypersurface in \(M\times \mathbb {R} \).
Definition 5
A hypersurface \(\Sigma \subset M\times \mathbb {R} \) is called rotational, if there exists a fixed point \(o\in M\) such that any horizontal section \(\Sigma _t\) is contained in a geodesic sphere with center at \((o,t)\in M^n\times \mathbb {R} .\) If so, we call \(\{o\}\times \mathbb {R} \) the axis of \(\Sigma .\)
Remark 3
Let \(\Sigma \subset M\times \mathbb {R} \) be a rotational hypersurface with no horizontal points and non-vanishing \(\Theta .\) Since concentric geodesic spheres constitute a parallel family \(\{f_s\}\) of hypersurfaces of M, under these hypotheses, \(\Sigma \) is locally an \((f_s,a)\)-graph. Hence, by Theorem 6, \(\nabla \xi \) is a principal direction of any such rotational \(\Sigma .\)
We introduce now a special type of family of parallel hypersurfaces which will play a fundamental role in the sequel.
Definition 6
We call a family of parallel hypersurfaces \(f_s:\Sigma _0\rightarrow M,\) \(s\in I,\) isoparametric if \(f_s\) has constant mean curvature \(H_s\) (depending on s) for all \(s\in I.\) If so, each hypersurface \(f_s\) is also called isoparametric.
Example 9
It is well known that any totally umbilical hypersurface of \(Q_c^n\) is isoparametric (see, e.g., [10]).
Example 10
There are certain Hadamard–Einstein manifolds, known as Damek–Ricci spaces, which have many families of isoparametric hypersurfaces, including its geodesic spheres. More specifically, geodesic spheres (of any radius) in symmetric Damek–Ricci spaces are isoparametric with constant principal curvatures, whereas geodesic spheres (of small radius) in non-symmetric Damek–Ricci spaces are isoparametric with nonconstant principal curvatures. The symmetric Damek–Ricci spaces are completely classified. They are the hyperbolic space \(\mathbb {H} ^n,\) the complex hyperbolic space \(\mathbb {C} \mathbb {H} ^n,\) the quaternionic hyperbolic space, and the octonionic hyperbolic plane (see [10, Section 6] and the references therein for an account of Damek–Ricci spaces).
Example 11
Let \(\mathbb {E}(k,\uptau )\), \(k-4\uptau ^2\ne 0,\) be one of the simply connected 3-homogeneous manifolds with isometry group of dimension 4: The products \(\mathbb {H} ^2\times \mathbb {R} \) and \(\mathbb {S} ^2\times \mathbb {R} \) (\(\uptau =0\)), the Heisenberg space \(\mathrm{Nil}_3\) (\(k=0, \uptau \ne 0\)), the Berger spheres (\(k>0, \uptau \ne 0\)), or the universal cover of the special linear group \(\mathrm{SL}_2(\mathbb {R} )\) (\(k<0,\uptau \ne 0\)). In [11], the authors classified all isoparametric hypersurfaces of these spaces, showing, in particular, that none of them is spherical.
In our next result, we show that there exist minimal or constant mean curvature \((f_s,a)\)-graphs in \(M\times \mathbb {R} \) if and only if M has isoparametric hypersurfaces.
Theorem 7
Let \(\Sigma \subset M\times \mathbb {R} \) be an \((f_s,a)\)-graph, \(s\in I\subset \mathbb {R} ,\) such that \(f_s\) is isoparametric with constant mean curvature \(H_s\) . Assume that, for a given constant \(H\in \mathbb {R} ,\) the diffeomorphism \(a:I\rightarrow a(I)\subset \mathbb {R} \) is defined by the equality
where \(y=\varrho (s)\) is a solution of the linear differential equation of first-order
satisfying \(0<\varrho (s)<1.\) Under these conditions, \(\Sigma \) has constant mean curvature H. Conversely, if \(\Sigma \) has constant mean curvature H, then \(f_s\) is isoparametric and the function a(s) is necessarily given by (39) with \(\varrho =a'\Theta .\)
Proof
Let us denote the mean curvature of \(\Sigma \) by \(H_\Sigma \). By equalities (3) and (36), we get \(H_{s}=\phi (H_\Sigma -\lambda ),\) where
So, we have \( H_\Sigma =-(a'\Theta )H_s+a''\Theta ^3. \) However, by (35), one has \((a'\Theta )'=a''\Theta ^3.\) Therefore, if we set \(\zeta =a'\Theta ,\) we get
A direct computation gives that \(0<\zeta ^2=(a')^2/(1+(a')^2)<1,\) and also that
Thus, if \(f_s\) is isoparametric and the function a(s) is defined by (39) (with \(\varrho \) satisfying (40)), it follows by (42) that \(\zeta =\varrho .\) Then, comparing (40) and (41), we conclude that \(\Sigma \) has constant mean curvature H.
Conversely, if \(\Sigma \) has constant mean curvature \(H_\Sigma =H\in \mathbb {R} ,\) it follows from (41) that \(f_s\) is isoparametric and, by (42), that a(s) is given by equality (39) with \(\varrho =\zeta =a'\Theta .\)
6 Vertical catenoids in \(M\times \mathbb {R} .\)
In this section, we introduce the minimal hypersurfaces of \(M\times \mathbb {R} \) which resemble the standard catenoids of \(\mathbb {R} ^3\) with respect to some of its fundamental properties. The definition is as follows.
Definition 7
We say that a hypersurface \(\Sigma \) of \(M\times \mathbb {R} \) with no horizontal points and non-vanishing and nonconstant angle function is a vertical catenoid if the following conditions are satisfied:
-
(i)
\(\nabla \xi \) is a principal direction of \(\Sigma \) with principal curvature \(\lambda \ne 0.\)
-
(ii)
Any horizontal section \(\Sigma _t\subset \Sigma \) has nonzero constant mean curvature (i.e., depending only on t) given by
$$\begin{aligned} H_{\Sigma _t}=\frac{\lambda }{\sqrt{1-\Theta ^2}}\,\cdot \end{aligned}$$(43)
Regarding condition (ii) in the above definition, notice that, from Theorem 6, for any \(\Sigma \) satisfying condition (i), the functions \(\lambda \) e \(\Theta \) depend only on t, so that \({\lambda }/{\sqrt{1-\Theta ^2}}\) is constant along the horizontal sections \(\Sigma _t.\) It should also be noticed that a vertical catenoid, as defined, is not necessarily rotational (see Definition 5). At the end of this section, we construct non-rotational properly embedded vertical catenoids in \(M\times \mathbb {R} \), where M is a Hadamard manifold (see Theorems 10 and 11).
The result below establishes the minimality of catenoids as hypersurfaces of \(M\times \mathbb {R} \), and also the uniqueness of rotational vertical catenoids as minimal rotational hypersurfaces of \(M\times \mathbb {R} \). The latter is a well-known property of the standard catenoids of Euclidean space \(\mathbb {R} ^3.\)
Proposition 1
The following assertions on a hypersurface \(\Sigma \subset M\times \mathbb {R} \) with no horizontal points, no minimal horizontal sections, and nonconstant and non-vanishing angle function hold:
-
(i)
If \(\Sigma \) is a vertical catenoid, then \(\Sigma \) is minimal.
-
(ii)
If \(\Sigma \) is rotational and minimal, then \(\Sigma \) is a vertical catenoid.
Proof
Suppose that \(\Sigma \) is a vertical catenoid. Then, any horizontal section \(\Sigma _t\) satisfies (43). Thus, by (3), we have
which proves (i).
Regarding (ii), if \(\Sigma \) is rotational, then \(\nabla \xi \) is a principal direction of \(\Sigma \), so that \(\Sigma \) is, locally, an \((f_s,\phi )\)-graph (see Remark 3). In particular, the eigenvalue \(\lambda \) associated with \(\nabla \xi \) and the angle function \(\Theta \) of \(\Sigma \) depends only on t. If, in addition, \(\Sigma \) is minimal, again by identity (3), we have that the mean curvature of any horizontal section \(\Sigma _t\) satisfies (43) with \(\lambda \ne 0,\) since we are assuming \(H_{\Sigma _t}\ne 0.\) Hence, \(\Sigma \) is a vertical catenoid.
It follows from Theorems 6 and 7 that, as long as M contains isoparametric hypersurfaces, there exist vertical catenoids in \(M\times \mathbb {R} \) which are \((f_s,a)\)-graphs. This applies, for instance, to all manifolds M described in Examples 9–11. In what follows, we use this fact to construct properly embedded vertical catenoids by “gluing” pieces of such graphs.
First, recall that M is said to be a Hadamard manifold if it is complete, simply connected and has non-positive sectional curvature. Any Hadamard manifold \(M^n\) is diffeomorphic to \(\mathbb {R} ^n\) through the exponential map, so that, for a given point \(o\in M\), and \(r>0,\) the geodesic sphere \(S_r(o)\) with center at o and radius r is well defined. We will write \(B_r(o)\) for the geodesic ball of M with center at \(o\in M\) and radius \(r>0\), and \(\overline{B_r(o)}\) for its closure in M.
Theorem 8
Let \(M^n\) be a Hadamard manifold whose geodesic spheres are all isoparametric. Then, there exists a one-parameter family of properly embedded rotational catenoids in the product \(M\times \mathbb {R} \) which are all homeomorphic to \(\mathbb {S} ^{n-1}\times \mathbb {R} \) and symmetric with respect to the horizontal section \(M\times \{0\}\subset M\times \mathbb {R} .\)
Proof
Fix \(o\in M\) and choose \(r>0.\) For each \(s\in (r,+\infty ),\) let
be the geodesic sphere of M with center at \(o\in M\) and radius \(s>r.\) Since M is a Hadamard manifold, each immersion \(f_s\) is convex and non-totally geodesic. Hence, taking the “outward” unit normal \(\eta _s\) of \(f_s\) , we have that the (constant) mean curvature \(H_s\) of \(f_s\) is negative. In particular, setting
we have that \(\varrho \) is a solution of \(y'=H_sy\) which satisfies \(0<\varrho (s)<1\) for all \(s>r.\)
Now, with the purpose of applying Theorem 7, we define the function
The integral on the right is improper, for \(\varrho (s)\rightarrow 1\) as \(s\rightarrow r.\) So, we have to prove that a is well defined, i.e., that this integral is convergent. For that, notice that \(\varrho '(s)\rightarrow H_r<0\) as \(s\rightarrow r.\) In particular, there exist \(\delta , C>0\) such that
This, and the fact that \(\varrho \) is decreasing and satisfies \(0<\varrho (s)<1\) for \(s>r,\) gives
which implies that the function a is well defined, and that \(a(s)\rightarrow 0\) as \(s\rightarrow r.\) From this and Theorems 6 and 7, we conclude that the \((f_s,a)\)-graph, which we denote by \(\Sigma _r'\), is a rotational vertical catenoid.
Furthermore, \(\Sigma _r'\) is clearly a graph over \(M-\overline{B_r(o)}\) contained in \(M\times \mathbb {R} _+\) and with boundary \(\partial \Sigma _r'=S_r(o).\) In addition,
which, together with (35), gives that \(\Theta (s)\rightarrow 0\) as \(s\rightarrow r.\) Hence, the tangent spaces of \(\Sigma _r'\) along any trajectory of \(-\nabla \xi \) on \(\Sigma _r'\) converge to a vertical space (i.e., parallel to \(\partial _t\)) at a point on \(\partial \Sigma _r'=S_r(o)\) (see Fig. 1).
Now, let \(\Sigma _r''\subset M\times \mathbb {R} \) be the reflection of \(\Sigma _r'\) with respect to \(M\times \{0\}.\) Then, \(\Sigma _r''\) is also a rotational catenoid in \(M\times \mathbb {R} \) with boundary \(\partial \Sigma _r''=S_r(o),\) which implies that it can be “glued” together with \(\Sigma _r'\) along \(S_r(o),\) that is, we can define
Since the tangent spaces of \(\Sigma _r'\) and \(\Sigma _r''\) are vertical along \(S_r(o),\) we have that the tangent spaces of \(\Sigma _r\) along \(S_r(o)\) are well defined, so that \(\Sigma _r\) is a differentiable manifold. Let us see that \(\Sigma _r\) is, in fact, of class \(C^{\infty }.\) Indeed, being a geodesic sphere, \(S_r(o)\) is a \(C^\infty \) manifold. Also, the trajectories of \(\nabla \xi \) on \(\Sigma _r\) are geodesics (see [22, Lemma 1])—so, they are \(C^\infty \) as well—and any of them intersects \(S_r(o)\) transversally. These facts imply that \(\Sigma _r\) is \(C^{\infty }.\)
Therefore, \(\Sigma _r\) is a \(C^\infty \) properly embedded rotational catenoid in \(M\times \mathbb {R} \) which is clearly homeomorphic to \(\mathbb {S} ^{n-1}\times \mathbb {R} \) and symmetric with respect to \(M\times \{0\}.\)\(\square\)
The above theorem and the considerations of Example 10 give the following result.
Corollary 5
Let M be a symmetric Damek–Ricci space. Then, there exists a one-parameter family of properly embedded rotational catenoids in \(M\times \mathbb {R} \) which are all homeomorphic to \(\mathbb {S} ^{n-1}\times \mathbb {R} \) and symmetric with respect to \(M\times \{0\}.\)
Assume \(M=\mathbb {R} ^n\) and let \(\Sigma _r\) be a rotational catenoid as in Theorem 8. When \(n=2\), \(\Sigma _r\) is a standard catenoid of \(\mathbb {R} ^3\) obtained by rotating a catenary about a fixed axis. For the half catenoid \(\Sigma _r'\) in \(\mathbb {R} ^n\times \mathbb {R} ,\) one has
It is easily checked that this function is bounded for \(n\ge 3.\) So, in this case, for any \(r>0\), the rotational catenoid \(\Sigma _r\) is contained in a “slab” determined by two horizontal sections. For \(n=2,\) we have
which is clearly an unbounded function.
In \(\mathbb {H} ^n\times \mathbb {R} ,\) the height function of any \(\Sigma _r\) is uniformly bounded. More precisely, given \(n\ge 2,\) for any \(r>0,\) \(\Sigma _r\) is contained in a slab of width \(\pi /(n-1).\) Indeed, in this setting, the mean curvature of \(f_s\) is \(H_s=(1-n)\coth s,\) which gives, for \(s\in (r,+\infty ),\)
Thus, the function a which defines \(\Sigma _r'\) is
Applying, in the last integral, the change of variables \(v=\sinh u/\sinh r,\) we get
However, \((1+(\sinh ^2r)v^2)^{-1/2}<((\sinh r)v)^{-1},\) which implies that
Remark 4
In [5], the authors constructed the rotational catenoids \(\Sigma _r\) in \(\mathbb {H} ^n\times \mathbb {R} \) by rotating suitable curves about an axis. They also obtained the bound \(\pi /2(n-1)\) for the height of the half catenoids \(\Sigma _r'.\)
Next, we show that \(\mathbb {S} ^n\times \mathbb {R} \) admits a one-parameter family of rotational catenoids as well.
Theorem 9
There exists a one-parameter family \( \left\{ \sum _{\text{r}} ;0 < r < \pi /2 \right\}\) of properly embedded Delaunay-type rotational catenoids in \(\mathbb {S} ^n\times \mathbb {R} \), that is, each \(\Sigma _r\) is periodic, homeomorphic to \(\mathbb {S} ^{n-1}\times \mathbb {R} \) and has unduloids as the trajectories of the gradient of its height function.
Proof
Let \(f_s:\mathbb {S} ^{n-1}\rightarrow \mathbb {S} ^n\), \(s\in (0,\pi ),\) be a family of concentric geodesic spheres of \(\mathbb {S} ^n\) with center at \(o\in \mathbb {S} ^n\) and outward normal orientation, that is, the mean curvature of \(f_s\) is \(H_s=-(n-1)\cot (s).\) Given \(r\in (0,\pi /2),\) consider the function
which can be verified to be a solution of \(y'=H_sy\) satisfying \(0<\varrho _r|_{(r,\pi -r)}<1.\)
Now, let us define the function
Since \(\varrho _r'(r)=H_{r}\ne 0\) and \(\varrho _r'(\pi -r)=H_{\pi -r}\ne 0,\) we can proceed as in the proof of Theorem 8 to conclude that \(a_r\) is well defined and bounded. In particular, \(t_1=a_r(r)\) and \(t_2=a_r(\pi -r)\) are well defined.
It follows from the above that \(\Sigma _r'\) is homeomorphic to \(\mathbb {S} ^{n-1}\times (r,\pi -r)\) and has boundary \(\partial \Sigma _r'=S_r(o)\times \{t_1\}\cup S_{\pi -r}(o)\times \{t_2\}\) (Fig. 2). Also, the tangent spaces of \(\Sigma _r'\) are vertical along its boundary \(\partial \Sigma _r',\) for \(\varrho _r(r)=\varrho _r(\pi -r)=1.\) Therefore, from successive reflections of \(\Sigma _r'\) with respect to suitable horizontal sections of \(\mathbb {S} ^n\times \mathbb {R} \), we obtain a periodic properly embedded rotational catenoid \(\Sigma _r\) homeomorphic to \(\mathbb {S} ^{n-1}\times \mathbb {R} .\)
Remark 5
The above Delaunay-type catenoids were also obtained in [20].
Given a Hadamard manifold M, recall that the Busemann function \(\mathfrak b_\gamma (p)\) of M corresponding to an arclength geodesic \(\gamma :(-\infty ,+\infty )\rightarrow M\) is defined as
The level sets \(\mathscr {H}_s:=\mathfrak b_\gamma ^{-1}(s)\) of a Busemann function \(\mathfrak b_\gamma \) are called horospheres of M. In this setting, as is well known, \(\{\mathscr {H}_s\,;\, s\in (-\infty , +\infty )\}\) is a parallel family which foliates M. Furthermore, any geodesic of M which is asymptotic to \(\gamma \) (i.e., with the same point on the asymptotic boundary \(M(\infty )\) of M) is orthogonal to each horosphere \(\mathscr {H}_s\) . We also remark that horospheres are submanifolds of class (at least) \(C^2\) (see, e.g., [14, Proposition 3.1]).
In hyperbolic space \(\mathbb {H} ^n,\) any horosphere is totally umbilical with constant principal curvatures equal to 1. Also, as shown in [6, Proposition-(vi), pg. 88], except for hyperbolic space,Footnote 1 any Damek–Ricci space contains a family \(\{\mathscr {H}_s\,;\, s\in (-\infty , +\infty )\}\) of parallel horospheres such that the principal curvatures of each \(\mathscr {H}_s\) are 1/2 and 1, both with constant multiplicities.
Let us see now that, when M is a Hadamard manifold whose horospheres are properly embedded and isoparametric with the same mean curvature, as in the above examples, one can construct properly embedded vertical catenoids in \(M\times \mathbb {R} \) with special properties.
Theorem 10
Let \(\{\mathscr {H}_s\,;\, s\in (-\infty , +\infty )\}\) be a parallel family of properly embedded horospheres of constant mean curvature \(H_0>0\) in a Hadamard manifold M. Then, there exists a properly embedded vertical catenoid \(\Sigma \) in \(M\times \mathbb {R} \) of class at least \(C^2\) which is homeomorphic to \(\mathbb {R} ^n\). Furthermore, \(\Sigma \) is foliated by horospheres, is symmetric with respect to \(M\times \{0\},\) and is asymptotic to both \(M\times \{-\frac{\pi }{2H_0}\}\) and \(M\times \{\frac{\pi }{2H_0}\}.\)
Proof
For each \(s\in (-\infty ,\infty )\), consider the isometric immersion \(f_s:\mathbb {R} ^{n-1}\rightarrow M^n\) such that \(f_s(\mathbb {R} ^{n-1})=\mathscr {H}_s\) . Define the function
and notice that \(\varrho \) is a solution of \(y'=H_0y\) satisfying
Thus, by Theorem 7, defining
one has that the \((f_s,a)\)-graph \(\Sigma '\) is a minimal hypersurface of \(M\times \mathbb {R} .\) In addition,
Hence, denoting by \(B_0\) the mean convex side of \(\mathscr {H}_0\) , and identifying \(M\times \{0\}\) with M, it follows that \(\Sigma '\) is a minimal graph over \(M-B_0\) which has boundary \(\partial \Sigma '=\mathscr {H}_0\) and is asymptotic to \(M\times \{-\frac{\pi }{2H_0}\}\) (see Fig. 3). In particular, \(\Sigma '\) is homeomorphic to \(\mathbb {R} ^n\).
We also have that \(\varrho (0)=1.\) So, as in the previous theorems, any trajectory of \(\nabla \xi \) on \(\Sigma '\) meets \(\partial \Sigma '\) orthogonally. Therefore, setting \(\Sigma ''\) for the reflection of \(\Sigma '\) with respect to \(M\times \{0\}\), and defining \( \Sigma :=\mathrm{closure}\,(\Sigma ')\cup \mathrm{closure}\,(\Sigma ''), \) we can argue just as before and conclude that \(\Sigma \) is a properly embedded \(C^2\)-differentiable (for horospheres are, at least, \(C^2\) differentiable) vertical catenoid of \(M\times \mathbb {R} \) which has all the stated properties.
In our next result, we consider more general isoparametric foliations of Hadamard manifolds.
Theorem 11
Let \(\mathscr {F}:=\{f_s:\Sigma _0\rightarrow M,\) \(s\in (-\infty ,+\infty )\}\) be an isoparametric family of hypersurfaces in a Hadamard manifold \(M^n.\) Assume that:
-
(i)
For all \(s\in (-\infty ,+\infty ),\) \(f_s\) is a \(C^k\) \((k\ge 2)\) proper embedding with positive mean curvature \(H_s\,.\)
-
(ii)
\(\mathscr {F}\) foliates M, i.e., \(M=\bigcup f_s(\Sigma _0),\) \(s\in (-\infty ,+\infty ).\)
Then, there exists a properly embedded \(C^k\) catenoid \(\Sigma \) in \(M\times \mathbb {R} \) which is homeomorphic to \(\Sigma _0\times \mathbb {R} .\) Furthermore, \(\Sigma \) is foliated by (vertical translations of) the leaves of \(\mathscr {F}\) and is symmetric with respect to \(M\times \{0\}.\)
Proof
Since \(H_s>0\) for all \(s\in (-\infty ,+\infty ),\) we have that the function
which is a solution of \(y'=H_sy,\) satisfies:
In addition, \(\varrho '(0)=H_0>0.\) From this, as in the preceding proofs, we get that
is a well defined function, i.e., this improper integral is convergent. So, the \((f_s,a)\)-graph \(\Sigma '\) is a minimal graph over \(M-B_0\) whose \(\nabla \xi \)-trajectories meet \(\partial \Sigma '=\mathfrak L_0\times \{0\}\) orthogonally. Here, \(B_0\subset M\) is the mean convex side of \(\mathfrak L_0\) . In particular, \(\Sigma '\) is homeomorphic to \(\Sigma _0\times \mathbb {R} \). Now, by reflecting \(\Sigma '\) with respect to \(M\times \{0\},\) as we did before, we obtain the desired vertical catenoid of \(M\times \mathbb {R} .\)
We conclude from the above proof that, under the conditions of Theorem 11, the result is still valid if we assume that \(H_s>0 \) on an interval \((-\infty , c], \, c\in \mathbb {R} .\) In \(\mathbb {H} ^n,\) this is the case of the well known family of equidistant hypersurfaces from a fixed totally geodesic hyperplane of \(\mathbb {H} ^n.\) Also, each leaf of such a family is \(C^\infty \) and homeomorphic to \(\mathbb {R} ^{n-1}.\) So, we have the following final result, which was obtained in [8, 12], and [13] for the particular case \(n=2.\)
Corollary 6
Let \(\mathscr {F}:=\{f_s:\mathbb {R} ^{n-1}\rightarrow \mathbb {H} ^n,\) \(s\in (-\infty ,+\infty )\}\) be a family of parallel equidistant hypersurfaces in \(\mathbb {H} ^n.\) Then, there exists a properly embedded \(C^{\infty }\) vertical catenoid in \(\mathbb {H} ^n\times \mathbb {R} \) which is homeomorphic to \(\mathbb {R} ^n\). Moreover, \(\Sigma \) is symmetric with respect to \(\mathbb {H} ^n\times \{0\}\) and is foliated by (vertical translations of) the leaves of \(\mathscr {F}.\)
Notes
In [6], hyperbolic space is not considered a Damek–Ricci space.
References
Alarcón, E.M., Albujer, A.L., Caballero, M.: Spacelike hypersurfaces in the Lorentz-Minkowski space with the same Riemannian and Lorentzian mean curvature. Proceedings of L - Geloma - 2017, 1–12 (2016)
Alarcón, E.M., Alias, L.J., dos Santos, F.R.: A new approach to minimal and maximal hypersurfaces in product spaces. Results Math. 74(3), 116 (2019)
Albujer, A.L., Caballero, M.: Geometric properties of surfaces with the same mean curvature in \(R^3\) and \(L^3\). J. Math. Anal. Appl. 445, 1013–1024 (2017)
Albujer, A. L., Caballero, M.: A note on mean isocurved hypersurfaces in a Lorentzian product space, preprint (2019)
Bérard, P., Sa Earp, R.: Minimal hypersurfaces in \(\mathbb{H} ^n\times \mathbb{R} \), total curvature and index. Boll. Unione Mat. Ital. 9(3), 341–468 (2016)
Berndt, J., Tricerri, F., Vanhecke, L.: Generalized Heisenberg groups and Damek-Ricci harmonic spaces. Lecture Notes in Mathematics 1598. Springer Verlag (1995)
Choe, J., Hoppe, J.: Higher dimensional minimal submanifolds generalizing the catenoid and helicoid. Tohoku Math. J. 65, 43–55 (2013)
Daniel, B.: Isometric immersions into \(\mathbb{S}^n\times \mathbb{R}\) and \(\mathbb{H}^n\times \mathbb{R}\) and applications to minimal surfaces. Trans. Am. Math. Soc. 361, 6255–6282 (2009)
del Pino, M., Musso, M., Pacard, F.: Solutions of the Allen-Cahn equation which are invariant under screw-motion. Manuscr. Math. 138, 273–286 (2012)
Domínguez-Vázquez M.: An introduction to isoparametric foliations. Preprint (2018) (available at: http://xtsunxet.usc.es/miguel/teaching/jae2018.html)
Domínguez-Vázquez, M., Manzano, J. M.: Isoparametric surfaces in \({\mathbb{E}}\left( {k,\,\tau } \right)\)-spaces. To appear in Annali della Scuola normale superiore di Pisa (available at: http://xtsunxet.usc.es/miguel/research/publications.html)
SaEarp, R.: Parabolic and hyperbolic screw motion surfaces in \(\mathbb{H} ^2\times \mathbb{R} \). J. Aust. Math. Soc. 85(1), 113–143 (2008)
Hauswirth, L.: Minimal surfaces of Riemann type in three-dimensional product manifolds. Pac. J. Math. 224(1), 91–117 (2006)
Heintze, E., Hof, H.-C.: Geometry of horospheres. J. Diff. Geom. 12, 481–491 (1977)
Kim, Y.W., Koh, S.-E., Shin, H., Yang, S.-D.: Helicoids in \(\mathbb{S}^2\times \mathbb{R}\) and \(\mathbb{H}^2\times \mathbb{R}\). Pac. Math. J. 242, 281–297 (2009)
Kobayashi, O.: Maximal surfaces in the 3-Dimensional Minkowski Space \(L^{3}\). Tokyo J. Math. 6(2), 297–309 (1983)
Manfio, F., Tojeiro, R.: Hypersurfaces with constant sectional curvature of \({\mathbb{S}}^{n} { \times }\mathbb{R} \)and .\({\mathbb{H}}^{n} { \times }\mathbb{R} \) Illinois J. Math. 55, 397–415 (2011)
Ou, Y.-L.: p-harmonic morphisms, minimal foliations, and rigidity of metrics. J. Geom. Phys. 52, 365–381 (2004)
Ou, Y.-L.: p-harmonic functions and the minimal graph equation in a Riemannian manifold. Illin. J. Math. 49, 911–927 (2005)
Pedrosa, R.H.L., Ritoré, M.: Isoperimetric domains in the Riemannian product of a circle with a simply connected space form and applications to free boundary problems. Indiana Univ. Math. J. 48, 1357–1394 (1999)
Shin, H., Kim, Y.W., Koh, S.-E., Lee, H.Y., Yang, S.-D.: Ruled minimal surfaces in the Berger sphere. Differ. Geom. Appl. 40, 209–222 (2015)
Tojeiro, R.: On a class of hypersurfaces in \(\mathbb{S}^n\times \mathbb{R}\) and \(\mathbb{H}^n\times \mathbb{R}\). Bull. Braz. Math. Soc. 41, 199–209 (2010)
Tondeur, P.: Foliations on Riemannian manifolds. Springer, Berlin (1988)
Acknowledgements
We are indebted to the anonymous referee for the many valuable comments and suggestions. They improved considerably our presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
de Lima, R.F., Roitman, P. Helicoids and catenoids in \(M\times \mathbb {R} \). Annali di Matematica 200, 2385–2421 (2021). https://doi.org/10.1007/s10231-021-01085-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-021-01085-7