Spheres and Tori as Elliptic Linear Weingarten Surfaces

Abstract

The linear Weingarten condition with ellipticity for the mean curvature and the extrinsic Gaussian curvature on a surface in the three-sphere can define a Riemannian metric which is called the elliptic linear Weingarten metric. We established some local characterizations of the round spheres and the tori immersed in the 3-dimensional unit sphere, along with the Laplace operator, the spherical Gauss map and the Gauss map associated with the elliptic linear Weingarten metric.

1. Introduction

The complete surfaces of the unit 3-sphere ${\mathbb{S}}^3$ which has rich topological and geometrical properties together with the Poincaré’s conjecture have unique and special geometric properties, such as no complete surfaces being immersed in ${\mathbb{S}}^3$ with constant extrinsic Gaussian curvature $K_N$ satisfying $K_N<-1$ and $-1<K_N<0$ ([1], p. 138). However, there are infinitely many complete and flat surfaces in ${\mathbb{S}}^3$, such as the tori ${\mathbb{S}}^1\left(r_1\right)\times {\mathbb{S}}^1\left(r_2\right)$ and the product of two plane circles, where $r_1^2+r_2^2=1$. In particular, the Clifford torus ${\mathbb{S}}^1(1/\sqrt{2})\times {\mathbb{S}}^1(1/\sqrt{2})$ is the only minimal and flat surface immersed in ${\mathbb{S}}^3$ in the 4-dimensional Euclidean space ${\mathbb{E}}^4$ ([2,3]).

According to Nash’s imbedding theorem, a Riemannian manifold is imbedded in a Euclidean space ([4]). Let M be a Riemannian manifold. Due to Nash’s idea, we can consider an isometric immersion $x:M\to {\mathbb{E}}^m$ of M in a Euclidean space ${\mathbb{E}}^m$. Generalizing Takahashi’s eigenvalue problem of an isometric immersion of a submanifold in a Euclidean space, Chen introduced the notion of finite-type immersion ([5,6]). It is said to be of finite-type if the immersion x can be represented as a sum of finitely-many eigenvectors of the Laplace operator $\mathrm{\Delta }$ of M in the following:

$$x=x_0+x_1+\cdots +x_k,$$

(1)

where $x_0$ is a constant vector and $x_1,\dots ,x_k$ are non-constant vectors satisfying $\mathrm{\Delta }{x}_i={\lambda }_i{x}_i$ for some ${\lambda }_i\in \mathbb{R}$, $i=1,2,\dots ,k$. If all of ${\lambda }_1,\dots ,{\lambda }_k$ are different, the immersion x is called k-type or the submanifold M is said to be of k-type. Thus, the 1-type immersion is the simplest finite-type one. It is well-known that a submanifold M of the Euclidean space ${\mathbb{E}}^m$ is of one type if and only if M is a minimal submanifold of ${\mathbb{E}}^m$ or a minimal submanifold of a hypersphere of ${\mathbb{E}}^m$ ([6]). Therefore, spherical submanifolds, i.e., submanifolds lying in a sphere, which are of finite-type submanifolds in Euclidean space, are worth studying.

Let ${\mathbb{S}}^{m-1}$ be a unit hypersphere of ${\mathbb{E}}^m$ centered at the origin and $x:M\to {\mathbb{S}}^{m-1}$ be an isometric immersion of a Riemannian manifold M into ${\mathbb{S}}^{m-1}$. In this case, if the immersion x identified with the position vector in the ambient Euclidean space is of finite-type, we call the spherical submanifold M finite type.

The notion of finite-type immersion can be extended to any smooth map $\varphi :M\to {\mathbb{E}}^m$ of M into the Euclidean ${\mathbb{E}}^m$. A smooth map $\varphi$ is said to be of finite-type if $\varphi$ can be expressed as a sum of finitely many eigenvectors of $\mathrm{\Delta }$ such as $\varphi ={\varphi }_0+{\varphi }_1+\dots +{\varphi }_k,$ where ${\varphi }_0$ is a constant vector and ${\varphi }_1,\dots ,{\varphi }_k$ are non-constant vectors satisfying $\mathrm{\Delta }{\varphi }_i={\lambda }_i{\varphi }_i$ for some ${\lambda }_i\in \mathbb{R}$, $i=1,2,\dots ,k$. Among such maps, the Gauss map is one of the most typical and meaningful maps with geometric meaning. The Gauss map of a submanifold M of ${\mathbb{E}}^m$ is a map of M into a Grassmann manifold $Gr(n,m)$ consisting of all oriented n-planes passing through the origin, which can be defined by $\eta :M\to Gr(n,m)\subset {\mathbb{E}}^N$ via $\eta \left(p\right)=(e_1\wedge e_2\wedge \cdots \wedge e_n)\left(p\right),$ where $\{e_1,e_2,\cdots ,e_m\}$ is an orthonormal frame of ${\mathbb{E}}^m$ such that $e_1,e_2,\cdots ,e_n$ are tangential to M and $e_{n+1},e_{n+2},\cdots ,e_m$ normal to M ([3,7]).

It is also interesting to consider the case of the Gauss map $\eta$ satisfying some differential equations, such as $\mathrm{\Delta }\eta =f\eta$ or $\mathrm{\Delta }\eta =f(\eta +C)$, for some non-zero smooth function f and a constant vector C. For example, the helicoid and the right cone in ${\mathbb{R}}^3$ have the Gauss map $\eta$, which satisfy, respectively, $\mathrm{\Delta }\eta =f\eta$ and $\mathrm{\Delta }\eta =f(\eta +C)$ for some non-vanishing function f and a non-zero constant vector C. Inspired by this, in [8], the notion of a pointwise 1-type Gauss map was introduced. The Gauss map $\eta$ of a submanifold M in the Euclidean space ${\mathbb{E}}^m$ is said to be of pointwise 1-type if it satisfies $\mathrm{\Delta }\eta =f(\eta +C)$ for some non-zero smooth function f and a constant vector C. In particular, it is said to be of pointwise 1-type of the first kind if the constant vector C is zero. If C is non-zero, it is said to be of pointwise 1-type of the second kind.

For a spherical surface M lying in a unit hypersphere ${\mathbb{S}}^3$, the position vector x of each point p of ${\mathbb{S}}^3$ and an orthonormal basis $\{e_1,e_2\}$ of the tangent space $T_{p}M$ determine an oriented 3-plane in ${\mathbb{E}}^4$. Thus, we can have a map ${\eta }^S:M\to G(3,4)\subset {\mathbb{S}}^3\subset {\mathbb{E}}^4$ via ${\eta }^S\left(p\right)=x\wedge e_1\wedge e_2$. We call ${\eta }^S$ the spherical Gauss map of M in ${\mathbb{S}}^3$. We now define the pointwise 1-type spherical Gauss map of the spherical submanifold ([9,10]). We also call the spherical Gauss map ${\eta }^S$ pointwise 1-type if it satisfies $\mathrm{\Delta }{\eta }^S=f({\eta }^S+C)$ for some non-zero smooth function f and a constant vector C. If $C=0$, it is called pointwise 1-type of the first kind, and pointwise 1-type of the second kind otherwise.

In the present paper, a sphere ${\mathbb{S}}^2\left(r\right)$ ($0<r\le 1$) and the tori in ${\mathbb{S}}^3$ are characterized locally with the notion of ELW metric and its Laplace operator.

We assume that a surface of the sphere ${\mathbb{S}}^3$ is complete and connected unless stated otherwise, and a compact surface means that it is closed without boundary.

2. Preliminaries

Let ${\mathbb{E}}^4$ be the 4-dimensional Euclidean space with the canonical metric $⟨·,·⟩$ and ${\mathbb{S}}^3$ be the unit hypersphere centered at the origin in ${\mathbb{E}}^4.$ Let M be a surface in ${\mathbb{S}}^3$. We denote the Levi–Civita connection by $\tilde{\nabla }$ of ${\mathbb{E}}^4$ and the induced connection ∇ of M of M in ${\mathbb{S}}^3$.

The Gauss and Weingarten formulas of M in ${\mathbb{E}}^4$ are, respectively, given by

$$\begin{array}{cc}\hfill & {\tilde{\nabla }}_{X}Y={\nabla }_{X}Y+⟨SX,Y⟩N-⟨X,Y⟩x,\end{array}$$

(2)

$$\begin{array}{cc}\hfill & {\tilde{\nabla }}_{X}N=-SX,{\tilde{\nabla }}_{X}x=X\end{array}$$

(3)

for vector fields $X,Y$ and Z tangent to M, where N is the unit normal vector field associated with the orientation of M in ${\mathbb{S}}^3$, and $S:TM\to TM$ is the shape operator, where $TM$ is the tangent bundle of M. Let R be the curvature tensor of M. The Gauss equation is then given by

$$\begin{array}{cc}\hfill ⟨R(X,Y)Z,W⟩& =⟨h(X,W),h(Y,Z)⟩-⟨h(Y,W),h(X,Z)⟩\hfill \end{array}$$

(4)

for tangent vector fields X, Y, Z and W on M. We also obtained the Codazzi equation

$$\left(\overline{\nabla }h\right)(X,Y,Z)-\left(\overline{\nabla }h\right)(Y,X,Z)=0$$

(5)

for all vector fields $X,Y,Z$ tangent to M. Here, $\left(\overline{\nabla }h\right)(X,Y,Z)$ is defined by $\left(\overline{\nabla }h\right)(X,Y,Z)=\left({\overline{\nabla }}_{X}h\right)(Y,Z)={\nabla }_X^{\perp }h(Y,Z)-h({\nabla }_{X}Y,Z)-h(Y,{\nabla }_{X}Z)$. The Codazzi Equation (5) can be written as follows:

$$\left({\nabla }_{X}S\right)Y=\left({\nabla }_{Y}S\right)X$$

for all tangent vector fields X and Y of M.

Let H and $K_N$ be the mean curvature and the extrinsic Gaussian curvature of M in ${\mathbb{S}}^3$ defined by $H=\frac{1}{2}\mathrm{tr}S$ and $K_N=detS$ of M, respectively. M is said to be flat if its Gaussian curvature $K=1+K_N$ in ${\mathbb{E}}^4$ vanishes, and M is said to be minimal (in ${\mathbb{S}}^3$) if the mean curvature H vanishes. In particular, the Clifford torus ${\mathbb{S}}^1(1/\sqrt{2})\times {\mathbb{S}}^1(1/\sqrt{2})$ is minimal in ${\mathbb{S}}^3$ and flat in ${\mathbb{E}}^4$, which is of 1-type in the usual sense in ${\mathbb{E}}^4$ ([2,6]).

A surface M in ${\mathbb{S}}^3$ is called Weingarten if some relationship between its two principal curvatures ${\kappa }_1,{\kappa }_2$ is satisfied, namely, if there is a smooth function (the Weingarten function) of two variables satisfying $W({\kappa }_1,{\kappa }_2)=0$. It implies $Z(K_N,H)=0$ for some function Z. Especially, a surface in ${\mathbb{S}}^3$ is called linear Weingarten if its mean curvature H and the extrinsic Gaussian curvature $K_N$ satisfy

$$2aH+b{K}_N=c$$

(6)

for some constants $a,b$ and c, which are not all zero at the same time. Particularly, $a^2+bc>0$ gives the ellipticity for the differential equations of the coordinate functions of a parametrization $x=x(s,t)$ relative to the principal curvatures, and it enables the symmetric tensor $\sigma =aI+bII$ to define a Riemannian metric on the surface, where I is the induced metric on M, and $II$ is the second fundamental form. Briefly speaking, choose an orthonormal basis $\{e_1,e_2\}$ at a point $p\in M$ diagonalizing the shape operator S; i.e.,

$$S{e}_i={\kappa }_i{e}_i,$$

where $i=1,2$. Then,

$$\begin{array}{cc}\hfill & \sigma (e_1,e_1)\sigma (e_2,e_2)-\sigma {(e_1,e_2)}^2\hfill \\ \hfill & =(a+b{\kappa }_1)(a+b{\kappa }_2)\hfill \\ \hfill & =a^2+b(2aH+b{K}_N)\hfill \\ \hfill & =a^2+bc>0.\hfill \end{array}$$

(7)

If necessary, the unit normal vector can be chosen as $-\eta$ for $\sigma$ to be positive definite. We call the surface $(M,\sigma )$ with the Riemannian metric $\sigma$ an elliptic linear Weingarten surface abbreviated by an ELW surface and $\sigma$ an elliptic linear Weingarten metric or simply an ELW metric ([11,12,13]).

3. The Gauss Map of ELW Surface of ${\mathbb{S}}^3$ in ${\mathbb{E}}^4$

Let $x:M\to {\mathbb{S}}^3$ be an isometric immersion induced from ${\mathbb{E}}^4$ in a natural manner, and we assume that $\{u,v\}$ is a local coordinate system of M. We may regard x as the position vector of the point of M in ${\mathbb{E}}^4$.

We use the components of the first fundamental form I by

$$E_1=⟨x_u,x_u⟩,F_1=⟨x_u,x_v⟩,G_1=⟨x_v,x_v⟩$$

and those of the second fundamental forms by

$$E_2=⟨x_{uu},N⟩=⟨S{x}_u,x_u⟩,F_2=⟨x_{uv},N⟩=⟨Sxu,x_v⟩,G_2=⟨x_{vv},N⟩=⟨S{x}_v,x_v⟩,$$

from which,

$$I=E_{1}d{u}^2+2F_{1}dudv+G_{1}d{v}^2,II=E_{2}d{u}^2+2F_{2}dudv+G_{2}d{v}^2.$$

As was explained in (7), the first and second fundamental forms I and $II$ define a Riemannian metric

$$\sigma =aI+bII$$

(8)

on M.

We now assume that $M=(M,\sigma )$ is an ELW surface of ${\mathbb{S}}^3$ with the ELW metric $\sigma$. Let $(u,v)$ be the isothermal coordinates for the metric $\sigma$. Then, we have

$$\sigma =(a{E}_1+b{E}_2)d{u}^2+2(a{F}_1+b{F}_2)dudv+(a{G}_1+b{G}_2)d{v}^2=\lambda (d{u}^2+d{v}^2)$$

(9)

for some positive valued function $\lambda$. From the first and second fundamental forms I and $II$, we have the shape operator S of the form

$$S=\left(\begin{array}{cc}{S}_{11}& S_{12}\\ S_{21}& S_{22}\end{array}\right)$$

(10)

where

$$S_{11}=\frac{1}{E_1{G}_1-F_1^2}(G_1{E}_2-F_1{F}_2),S_{12}=\frac{1}{E_1{G}_1-F_1^2}(G_1{F}_2-F_1{G}_2),$$

(11)

$$S_{21}=\frac{1}{E_1{G}_1-F_1^2}(-E_2{F}_1+E_1{F}_2),S_{22}=\frac{1}{E_1{G}_1-F_1^2}(E_1{G}_2-F_1{F}_2).$$

(12)

Then, Equation (9) gives the Laplacian ${\mathrm{\Delta }}^{\sigma }$ with respect to the Riemannian metric $\sigma$ by

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\mathrm{\Delta }}^{\sigma }=& -\frac{1}{\sqrt{det\sigma }}(\frac{{\partial }^2}{\partial u^2}+\frac{{\partial }^2}{\partial v^2})\hfill \\ & =-\frac{1}{\lambda }(\frac{{\partial }^2}{\partial u^2}+\frac{{\partial }^2}{\partial v^2}).\hfill \end{array}\end{array}$$

(13)

If we compute ${\lambda }^2$ by using (9), we have

$${\lambda }^2=(a{E}_1+b{E}_2)(a{G}_1+b{G}_2)-{(a{F}_1+b{F}_2)}^2,$$

from which

$${\lambda }^2=\{a^2+b(2aH+b{K}_N)\}(E_1{G}_1-F_1^2).$$

Since $2aH+b{K}_N=c$, we get

$${\lambda }^2=(a^2+bc)(E_1{G}_1-F_1^2).$$

Without loss of generality, we may assume that $a^2+bc=1$. Then, we get

$$\lambda =\sqrt{E_1{G}_1-F_1^2}.$$

(14)

We now define the Gauss map $\eta :M\to {\mathrm{\Lambda }}^2{\mathbb{E}}^4\cong {\mathbb{E}}^6$ of M and the spherical Gauss map ${\eta }^S:M\to {\mathrm{\Lambda }}^3{\mathbb{E}}^4$ by

$$\eta =\frac{x_u\wedge x_v}{\left|\right|x_u\wedge x_v\left|\right|}=\frac{x_u\wedge x_v}{\lambda }\mathrm{and}{\eta }^S=\frac{x\wedge x_u\wedge x_v}{\left|\right|x\wedge x_u\wedge x_v\left|\right|}=\frac{x\wedge x_u\wedge x_v}{\lambda }.$$

(15)

4. Great Spheres as ELW Surfaces of ${\mathbb{S}}^3\left(1\right)$

Let $x:M\to {\mathbb{S}}^3$ be a ELW surface immersed in ${\mathbb{S}}^3$ with the isothermal coordinates $(u,v)$ associated with the ELW metric $\sigma$.

Since the vector space ${\mathrm{\Lambda }}^3{\mathbb{E}}^4=\{X\wedge Y\wedge Z|X,Y,Z\in {\mathbb{E}}^4\}$ is naturally identified with ${\mathbb{E}}^4$, we can define an inner product $(X_1\wedge X_2\wedge X_3,Y)$ with $X_1\wedge X_2\wedge X_3\in {\mathrm{\Lambda }}^3{\mathbb{E}}^4$ and $Y\in {\mathbb{E}}^4$ as

$$(X_1\wedge X_2\wedge X_3,Y)=det\left(\begin{array}{c}Y\\ X_1\\ X_2\\ X_3\end{array}\right),$$

(16)

where the determinant is taken by the $4\times 4$-matrix made up of the components of the vectors $X_1$, $X_2$, $X_3$ and Y in ${\mathbb{E}}^4$. Thus, the spherical Gauss map ${\eta }^S$ of M can be viewed as a unit normal vector field N in ${\mathbb{S}}^3$. Without loss of generality, we may assume that ${\eta }^S$ is a unit vector field normal to M in ${\mathbb{S}}^3$. Let us consider an example of a surface with 1-type spherical Gauss map in ${\mathbb{S}}^3$.

Lemma 1.

Let M be an ELW surface of ${\mathbb{S}}^3$. The spherical Gauss map ${\eta }^S$ satisfies

$${\mathrm{\Delta }}^{\sigma }{\eta }^S={\mathrm{\Phi }}_1{x}_u+{\mathrm{\Phi }}_2{x}_v-(1/\lambda )\mathrm{tr}\left(S^{2}I\right){\eta }^S+(1/\lambda )(E_2+G_2)x,$$

(17)

for some functions ${\mathrm{\Phi }}_1$ and ${\mathrm{\Phi }}_2$ defined on M.

Proof. 

For the ELW metric $\sigma$ of M, the Laplacian ${\mathrm{\Delta }}^{\sigma }{\eta }^S$ with respect to the isothermal coordinates $(u,v)$ is given by

$$\begin{array}{cc}\hfill {\mathrm{\Delta }}^{\sigma }{\eta }^S& =-\frac{1}{\lambda }(\frac{{\partial }^2}{\partial u^2}+\frac{{\partial }^2}{\partial v^2}){\eta }^S\hfill \\ \hfill & =-\frac{1}{\lambda }({\tilde{\nabla }}_{x_u}{\tilde{\nabla }}_{x_u}+{\tilde{\nabla }}_{x_v}{\tilde{\nabla }}_{x_v}){\eta }^S.\hfill \end{array}$$

(18)

Note that ${\eta }^S$ can be regarded as the unit normal vector field of M in ${\mathbb{S}}^3$. If we apply the Gauss and Weingarten formulas (2) and (3) to (18), we get

$$\begin{array}{cc}\hfill {\mathrm{\Delta }}^{\sigma }{\eta }^S& ={\mathrm{\Phi }}_1{x}_u+{\mathrm{\Phi }}_2{x}_v-(1/\lambda )\mathrm{tr}\left(S^{2}I\right){\eta }^S+(1/\lambda )\mathrm{tr}\left(SI\right)x\hfill \\ \hfill & ={\mathrm{\Phi }}_1{x}_u+{\mathrm{\Phi }}_2{x}_v-(1/\lambda )\mathrm{tr}\left(S^{2}I\right){\eta }^S+(1/\lambda )(E_2+G_2)x\hfill \end{array}$$

for some functions ${\mathrm{\Phi }}_1$ and ${\mathrm{\Phi }}_2$ defined on M. □

From Lemma 17, we immediately have

Proposition 1.

Let M be a ELW surface of ${\mathbb{S}}^3$ with the spherical Gauss map ${\eta }^S$. Then, the spherical Gauss map ${\eta }^S$ is harmonic with respect to the ELW metric σ, i.e., ${\mathrm{\Delta }}^{\sigma }{\eta }^S=0$, if and only if M is part of a great sphere ${\mathbb{S}}^2$.

Proof. 

If the spherical Gauss map ${\eta }^S$ is harmonic with respect to the ELW metric $\sigma$, we see that M is totally geodesic from (17). Thus, M is part of a great sphere.

Conversely, suppose that M is part of great sphere ${\mathbb{S}}^2$. Then, the shape operator S vanishes, and so does the second fundamental form $II$. For the isothermal coordinates $(u,v)$ for the ELW metric $\sigma$, (8) gives $\sigma =I$ with $a=1$, $E_1=G_1$ and $F_1=0$. A direct computation yields ${\mathrm{\Delta }}^{\sigma }{\eta }^S=0$. □

Theorem 1.

Let M be a ELW surface of ${\mathbb{S}}^3$ with the spherical Gauss map ${\eta }^S$ of pointwise 1-type of the first kind with respect to the ELW metric σ. Then, we have

• (1) If $b\ne 0$, the mean curvature H of M is constant.
• (2) M is minimal if and only if the induced metric I coincides with the ELW metric σ, i.e., $b=0$ and $a=1$.

Proof. 

Since the spherical Gauss map ${\eta }^S$ is of pointwise 1-type of the first kind with respect to the ELW metric $\sigma$, i.e.,

$${\mathrm{\Delta }}^{\sigma }{\eta }^S=f{\eta }^S,$$

(19)

for some non-zero smooth function f. Since the vector fields $x_u$, $x_v$, $N={\eta }^S$ and x are linearly independent, Lemma 1 implies that ${\mathrm{\Phi }}_1={\mathrm{\Phi }}_2=0$ and $E_2+G_2=0$. Since $aI+bII=\sigma$, we get

$$a{E}_1+b{E}_2=a{G}_1-b{E}_2=\lambda .$$

It follows $2\lambda =a(E_1+G_1)$ and $2b/a{E}_2=G_1-E_1$. Since $a{F}_1+b{F}_2=0$, the mean curvature H is given by

$$H=(1/2{\lambda }^2)(E_2{G}_1-2F_1{F}_2+G_2{E}_1)=(a/4b{\lambda }^2)\{{(E_1-G_1)}^2+4F_1^2\}.$$

$\left(1\right)\Rightarrow \left(2\right)$ If M is minimal, $E_1=G_1$ and $F_1=0$. If $b\ne 0$, $E_2=G_2=0$ and $F_2=0$ and $II$ vanish. Therefore, ${\mathrm{\Delta }}^{\sigma }{\eta }^S=0,$ a contradiction. Thus, $b=0$ and the induced metric I is the same as the ELW metric $\sigma$.

$\left(2\right)\Rightarrow \left(1\right)$ is obvious. □

Example 1.

The Clifford torus ${\mathbb{S}}^1(1/\sqrt{2})\times {\mathbb{S}}^1(1/\sqrt{2})$ is a minimal and flat compact surface of ${\mathbb{S}}^3$ which is of 1-type. A parametrization x of the Clifford torus is given by

$$x(s,t)=1/\sqrt{2}(coss,sins,cost,sint).$$

Choose

$${\eta }^S=1/\sqrt{2}(coss,sins,-cost,-sint).$$

We easily see that

$$I=\left(\begin{array}{cc}1/2& 0\\ 0& 1/2\end{array}\right),II=\left(\begin{array}{cc}-1/2& 0\\ 0& 1/2\end{array}\right),\sigma =I=\left(\begin{array}{cc}1/2& 0\\ 0& 1/2\end{array}\right)$$

It is straightforward to show that

$${\mathrm{\Delta }}^{\sigma }{\eta }^S=2{\eta }^S.$$

Therefore, the spherical Gauss map ${\eta }^S$ is of 1-type with respect to the Laplacian associated with the induced metric and the ELW metric.

5. Characterization of the Flat Tori with ELW Metric

In [10], Chen at al. studied and classified the spherical submanifolds with a 1-type spherical Gauss map which was associated with the eigenvalues of the Laplacian defined by the induced metrics and that of the ambient manifold. In this section, we will characterize the flat tori in ${\mathbb{S}}^3$ associated with the ELW metric and its associated Laplacian.

Let M be a ELW surface of ${\mathbb{S}}^3$ with the metric $\sigma$ defined by (8). As we discussed in the previous section, the vector space ${\mathrm{\Lambda }}^3{\mathbb{E}}^4$ can be identified with ${\mathbb{E}}^4$.

Theorem 2.

Let M be a ELW surface of ${\mathbb{S}}^3$. Then, M is part of a torus ${\mathbb{S}}^1\left(r_1\right)\times {\mathbb{S}}^1\left(r_2\right)$ with $r_1^2+r_2^2=1$ if and only if the spherical Gauss map ${\eta }^S$ is of 1-type with respect to the ELW metric σ.

Proof. 

Suppose that the spherical Gauss map ${\eta }^S$ is of 1-type with respect to $\sigma$; i.e., ${\eta }^S$ is expressed as ${\eta }^S={\eta }_0^S+{\eta }_1^S$, where ${\eta }_0^S$ is a constant vector and ${\eta }_1^S$ is a non-constant vector satisfying ${\mathrm{\Delta }}^{\sigma }{\eta }_1^S=k{\eta }_1^S$ for some $k\in \mathbb{R}(\ne 0)$. It follows that ${\mathrm{\Delta }}^{\sigma }{\eta }^S=k{\eta }^S+\mathbb{C}$ for some constant vector $\mathbb{C}$. Together with (17), we get

$$⟨\mathbb{C},x⟩=g\mathrm{and}⟨\mathbb{C},{\eta }^S⟩=k,$$

(20)

where $g=1/\lambda (E_2+G_2)$. Taking the covariant derivative to the second equation of (20) with respect to a tangent vector field X, we get $⟨\mathbb{C},SX⟩=0$. Thus,

$${\kappa }_1⟨\mathbb{C},X_1⟩={\kappa }_2⟨\mathbb{C},X_2⟩=0,$$

(21)

where $k_1$ and ${\kappa }_2$ are the principal curvatures of S corresponding to the principal directions $X_1$ and $X_2$, respectively.

• Case (1). ${\kappa }_1={\kappa }_2=0$; i.e., M is totally geodesic. Thus, M is part of a great sphere ${\mathbb{S}}^2$. Taking into account (17), part of great sphere does not have 1-type spherical Gauss map.
• Case (2). ${\kappa }_1\ne 0$ or ${\kappa }_2\ne 0$. Suppose that the open subset $O=\{p\in M|({\kappa }_2\left(p\right)\ne 0\}$ is not empty. From (21), one can obtain $X_{2}g=0$ on O. Taking the covariant differentiation to $⟨\mathbb{C},X_2⟩=0$ with respect to $X_1$, we obtain

$${\omega }_2^1\left(X_1\right)⟨\mathbb{C},X_1⟩=0,$$

(22)

where ${\omega }_2^1$ is the connection form defined by ${\nabla }_{X_1}{X}_2={\omega }_2^1\left(X_1\right)X_1$. Suppose that there exists a point $q\in O$ such that ${\omega }_2^1\left(X_1\right)\left(q\right)\ne 0$. Then, there exists an open subset $U\subset O$ such that ${\omega }_2^1\left(X_1\right)\ne 0$ everywhere on U. Therefore, $⟨\mathbb{C},X_1⟩=0$ everywhere on U. Thus, $g=1/\lambda (E_2+G_2)$ is constant on U and

$$⟨\mathbb{C},X⟩=0$$

for every tangent vector field X on U. Thus, $\mathbb{C}$ is normal to M on U. If we take the covariant derivative to

$$⟨\mathbb{C},X_i⟩=0$$

with respect to $X_i$ for each $i\in \{1,2\}$, we see that ${\kappa }_1$ and ${\kappa }_2$ are constant on U. Therefore, the open subset U lies in an isoparametric surface in ${\mathbb{S}}^3$. Since M is connected, M is part of a torus $S^1\left(r_1\right)\times S^1\left(r_2\right)$ with $r_1^2+r_2^2=1$ or an ordinary sphere ${\mathbb{S}}^2\left(r\right)$ with $0<r\le 1).$

We will show that a sphere ${\mathbb{S}}^2\left(r\right)$ does not have 1-type spherical Gauss map with respect to the ELW metric $\sigma$. Suppose that M is an ordinary sphere ${\mathbb{S}}^2\left(r\right)$ of radius r ($0<r\le 1$). Choose the isothermal coordinate $(u,v)$ on M. Let the first fundamental form I, second fundamental form $II$ and ELW metric $\sigma$ be

$$I=\left(\begin{array}{cc}{E}_1& F_1\\ F_1& G_1\end{array}\right),II=\left(\begin{array}{cc}{E}_2& F_2\\ F_2& G_2\end{array}\right),\sigma =aI+bII.$$

(23)

Since M is totally umbilic in ${\mathbb{S}}^3$, $SX=-1/rX$ for every tangent vector field X on M. Therefore, $E_2=-E_1/r,F_2=-F_1/r,G_2=-G_1/r$ and $\lambda =(a-b/r)E_1=(a-b/r)G_1$ and $(a-b/r)F_1=0$. Thus, $F_1=0$. Using ${\lambda }^2=E_1{G}_1-F_1^2$, we get ${(a-b/r)}^2={\lambda }^2=$ a constant. We may assume that $a-b/r=1$. It follows that $\lambda =E_1=G_1$, which is constant. Therefore, M is flat in ${\mathbb{E}}^4$, a contradiction. Thus, the spherical Gauss map of ${\mathbb{S}}^2\left(r\right)$ is not of 1-type with respect to the metric $\sigma$.

Conversely, suppose that M is part of a product of two circles $S^1\left(r_1\right)\times S^1\left(r_2\right)$ with $r_1^2+r_2^2=1$, which is flat in ${\mathbb{E}}^4$. Take the parametrization of M as follows:

$$x(s,t)=(r_{1}coss,r_{1}sins,r_{2}cost,r_{2}sint).$$

(24)

Then, we can choose the spherical Gauss map

$${\eta }^S=(r_{2}coss,r_{2}sins,-r_{1}cost,-r_{1}sint).$$

From the last two equations, we can get

$$E_1=⟨x_s,x_s⟩=r_1^2,F_1=0,G_1=⟨x_t,x_t⟩=r_2^2,E_2=-r_1{r}_2,F_2=0,G_2=r_1{r}_2.$$

(25)

Then, the ELW metric $\sigma$ is given by

$$\sigma =a\left(\begin{array}{cc}{r}_1^2& 0\\ 0& r_2^2\end{array}\right)+b\left(\begin{array}{cc}-r_1{r}_2& 0\\ 0& r_1{r}_2\end{array}\right).$$

Since the shape operator S is given by $S=I^{-1}II$, S is determined as

$$S=\left(\begin{array}{cc}-r_2/r_1& 0\\ 0& r_1/r_2\end{array}\right),$$

from which, $\mathrm{tr}\left(SI\right)=0$ and $\mathrm{tr}\left(S^{2}I\right)=r_1^2+r_2^2=1$. From the fact that all components of I and $II$ are constant, the function $\lambda$ induced by the components of $\sigma$ is constant. Since the trace is invariant under the change of basis and M is flat in ${\mathbb{E}}^4$, Lemma 1 gives ${\mathrm{\Delta }}^{\sigma }{\eta }^S=-(1/\lambda ){\eta }^S.$ Thus, ${\eta }^S$ is of 1-type with respect to the ELW metric $\sigma$. This completes the proof. □

6. Discussion

The topic could be developed further in the higher dimensional cases.