Abstract
In the first part of this paper we shall classify proper triharmonic isoparametric surfaces in 3-dimensional homogeneous spaces (Bianchi-Cartan-Vranceanu spaces, shortly BCV-spaces). We shall also prove that triharmonic Hopf cylinders are necessarily CMC. In the last section we shall determine a complete classification of CMC r-harmonic Hopf cylinders in BCV-spaces, \(r \ge 3\). This result ensures the existence, for suitable values of r, of an ample family of new examples of r-harmonic surfaces in BCV-spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In order to introduce the geometrical setting of this paper we recall that harmonic maps are the critical points of the energy functional
where \(\varphi :M\rightarrow N\) is a smooth map between two Riemannian manifolds (M, g) and (N, h). A map \(\varphi \) is harmonic if it is a solution of the Euler-Lagrange system of equations associated to (1.1), i.e.,
The left member of (1.2) is a vector field along the map \(\varphi \) or, equivalently, a section of the pull-back bundle \(\varphi ^{-1} TN\): it is called tension field and denoted \(\tau (\varphi )\). In addition, we recall that if \(\varphi \) is an isometric immersion, then \(\varphi \) is a harmonic map if and only if the immersion \(\varphi \) defines a minimal submanifold of N (see [8, 9] for background). Let us denote \(\nabla ^M\), \(\nabla ^N\) and \(\nabla ^{\varphi }\) the induced connections on the bundles TM, TN and \(\varphi ^{-1}TN\) respectively. The rough Laplacian on sections of \(\varphi ^{-1} TN\), denoted \({\overline{\Delta }}\), is defined by
where \(\{e_i\}_{i=1}^m\) is a local orthonormal frame field tangent to M.
Now, in order to define the notion of a polyharmonic map of order r, shortly an r-harmonic map, we consider the following family of functionals which represent a version of order r of the classical energy (1.1).
If \(r=2s\), \(s \ge 1\):
In the case that \(r=2s+1\), \(s\ge 0\):
We say that a map \(\varphi \) is r-harmonic if, for all variations \(\varphi _t\),
This condition is equivalent to the vanishing of the r-tension field \(\tau _r(\varphi )\). We recall that the expressions which describe the r-tension field of a general map \(\varphi :M \rightarrow N\) between two Riemannian manifolds were computed by Maeta (see [10]) and are the following:
where \({\overline{\Delta }}^{-1}=0\) and \(\{e_i\}_{i=1}^m\) is a local orthonormal frame field tangent to M (the sum over i is not written but understood). Similarly,
If \(r=1\), the functional (1.5) is just the energy. In the case that \(r=2\), the functional (1.4) is called bienergy and its critical points are the so-called biharmonic maps. At present, a very ample literature on biharmonic maps is available and, again, we refer to [17] and references therein for an introduction to this topic.
More generally, the r-energy functionals \(E_r(\varphi )\) defined in (1.4), (1.5) have been intensively studied (see [2, 10,11,12,13,14,15], for instance). Inspection of the Euler-Lagrange equations for \(E_r(\varphi )\) shows that a harmonic map is always r-harmonic for any \(r\ge 2\). When the target manifold is nonflat, we use to call an r-harmonic map proper if it is not harmonic (similarly, an r-harmonic submanifold, i.e., an r-harmonic isometric immersion, is proper if it is not minimal). As a general fact, when the ambient space has nonpositive sectional curvature there are several results which assert that, under suitable conditions, an r-harmonic submanifold is minimal (see [11] and [12], for instance).
Things drastically change when the ambient space is positively curved. Let us denote by \({{\mathbb {S}}}^{m+1}\) the sphere \({{\mathbb {S}}}^{m+1}(1)\) of radius 1. Moreover, let A be the shape operator of \(M^m\) into \({{\mathbb {S}}}^{m+1}\) and \({{\textbf{H}}}=f \eta \) the mean curvature vector field, where \(\eta \) is the unit normal vector field and f is the mean curvature function. Throughout the whole paper, when we write that \(M^m\) is a CMC hypersurface we mean that f is a constant which will be denoted by \(\alpha \).
In [16] Ou derived the equation for biharmonic hypersurfaces in a generic Riemannian manifold. More precisely, he proved:
Theorem 1.1
[16] Let \(\varphi :M^{m}\rightarrow N^{m+1}\) be an isometric immersion of codimension-one with mean curvature vector \({{\textbf{H}}}=f \eta \). Then \(\varphi \) is biharmonic if and only if:
where \(\textrm{Ric}^N: T_qN\longrightarrow T_qN\) denotes the Ricci operator of the ambient space defined by \(\langle \textrm{Ric}^N\, (Z), W\rangle =\textrm{Ric}^N (Z, W)\) and A is the shape operator of the hypersurface with respect to the unit normal vector \(\eta \).
We point out that, contrary to [16], the sign convention for \(\Delta \) in this paper is such that \(\Delta f =-f''\) on \({{\mathbb {R}}}\). If the mean curvature f is constant, say \(f\equiv \alpha \), then the biharmonic equation reduces to
from which we deduce that a non minimal CMC hypersurface \(M^m\) is proper biharmonic if and only if
In the instance that \(M^m\) is a hypersurface of \({{\mathbb {S}}}^{m+1}\) the biharmonic condition (1.10) reduces to
As for the r-harmonic case, condition (1.11) was generalized in [13]:
Theorem 1.2
Let \(M^m\) be a non-minimal CMC hypersurface in \({{\mathbb {S}}}^{m+1}\) and assume that \(|A|^2\) is constant. Then \(M^m\) is proper r-harmonic (\(r \ge 3\)) if and only if
As an application of Theorem 1.2, several new examples of isoparametric r-harmonic hypersurfaces were illustrated in [13], where it was stressed that the value of r, \(r\ge 2\), plays a crucial role when the ambient is positively curved. By contrast, when the target space form has nonpositive curvature, generally non-existence results are confirmed for all values of r, \(r \ge 2\).
As a natural further step, in this paper we shall focus on the study of r-harmonic surfaces into 3-dimensional homogeneous spaces with group of isometries of dimension 4.
It is well-known (see, e.g., [1, 3, 4, 6]) that 3-dimensional homogeneous spaces with group of isometries of dimension 4 admit, as a local canonical model, the so called Bianchi-Cartan-Vranceanu spaces (shortly, BCV-spaces)
where \({\bar{M}}=\{(x,y)\in {{\mathbb {R}}}^2:1+m(x^2+y^2)>0\}\).
The space \(M^3_{m,\ell }\) is the total space of the following Riemannian submersion over a simply connected surface \(M^2(4m)\) of constant curvature 4m, see [6]:
We point out that while in \({{\mathbb {S}}}^n(\rho )\) the letter \(\rho \) indicates the radius, in \(M^2(4m),\,{{\mathbb {H}}}^2(4m)\) the real number within the brackets represents the sectional curvature.
These BCV-spaces are also a local model for Thurston’s eight 3-dimensional geometries with the exception of the hyperbolic space \({{\mathbb {H}}}^3\) and \(\mathrm Sol\). More precisely, we have the following cases:
-
(1)
when \(\ell =m=0\), then \(M^3_{m,\ell }\) is \( {{\mathbb {R}}}^3\);
-
(2)
when \(\ell ^2=4m>0\), then \(M^3_{m,\ell }\) is a local model of \( {{\mathbb {S}}}^3(1/\sqrt{m})\);
-
(3)
when \(\ell =0\) and \(m<0\), then \(M^3_{m,\ell }\) is the product space \({{\mathbb {H}}}^2(4m)\times {{\mathbb {R}}}\);
-
(4)
when \(\ell =0\) and \(m>0\), then \(M^3_{m,\ell }\) is the product space \({{\mathbb {S}}}^2(\frac{1}{2\sqrt{m}})\setminus \{\infty \}\times {{\mathbb {R}}}\);
-
(5)
when \(\ell \ne 0\), then \(M^3_{m,\ell }\) is \(\mathrm{Nil_3}\);
-
(6)
when \(\ell \ne 0\) and \(m< 0\), then \(M^3_{m,\ell }\) is \(\widetilde{SL}(2,{{\mathbb {R}}})\);
-
(7)
when \(\ell \ne 0,\, m>0\) and \(\ell ^2\ne 4\,m\), then \(M^3_{m,\ell }\) is a local model of SU(2) with a Berger metric.
See Fig. 1 for a representation of the BCV-spaces with respect to the values of the parameters \(\ell \) and m.
In their paper [18], Ou and Wang used equation (1.8) to study biharmonic surfaces in BCV-spaces. They first showed that a totally umbilical biharmonic surface in any 3-dimensional Riemannian manifold has constant mean curvature. Then they used this to show that the only totally umbilical proper biharmonic surface in 3-dimensional geometries is a part of \({{\mathbb {S}}}^2(1/\sqrt{2m})\) in \({{\mathbb {S}}}^3(1/\sqrt{m})\).
Moreover, they proved the following characterization of CMC biharmonic surfaces:
Theorem 1.3
(see [18]) A CMC surface in a 3-dimensional Bianchi-Cartan-Vranceanu space is proper biharmonic if and only if it is a part of one of the following:
-
(i)
\({{\mathbb {S}}}^2(\frac{1}{\sqrt{2m}})\) in \({{\mathbb {S}}}^3(\frac{1}{\sqrt{m}})\),
-
(ii)
\({{\mathbb {S}}}^1(\frac{1}{2\sqrt{2m}})\times {\mathbb {R}}\) in \({{\mathbb {S}}}^2(\frac{1}{2\sqrt{2m}})\times {\mathbb {R}}\),
-
(iii)
a Hopf cylinder in SU(2) with \(4m-\ell ^2>0\) over a circle of radius \(R=1/\sqrt{8m-\ell ^2\,}\) in the base sphere \(M^2(4m)={{\mathbb {S}}}^2(\frac{1}{2\sqrt{m}})\).
The main aim of our paper is to investigate the existence of triharmonic and, more generally, r-harmonic surfaces in this geometric setting \((r \ge 3)\).
Our paper is organised as follows. In Section 2 we state our main results on triharmonic surfaces in BCV-spaces. These results will be proved in Sects. 4 and 5. Finally, in Sect. 6, we shall determine a complete classification of proper CMC r-harmonic Hopf cylinders in Bianchi-Cartan-Vranceanu spaces, \(r \ge 3\). As an application, we shall be able to describe, for suitable values of r, an ample family of new examples of r-harmonic surfaces in BCV-spaces.
2 Statement of the results on triharmonic surfaces in BCV-spaces
In order to state our results, it is convenient to recall first some basic facts and terminology.
For a Bianchi-Cartan-Vranceanu 3-space given in (1.13), one can easily check that the vector fields
where \(F=1+m(x^2+y^2)\), form a global orthonormal frame field (see [3, 18]).
Now, let \(\gamma (s)=(x(s), y(s)),\,s \in I\) be a smooth curve in the base space \(M^2(4m)\) of the Riemannian submersion (1.14). Then the Hopf cylinder \(\Sigma _\gamma =\Sigma \) over the curve \(\gamma \) is defined as
Then the surface \(\Sigma \) can be parametrized as \(r(s,t)=(x(s),y(s), t)\) since the fiber of \(\pi \) over a point \((x_0,y_0)\) is \(\pi ^{-1}(x_0,y_0)=\{(x_0,y_0, t): t\in {{\mathbb {R}}}\}\).
It is convenient to assume that the base curve \(\gamma \) is parametrized by arc length, i.e.,
Next, we define:
Then the unit vector field \(\eta \) is normal to the Hopf cylinder \(\Sigma \) and \(\{X,E_3,\eta \}\) is a global orthonormal frame field adapted to \(\Sigma \).
Our first result is:
Theorem 2.1
Let \(\Sigma \) be a triharmonic Hopf cylinder in a BCV-space \(M^3_{m,\ell }\). Then \(\Sigma \) is CMC.
The analysis in the proof of Theorem 2.1 shows that, if \(\Sigma \) is a Hopf cylinder, then its tension field is \(\tau =-\kappa _g \eta \), where \(\kappa _g\) denotes the geodesic curvature of its base curve.
Our second result is:
Theorem 2.2
Let \(\Sigma \) be a CMC Hopf cylinder in a BCV-space \(M^3_{m,\ell }\).
-
(i)
If \(4m \le \ell ^2\) and \(\Sigma \) is triharmonic, then \(\Sigma \) is minimal.
-
(ii)
If \(4m > \ell ^2\) and the geodesic curvature \(\kappa _g\) of its base curve verifies
$$\begin{aligned} \kappa _g^2=2(4m-\ell ^2) , \end{aligned}$$(2.3)then \(\Sigma \) is proper triharmonic.
Remark 2.3
The base curve of a proper triharmonic Hopf cylinder in SU(2) as in Theorem 2.2 (ii) is a circle of radius \(R=1/\sqrt{12m-2\ell ^2}\) in \({{\mathbb {S}}}^2(1/(2\sqrt{m}))\) and so these Hopf cylinders are tori.
The analysis of the Hopf cylinders fits naturally into the context of the study of isoparametric surfaces. We recall that, in a general Riemannian manifold, a hypersurface is said to be isoparametric if itself and its locally defined nearby equidistant hypersurfaces have constant mean curvature. In the 30’s, Cartan characterized isoparametric hypersurfaces in space forms as those with constant principal curvatures and achieved their classification in hyperbolic spaces \({{\mathbb {H}}}^n\). Segre obtained a similar result for Euclidean spaces \({{\mathbb {R}}}^n\). In both cases, isoparametric hypersurfaces are also open parts of extrinsically homogeneous hypersurfaces, that is, codimension one orbits of isometric actions on the ambient space. By contrast, the classification problem in spheres \({{\mathbb {S}}}^n\) is much more complicated and rich, and there are inhomogeneous examples (see [5] and references therein, for instance).
In spaces of nonconstant curvature, very few classification results are known. In the case of interest for us we have the following important result:
Theorem 2.4
[7] Let \(\Sigma \) be an immersed surface in \(M^3_{m,\ell }\), \(4\,m-\ell ^2 \ne 0\). Then the following assertions are equivalent:
-
(i)
\(\Sigma \) is an open subset of a homogeneous surface.
-
(ii)
\(\Sigma \) is isoparametric.
-
(iii)
\(\Sigma \) has constant principal curvatures.
-
(iv)
\(\Sigma \) is an open subset of one of the following complete surfaces: (a) a Hopf cylinder over a complete curve of constant curvature in \(M^2(4m)\); (b) a horizontal slice \(M^2(4m) \times t_0\) with \(\ell =0\); (c) a parabolic helicoid \(P_{\alpha ,m,\ell }\) with \(\alpha ^2+m<0\).
Remark 2.5
We point out that in references [4, 6, 7] the authors use parameters \(\kappa , \tau \) instead of \(m,\ell \). The relationship between these parameters is \(\kappa =4 m,\, \tau =\ell /2\). Also, in these papers our constant \(\alpha \) is denoted by H.
The parabolic helicoids \(P_{\alpha ,m,\ell }\) will be described explicitly in Sect. 4.
Our main result in the context of isoparametric surfaces is the following:
Theorem 2.6
Let \(\Sigma \) be an isoparametric immersed surface in \(M^3_{m,\ell }\), \(4m-\ell ^2 \ne 0\). If \(\Sigma \) is proper triharmonic, then it is an open part of a Hopf cylinder as in (ii) of Theorem 2.2.
Remark 2.7
If \(4m-\ell ^2 = 0\), then \(M^3_{m,\ell }\) is a space form with nonnegative sectional curvature and in this case the only proper triharmonic isoparametric surface is \({{\mathbb {S}}}^2(\frac{1}{\sqrt{3m}})\) in \({{\mathbb {S}}}^3(\frac{1}{\sqrt{m}})\) (see [11]).
3 Preliminaries
In order to prepare the ground for our proofs we need to carry out some preliminary work. Generally, the use of a bar over a symbol indicates that we refer to an object of the ambient space. We adopt the following notation and sign convention for the Riemannian curvature tensor field:
Moreover,
A straightforward computation shows that
Then, using the Koszul formula
it is easy to compute:
Similarly, a further computation gives the possible nonzero values of the sectional curvatures:
The Riemannian curvature tensor field \({\overline{R}}\) of \(M^3_{m,\ell }\) can be described as follows (see [6], where the opposite sign convention for the curvature tensor is adopted).
Another useful formula is the following (see [6]):
where \(\times \) here has the following meaning:
We shall study oriented immersed surfaces \(\varphi :M^2 \rightarrow M^3_{m,\ell }\) and denote by \(\eta \) the unit normal vector field.
The vector field \(E_3^\top =E_3-\nu \, \eta \), where we have set
will play a basic role in our analysis. This vector field plays an important part also in the previous literature on this subject. For our purposes, it is useful to recall (see Proposition 3.3 of [6]):
where J denotes the \(\pi /2\) rotation on \(TM^2\).
If p is an arbitrarily fixed point of \(M^2\), then, as \(\nabla J=0\), we can consider a geodesic frame field \(\{X_1,X_2\}\) such that, in a small neighbourhood of p, \(J(X_1)=X_2\), \(J(X_2)=-X_1\).
Moreover, taking into account the definition (3.7), we compute:
4 Proof of Theorems 2.1 and 2.2
Let \(\{T,N\}\) denote the canonically oriented unit tangent and normal fields to \(\gamma \) in the base space \(M^2(4m)=({\bar{M}},h)\), i.e.,
so that the geodesic curvature \(\kappa _g\) of \(\gamma \) is defined in the base space by means of
Note that we denote \({\overline{\nabla }}=\nabla ^g,\,\nabla =\nabla ^\Sigma \). A computation shows that
Our first lemma is:
Lemma 4.1
Let \(X,\eta \) be the vector fields defined in (2.2). Then
Proof
We note that \(X=T^{{\mathcal {H}}}\), i.e., X is the horizontal lift of T and, similarly, \(\eta =-N^{{\mathcal {H}}}\). Because \(\pi \) is a Riemannian submersion, we know that
By way of example, we prove (ii):
It follows that
where
Next, using (3.6), we deduce that
The other computations of this lemma are similar and so we omit them. \(\square \)
It is easy to deduce from Lemma 4.1 that the tension field of the Hopf cylinder is
In particular, the Hopf cylinder \(\Sigma \) is CMC (\(\alpha =-\kappa _g /2\)) if and only if its base curve \(\gamma \) has constant geodesic curvature. Next, we need:
Lemma 4.2
where
Proof
We compute:
Since \(\tau \) is orthogonal to \(\Sigma \), we deduce from Lemma 4.1(i) that \(\nabla _X X=0\). Also, \(\nabla _{E_3} E_3=0\) and so, using again Lemma 4.1, we compute:
and the conclusion follows readily. \(\square \)
Now, we compute:
Lemma 4.3
Let A, B, C be the function defined in Lemma 4.1. Then
Proof
Obviously,
Computing as in Lemma 4.1 we find:
Adding up these three terms we obtain (4.4). \(\square \)
Now, using again Lemma 4.1 and the explicit expression (3.5) of the Riemannian curvature tensor field, we can compute the two curvature terms of the 3-tension field (1.7) and we find:
Lemma 4.4
Finally, adding up the terms computed in Lemmata 4.3–4.4 and simplifying using the explicit expression of the functions A, B, C defined in Lemma 4.1, we obtain the explicit expression of the 3-tension field of a Hopf cylinder. This is summarized in the following
Proposition 4.5
As in (2.1), let \(\Sigma \) be a Hopf cylinder in a BCV-space \(M^3_{m,\ell }\). Then its 3-tension field is given by
We deduce from (4.5) that a Hopf cylinder \(\Sigma \) is 3-harmonic if and only if the geodesic curvature \(\kappa _g\) of its base curve \(\gamma \) verifies:
Proof of Theorem 2.1
Because \(\tau =-\kappa _g \eta \), the proof amounts to showing that the base curve \(\gamma \) of \(\Sigma \) has constant geodesic curvature \(\kappa _g\). We denote by K1, K2, K3 respectively the left-hand sides of the three equations in (4.6).
Case \(\ell \ne 0\)
We argue by contradiction. So, let us suppose that (4.6) admits a nonconstant solution. It follows that there exists an open interval I such that \(\kappa _g(s), {\dot{\kappa }}_g(s)\) are both different from zero on I. We work on I. First, from
we deduce that
Next, replacing the derivative of (4.7) into K2 gives
Thus, since \(\ell \ne 0\), we must have that \({{\dot{\kappa }}}_g=0\) obtaining a contradiction.
Case \(\ell = 0\)
In this case (4.6) is equivalent to
Explicit integration of (4.8) (i) yields
where c is a real constant. Taking the first and the second derivative of (4.9) we obtain the expression of \(\ddot{\kappa }_g\), \(\kappa ^{(3)}_g\) and \(\kappa ^{(4)}_g\) in terms of \(\kappa _g\), \({{\dot{\kappa }}}_g\) and c. Substituting these expressions in (4.8) (ii) we obtain
If \(m=c=0\), then (4.10) becomes
from which we obtain a contradiction. Now, let \((m,c)\ne (0,0)\). From (4.10) we obtain
We can restrict our attention to an open subinterval of I where
is positive. Taking the derivative of (4.11) (we choose the solution with the sign \(+\) before the square root, the other case is similar) we obtain an expression of \(\ddot{\kappa }_g\) as a function of \(\kappa _g\) and c. Substituting this expression and (4.11) into (4.9) we easily obtain that \(\kappa _g\) is a root of the following polynomial with constant coefficients
Since \((m,c)\ne (0,0)\), it follows again that \(\kappa _g\) is constant, a contradiction. Thus the proof is ended. \(\square \)
Proof of Theorem 2.2
The proof follows easily from Proposition 4.5 using the assumption that \(\kappa _g\) is a constant. \(\square \)
5 Proof of Theorem 2.6
Our first goal is to compute all the terms which occur in the expression of the 3-tension field
For this purpose, we now establish a series of useful preliminary lemmata.
Lemma 5.1
Let \(\varphi :M^2 \rightarrow M^3_{m,\ell }\) be an oriented surface. Let A denote the shape operator, \(f=(1/2) {{\,\textrm{trace}\,}}A\) the mean curvature function and \(\eta \) the unit normal. Then
-
(a)
\((\nabla A) (X,Y)=(\nabla A) (Y,X)-(R(X,Y)\eta )^\top \);
-
(b)
\(\langle (\nabla A) (X,Y), Z \rangle =\langle (\nabla A) (X,Z), Y \rangle \);
-
(c)
\({{\,\textrm{trace}\,}}(\nabla A) (\cdot ,\cdot )= 2 {{\,\textrm{grad}\,}}f+(4m-\ell ^2)\, \nu \, E_3^\top \).
Proof
(a) This is just the Codazzi equation.
(b)
Because the above expression is symmetric with respect to Y, Z the conclusion follows.
(c) Let \(p \in M^2\) be an arbitrarily fixed point and consider a geodesic frame field \(\{ X_i\}_{i=1}^2\) around p. At p we have:
Now, first using (a) and then the explicit expression of the curvature tensor field (3.5), we continue the previous sequence of equalities as follows:
and so the proof of the lemma is ended. \(\square \)
Next, we compute:
Lemma 5.2
Let \(\varphi :M^2 \rightarrow M^3_{m,\ell }\) be an oriented surface and denote by \({{\textbf{H}}}= f \eta \) its mean curvature vector field. Then
Proof
We work with a geodesic frame field \(\left\{ X_i \right\} _{i=1}^2\) around an arbitrarily fixed point \(p \in M^2\). Again, we simplify the notation writing \(\nabla \) for \(\nabla ^{M^2}\). Since \({{\textbf{H}}}=f \eta \), around p we have:
Then, denoting by B the second fundamental form, at p we have:
Now, taking the sum over i and using Lemma 5.1, we obtain (5.2) (note that the sign convention for \(\Delta \) and \({\overline{\Delta }}\) is as in (1.3)). \(\square \)
In the special case that the surface is CMC, say \(f= \alpha \), then (5.2) becomes:
Since the mean curvature vector field and the tension field are related by \(\tau (\varphi )=2 {{\textbf{H}}}\), setting for convenience of notation \(\tau (\varphi )=\tau \) and
we rewrite (5.3) as
Next, from (5.5) and performing a computation as in Lemma 5.2 we find:
Lemma 5.3
Let \(\varphi :M^2 \rightarrow M^3_{m,\ell }\) be an oriented surface and assume that \(f\equiv \alpha \). Then
The first difficulty is to compute in a convenient way \({\overline{\Delta }}\,V\). We have
Lemma 5.4
Proof
We can work with a geodesic frame field \(\left\{ X_i \right\} _{i=1}^2\) such that \(J(X_1)=X_2\), \(J(X_2)=-X_1\) around an arbitrarily fixed point \(p \in M^2\). Taking into account (3.8) and (3.9) we obtain around p:
Next, in a similar fashion, we compute at p:
Now, since \(\left\{ X_i \right\} _{i=1}^2\) is a geodesic frame field, we have at p:
Therefore,
Now (5.7) can be computed using (3.9) and performing some simplifications such as:
Indeed,
from which (5.7) follows immediately (note that each line of (5.8) is equal to the corresponding line of (5.9)). \(\square \)
Now, we can state the main result which is of independent interest and summarizes the preliminary work which we have carried in this section.
Proposition 5.5
Let \(M^2\) be an oriented surface in \(M^3_{m,\ell }\). Assume that \(M^2\) has CMC equal to \(\alpha \). Then its 3-tension field is
where \(\nu \) is defined in (3.7).
Proof
The explicit expression of the curvature tensor field is given in (3.5) and so we have all the ingredients to compute the 3-tension field (5.1). More in detail:
(I) \({\overline{\Delta }}^2 \tau \) is given in Lemmata 5.3 and 5.4.
(II) Here we compute the first curvature term
which we rewrite as
where, according to (5.5), we have
Then, using the general expression (3.5) for the curvature tensor field, we find:
Adding up the results in (5.13) and (5.14) we can easily handle the term in (II).
(III) Here we deal with the other curvature term, i.e.,
Using again the general expression (3.5) for the curvature tensor field and observing that
we find (slight abuse of notation: we identify \(X_i\) and \(d \varphi (X_i)\)):
Using the results obtained in the three cases (I), (II), (III) we can easily compute the 3-tension field described explicitly in (5.1). More precisely, after some routine simplifications we obtain (5.10) (where we have used that \(|E_3^\top |^2=1-\nu ^2\)) and so the proof of Proposition 5.5 is completed. \(\square \)
Proof of Theorem 2.6
According to Theorem 2.4, we just have to study the three possible cases (iv)(a),(b),(c). Case (iv)(a) is analysed in detail in Theorem 2.2 and provides examples of proper triharmonic surfaces. By contrast, horizontal slices of the type (iv)(b) are totally geodesic and therefore there exists no proper triharmonic surface of this type. By way of summary, the proof will be complete if we show that any parabolic helicoid \(P_{\alpha ,m,\ell }\) as in Theorem 2.4 (iv)(c) cannot be proper triharmonic. Despite the simplicity of this plan for the proof, the involved computations are quite long and will be carried out using the half-space model for \(M^3_{m,\ell }\). More precisely, recalling that in the case of parabolic helicoids \(m<0\) by assumption, we shall work in
Now, we recall (see [4]) some basic facts about the half-space model. We have an explicit isometry \(\Theta :M^3_{m,\ell }\rightarrow {\tilde{M}}^3_{m,\ell }\) given by
where we have set
Moreover, an explicit positively oriented global orthonormal frame field on the half-space model is:
For future use, we observe that \(d \Theta (E_3)={\tilde{E}}_3\). Next, we compute
Then, using the Koszul identity (3.2), it is easy to verify that the version of (3.3) in this context is:
The parabolic helicoids \(P_{\alpha ,m,\ell }\) (see [7]) are the CMC surfaces in \({\tilde{M}}^3_{m,\ell }\) parametrized by
where a is non-vanishing real constant whose relation with the geometrical parameters \(\alpha ,m,\ell \) will be made explicit in (5.21) below.
We have to verify that a parabolic helicoid \(P_{\alpha ,m,\ell }\), \(\alpha \ne 0\), cannot be triharmonic. For this purpose, we apply Proposition 5.5. In order to compute all the terms which appear in the expression of the 3-tension field \(\tau _3\) (see (5.10) it is convenient to express and compute all the relevant quantities with respect to the global orthonormal frame field \(\{{\tilde{E}}_1,{\tilde{E}}_2,{\tilde{E}}_3 \}\). Writing \([{\tilde{x}}_1,{\tilde{x}}_2,{\tilde{x}}_3]\) for \({\tilde{x}}_1{\tilde{E}}_1+{\tilde{x}}_2{\tilde{E}}_2+{\tilde{x}}_3{\tilde{E}}_3\), we compute:
where we have set
Note that
and so we can compute \(E_3^\top ={\tilde{E}}_3-\nu \eta \). We find
Moreover,
Now, we recall that \(A(X)=-{\overline{\nabla }}_X \eta \) and \(J(X)=\eta \times X\) for all X tangent to \(P_{\alpha ,m,\ell }\). Next, we observe that all the coefficients of \(\eta ,E_3^\top ,J(E_3^\top )\) are constant. Therefore, using (5.16) it is not difficult to compute:
Using (5.19), we are in the right position to compute the mean curvature \(\alpha \) and \(|A|^2\). We have
Inverting (5.20), together with (5.18), we deduce that the relationship between a and the geometrical parameters \(\alpha , \ell ,m\) is:
As for \(|A|^2\), using (5.21) and (5.18) a straight computation returns
Next, using (5.19), (5.21) and (5.22) all the terms in (5.10) can be easily computed and, after adding up and simplifying, we find
where
By way of summary, a parabolic helicoid \(P_{\alpha ,m,\ell }\) is proper triharmonic if and only if
Now, if \(\ell =0\), the third equation of system (5.23) becomes
which has not relevant solutions since in our construction \(m+\alpha ^2<0\) by hypothesis.
Next, we handle the case \(\ell \ne 0\). First, we observe that the condition \(T2-T3=0\) implies
Now, replacing this value of \(\ell ^2\) into T2 and simplifying we find that necessarily
Because \(m<0\), the only possibilities are:
The first value for m is not acceptable because, if we replace it into (5.24), we find
a contradiction. As for the second value of m into (5.25), it suffices to observe that it would imply \(m+\alpha ^2 >0\), a fact which contradicts our assumption.
Therefore, there exists no proper triharmonic parabolic helicoid \(P_{\alpha ,m,\ell }\) and so the proof of Theorem 2.6 is completed. \(\square \)
6 Proper CMC r-harmonic Hopf cylinders
In this section we focus on the study of proper CMC r-harmonic Hopf cylinders. We shall show that the existence of such submanifolds depends not only on the curvature of the ambient space, but also on the value of r. This will be illustrated in Corollary 6.3 which is a consequence of the following theorem.
Theorem 6.1
Assume that \(r \ge 2 \). Let \(\Sigma \) be a non minimal CMC Hopf cylinder in a BCV-space \(M^3_{m,\ell }\). Then \(\Sigma \) is proper r-harmonic if and only if the geodesic curvature \(\kappa _g\) of its base curve \(\gamma \) is a non zero constant which verifies
Remark 6.2
From (4.1) (ii) and (iv), the norm \(|A|^2\) of the shape operator of \(\Sigma \) is (see also [18]):
Using (6.2), condition (6.1) is equivalent to
Thus, setting \(r=2\) into (6.3), it is immediate to recover the result of Ou and Wang [18] concerning CMC biharmonic Hopf cylinders. Also, in the special case \(r=3\) in (6.1), it is easy to recover the statement of Theorem 2.2.
In the following corollary we shall indicate for which values of the parameters \(\ell \), m and r there are acceptable solutions of (6.1). We suggest that the reader keeps in mind the geometrical counterpart of the cases (i), (ii), (iii) of Corollary 6.3 referring to the diagram in Fig. 1.
Corollary 6.3
Let \(M^3_{m,\ell }\) be a BCV-space. Then there exists a proper CMC r-harmonic Hopf cylinder if and only if one of the following holds:
-
(i)
\(4m-\ell ^2>0\) and \(r\ge 2\);
-
(ii)
\(4m-\ell ^2=0\), \(\ell \ne 0\) and \(r\ge 5\);
-
(iii)
\(4\,m-\ell ^2<0\), \({\overline{R}}_{1212}=4\,m-{3 \ell ^2}/{4}>0\) and
$$\begin{aligned} r\ge \frac{4 \left( \sqrt{2} \sqrt{\ell ^4-4 \ell ^2 m}+4 m\right) }{16 m -3 \ell ^2}. \end{aligned}$$(6.4)
Remark 6.4
The assumptions \(4\,m-\ell ^2<0\) and \({\overline{R}}_{1212}=4\,m-{3 \ell ^2}/{4}>0\) in Case (iii) of Corollary 6.3 have a geometrical meaning because they state that the ambient space is SU(2) endowed with a metric with positive sectional curvature. Here we point out that from the analytical view point these hypotheses are equivalent just to the condition \((3/4)\ell ^2< 4m < \ell ^2\) which corresponds to the region between the two parabolas \(4m = (3/4) \ell ^2\) and \(4m=\ell ^2\) (see Fig. 2). It is convenient to describe this region as the union \(\cup _{a} \gamma _a,\, 3/4<a<1\), where \(\gamma _a\) is the parabola \(4\,m=a\ell ^2\). Now, on \(\gamma _a\) the lower bound for r in (6.4) becomes
We observe that on (3/4, 1) \(r_a\) is a strictly decreasing function of a with \(\lim _{a\rightarrow 3/4^+}r_a=+\infty \) and \(\lim _{a\rightarrow 1^-}r_a=4\). Therefore, the more we approach \(\gamma _{3/4}\), the larger r must be in order to have a proper CMC r-harmonic Hopf cylinder.
Now, we prove the results of this section.
Proof of Theorem 6.1
We know that \(\tau =-\kappa _g \eta \) and \(\kappa _g\) is constant. To simplify the notation, we set
We know from Lemma 4.2 that \({\overline{\Delta }}\tau =-\kappa _g c \eta \) and then we deduce that
Next, using Lemma 4.1, we obtain:
We shall also need the following equalities which can easily by derived from (3.5):
Now, using (6.5), (6.6) and (6.7), we can compute the r-tension field whose expression is given in (1.6), (1.7). We have:
It follows from the last equality that the Hopf cylinder \(\Sigma \) is proper r-harmonic (\(r=2s\)) if and only if
Finally, using \(c=\kappa _g^2+(\ell ^2/2)\) in (6.8) we obtain (6.1).
The computations for \(\tau _{2s+1}\) are analogous and so we omit further details. \(\square \)
Proof of Corollary 6.3
We will proceed by an accurate analysis of the dependence of the roots of equation (6.1) on the values of the parameters \(\ell \), m and r. Putting \(x=k_g^2\) in (6.1), the existence of a proper r-harmonic CMC Hopf cylinder is equivalent to the existence of a positive solution of the equation
We divide the analysis in a series of cases.
If \(m\le 0\), then the coefficients of (6.9) are nonnegative and thus there exists no positive solution.
Thus, from now on, we assume that \(m>0\). Then we have the following subcases:
-
(i)
If \(4m -\ell ^2 > 0\), then there exists a unique positive solution \(\kappa _g^2\) of (6.9) for all \(r\ge 2\).
-
(ii)
If \(4m -\ell ^2 = 0\), then equation (6.9) admits the positive solution
$$\begin{aligned} \kappa _g^2= \frac{r-4}{4}\, \end{aligned}$$if and only if \(r \ge 5\). We point out that this result is in accordance with the discussion in Remark 1.3 of [14].
-
(iii)
If \(4m -\ell ^2 < 0\), then replacing \({\overline{R}}_{1212}=4m-{3 \ell ^2}/{4}\) in (6.9) we obtain
$$\begin{aligned} x^2 + \left[ 4 m -r {\overline{R}}_{1212}\right] x- \frac{\ell ^2}{2}{\overline{R}}_{1212}+\frac{\ell ^4}{8}=0. \end{aligned}$$(6.10)Thus, if \({\overline{R}}_{1212}\le 0\) there exists no acceptable solution. Finally, if \({\overline{R}}_{1212}=4m-{3 \ell ^2}/{4}>0\), then a straightforward check shows that (6.9) admits two distinct positive solutions if and only if
$$\begin{aligned} r> \frac{4 \left( \sqrt{2} \sqrt{\ell ^4-4 \ell ^2 m}+4 m\right) }{16 m -3 \ell ^2} , \end{aligned}$$(6.11)and only one positive solution when
$$\begin{aligned} r=\frac{4 \left( \sqrt{2} \sqrt{\ell ^4-4 \ell ^2 m}+4 m\right) }{16 m -3 \ell ^2}. \end{aligned}$$(6.12)
\(\square \)
Remark 6.5
(i) We observe that, for all \(r \ge 5\), there always exist suitable couples \(m,\ell \) such that (6.11), or (6.12), is verified. In the case that (6.11) holds the corresponding two solutions give rise to two non-congruent r-harmonic Hopf cylinders.
(ii) Concerning the case \(4m -\ell ^2 > 0\), if \(r=2\) we find \(\kappa _g^2=4m-\ell ^2\). On the other hand, Ou and Wang (see Theorem 1.3 (iii)) find that \(\gamma \) must be a circle of radius
in the base space \({{\mathbb {S}}}^2\left( \frac{1}{2 \sqrt{m}} \right) =M^2(4m)\). In order to check that our result is coherent with that of Ou and Wang, we observe that a curve of constant curvature \(\kappa _g\) in \({{\mathbb {S}}}^2(\rho )\) is a plane curve in \({{\mathbb {R}}}^3\) with constant curvature \(\kappa \) and radius
Substituting \(\rho =1/(2\sqrt{m})\) and \(\kappa _g^2=4\,m-\ell ^2\) in (6.14) we recover (6.13).
On behalf of all authors, the corresponding author (Stefano Montaldo) states that there is no conflict of interest.
References
Belkhelfa, M., Dillen, F., Inoguchi, J.-I.: Surfaces with parallel second fundamental form in Bianchi-Cartan-Vranceanu spaces, in PDEs, submanifolds and affine differential geometry (Warsaw,: vol. 57 of Banach Center Publ., Polish Acad. Sci. Inst. Math. Warsaw 2002, 67–87 (2000)
Branding, V., Montaldo, S., Oniciuc, C., Ratto, A.: Higher order energy functionals. Adv. Math., 370(60), 107236 (2020)
Caddeo, R., Montaldo, S., Oniciuc, C., Piu, P.: The Euler-Lagrange method for biharmonic curves. Mediterr. J. Math. 3, 449–465 (2006)
Castro-Infantes, J., Manzano, J., Torralbo, F.: Conjugate plateau constructions in product spaces, arXiv preprint arXiv:2203.13162v1, (2022)
Chi, Q.-S.: The isoparametric story, a heritage of Élie Cartan, in Proceedings of the International Consortium of Chinese Mathematicians 2018, Int. Press, Boston, MA, [2020] (2020), pp. 197–260
Daniel, B.: Isometric immersions into 3-dimensional homogeneous manifolds. Comment. Math. Helv. 82, 87–131 (2007)
Domínguez-Vázquez, M., Manzano, J.M.: Isoparametric surfaces in \({\mathbb{E}} (\kappa ,\tau )\)-spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 22, 269–285 (2021)
Eells, J., Lemaire, L.: Selected topics in harmonic maps. CBMS Regional Conference Series in Mathematics, Published for the Conference Board of the Mathematical Sciences, Washington, vol. 50. DC; by the American Mathematical Society, Providence, RI (1983)
Eells, J., Lemaire, L.: Two reports on harmonic maps. World Scientific Publishing Co., Inc, River Edge, NJ (1995)
Maeta, S.: \(k\)-harmonic maps into a Riemannian manifold with constant sectional curvature. Proc. Amer. Math. Soc. 140, 1835–1847 (2012)
Maeta, S.: Construction of triharmonic maps. Houston J. Math. 41, 433–444 (2015)
Maeta, S., Nakauchi, N., Urakawa, H.: Triharmonic isometric immersions into a manifold of non-positively constant curvature. Monatsh. Math. 177, 551–567 (2015)
Montaldo, S., Oniciuc, C., Ratto, A.: Polyharmonic hypersurfaces into space forms. Israel J. Math. 249, 343–374 (2022)
Montaldo, S., Ratto, A.: New examples of \(r\)-harmonic immersions into the sphere. J. Math. Anal. Appl. 458, 849–859 (2018)
Montaldo, S., Ratto, A.: Proper \(r\)-harmonic submanifolds into ellipsoids and rotation hypersurfaces. Nonlinear Anal. 172, 59–72 (2018)
Ou, Y.-L.: Biharmonic hypersurfaces in Riemannian manifolds. Pacific J. Math. 248, 217–232 (2010)
Ou, Y.-L., Chen, B.-Y.: Biharmonic submanifolds and biharmonic maps in Riemannian geometry, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, [2020] 2020
Ou, Y.-L., Wang, Z.-P.: Constant mean curvature and totally umbilical biharmonic surfaces in 3-dimensional geometries. J. Geom. Phys. 61, 1845–1853 (2011)
Funding
Open access funding provided by Università degli Studi di Cagliari within the CRUI-CARE Agreement.
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.
The authors S.M. and A.R. are members of the Italian National Group G.N.S.A.G.A. of INdAM. The author S.M. was partially supported by PNRR e.INS Ecosystem of Innovation for Next Generation Sardinia (CUP F53C22000430001, codice MUR ECS00000038). The author C.O. was supported by a project funded by the Ministry of Research and Innovation within Program 1 - Development of the national RD system, Subprogram 1.2 - Institutional Performance - RDI excellence funding projects, Contract no. 34PFE/19.10.2018.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Montaldo, S., Oniciuc, C. & Ratto, A. Polyharmonic surfaces in 3-dimensional homogeneous spaces. manuscripta math. 174, 31–58 (2024). https://doi.org/10.1007/s00229-023-01520-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-023-01520-4