Abstract
In the present paper, we classify curves and surfaces in \({\mathbb {S}}^2\times \mathbb {R}\), which make constant angle with a rotational Killing vector field. We obtain the explicit parametrizations of such curves and surfaces, and we find examples in some particular cases. Finally, we give the complete classification of minimal constant angle surfaces in \({\mathbb {S}}^2\times \mathbb {R}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of the properties of curves and surfaces has always represented a major topic in the classical differential geometry. For example, let us recall the problem of Bertrand-Lancret-de Saint Venant, according to which a generalized helix denotes a curve of constant slope in the Euclidean 3-space, i.e., the tangent along it makes constant angle with a fixed direction, if and only if the ratio of its curvature and torsion is constant. Later, this classical problem was extended for curves in other ambient spaces, such as real space forms, Sasakian manifolds or Lie groups. Analogously, a general helix in a 3-dimensional space form is defined by a curve for which there exists a Killing vector field V along it, with constant length such that the angle between the tangent and V is constant, see [2, 13].
Another motivation in the study of the constant angle between a curve and a Killing vector field comes from the theory of magnetic curves. For example, on a Sasakian manifold, a normal magnetic curve (parametrized by arc length) corresponding to the magnetic field defined by the fundamental 2-form makes constant angle with the Reeb vector field, which is Killing, see, e.g., [10] and references therein. Passing from curves to surfaces, it is natural to ask which surfaces make constant angle with certain directions, whose choice depends on the ambient space. Recall that a surface for which the unit normal makes constant angle with a fixed direction is called a constant angle surface.
In the last years many geometers have been studying the constant angle property for surfaces in several ambient spaces and for different choices of the fixed direction, obtaining important classification results. For example, in the product spaces of type \(\mathbb {M}^2\times {\mathbb {R}}\), where \(\mathbb {M}^2\) is a surface of constant Gaussian curvature, taken as model the Euclidean plane \({\mathbb {E}}^2\), the 2-sphere \({\mathbb {S}}^2\), or the hyperbolic plane \(\mathbb {H}^2\), a standard choice for the fixed direction is the real line \({\mathbb {R}}\) [4, 5, 7, 17]. Later on, the classification of constant angle surfaces was provided in other ambient spaces, e.g.: in a warped product manifold [8], in the Heisenberg group [11], in Berger spheres [15], in the special linear group [16], in \(\mathrm{Sol}_3\) space [14] and in the 2-parameter solvable Lie groups [19]. In these cases, the angle was measured between the surface and a particular vector field for each case. Some results involving constant angle surfaces in higher dimensional spaces are obtained in [6, 9, 12].
This paper is mainly related with two articles: the first one is [5], which provides the classification of constant angle surfaces in \({\mathbb {S}}^2\times {\mathbb {R}}\) with respect to the \({\mathbb {R}}-\)direction, and the second one is the author’s previous joint work [18], where there are studied the curves and the surfaces making constant angle with a rotational Killing vector field in the Euclidean 3-space.
Let us go back and see what happens in the Euclidean space. Recall that the Euclidean 3-space has 6-dimensional isometry group and a basis of Killing vector fields is given by \(\{\partial _x,\ \partial _y,\ \partial _z,\ x\partial _y-y\partial _x,\ z\partial _x-x\partial _z,\ z\partial _y-y\partial _z\}\). The first three vector fields may be considered as translation Killing vector fields. The surfaces making constant angle with \(\partial _z\) are well known (maybe since Gauss), and they were emphasized recently in [17]. The last three vector fields represent the rotational Killing vector fields in \({\mathbb {E}}^3\), and the study of the surfaces making constant angle with \(V=-y\partial _x+x\partial _y\) was developed in [18], where a complete list of such surfaces was provided. The explicit parametrizations of these surfaces were given in cylindrical coordinates. More precisely, we have the following:
Theorem A
[18] Let M be a surface isometrically immersed in \(\mathbb {E}^3{\setminus }\{ Oz\}\) and consider the Killing vector field \(V=-y\partial _x+x\partial _y\). Then M makes a constant angle \(\theta \) with V if and only if it is an open subset of one of the following surfaces, up to vertical translations and rotations around the z-axis:
-
(i)
either a half-plane with the \(z-\)axis as boundary (for \(\theta =0\)),
-
(ii)
or a rotational surface around the \(z-\)axis (for \(\theta =\frac{\pi }{2}\)),
-
(iii)
or a right cylinder over a logarithmic spiral given by
$$\begin{aligned} F(u,z)=\left( u\cos \theta ,\ \log (c u ^{-\tan \theta }),\ z\right) ,\ c\in \mathbb {R}{\setminus }\{0\}, \end{aligned}$$ -
(iv)
or, finally, the Dini’s surface defined in cylindrical coordinates by
$$\begin{aligned} F(u,v)= \left( - \frac{\cos \theta \sin (c u)}{c},\ -\frac{cv\tan \theta }{\cos \theta } -\tan \theta \log \Big (\tan \Big (\frac{cu}{2}\Big )\Big ), v - \frac{\cos \theta \cos (c u)}{c} \right) , \end{aligned}$$where c is a nonzero real constant.
At this point, let us return to the surfaces in the product space \({\mathbb {S}}^2\times {\mathbb {R}}\) (see also [5]). In order to fix some notations, let us briefly mention that a vector field V in \({\mathbb {S}}^2\times \mathbb {R}\) is Killing if and only if it satisfies the Killing equation:
for any vector fields Y, Z in \({\mathbb {S}}^2\times {\mathbb {R}}\), where \({{\tilde{\nabla }}}\) denotes the Levi-Civita connection on \({\mathbb {S}}^2\times {\mathbb {R}}\).
The homogeneous space \({\mathbb {S}}^2 \times {\mathbb {R}}\) has a 4-dimensional isometry group, fact proved first by Cartan [3]. Moreover, the associated Lie algebra admits the following basis of Killing vector fields:
Here x, y, z denote the coordinates on \({\mathbb {R}}^3\supset \mathbb {S}^2\) and t is the global coordinate on \(\mathbb {R}\).
The Killing vector field \(\partial _t\) represents the translations along \({\mathbb {R}}\) and the surfaces making constant angle with this direction were classified by Dillen et al. [5], as follows:
Theorem B
[5] A surface M immersed in \({\mathbb {S}}^2\times {\mathbb {R}}\) is a constant angle surface relative to \(\partial _t\) if and only if the immersion F is (up to isometries of \({\mathbb {S}}^2\times {\mathbb {R}}\)) locally given by \(F:M\rightarrow {\mathbb {S}}^2\times {\mathbb {R}}\), \(F(u,v)=(\cos (u\cos \theta ))f(v)+\sin (u\cos \theta ))f(v)\times f'(v),\ u\sin \theta ), \) where \(f:I\rightarrow {\mathbb {S}}^2\) is a unit speed curve in \({\mathbb {S}}^2\) and \(\theta \in [0,\pi ]\) is the constant angle.
In this paper, we focus on the rotational Killing vector fields in \({\mathbb {S}}^2\times {\mathbb {R}}\) and, without loss of generality, we choose \(V=-y\partial _x+x\partial _y\) due to symmetry reasons. Our aim is to combine ideas from [5] and [18] in order to classify the curves and the surfaces in \({\mathbb {S}}^2\times {\mathbb {R}}\) making constant angle with V. Since the vector field V must be nonzero, we have to remove from the ambient space all the points with coordinates \((0,0,\pm 1,t)\). Hence, from now on we will assume that the curves and the surfaces lie in \({\mathbb {S}}^2\times {\mathbb {R}}{\setminus }\{(0,0,\pm 1,t)\}\), even that we do not mention explicitly this fact.
In the next section, we classify the curves making constant angle with the Killing vector field \(\partial _t\) obtaining the geodesics of the ambient space in Theorem 1, and respectively with V, obtaining the explicit parametrizations of the generalized helices in Theorem 2.
The study of the surfaces in \({\mathbb {S}}^2\times {\mathbb {R}}\) making constant angle with V is presented in Sect. 3. An important role in the proof is played by the use of the spherical coordinates as well as by the use of the almost contact metric structure of \({\mathbb {S}}^2\times {\mathbb {R}}\). We obtain the explicit parametrizations included in the classification Theorem 3. The particular case when the constant angle \(\theta \) defined by the unit normal to the surface and the Killing vector field V is \(\frac{\pi }{2}\) is treated in Theorem 4. Moreover, under the extra assumption of minimality, we give a classification result in Theorem 5.
2 Curves in \(\mathbb {S}^2\times \mathbb {R}\)
In this section, we study the curves in \(\mathbb {S}^2\times \mathbb {R}\subset \mathbb {R}^3\times \mathbb {R}\),
parametrized by the arc length, which make a constant angle \(\theta \in [0,\pi ]\) with a Killing vector field.
An appropriate way to work is to choose spherical coordinates on the 2-sphere, and thus, we consider the curve \(\gamma \) given in the coordinates \((\varphi ,\ \psi ,\ t)\) as:
where \(\varphi \in (-\pi /2,\pi /2)\) and \(\psi \in [0,2\pi ]\).
Let us denote by \({\tilde{\nabla }}\) the Levi-Civita connection on \({\mathbb {S}}^2\times {\mathbb {R}}\) and by (T, N, B) the Frenet frame field associated to \(\gamma \), where T, N and B represent the tangent, the principal normal and the binormal vector fields, respectively. The Frenet-Serret equations are given by:
where \(\varvec{\kappa } = |{{\tilde{\nabla }}}_T T|\) and \(\varvec{\tau }\) are the curvature and the torsion of \(\gamma \), respectively.
In the next two subsections, we find the explicit coordinate functions for a curve which makes constant angle with the \(\mathbb {R}\) direction and with the Killing vector field V, respectively.
2.1 Constant angle with \(\partial _t\)
The curves in \(\mathbb {S}^2\times \mathbb {R}\) making constant angle \(\theta \) with the Killing vector field \(\partial _t\) are classified as follows:
Theorem 1
A curve \(\gamma \) in \({{\mathbb {S}}}^2\times \mathbb {R}\) makes a constant angle \(\theta \) with the Killing vector field \(\partial _t\) if and only if it is parametrized in \((\varphi ,\psi , t)-\)coordinates, up to isometries of the ambient space, by:
where \(\alpha \) is a smooth function. Moreover, when \(\theta \notin \{0,\pi \}\), this curve is a generalized helix on \({\mathbb {S}}^2\times {\mathbb {R}}\), namely the ratio of its curvature \(\varvec{\kappa }\) and torsion \(\varvec{\tau }\) is constant, \(\frac{\varvec{\tau }}{\varvec{\kappa }}=\cot \theta \). When \(\theta =0\) or \(\theta =\pi \), the curve \(\gamma \) is the geodesic \(s\mapsto (p_0,s+t_0)\), where \(p_0\) is an arbitrary point of \({{\mathbb {S}}}^2\).
Proof
Let \(\gamma \) be given by (1). The property that \(\gamma \) makes constant angle \(\theta \) with \(\partial _t\) may be expressed using the Euclidean scalar product \(\langle ~ , ~ \rangle \) from \(\mathbb {E}^4\) restricted in the points of \(\mathbb {S}^2\times \mathbb {R}\), as: \(\cos \theta = \langle \dot{\gamma },\ \partial _t|_{\gamma } \rangle \), which is equivalent with \(\dot{t}(s) = \cos \theta \). Hence, the last component of \(\gamma \) is obtained:
The condition that \(\gamma \) is parametrized by arc length, \(\dot{x}^2+\dot{y}^2+\dot{z}^2 = \sin ^2\theta \), may be rewritten, using (2), in terms of \(\varphi \) and \(\psi \) as:
Thus, there exists \(\alpha =\alpha (s)\) such that
Let us observe that if \(\theta =0\) or \(\theta =\pi \), then \(\gamma \) is the straight line in a point \(p_0\) of \(\mathbb {S}^2\), that is \(\gamma : s\mapsto (p_0,s+t_0)\).
If \(\theta \notin \{0,\pi \}\) one can prove that the curvature \(\varvec{\kappa }\) and the torsion \(\varvec{\tau }\) of the curves parametrized by (2) where \(\varphi (s)\), \(\psi (s)\) and t(s) are given by (5) and (3), respectively, satisfy the relation
Hence, these curves are generalized helices on \({\mathbb {S}}^2\times {\mathbb {R}}\).
Finally, when the constant angle is \(\theta = \frac{\pi }{2}\), \(\gamma \) is an arbitrary curve on \(\mathbb {S}^2\) for any point \(t_0\in \mathbb {R}\).
The converse part follows checking that the generalized helices make a constant angle \(\theta \) with the Killing vector field \(\partial _t\). \(\square \)
2.2 Constant angle with \(V=-y\partial _x+x\partial _y\)
Regarding the other three Killing vector fields, the problem is basically the same for each of them and therefore let us choose
In the sequel, we give the complete list of curves in \(\mathbb {S}^2\times \mathbb {R}{\setminus }\{(0,0,\pm 1,t)\}\) making constant angle with V.
Theorem 2
A curve \(\gamma \) in \({{\mathbb {S}}}^2\times \mathbb {R}{\setminus }\{(0,0,\pm 1,t)\}\) makes a constant angle \(\theta \) with the Killing vector field \(V=-y\partial _x+x\partial _y\) if and only if it is given, in \((\varphi ,\psi , t)-\)coordinates, up to isometries of the ambient space, by
where \(\omega \) is a smooth function on \(I\subset \mathbb {R}\).
Proof
Since \(V|_\gamma =(-y, x, 0, 0)\) and \(\sphericalangle {\big (\dot{\gamma },\ V|_{\gamma }\big )}=\theta \), we have \( \frac{x\dot{y} - \dot{x} y}{\sqrt{x^2+y^2}}=\cos \theta , \) which in spherical coordinates is written as:
As \(\gamma \) is parametrized by arc length and using (6), we get \(\dot{\varphi }(s)^2+\dot{t}(s)^2=\sin ^2\theta \). Hence, there exists a function \(\omega (s)\) such that
Integrating the above expressions and combining with (6), we obtain the expressions of the \((\varphi ,\psi , t)\)-coordinates and thus the direct implication is proved.
The converse part follows by straightforward computations. \(\square \)
Remark 1
If the function \(\omega \) involved in the Theorem 2 vanishes identically, then the curve \(\gamma \) lies on the \(2-\)sphere having (in \({{\mathbb {S}}}^2\times {{\mathbb {R}}}\)) the curvature \(\varvec{\kappa } = \cos \theta \cot (s \sin \theta )\) and null torsion, \(\varvec{\tau } = 0\).
3 Surfaces making constant angle with V
In this section, we are interested in finding all the surfaces in \(\mathbb {S}^2\times \mathbb {R}\) which make a constant angle with the rotational Killing vector field \(V =-y \partial _x + x \partial _y\).
First, let us fix the notations.
Let M be a regular surface isometrically immersed in the product space \({\mathbb {S}}^2\times {\mathbb {R}}\) endowed with the metric \({\tilde{g}}=\bar{g}+dt^2\) and Levi-Civita connection \({{\tilde{\nabla }}}\), where \(\bar{g}\) denotes the metric on \({\mathbb {S}}^2\) induced from \({\mathbb {R}}^3\) with the corresponding Levi-Civita connection \(\bar{\nabla }\), and t denotes the global parameter on \({\mathbb {R}}\).
The Gauss and Weingarten formulas are:
- (G) :
-
\({{\tilde{\nabla }}}_X Y=\nabla _X Y + h(X,Y)\),
- (W) :
-
\({{\tilde{\nabla }}}_X \xi =-A X\),
for every X, Y tangent to M. Here h is a symmetric \((1, 2)-\)tensor field called the second fundamental form of the surface, and A is a symmetric \((1, 1)-\)tensor field called the shape operator associated to the unit normal \(\xi \), satisfying \({\tilde{g}}( h(X,Y),\ \xi )=g(X,AY)\) for any X, Y tangent to M.
On the 2-sphere we use the spherical coordinates \((\varphi , \psi )\), \(\varphi \in (-\pi /2, \pi /2)\), \(\psi \in [0,2\pi ]\)
where (x, y, z) are the Cartesian coordinates, and let us denote by p(x, y, z) the position vector on the 2-sphere. Then, the surface in \({\mathbb {S}}^2\times {\mathbb {R}}\) is parametrized by:
In spherical coordinates, the rotational Killing vector field \(V=(-y, x,0)\) becomes \(V=\partial _\psi \) and the metric on \({\mathbb {S}}^2\) is a warped metric, \(\bar{g}=\cos ^2\varphi d\psi ^2+d\varphi ^2\). Denoting by \(J_p\) the Euclidean rotation of angle \(\pi /2\) in the tangent plane \(T_p{\mathbb {S}}^2\), for any \(p\in {\mathbb {S}}^2\), one has
The Levi-Civita connection \(\bar{\nabla }\) associated to the metric \(\bar{g}\) is given by the expressions:
Obviously \(\bar{\nabla } J = 0\), i.e., J is parallel with respect to \(\bar{\nabla }\).
At this point, we set the following geometric objects on \({\mathbb {S}}^2\times {\mathbb {R}}\):
-
a 1-form \(\eta \) as the algebraic dual of \(\partial _t\), that is \(\eta (X) = {\tilde{g}}(X, \partial _t)\), equivalently \(\eta (\partial _t)=1\) and \(\eta (X)=0\) for any X tangent to \({\mathbb {S}}^2\);
-
a field of endomorphisms \(\phi \) of the tangent spaces defined by
$$\begin{aligned} \phi |_{{\mathbb {S}}^2}=J,\ \ \ \phi \partial _t=0. \end{aligned}$$
It is straightforward that
Moreover, it can be easily checked that the metric \({\tilde{g}}\) is compatible with the triple \((\phi ,\partial _t,\eta )\), that is
Hence, we have defined an almost contact metric structure \((\phi ,\partial _t,\eta , {{\tilde{g}}})\) on \({\mathbb {S}}^2\times {\mathbb {R}}\). We will use this structure in the proof of the Theorem 3.
The next result is a classification of surfaces making constant angle with V.
Theorem 3
A surface in \({\mathbb {S}}^2\times {\mathbb {R}}{\setminus }\{(0,0,\pm 1,t)\}\) makes constant angle \(\theta \notin \{0,\frac{\pi }{2}\}\) with the Killing vector field \(V=-y\partial _x+x\partial _y\) if and only if it is given by one of the following cases:
-
(a)
a cylinder over a loxodrome of the \(2-\)sphere;
-
(b)
the parametrization \(F:D\subset {\mathbb {R}}^2\rightarrow {\mathbb {S}}^2\times {\mathbb {R}}\hookrightarrow {\mathbb {R}}^4,\)
$$\begin{aligned} F(u,v) = \left( \cos \varphi (u,v)\cos \psi (u,v), \ \cos \varphi (u,v)\sin \psi (u,v),\ \sin \varphi (u,v),\ t(u,v)\right) , \end{aligned}$$where the coordinate functions are given by:
$$\begin{aligned}&\varphi (u,v)= \mp \mathrm{arctan}\left( \frac{\sqrt{1-m\sin ^2\alpha }}{\sqrt{m}\sin \alpha }\right) , \\&\psi (u,v) =\pm \left( \frac{\tan \theta }{\sqrt{m}}~v + \frac{\sin \theta }{\sqrt{m}}\int \limits ^u \frac{1}{\sin \alpha (\zeta )}\mathrm{d}\zeta \right) , \\&t(u,v) = v+\cos \theta \int \limits ^u \sin \alpha (\zeta )\mathrm{d}\zeta , \end{aligned}$$with \(\alpha (u)= \pm \mathrm{am}\left( \frac{1}{\sqrt{m}} u \cos \theta +c \Big | m\right) \), \(m,c\in {\mathbb {R}}\). Here \(\mathrm{am}\) denotes the Jacobi amplitude.
Proof
For an arbitrary vector field \(X = X^1\partial _\varphi + X^2\partial _\psi +X^3\partial _t\) in \({\mathbb {S}}^2\times {{\mathbb {R}}}\), taking into account that \(V=\partial _\psi \), and using formulas (7) and (8) we may compute
Since \(\phi \) coincides with J on \({\mathbb {S}}^2\) and it vanishes along \({{\mathbb {R}}}\) (due to the construction), the previous expression becomes
Projecting V onto the tangent plane to M one has \(V=T+\mu \cos \theta \xi \), where \(\xi \) denotes the vector field normal to the surface, T is the tangent part with \(\Vert T\Vert =\mu \sin \theta \) and \(\mu =\Vert V\Vert =\cos \varphi \ne 0\), since \(V=\partial _\psi \). At this point, we may choose an orthonormal basis \(\{e_1,e_2\}\) on the tangent plane to M such that \(e_1=\frac{T}{\Vert T\Vert }\) and \(e_2\perp e_1\). We have that \(V=\cos \varphi (\sin \theta e_1 +\cos \theta \xi )\). Then, if X is tangent to M, one can compute
Combining (10) and (11) one gets:
Since \(V=\partial _\psi \) and \(\langle V, e_2\rangle =0\), we have that \(e_2\in \mathrm{span} \{\partial _\varphi ,\partial _t\}\) and \(\phi e_2\in \mathrm{span}\{\partial _\psi \}\). Hence, it follows that there exists a smooth function \(\lambda \in C^\infty (M)\) such that
Furthermore, \(\langle V, \partial _t\rangle = 0\) yields that there exists a smooth function \(\rho \in C^\infty (M)\) such that
Applying \(\phi \) in formula (13) and using the almost contact metric structure we obtain
As \(\phi \partial _\psi \perp \partial _\psi \), we deduce that \(e_2\in \mathrm{span}\{\partial _\varphi ,\partial _t\}\). Using the fact that \(e_2\), \(\partial _\varphi \) and \(\partial _t\) are unitary, and denoting by \(\alpha \in C^\infty (M)\) the angle between \(e_2\) and \(\partial _t\), we get
where \(\nu := \pm 1\). Moreover, the functions \(\lambda \) and \(\alpha \) are related by \(\lambda =-\nu \frac{\sin \alpha }{\cos \varphi }\).
Next, \(\phi e_1\) and \(\phi \xi \) may be expressed as
for a certain function B. From the fact that \(\phi \xi \) is orthogonal to \(\partial _t\) it follows \(B\rho =\nu \sin \alpha \cos \alpha \). Then, computing \(\langle \phi \xi ,\phi e_1\rangle \) in two ways, the functions B and \(\rho \) are given by:
Combining (17) with (13)–(16) and computing
we obtain first:
Asking for the basis \(\{e_1,e_2,\xi \}\) to have the same orientation as \(\{\partial _\psi ,\partial _\varphi ,\partial _t\}\) one has \(\nu \epsilon =-1\). Without loss of generality we take \(\nu =-1\) and \(\epsilon =1\).
Thus, the expressions (15) and (18) yield:
Computing the Lie bracket \([e_1, e_2]\) and using the fact that \(\{e_1, e_2\}\) is an involutive system, that is \([e_1,e_2]\in \mathrm{span}\{e_1, e_2\}\), we obtain:
Taking the derivative with respect to \(e_1\) in the above expression and using (19), it follows that the smooth function \(\alpha \) on M satisfies the following second-order partial differential equation:
Our aim now is to define appropriate coordinates on M in order to be able to describe the surface M explicitly.
First, let us choose one of the coordinates on the surface as \(e_1=\frac{\partial }{\partial u}\). Second, we have to find the other coordinate, let us call it v, such that \(e_2=a(u,v)\frac{\partial }{\partial u}+b(u,v)\frac{\partial }{\partial v}\), for a suitable choice of functions a and b. We get on the one hand \(e_2(\varphi )= a(u,v)\varphi _u+b(u,v)\varphi _v\), and on the other hand, from (19), \(e_2(\varphi )=-\sin \alpha \). We may take
where \(\cos \theta \ne 0\) since \(\theta \ne \frac{\pi }{2}\) and we assume \(\cos \alpha \ne 0\). The remained cases will be studied separately. This fact immediately implies that \(\alpha \), and consequently \(\varphi \), do not depend on v. Combining (20) and (21) it follows that there exists a positive real constant p such that
We obtain
where \(m:=\frac{1}{p^2}.\) Next, we may determine the expression of \(\alpha \) from the theorem,
where \(\mathrm{am}\) denotes the Jacobi amplitude and m, c are some integration constants. For more details on elliptic functions see for example [1].
We have already known
Computing now the same Lie bracket in terms of u and v, we get the following partial differential equation
from which we find the solution
Using (22) and (25) it follows
We may easily check that the Lie bracket of \(\partial _u\) and \(\partial _v\) vanishes, \([\partial _u, \partial _v]=0\), thus we made the right choice of coordinates.
From (20), when \(\sin \alpha \ne 0\), we have
and combining it with (23) we find
obtaining the expression of the \(\varphi -\)coordinate from the theorem.
Using the expressions of \(e_1\) and \(e_2\), on one side given by (19) and on the other side written in terms of local coordinates u and v, together with (27), we get
Thus \(\psi \) is also obtained. Finally, from (19) and (26), the \(t-\)coordinate satisfies
Hence, case (b) of the theorem is proved.
Let us study now the two particular cases we excluded during the proof.
\(\underline{\cos \alpha =0.}\) Similar reasoning yields to the conclusion that the surfaces for which the angle \(\alpha \) between \(e_2\) and \(\partial _t\) is \(\frac{\pi }{2}\) are given by: an open part of the 2-sphere, \({\mathbb {S}}^2\times \{t_0\}\) (when also \(\theta =\frac{\pi }{2}\)), or an open part of the product manifold \({\mathbb {S}}^1\times {{\mathbb {R}}}\), where \({\mathbb {S}}^1\) denotes a meridian of the 2-sphere (when \(\theta =0\)), these cases being excluded for the constant angle \(\theta \notin \{0, \frac{\pi }{2}\}\).
\(\underline{\sin \alpha =0.}\) When \(\alpha =0\), namely the angle between \(e_2\) and \(\partial _t\) vanishes, t is a local coordinate on M. We get that these surfaces are cylinders given by \(\mathcal {C}\times {{\mathbb {R}}}\), where \(\mathcal {C}\) is a loxodrome on the 2-sphere, completing case (a) of the direct implication. In particular, regarding the Equator \(\mathcal {E}\) as a degenerated loxodrome, the surface \(\mathcal {E}\times {{\mathbb {R}}}\) should be excluded from the theorem since it corresponds to the constant angle \(\theta = \frac{\pi }{2}\).
Conversely, by straightforward computations one may show that the surfaces parametrized as in the theorem make constant angle with the rotational Killing vector field V. \(\square \)
Let us see now two particular cases for the constant angle \(\theta \).
If \(\theta \) vanishes, then the surface is given by \({\mathbb {S}}^1\times {{\mathbb {R}}}\), where \({\mathbb {S}}^1\) denotes a meridian on \({\mathbb {S}}^2\).
If \(\theta =\frac{\pi }{2}\), we have the following classification result:
Theorem 4
A surface M isometrically immersed in the product space \({\mathbb {S}}^2\times {{\mathbb {R}}}{\setminus }\{(0,0,\pm 1,t)\}\) makes constant angle \(\theta =\frac{\pi }{2}\) with the Killing vector field \(V=-y\partial _x+x\partial _y\) if and only if it is given, up to isometries of the ambient space, by: \(F:D\subset {{\mathbb {R}}}^2\rightarrow {\mathbb {S}}^2\times {{\mathbb {R}}}\hookrightarrow {\mathbb {R}}^4,\)
where
and \(\alpha :I\subset {\mathbb {R}}\rightarrow {\mathbb {R}}\) denotes a smooth function.
Proof
Since \(\theta =\frac{\pi }{2}\) denotes the angle between \(V=\partial _\psi \) and the unit normal \(\xi \), it follows that V is tangent to the surface M, thus \(\psi \) is a coordinate on the surface. The circles of radii \(r=\cos \varphi _0\) corresponding to \(\varphi =\varphi _0\) are included in the surface. Moreover, we have \(t=t_0\), \(z=\sin \varphi _0\), meaning that we obtain a rotational surface. More precisely, if \(R_\psi \) is the rotation of angle \(\psi \) in the plane (x, y) of \({\mathbb {R}}^4\), that is
then M is obtained by rotating the unit speed curve \(\gamma \), namely
Note that \(\gamma \) lies on a 2-cylinder \(x^2+z^2=1\) in the 3-dimensional Euclidean space (x, 0, z, t).
In this particular case (\(\theta =\frac{\pi }{2}\)), we may consider that the tangent plane \(T_pM\) (in \(p\in M\)) is spanned by
for a certain function \(\alpha \). See also (19). Subsequently, the normal to M is given by
The fact that the Lie bracket \([e_1,e_2]\in \mathrm{span}\{e_1, e_2\}\) yields the compatibility condition
namely the function \(\alpha \) does not depend on the coordinate \(\psi \) on the surface.
Since \([\partial _\psi , e_2]=0\), it follows that one can choose a second coordinate on M, call it u, such that \(e_2=\partial _u\). Hence, \(\varphi =\varphi (u)\) and the metric on M can be expressed as \(g=\cos ^2\varphi (u)d\psi ^2+du^2\).
At this moment, the conclusion follows immediately since \(\varphi '(u)=e_2(\varphi )=-\sin \alpha \), \(e_1(t)=0\) and \(t_u= e_2(t)=\cos \alpha \).
Conversely, one may easily check by straightforward computations that the parametrization of the surface given in the theorem represents a surface for which the unit normal makes constant angle \(\theta =\frac{\pi }{2}\) with the Killing vector field V. \(\square \)
Remark 2
Two examples which arise in Theorem 4 are given by:
-
\(\mathcal {E}\times {\mathbb {R}}\), when \(\varphi (u)=0\) (and also \(\alpha (u)=0 )\);
-
\({\mathbb {S}}^2\times \{t_0\}\), \(t_0\in {\mathbb {R}}\), when \(\alpha (u)=\frac{\pi }{2}\).
In the study of minimality for surfaces making constant angle with the Killing vector field V, we compute first the mean curvature of M. Taking the tangent and normal parts in formula (12) first for \(X=e_1\) and then for \(X=e_2\) one gets the Levi-Civita connection on M
and the scalar second fundamental form
where \(\delta =\sin \theta e_2(\alpha )\).
Thus, the mean curvature is given by
We may formulate the following classification result:
Theorem 5
Minimal surfaces isometrically immersed in \({\mathbb {S}}^2\times {\mathbb {R}}{\setminus }\{(0,0,\pm 1,t)\}\) which make constant angle with the Killing vector field \(V=-y\partial _x+x\partial _y\) are given by:
-
(a)
\({\mathbb {S}}^1\times {\mathbb {R}}\), where \({\mathbb {S}}^1\) denotes a meridian on the \(2-\)sphere,
-
(b)
\({\mathbb {S}}^2\times \{t_0\}\), \(t_0\in {\mathbb {R}}\),
-
(c)
\(\mathcal {E}\times {\mathbb {R}}\), where \(\mathcal {E}\) denotes the Equator of the \(2-\)sphere,
-
(d)
the rotational surface parametrized as \(F:D\subset {\mathbb {R}}^2\rightarrow {\mathbb {S}}^2\times {\mathbb {R}}\hookrightarrow {\mathbb {R}}^4,\)
$$\begin{aligned} F(\psi ,u) = \left( \cos \varphi (u)\cos \psi , \ \cos \varphi (u)\sin \psi ,\ \sin \varphi (u),\ t(u)\right) , \end{aligned}$$with \(\displaystyle \varphi (u)=\arctan \left( \frac{c\cos u}{\sqrt{1+c^2\sin ^2 u}}\right) \ \ { and} \ \ t(u) = \mathrm{EllipticF}(u~|-c^2), \)
where \(\mathrm{EllipticF}(u~|-c^2)\) denotes the elliptic integral of first kind.
Proof
Firstly, the minimality condition in (31) implies the case when \(\sin \theta =0\). Namely, when the constant angle \(\theta \) vanishes, we already mentioned that the surfaces are given by \({\mathbb {S}}^1\times {\mathbb {R}}\), where \({\mathbb {S}}^1\) denotes a meridian on \({\mathbb {S}}^2\), as in case (a) of the theorem.
Secondly, the condition \(H=0\) in (31) becomes:
Using the expressions (23), (30) and (32), we compute the Lie bracket \([e_1,e_2](\alpha )\) in two ways obtaining the compatibility condition:
We distinguish the following cases.
-
In the most general situation, when \(\cos \theta \ne 0\), i.e., \(\theta \ne \frac{\pi }{2}\) and \(\sin \alpha \ne 0 \), \(\cos \alpha \ne 0\), we get from (33): \(\displaystyle \cos 2\alpha +2\sin ^2\varphi =0\). Applying \(e_1\) to this expression we find
$$\begin{aligned} 4\cos \theta \cos \alpha \sin \varphi (\sin ^2\alpha +\cos ^2\varphi )=0, \end{aligned}$$which leads to a contradiction, as follows. Firstly, if \(\sin \varphi =0\) we get that also \(\alpha =0\) and the surface is given by \(\mathcal {E}\times {\mathbb {R}}\), where \(\mathcal {E}\) denotes the Equator, corresponding to the constant angle \(\theta =\frac{\pi }{2}\), which is excluded in this case. Secondly, \(\sin ^2\alpha +\cos ^2\varphi =0\) leads to another contradiction since \(\cos \varphi \ne 0\).
Moreover, also the cases \(\cos \alpha =0\), \(\sin \alpha =0\) when \(\theta \ne \frac{\pi }{2}\) yield contradictions.
-
Let us study the minimality in the case \(\theta =\frac{\pi }{2}\). Since we already know from Theorem 4 that the local coordinates on the surface were chosen \((\psi , u)\), and \(e_2=\partial _u\), we get that \(e_1(\alpha )=0\) and \(e_1(\varphi )=0\) involving that \(\alpha \) and \(\varphi \) depend only on u. Moreover, from
$$\begin{aligned} e_2(\alpha )=\cos \alpha \tan \varphi , \ \ \ e_2(\varphi )=-\sin \alpha , \end{aligned}$$we should determine the functions \(\alpha \) and \(\varphi \) satisfying the following system of ordinary differential equations:
Two particular solutions are obtained for \(\cos \alpha =0\), when the surface is given by \({\mathbb {S}}^2\times \{t_0\}\), which is totally geodesic, thus minimal, fulfilling case (b) of the theorem; \(\sin \alpha =0\) implies also \(\varphi =0\), and the surface is given by \(\mathcal {E}\times {\mathbb {R}}\), proving case (c) of the theorem.
Going back to the general situation, taking a second derivative with respect to u in the first relation of (34), we get the following second-order ordinary differential equation
In order to solve this ODE for \(\cos \alpha \ne 0\) and \(\sin \alpha \ne 0\), we denote \(f(u):=\frac{\alpha '(u)}{\sin \alpha (u)\cos \alpha (u)}\). Then, (35) becomes
which has the general solution \(f(u)=\cot (u+c_0)\), \(c_0\in {\mathbb {R}}\). Without loss of generality, we may assume \(c_0=0\) (eventually after a translation in the u coordinate), and it follows that
which implies that
and we get the solution for (35)
From the first relation in (34) we easily find
Finally, the coordinate t along \({\mathbb {R}}-\)direction is obtained from the condition \( t'(u)=\cos \alpha (u). \) For more details on elliptic functions see e.g. [1].
Conversely, one can check that the surfaces parametrized in the theorem are minimal and they make constant angle with the Killing vector field V. \(\square \)
References
Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York (1972)
Barros, M.: General helices and a theorem of Lancret. Proc. Am. Math. Soc. 125, 1503–1509 (1997)
Cartan, E.: Leçons sur la géométrie des espaces de Riemann. Gauthier Villars, Paris (1946)
Cermelli, P., Di Scala, A.J.: Constant-angle surfaces in liquid crystals. Philos. Mag. 87(12), 1871–1888 (2007)
Dillen, F., Fastenakels, J., Van der Veken, J., Vrancken, L.: Constant angle surfaces in \({{\mathbb{S}}}^{2} \times {{\mathbb{R}}} \). Monatsh. Math. 152(2), 89–96 (2007)
Dillen, F., Kowalczyk, D.: Constant angle surfaces in product spaces. J. Geom. Phys. 62(6), 1414–1432 (2012)
Dillen, F., Munteanu, M.I.: Constant angle surfaces in \({\mathbb{H}}^{2} \times {{\mathbb{R}}}\). Bull. Braz. Math. Soc. 40(1), 85–97 (2009)
Dillen, F., Munteanu, M.I., Van der Veken, J., Vrancken, L.: Constant angle surfaces in a warped product. Balkan J. Geom. Appl. 16(2), 35–47 (2011)
Di Scala, A.J., Ruiz-Hernandez, G.: Helix submanifolds of euclidean spaces. Monatsh. Math. 157, 205–215 (2009)
Druţă-Romaniuc, S.L., Inoguchi, J., Munteanu, M.I., Nistor, A.I.: Magnetic curves in Sasakian manifolds. J. Nonlinear Math. Phys. 22(3), 428–447 (2015)
Fastenakels, J., Munteanu, M.I., Van der Veken, J.: Constant angle surfaces in the Heisenberg group. Acta Math. Sin. (English Series) 27(4), 747–756 (2011)
Garnica, E., Ruiz-Hernandez, G., Palmas, O.: Hypersurfaces with a canonical principal direction. Differ. Geom. Appl. 30, 382–391 (2012)
Inoguchi, J., Lee, S.: Null curves in Minkowski 3-space. Int. Electron. J. Geom. 1(12), 40–83 (2008)
López, R., Munteanu, M.I.: On the geometry of constant angle surfaces in Sol\(_3\). Kyushu J. Math. 65(2), 237–249 (2011)
Montaldo, S., Onnis, I.I.: Helix surfaces in the Berger sphere. Isr. J. Math. 201, 949–966 (2014)
Montaldo, S., Onnis, I.I., Passos Passamani, A.: Helix surfaces in the special linear group. Ann. Math. Pura Appl. 195(1), 59–77 (2016)
Munteanu, M.I., Nistor, A.I.: A new approach on constant angle surfaces in \({{\mathbb{E}}}^3\). Turk. J. Math. 33(2), 169–178 (2009)
Munteanu, M.I., Nistor, A.I.: Surfaces in \({\mathbb{E}}^3\) making constant angle with Killing vector fields. Int. J. Math. 23(6), 1250023 (2012). art
Nistor, A.I.: Constant angle surfaces in 3-dimensional solvable Lie groups. Kyushu J. Math. 68(2), 315–332 (2014)
Acknowledgments
The author wishes to thank Prof. O. Palmas (UNAM, Mexic) and Prof. L. Vrancken (Université de Valenciennes et du Hainaut Cambrésis, France) for fruitful discussions we had in May-June 2014 during their visits at the ‘Gh. Asachi’ Technical University of Iasi, and to Prof. M. I. Munteanu (‘Al.I. Cuza’ University of Iasi) for reading a first draft of this paper and useful comments provided. This work was supported by CNCS-UEFISCDI (Romania) Grant PN-II-RU-PD-2012-3-0387.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Nistor, A.I. New developments on constant angle property in \({\mathbb {S}}^2\times {\mathbb {R}}\) . Annali di Matematica 196, 863–875 (2017). https://doi.org/10.1007/s10231-016-0599-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-016-0599-y