Hostname: page-component-6bf8c574d5-gr6zb Total loading time: 0 Render date: 2025-02-14T23:28:48.707Z Has data issue: false hasContentIssue false

On conformally flat minimal Legendrian submanifolds in the unit sphere

Published online by Cambridge University Press:  10 May 2024

Cece Li
Affiliation:
School of Mathematics and Statistics, Henan University of Science and Technology, Luoyang 471000, People's Republic of China (ceceli@haust.edu.cn)
Cheng Xing*
Affiliation:
School of Mathematical Sciences and LPMC, Nankai University, Tianjin 300071, People's Republic of China (xingcheng@nankai.edu.cn)
Jiabin Yin
Affiliation:
School of Mathematics and Statistics, Guangxi Normal University, Guilin 541001, People's Republic of China (jiabinyin@126.com)
*
*Corresponding author.
Rights & Permissions [Opens in a new window]

Abstract

This paper is concerned with the study on an open problem of classifying conformally flat minimal Legendrian submanifolds in the $(2n+1)$-dimensional unit sphere $\mathbb {S}^{2n+1}$ admitting a Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$ for $n\ge 3$, motivated by the classification of minimal Legendrian submanifolds with constant sectional curvature. First of all, we completely classify such Legendrian submanifolds by assuming that the tensor $K:=-\varphi h$ is semi-parallel, which is introduced as a natural extension of $C$-parallel second fundamental form $h$. Secondly, such submanifolds have also been determined under the condition that the Ricci tensor is semi-parallel, generalizing the Einstein condition. Finally, as direct consequences, new characterizations of the Calabi torus are presented.

Type
Research Article
Copyright
Copyright © The Author(s), 2024. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

The study on both extrinsic and intrinsic geometry of submanifolds in the unit sphere is always an interesting topic, in which the classification research under suitable geometric conditions plays a significant role and has attracted many geometers. It is well known that, as a real hypersurface of the complex Euclidean space $\mathbb {C}^{n+1}$, the unit sphere $\mathbb {S}^{2n+1}$ of dimension $(2n+1)$ naturally admits a Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$ (cf. [Reference Tanno30]). Moreover, an $m$-dimensional submanifold $M^m$ in $\mathbb {S}^{2n+1}$ is said to be $C$-totally real (or equivalently, integral ) if the contact form $\eta$ of $\mathbb {S}^{2n+1}$ vanishes when it is restricted to $M^m$, namely $\eta (X)=0$ for any $X\in TM^m$. In particular, we call a $C$-totally real submanifold $M^m$ Legendrian if it meets the smallest possible codimension, that is to say, $m=n$ (cf. [Reference Xing and Zhai33]), and related to the classification of such submanifolds in $\mathbb {S}^{2n+1}$, many results have been established in the last few decades, see e.g. [Reference Baikoussis, Blair and Koufogiorgos2, Reference Dillen and Vrancken9, Reference Hu and Xing16Reference Lee, Lee and Vîlcu19, Reference Luo23, Reference Luo24, Reference Mihai27Reference Sasahara29, Reference Verstraelen and Vrancken31, Reference Yin and Qi36].

Recently, sharpening a theorem of Yamaguchi–Kon–Ikawa [Reference Yamaguchi, Kon and Ikawa34], Cheng–He–Hu [Reference Cheng, He and Hu7] gave a complete classification of all the $n$-dimensional minimal Legendrian submanifolds in Sasakian space forms with constant sectional curvature, from which it follows that

Theorem 1.1 cf. [Reference Cheng, He and Hu7]

Let $M^n$ $(n\ge 2)$ be a minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with constant sectional curvature. Then, either $M^n$ is the totally geodesic sphere, or $M^n$ is the flat Clifford torus.

Regarding theorem 1.1, we see that a Legendrian submanifold $M^n$ in the unit sphere $\mathbb {S}^{2n+1}$ is called minimal if its mean curvature $H$ vanishes identically, while the Clifford torus is given by the immersion $T^n\to \mathbb {S}^{2n+1}$ with the parameterization as in (1.2) of [Reference Cheng, He and Hu7], where $T^n=\mathbb {S}^1\times \cdots \times \mathbb {S}^1$ and $\mathbb {S}^1$ is a circle of radius $1$. It was shown by direct calculation that the Clifford torus is a minimal Legendrian submanifold with flat induced metric.

It is worth mentioning that various attempts to generalize the above theorem have been made by geometers under suitable extrinsic and intrinsic conditions. For instance, except the examples in theorem 1.1, Xing–Zhai [Reference Xing and Zhai33] obtained new ones constructed by the Calabi product (cf. [Reference Li and Wang22]), when classifying $n$-dimensional minimal Legendrian submanifolds with $C$-parallel second fundamental form in cases $n=3,\,4$, where the second fundamental form $h$ of $M^n\to \mathbb {S}^{2n+1}$ is called $C$-parallel if it satisfies $\bar \nabla ^\xi h=0$ on $M^n$. Moreover, compact minimal Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$ with non-negative sectional curvature have been studied by Dillen–Vrancken [Reference Dillen and Vrancken8] for $n=3$ and Zhai–Zhang [Reference Zhai and Zhang38] for $n=4$, and were completely classified by Cheng–Hu [Reference Cheng and Hu5] for $n\ge 5$. Meanwhile, a condition on the Ricci tensor ${\rm Ric}$ called parallel Ricci tensor, i.e. $\nabla {\rm Ric}=0$ with $\nabla$ being the Levi-Civita connection, has been applied by Hu–Li–Xing [Reference Hu, Li and Xing12] to successfully classify natural subclasses of such minimal Legendrian submanifolds in $\mathbb {S}^{2n+1}$ for $n=3,\,4$, where it is clear that the parallel Ricci tensor is a natural extension of the Einstein condition, i.e. ${\rm Ric}=\kappa g$ with $\kappa$ a constant and $g$ the induced metric. In particular, during this process, there is always an open problem that can be stated as follows:

Problem Classify conformally flat minimal Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$ for $n\ge 3$.

Some facts about the above problem are as follows. First of all, a Riemannian manifold $(M^n,\,g)$ is said to be conformally flat if there exists a coordinate chart $\{(U_\alpha,\,\phi _\alpha ); \,\alpha \in \Lambda \}$ covering $M^n$ such that $(\phi ^{-1}_\alpha )^*g=\rho _\alpha {\rm d}s^2$ for each $\alpha \in \Lambda$, where ${\rm d}s^2$ denotes the Euclidean metric on $\mathbb {R}^n$ and $\rho _\alpha$ is a positive function defined on $\mathbb {R}^n$. It is well known that a Riemannian surface is always conformally flat. In higher dimensions, $(M^n,\,g)$ of dimension $n\ge 4$ is conformally flat if and only if its Weyl curvature tensor vanishes identically, while $(M^3,\,g)$ is conformally flat if and only if its Schouten tensor is a Codazzi tensor, where the Weyl curvature tensor of $M^3$ vanishes automatically.

Next, as a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with non-constant sectional curvature, the Calabi torus was characterized on the pinching conditions of the sectional curvature by Dillen–Vrancken [Reference Dillen and Vrancken8], the Ricci tensor by Hu–Xing [Reference Hu and Xing14], and the scalar curvature by Luo–Sun [Reference Luo and Sun25], Luo–Sun–Yin [Reference Luo, Sun and Yin26], respectively.

Example 1.2 The Calabi torus in the unit sphere $\mathbb {S}^{2n+1}$ (cf. [Reference Luo, Sun and Yin26]).

Let $\gamma =(\gamma _1,\,\gamma _2):\mathbb {S}^1\to \mathbb {S}^3\subset \mathbb {C}^2$ be a Legendrian curve, defined by

(1.1)\begin{equation} \gamma(t)=\left(\sqrt{\frac{n}{n+1}}{\rm e}^{i({1}/{\sqrt{n})}t}, \sqrt{\frac{1}{n+1}}{\rm e}^{{-}i\sqrt{n}t}\right), \end{equation}

and $\phi :\mathbb {S}^{n-1}\to \mathbb {S}^{2n-1}\subset \mathbb {C}^n$ the totally geodesic Legendrian sphere for $n\geq 3$. Then

(1.2)\begin{equation} f(t,y)=(\gamma_1\phi,\gamma_2): \mathbb{S}^1\times\mathbb{S}^{n-1}\to\mathbb{S}^{2n+1}\subset\mathbb{C}^{n+1}\end{equation}

is a minimal Legendrian immersion and $f(\mathbb {S}^1\times \mathbb {S}^{n-1})$ is called the Calabi torus.

In this paper, towards the above problem, we study the classification of conformally flat minimal Legendrian submanifolds in $\mathbb {S}^{2n+1}$ under some suitable extrinsic and intrinsic conditions. As the first of our main results, motivated by above results, we completely classify such submanifolds with semi-parallel tensor $K$, namely $R\cdot K=0$ with $R$ being the Riemannian curvature tensor, as a generalization of $C$-parallel second fundamental form, where $K:TM^n\times TM^n\to TM^n$ is a $(1,\,2)$-tensor defined by $K:=-\varphi h$ satisfying $h(X,\,Y)=\varphi K(X,\,Y)$ for any $X,\,Y\in TM^n$ (see § 2.3 for details).

Theorem 1.3 Let $M^n$ $(n\ge 3)$ be a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. If $M^n$ is of semi-parallel tensor $K$, then it is locally congruent to one of the following three examples:

  1. (a) $M^n$ is the totally geodesic sphere;

  2. (b) $M^n$ is the flat Clifford torus;

  3. (c) $M^n$ is the Calabi torus.

Remark 1.4 In order to generalize theorem 1.1, Hu–Li–Xing [Reference Hu, Li and Xing12] investigated minimal Legendrian submanifolds in $\mathbb {S}^{2n+1}$ with Einstein-induced metric and verified that each of such submanifolds must be of constant sectional curvature in case of $n=4$.

Recall that, for an $n$-dimensional Riemannian manifold $(M^n,\,g)$, the traceless Ricci tensor $\tilde {\rm Ric}$ of $M^n$ is defined by $\tilde {\rm Ric}(X,\,Y)={\rm Ric}(X,\,Y)-(n-1)\chi g(X,\,Y)$ for $X,\,Y\in TM^n$, where ${\rm Ric}$ and $\chi$ are the Ricci tensor and normalized scalar curvature of $M^n$, respectively. Let $\|\tilde {\rm Ric}\|$ be the tensorial norm of $\tilde {\rm Ric}$ with respect to the metric $g$. Applying theorem 1.3, we can prove the following two rigidity theorems.

Corollary 1.5 Let $M^n$ $(n\ge 3)$ be a minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with semi-parallel tensor $K$. Then, for its traceless Ricci tensor $\tilde {\rm Ric}$, it holds the pointwise inequality:

(1.3)\begin{equation} \|\tilde{\rm Ric}\|^2\leq\frac{(n-2)(n+1)}{n+2}S\chi, \end{equation}

where $S$ and $\chi$ are the squared norm of the second fundamental form and the normalized scalar curvature of $M^n$, respectively. Moreover, the equality in (1.3) holds identically if and only if $M^n$ is locally congruent to one of the examples (a)–(c) as in theorem 1.3.

Corollary 1.6 Let $M^n$ $(n\ge 3)$ be a closed minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with vanishing Weyl curvature tensor. Then, for its traceless Ricci tensor $\tilde {\rm Ric}$, it holds the integral inequality:

(1.4)\begin{equation} \begin{aligned} \int_{M^{n}}\|\tilde{\rm Ric}\|^2\,{\rm d}V_{M^n} \geq\frac{(n-2)(n+1)}{n+2}\int_{M^{n}}S\chi\,{\rm d}V_{M^n}, \end{aligned} \end{equation}

where $S$ and $\chi$ are the squared norm of the second fundamental form and the normalized scalar curvature of $M^n$, respectively. Moreover, the equality in (1.4) holds if and only if $M^n$ is locally congruent to one of the examples (a)–(c) as in theorem 1.3.

On the contrary, for the Riemannian manifold $(M^n,\,g)$, its Ricci tensor Ric is said to be semi-parallel if and only if $R\cdot {\rm Ric}=0$ on $M^n$. This condition is obviously weaker than that of parallel Ricci tensor, as stated above. Then, the second main result of this paper can be given by

Theorem 1.7 Let $M^n$ $(n\ge 3)$ be a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. If $M^n$ is of semi-parallel Ricci tensor, then it is locally congruent to one of the following three cases:

  1. (a) $M^n$ is the totally geodesic sphere;

  2. (b) $M^n$ is the flat Clifford torus;

  3. (c) $M^n$ is the Calabi torus.

Remark 1.8 By means of theorem 1.7 and the calculations given in § 3, we see that, for the conformally flat minimal Legendrian submanifolds in $\mathbb {S}^{2n+1}$, the Ricci tensor Ric is semi-parallel if and only if it is parallel, although such equivalence does not hold for general Riemannian manifolds.

Finally, we further prove the following result, by which we can complete the proofs of theorems 1.3 and 1.7, respectively.

Theorem 1.9 Let $M^n$ $(n\geq 3)$ be a minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. If $(M^n,\,g)$ is locally isometric to a Riemannian product $I\times M_2=(I\times M_2,\,{\rm d}t^2\oplus g_2)$, where $I\subset \mathbb {R}$, $g$ is the induced metric on $M^n$ and $(M_2,\,g_2)$ has constant sectional curvature $c\ne 0$, then $M^n$ is locally congruent to the Calabi torus.

The outline of this paper is as follows: in § 2, we give a brief review of the local theory of Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$ with the Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$, and then collect necessary material on the conformally flat structure of Riemannian manifolds. For better illustrating our results, we compute in § 3 the invariants of Calabi torus with details. Section 4 is dedicated to studying the properties of Legendrian submanifolds under some certain geometric conditions. In § 5, applying these properties, we complete the proofs of theorems 1.31.9 and corollaries 1.5 and 1.6.

2. Preliminaries

In this section, we first collect some necessary material on Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$ of the unit sphere $\mathbb {S}^{2n+1}$ that can be regarded as a Sasakian space form with constant $\varphi$-sectional curvature $1$. Then, we briefly review the local theory of Legendrian submanifolds in $\mathbb {S}^{2n+1}$. Finally, some basic notions and facts relative to conformally flat structure of Riemannian manifolds are presented for later use. For more details, we refer to [Reference Hu, Li and Xing12, Reference Hu and Yin17, Reference Xing and Yin32] and the monographs [Reference Blair3, Reference Yano and Kon35].

2.1. Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$ of the unit sphere $\mathbb {S}^{2n+1}$

As a real hypersurface of the complex Euclidean space $\mathbb {C}^{n+1}$ with canonical complex structure $J$, the $(2n+1)$-dimensional unit sphere $\mathbb {S}^{2n+1}$ naturally admits a Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$: $\xi =J{\bar N}$ is the structure vector field with the unit normal vector field ${\bar N}$ of the inclusion $\mathbb {S}^{2n+1} \hookrightarrow \mathbb {C}^{n+1}$; $g$ is the induced metric on $\mathbb {S}^{2n+1}$; $\eta (X) =g(X,\,\xi )$ and $\varphi X=JX-\langle JX,\,{\bar N}\rangle {\bar N}$ for any tangent vector field $X$ on $\mathbb {S}^{2n+1}$, where $\langle \cdot,\,\cdot \rangle$ denotes the standard Hermitian metric on $\mathbb {C}^{n+1}$. In particular, for any tangent vector fields $X,\,Y$ on $\mathbb {S}^{2n+1}$, the Sasakian structure $(\varphi,\,\xi,\,\eta,\,g)$ of $\mathbb {S}^{2n+1}$ satisfies the following properties:

(2.1)\begin{equation} \left\{ \begin{aligned} & g(\varphi X,\varphi Y)=g(X,Y)-\eta(X)\eta(Y),\\ & \varphi\xi=0,\quad \eta(\varphi X)=0,\quad {\rm rank}\,(\varphi)=2n,\\ & \varphi^2X={-}X+\eta(X)\xi,\quad {\rm d}\eta(X,Y)=g(X,\varphi Y),\\ & \bar{\nabla}_{X}\xi={-}\varphi X,\quad (\bar{\nabla}_{X}\varphi)Y =g(X,Y)\xi-\eta(Y)X, \end{aligned}\right. \end{equation}

where $\bar {\nabla }$ is the Levi-Civita connection with respect to the induced metric $g$ on $\mathbb {S}^{2n+1}$.

2.2. Local theory of Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$

Let $M^n$ be a Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$, i.e. the contact form $\eta$ restricted to $M^n$ vanishes. Consequently, $\xi$ is a normal vector field over $M^n$. Denote by $N$ a unit normal vector field along $M^n$, and by $U,\,X,\,Y,\,Z$ the tangent vector fields on $M^n$ in the subsequent paragraphs. Then, we have the Gauss and Weingarten formulas:

(2.2)\begin{equation} \bar\nabla_XY=\nabla_XY+h(X,Y),\quad \bar\nabla_XN={-}A_NX+\nabla_X^\perp N, \end{equation}

where $\nabla$ is the Levi-Civita connection of the induced metric on $M^n$, still denoted by $g$, $h$ (resp. $A_N$) is the second fundamental form (resp. the shape operator with respect to $N$) of $M^n\to \mathbb {S}^{2n+1}$, and $\nabla ^\bot$ is the normal connection in the normal bundle $T^\perp M^n$. Then, by means of (2.2) it can be verified that

(2.3)\begin{equation} g(h(X,Y),N)=g(A_NX,Y). \end{equation}

Note from the facts $\eta (X)=0$ and ${\rm d}\eta (X,\,Y)=g(X,\,\varphi Y)$ that $\varphi$ maps the tangent vector fields of $M^n$ to the normal vector fields in $T^\perp M^n$. Applying (2.2), we further have

(2.4)\begin{equation} \nabla^{\bot}_{X}\varphi Y=\varphi\nabla_XY+g(X,Y)\xi,\quad A_{\varphi X}Y={-}\varphi h(X,Y)=A_{\varphi Y}X, \end{equation}

and thus $g(h(X,\,Y),\,\varphi Z)$ is totally symmetric in $X$, $Y$, and $Z$:

(2.5)\begin{equation} g(h(X,Y),\varphi Z)=g(h(X,Z),\varphi Y)=g(h(Y,Z),\varphi X). \end{equation}

It follows from (2.1), (2.3), and the Weingarten formula that

(2.6)\begin{equation} g(h(X,Y),\xi)=g(A_\xi X,Y)=0. \end{equation}

Moreover, the equations of Gauss, Ricci, and Codazzi are respectively given by

(2.7)\begin{align} & R(X,Y)Z=g(Y,Z)X-g(X,Z)Y+[A_{\varphi X},A_{\varphi Y}]Z, \end{align}
(2.8)\begin{align} & R^\perp(X,Y)\varphi Z=\varphi[A_{\varphi X},A_{\varphi Y}]Z, \end{align}
(2.9)\begin{align} & (\bar\nabla h)(X,Y,Z)=(\bar\nabla h)(Y,X,Z), \end{align}

where, by definitions:

\begin{align*} & [A_{\varphi X},A_{\varphi Y}]=A_{\varphi X}A_{\varphi Y}-A_{\varphi Y}A_{\varphi X},\\ & R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z,\\ & R^\perp(X,Y)\varphi Z=\nabla^\perp_X\nabla^\perp_Y\varphi Z -\nabla^\perp_Y\nabla^\perp_X\varphi Z-\nabla^\perp_{[X,Y]}\varphi Z,\\ & (\bar\nabla h)(X,Y,Z)=\nabla^\perp_Xh(Y,Z)-h(\nabla_XY,Z)-h(Y,\nabla_XZ). \end{align*}

From now on, we assume that $M^n$ is a minimal Legendrian submanifold in the sphere $\mathbb {S}^{2n+1}$, unless otherwise stated. Contracting the Gauss equation (2.7) twice, we have

(2.10)\begin{equation} n(n-1)\chi=n(n-1)-S,\quad S=\|h\|^2, \end{equation}

where $\chi$ is the normalized scalar curvature and $\|\cdot \|^2$ denotes the squared norm relative to the metric $g$. Furthermore, the Ricci identity reads:

(2.11)\begin{equation} \begin{aligned} & (\bar\nabla^2 h)(U,X,Y,Z)-(\bar\nabla^2 h)(X,U,Y,Z) =(\bar{R}\cdot h)(U,X,Y,Z)\\ & =R^\perp(U,X)h(Y,Z)-h(R(U,X)Y,Z)-h(Y,R(U,X)Z), \end{aligned} \end{equation}

where $\bar {R}$ is the curvature tensor of the Van der Waerden–Bortolotti connection and

(2.12)\begin{equation} \begin{aligned} (\bar\nabla^2 h)(U,X,Y,Z)= & \nabla_U^{\bot}((\bar\nabla h)(X,Y,Z))-(\bar\nabla h)(\nabla_UX,Y,Z)\\ & -(\bar\nabla h)(X,\nabla_UY,Z)-(\bar\nabla h)(X,Y,\nabla_UZ). \end{aligned} \end{equation}

As usual, the so-called local Legendre frame $\{e_1,\,\ldots,\,e_n,\,e_{1^*},\,\ldots,\,e_{n^*},\, e_{2n+1}\}$ along $M^n$ can be chosen such that, restricted to $M^n$, the vector fields $e_1,\, e_2,\,\ldots,\,e_n$ are orthonormal and tangent to $M^n$, whereas $\{e_{1^*}=\varphi e_1,\,\ldots,\, e_{n^*}=\varphi e_n,\,e_{2n+1}=\xi \}$ are the orthonormal normal vector fields of $M^n$ in $\mathbb {S}^{2n+1}$. In the sequel, we shall make the following convention on range of indices:

\begin{align*} i,j,k,\ell,m,p& =1,\ldots,n;\quad \alpha,\beta=1,\ldots,n+1,\\ i^*,j^*,k^*,\ell^*,m^*,p^*& =n+1,\ldots,2n;\quad \alpha^*=\alpha+n, \beta^*=\beta+n. \end{align*}

Set $h^{k^*}_{ij}=g(h(e_i,\,e_j),\,\varphi e_k)$ and $h^{2n+1}_{ij}=g(h(e_i,\,e_j),\,e_{2n+1})$. Denote by $h^{\alpha ^*}_{ij,\ell }$ and $h^{\alpha ^*}_{ij,\ell m}$ the first and the second covariant derivatives of $h^{\alpha ^*}_{ij}$ with respect to $\bar \nabla$, respectively. Let $R_{ijk\ell }=g(R(e_i,\,e_j)e_\ell,\,e_k)$ and $R_{ij\alpha ^*\beta ^*}=g(R^\perp (e_i,\, e_j)e_{\beta ^*},\,e_{\alpha ^*})$ be the components of the curvature tensors of $\nabla$ and $\nabla ^\perp$. Denote by $R_{ij}=\sum _kg(R(e_i,\,e_k)e_k,\,e_j)$ the components of the Ricci tensor of $g$. As $M^n$ is minimal in $\mathbb {S}^{2n+1}$, it is known from (2.5)–(2.9) that

(2.13)\begin{align} & R_{ijk\ell}=\delta_{ik}\delta_{j\ell}-\delta_{i\ell}\delta_{jk} +\sum_m(h_{ik}^{m^*}h_{j\ell}^{m^*}-h_{i\ell}^{m^*}h_{jk}^{m^*}),\quad R_{ijk^*(2n+1)}=0, \end{align}
(2.14)\begin{align} & R_{ij}=(n-1)\delta_{ij}-\sum_{k,\ell}h^{\ell^*}_{ik}h^{\ell^*}_{jk},\quad R_{ijk^*\ell^*}=\sum_m(h_{ik}^{m^*}h_{j\ell}^{m^*} -h_{i\ell}^{m^*}h_{jk}^{m^*}), \end{align}
(2.15)\begin{align} & h^{k^*}_{ij}=h^{j^*}_{ik}=h^{i^*}_{kj},\ \ h^{2n+1}_{ij}=0,\quad h^{\alpha^*}_{ij,k}=h^{\alpha^*}_{ik,j}, \sum_ih^{\alpha^*}_{ii}=0. \end{align}

In this situation, the Ricci identity (2.11) can be rewritten as follows:

(2.16)\begin{equation} h^{\alpha^*}_{ij,\ell p}-h^{\alpha^*}_{ij,p\ell} =\sum_mh^{\alpha^*}_{mj}R_{mi\ell p}+\sum_mh^{\alpha^*}_{im}R_{mj\ell p} +\sum_\beta h^{\beta^*}_{ij}R_{\ell p\beta^*\alpha^*}. \end{equation}

Finally, the following uniqueness theorem for the Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$ is also needed.

Theorem 2.1 (cf. [Reference Hu, Li and Xing12])

Let $f$ and $\bar {f}:M^n\to \mathbb {S}^{2n+1}$ be two Legendrian immersions of a connected manifold $M^n$ into the unit sphere $\mathbb {S}^{2n+1}$ with the second fundamental forms $h$ and $\bar {h}$, respectively. Assume that

(2.17)\begin{equation} g(f_*X,f_*Y)=g(\bar{f}_*X,\bar{f}_*Y),\quad g(h(X,Y),\varphi f_*Z)=g(\bar{h}(X,Y),\varphi\bar{f}_*Z),\end{equation}

where $X,\,Y,\,Z$ are any tangent vector fields on $M^n$. Then there exists an isometry $\tau$ of $\mathbb {S}^{2n+1}$ such that $f=\tau \circ \bar {f}$.

2.3. Equivalent properties of parallel or semi-parallel tensor $K$

Recall that, for the Legendrian submanifold $M^n$ in the unit sphere $\mathbb {S}^{2n+1}$, its second fundamental form $h$ is said to be parallel if $\bar \nabla h=0$ on $M^n$, and as a direct generalization, $h$ is said to be semi-parallel if $\bar {R}\cdot {h} =0$ on $M^n$, where $\bar {R}$ denotes the curvature tensor corresponding to the Van der Waerden–Bortolotti connection. For the latter one, it is easy to see from the Ricci identity (2.11) that, for tangent vector fields $U,\,X,\,Y,\,Z$ on $M^n$,

(2.18)\begin{equation} (\bar\nabla^2 h)(U,X,Y,Z)=(\bar\nabla^2 h)(X,U,Y,Z),\end{equation}

which, under the Legendre frame $\{e_1,\,\ldots,\,e_n,\,e_{1^*},\,\ldots,\,e_{n^*},\,e_{2n+1}\}$ on $M^n$, is equivalent to

(2.19)\begin{equation} h^{\alpha^*}_{ij,\ell p}=h^{\alpha^*}_{ij,p\ell},\end{equation}

where $1\leq i,\,j,\,\ell,\,p\leq n$ and $\alpha ^*=\alpha +n$ for $1\leq \alpha \leq n+1$.

In addition, associated with $\bar \nabla$ and $\xi$, a covariant differentiation $\bar \nabla ^{\xi }$ can be defined such that it acts on $h$ as

(2.20)\begin{equation} (\bar\nabla^\xi h)(X,Y,Z)=(\bar\nabla h)(X,Y,Z)-g(h(Y,Z),\varphi X)\xi. \end{equation}

Under the Legendre frame on $M^n$, setting $(\bar \nabla ^{\xi }h)(e_k,\,e_i,\,e_j) =\sum _\ell {\tilde {h}}^{\ell ^*}_{ij,k}e_{\ell ^*}$ and

(2.21)\begin{equation} (\bar\nabla^\xi_{e_p}(\bar\nabla^\xi h))(e_\ell,e_i,e_j) =((\bar\nabla^\xi)^2h)(e_p,e_\ell,e_i,e_j) =\sum_k\tilde{h}^{k^*}_{ij,\ell p}e_{k^*}, \end{equation}

we obtain the following relations (cf. [Reference Hu and Yin17]):

(2.22)\begin{equation} \tilde{h}^{\ell^*}_{ij,k}=h^{\ell^*}_{ij,k},\quad h^{k^*}_{ij,\ell p}=\tilde{h}^{k^*}_{ij,\ell p}-h^{\ell^*}_{ij}\delta_{kp},\ \ h^{2n+1}_{ij,\ell p}=2h^{\ell^*}_{ij,p}.\end{equation}

In particular, $h$ is called $C$-parallel if it satisfies $\bar \nabla ^\xi h=0$ on $M^n$.

For our purposes, we introduce the $(1,\,2)$-tensor $K:TM^n\times TM^n\to TM^n$ defined by $K:=-\varphi h$ satisfying $h(X,\,Y)=\varphi K(X,\,Y)$. A straightforward calculation shows that

Lemma 2.2 For the tensor $K$ of the Legendrian submanifold $M^n$ in $\mathbb {S}^{2n+1}$, we have

  1. (1) $K_XY=K(X,\,Y)=A_{\varphi X}Y$ and $g(K(X,\,Y),\,Z)$ is totally symmetric;

  2. (2) $M^n$ is minimal if and only if ${\rm trace}\,K_X=0$ for any $X\in TM^n$;

  3. (3) $(\nabla K)(X,\,Y,\,Z)=(\nabla K)(Y,\,X,\,Z)$ for any $X,\,Y,\,Z\in TM^n$;

  4. (4) the Ricci identity for the tensor $K$ is given by

    \begin{align*} & (\nabla^2 K)(U,X,Y,Z)-(\nabla^2 K)(X,U,Y,Z)=(R\cdot K)(U,X,Y,Z)\\ & =R(U,X)K(Y,Z)-K(R(U,X)Y,Z)-K(Y,R(U,X)Z), \end{align*}
    where $(\nabla ^2 K)(U,\,X,\,Y,\,Z)=(\nabla _U(\nabla K))(X,\,Y,\,Z)$ for any $U,\,X,\,Y,\,Z\in TM^n$.

Furthermore, it can be checked by using (2.20) and (2.21) that

(2.23)\begin{equation} \begin{aligned} & (\bar\nabla^\xi h)(X,Y,Z)=\varphi(\nabla K)(X,Y,Z),\\ & ((\bar\nabla^\xi)^2 h)(U,X,Y,Z)-((\bar\nabla^\xi)^2 h)(X,U,Y,Z)=\varphi(R\cdot K)(U,X,Y,Z). \end{aligned} \end{equation}

Consequently, $\nabla K=0$ if and only if $\bar \nabla ^\xi h=0$, and $R\cdot K=0$ if and only if

(2.24)\begin{equation} ((\bar\nabla^\xi)^2 h)(U,X,Y,Z)=((\bar\nabla^\xi)^2 h)(X,U,Y,Z), \end{equation}

which, under the Legendre frame $\{e_1,\,\ldots,\,e_n,\,e_{1^*},\,\ldots,\,e_{n^*},\, e_{2n+1}\}$ on $M^n$, is equivalent to

(2.25)\begin{equation} \tilde{h}^{k^*}_{ij,\ell p}=\tilde{h}^{k^*}_{ij,p\ell}.\end{equation}

Here, we shall call the tensor $K$ parallel (resp. semi-parallel ) if $\nabla K=0$ (resp. $R\cdot K=0$) holds on $M^n$.

Lemma 2.3 Let $M^n$ $(n\ge 2)$ be a Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. Then, $M^n$ is of $C$-parallel second fundamental form if and only if $\nabla K=0$ on $M^n$, where $\nabla$ denotes the Levi-Civita connection, and $M^n$ satisfies equation (2.24) if and only if $R\cdot K=0$ on $M^n$, where $R$ denotes the curvature tensor of the connection $\nabla$.

Assume that the tensor $K$ of Legendrian submanifold $M^n$ does not vanish at some point $x\in M^n$. We shall consider $U_{x}M^n=\{v\in T_xM^n\,|\,g(v,\,v)=1\}$ and then define a function $F$ on $U_xM^n$ by $F(u):=g(K(u,\,u),\,u)=g(A_{\varphi u}u,\,u)$ for $u\in U_xM^n$. Since $U_xM^n$ is compact, there exists a unit vector $e_1\in U_xM^n$ at which the function $F(u)$ attains an absolute maximum, denoted by $\lambda _1$ and $\lambda _1>0$. As a result, it holds that:

(2.26)\begin{equation} g(K_{e_1}e_1,u)=0,\quad g(K_{e_1}e_1,e_1)\geq2g(K_{e_1}u,u),\ u\perp e_1,\ u\in U_{x}M^n. \end{equation}

Lemma 2.4 (cf. [Reference Hu, Li and Xing12]; Lemma 5.1 and Corollary 5.1 of [Reference Hu, Li and Vrancken11])

There exists an orthonormal basis $\{e_1,\,\ldots,\,e_n\}$ of $T_xM^n$ so that $K_{e_1}e_i =\lambda _ie_i$ for $1\le i\le n$, where $\lambda _1$ is the maximum value of $F$ on $U_xM^n$. Also, $\lambda _1\ge 2\lambda _i$ for $i\ge 2$, and if $\lambda _1=2\lambda _j$ for some $j\ge 2$, then $F(e_j)=0$. Moreover, for a unit vector $u\in T_xM^n$, if $K_uu=\lambda u$, then $\lambda$ is an extremal value of the function $F$ on $U_xM^n$.

2.4. Conformally flat Riemannian manifolds and product manifolds

Let $(M^n,\,g)$ be an $n$-dimensional connected Riemannian manifold with the normalized scalar curvature $\chi$ and the Levi-Civita connection $\nabla$ of the metric $g$. The Schouten tensor $P$ of $(1,\,1)$-type defined by

(2.27)\begin{equation} P=\frac{Q}{n-2}-\frac{n\chi}{2(n-2)}{\rm id} \end{equation}

is a self-adjoint operator with respect to the metric $g$, where $Q$ and id denote the Ricci operator and the identity transformation, respectively. By definition there holds:

(2.28)\begin{equation} g(X,QY)={\rm Ric}(X,Y)=g(QX,Y),\end{equation}

where ${\rm Ric}$ denotes the Ricci tensor of $M^n$ and $X,\,Y$ are vector fields tangent to $M^n$.

Recall that $(M^n,\,g)$ is said to be conformally flat if around each point of $M^n$ there exists a neighbourhood which can be conformally immersed into the Euclidean space $\mathbb {R}^n$. When $n\ge 4$, it is known that $(M^n,\,g)$ is conformally flat if and only if its Weyl curvature tensor vanishes. In this situation, the curvature tensor $R$ of $g$ can be rewritten as below:

(2.29)\begin{equation} R(X,Y)Z=g(Y,Z)PX-g(X,Z)PY+g(PY,Z)X-g(PX,Z)Y, \end{equation}

where $X,\,Y,\,Z$ are tangent vector fields of $M^n$, and the Schouten tensor $P$ is Codazzi, i.e.:

(2.30)\begin{equation} (\nabla_XP)Y=(\nabla_YP)X. \end{equation}

When $n=3$, we should remark that the Weyl curvature tensor vanishes automatically, and $(M^3,\,g)$ is conformally flat if and only if $P$ is a Codazzi tensor as above.

Moreover, the Ricci tensor ${\rm Ric}$ of $M^n$ is called parallel or semi-parallel if it satisfies $\nabla {\rm Ric}=0$ or $R\cdot {\rm Ric}=0$. In the latter case, by definition one has:

(2.31)\begin{equation} (R\cdot{\rm Ric})(X,Y)=R(X,Y){\rm Ric}=\nabla_X\nabla_Y{\rm Ric} -\nabla_Y\nabla_X{\rm Ric}-\nabla_{[X,Y]}{\rm Ric}.\end{equation}

In addition, we call the Riemannian manifold $(M^n,\,g)$ quasi-Einstein if its Ricci operator $Q$ admits exactly two distinct eigenvalues at each point, one of which is simple, and the traceless Ricci tensor $\tilde {\rm Ric}$ of $M^n$ is defined by

(2.32)\begin{equation} \tilde{\rm Ric}(X,Y)={\rm Ric}(X,Y)-(n-1)\chi g(X,Y). \end{equation}

Finally, we recall the following theorem for later use.

Theorem 2.5 (cf. Theorem 3.7 of [Reference Brozos-Vázquez, García-Río and Vázquez-Lorenzo4])

Let $(M^n,\,g)=(I\times M_2,\,{\rm d}t^2\oplus g_2)$ be a Riemannian product, where $I\subset \mathbb {R}$ and dim $M_2\ge 2$. Then, $(M^n,\,g)$ is conformally flat if and only if $(M_2,\,g_2)$ is a space form of constant curvature.

3. Geometric invariants of the Calabi torus

In [Reference Luo and Sun25], Luo and Sun have made some calculations about the Calabi torus in the unit sphere $\mathbb {S}^{2n+1}$. In this section, in order to obtain the exact knowledge about the Calabi torus, we compute its geometric invariants with more details.

Proposition 3.1 The Calabi torus in the unit sphere $\mathbb {S}^{2n+1}$ with the immersion given by $f$ as in example 1.2 is indeed a minimal Legendrian submanifold with $C$-parallel second fundamental form and conformally flat induced metric for $n\geq 3$, satisfying the identity:

(3.1)\begin{equation} \|\tilde{\rm Ric}\|^2=\frac{(n-2)(n+1)}{n+2}S\chi, \end{equation}

where $\tilde {\rm Ric}$ is the traceless Ricci tensor, $S$ is the squared norm of the second fundamental form, and $\chi$ is the normalized scalar curvature. In particular, the Calabi torus is quasi-Einstein and its Ricci tensor is parallel with respect to the Levi-Civita connection.

Proof. Note from the induced metric of $f(t,\,y):\mathbb {S}^1\times \mathbb {S}^{n-1}\to \mathbb {S}^{2n+1}\subset \mathbb {C}^{n+1}$:

\[ f^*(g)=({\rm d}t)^2+\frac{n}{n+1}[({\rm d}y_1)^2+\cdots+({\rm d}y_n)^2] \]

that $f$ is an isometric immersion, where $y=(y_1,\,\ldots,\,y_n)\in \mathbb {S}^{n-1} \subset \mathbb {R}^n$ and $\sum ^n_{i=1}y^2_i=1$. Adopting the following local reparametrization:

\[ (y_1,y_2,\ldots,y_n)=(\sin\theta_1,\cos\theta_1\sin\theta_2,\ldots, \cos\theta_1\cos\theta_2\cdots\cos\theta_{n-2}\cos\theta_{n-1}), \]

we obtain a local orthonormal frame $\{e_i\}^n_{i=1}$ on $f(\mathbb {S}^1\times \mathbb {S}^{n-1})=:M^n$ with respect to the metric $g$, satisfying the relations:

(3.2)\begin{equation} \left\{ \begin{aligned} & e_1={-}f_t,\quad e_2=\sqrt{\frac{n+1}{n}}f_{\theta_1},\\ & e_3=\sqrt{\frac{n+1}{n}}\cos^{{-}1}\theta_1f_{\theta_2},\quad \ldots,\ \ e_n=\sqrt{\frac{n+1}{n}}\prod^{n-2}_{\ell=1}\cos^{{-}1}\theta_\ell\,f_{\theta_{n-1}}. \end{aligned}\right. \end{equation}

As the unit sphere $\mathbb {S}^{2n+1}$ admits a natural Sasakian structure $(\varphi,\, \xi,\,\eta,\,g)$, by definition we see that $\eta (e_i)=0$ for $1\leq i\leq n$ and thus $f$ is a Legendrian immersion.

Denote by $h$ the second fundamental form of $f:\mathbb {S}^1\times \mathbb {S}^{n-1}\to \mathbb {S}^{2n+1}$. Then, direct calculations by using the Gauss formula show that (cf. [Reference Hu, Li and Xing12]):

(3.3)\begin{equation} \left\{ \begin{array}{ll} \displaystyle\nabla_{e_i}e_j={-}\sqrt{\dfrac{n+1}{n}}\dfrac{\sin\theta_{j-1}} {\prod^{j-1}_{k=1}\cos\theta_k}e_i, & 2\leq j< i\leq n,\\ \displaystyle\nabla_{e_i}e_i=\sqrt{\dfrac{n+1}{n}}\sum^{i-1}_{\ell=2} \dfrac{\sin\theta_{\ell-1}}{\prod^{\ell-1}_{k=1}\cos\theta_k}e_\ell,\quad & 3\leq i\leq n,\\ \nabla_{e_i}e_j=0,\ & {\rm otherwise}, \end{array}\right. \end{equation}

where $\nabla$ denotes the Levi-Civita connection of the metric $g$, and

(3.4)\begin{equation} h(e_1,e_1)=\frac{n-1}{\sqrt{n}}\varphi e_1,\quad h(e_1,e_i)={-}\frac{1}{\sqrt{n}}\varphi e_i,\ \ h(e_i,e_j)={-}\frac{1}{\sqrt{n}}\delta_{ij}\varphi e_1,\ \ 2\!\leq\! i,j\leq n. \end{equation}

It is obvious that such an immersion $f$ is minimal. Combining with (3.3) and (3.4), we further conclude from (2.4) and (2.20) that $({\bar \nabla }^{\xi }h)(e_i,\,e_j,\,e_k)=0$ holds for $1\leq i,\,j,\,k\leq n$, i.e. the immersion $f$ is of $C$-parallel second fundamental form.

For the Riemannian curvature tensor of $M^n$, applying (3.3) again, we easily get:

(3.5)\begin{equation} \begin{aligned} & R(e_1,e_i)e_1=R(e_1,e_i)e_j=R(e_i,e_j)e_1=0,\\ & R(e_i,e_j)e_k=\frac{n+1}{n}(\delta_{jk}e_i-\delta_{ik}e_j),\quad 2\leq i,j,k\leq n. \end{aligned} \end{equation}

Therefore, we obtain from (3.4) and (3.5) that

(3.6)\begin{equation} \begin{aligned} & {\rm Ric}(e_1,e_1)={\rm Ric}(e_1,e_i)=0,\ \quad {\rm Ric}(e_i,e_j)=\frac{(n-2)(n+1)}{n}\delta_{ij},\\ & S=\|h\|^2=\frac{(n-1)(n+2)}{n},\ \quad \chi=\frac{(n-2)(n+1)}{n^2},\ \quad 2\le i,j\le n, \end{aligned} \end{equation}

and then (3.1) follows from (2.32). On the contrary, it is also known from (3.6) that

(3.7)\begin{equation} Qe_1=0,\ \quad Qe_i=\frac{(n-2)(n+1)}{n}e_i,\ \quad 2\le i\le n, \end{equation}

which shows that $(M^n,\,g)$ is quasi-Einstein. Moreover, with the help of (2.27), we conclude that both (2.29) and (2.30) hold. Consequently, the Weyl curvature tensor of $M^n$ vanishes and its Schouten tensor is Codazzi, meaning that $(M^n,\, g)$ is conformally flat. Finally, making use of (3.3) and (3.7), we calculate that:

(3.8)\begin{equation} (\nabla_{e_1}Q)e_1=(\nabla_{e_1}Q)e_i =(\nabla_{e_i}Q)e_1=(\nabla_{e_i}Q)e_j=0,\ \ 2\le i,j\le n.\end{equation}

From this, it is easily seen that ${\rm Ric}$ is parallel with respect to the Levi-Civita connection $\nabla$, and hence we have completed the proof of proposition 3.1.

4. Properties of the Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$

In this section, before completing the proofs of the main results, we will investigate the properties of the Legendrian submanifolds in the unit sphere $\mathbb {S}^{2n+1}$ under some certain geometric conditions.

4.1. Minimal Legendrian submanifolds

For our purposes, we first calculate the Laplacian of $S$ to derive the following:

Lemma 4.1 Let $M^n$ $(n\ge 2)$ be a minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. Then, it holds the identity:

(4.1)\begin{equation} \frac{1}{2}\Delta S =\|\bar\nabla^\xi h\|^2-\|{\rm Rie}\|^2-\|{\rm Ric}\|^2+n(n^2-1)\chi, \end{equation}

where $\|{\rm Rie}\|^2$ denotes the squared norm of the Riemannian curvature tensor with respect to the metric $g$ on $M^n$. Moreover, if it is of semi-parallel tensor $K$, we further have:

(4.2)\begin{align} & n(n-1)\Delta\chi+2\|\bar\nabla^\xi h\|^2=0, \end{align}
(4.3)\begin{align} & n(n^2-1)\chi=\|{\rm Rie}\|^2+\|{\rm Ric}\|^2. \end{align}

Proof. Choose the local Legendre frame $\{e_1,\,\ldots,\,e_n,\,e_{1^*},\,\ldots,\,e_{n^*},\,e_{2n+1}\}$ along $M^n$ as in § 2. By definition, we have

(4.4)\begin{equation} \frac{1}{2}\Delta S =\frac{1}{2}\Delta\bigg(\sum_{i,j,\alpha}(h^{\alpha^*}_{ij})^2\bigg) =\sum_{i,j,\ell,\alpha}(h^{\alpha^*}_{ij,\ell})^2 +\sum_{i,j,\alpha}h^{\alpha^*}_{ij}\Delta h^{\alpha^*}_{ij}. \end{equation}

Applying the Ricci identity (2.16), we deduce from (2.15) that

(4.5)\begin{equation} \begin{aligned} \Delta h^{\alpha^*}_{ij} & =\sum_\ell h^{\alpha^*}_{ij,\ell\ell}=\sum_\ell h^{\alpha^*}_{i\ell,j\ell}\\ & =\sum_\ell h^{\alpha^*}_{i\ell,\ell j} +\sum_{\ell,m}h^{\alpha^*}_{m\ell}R_{mij\ell} +\sum_{\ell,m}h^{\alpha^*}_{im}R_{m\ell j\ell} +\sum_{\ell,\beta}h^{\beta^*}_{i\ell}R_{j\ell\beta^*\alpha^*}\\ & =\sum_\ell h^{\alpha^*}_{\ell\ell,ij} +\sum_{\ell,m}h^{\alpha^*}_{m\ell}R_{mij\ell} +\sum_mh^{\alpha^*}_{im}R_{mj} +\sum_{\ell,m}h^{m^*}_{i\ell}R_{j\ell m^*\alpha^*}. \end{aligned} \end{equation}

This together with (2.13)–(2.15) yields that

(4.6)\begin{equation} \begin{aligned} \sum_{i,j,\alpha}h^{\alpha^*}_{ij}\Delta h^{\alpha^*}_{ij} & =\sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{k^*}_{m\ell}R_{mij\ell} +\sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{m^*}_{i\ell}R_{j\ell mk}\\ & \quad+\sum_{i,j,k,m}h^{k^*}_{ij}h^{k^*}_{im}R_{mj}-S. \end{aligned} \end{equation}

To go on from (4.6), we make use of the relation

(4.7)\begin{equation} \sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{m^*}_{i\ell}R_{j\ell mk} ={-}\sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{m^*}_{i\ell}R_{kmj\ell} ={-}\sum_{i,j,k,\ell,m}h^{k^*}_{mj}h^{k^*}_{i\ell}R_{mij\ell}, \end{equation}

and (2.13) to calculate that:

(4.8)\begin{equation} \sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{k^*}_{m\ell}R_{mij\ell} +\sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{m^*}_{i\ell}R_{j\ell mk} ={-}\sum_{i,j,\ell,m}(R_{imj\ell})^2+2n(n-1)\chi. \end{equation}

On the contrary, with the help of (2.14), it is easily seen that:

(4.9)\begin{equation} \sum_{i,j,k,m}h^{k^*}_{ij}h^{k^*}_{im}R_{mj} ={-}\sum_{i,j}(R_{ij})^2+n(n-1)^2\chi. \end{equation}

Substituting (4.8) and (4.9) into (4.6), we then conclude that:

(4.10)\begin{equation} \sum_{i,j,\alpha}h^{\alpha^*}_{ij}\Delta h^{\alpha^*}_{ij} ={-}\sum_{i,j,k,\ell}(R_{ijk\ell})^2-\sum_{i,j}(R_{ij})^2+n(n^2-1)\chi-S. \end{equation}

As $h_{ij,\ell }^{2n+1}=h_{ij}^{\ell ^*}$ and $h^{k^*}_{ij,\ell }=\tilde {h}^{k^*}_{ij,\ell }$ for any $i,\,j,\,k,\,\ell$, it follows that

(4.11)\begin{equation} \sum_{i,j,\ell,\alpha}(h^{\alpha^*}_{ij,\ell})^2 =\sum_{i,j,k,\ell}(h^{k^*}_{ij,\ell})^2+\sum_{i,j,\ell}(h^{\ell^*}_{ij})^2 =\|\bar\nabla^\xi h\|^2+S, \end{equation}

and thus we obtain (4.1) by substituting (4.10) and (4.11) into (4.4) immediately.

Now, if assuming that $M^n$ has semi-parallel tensor $K$, then

(4.12)\begin{equation} 0=\tilde{h}^{k^*}_{ij,\ell p}-\tilde{h}^{k^*}_{ij,p\ell} =\sum_mh^{k^*}_{mj}R_{mi\ell p} +\sum_mh^{k^*}_{im}R_{mj\ell p} +\sum_mh^{m^*}_{ij}R_{mk\ell p},\end{equation}

where we used $h^{k^*}_{ij,\ell p}=\tilde {h}^{k^*}_{ij,\ell p}-h^{\ell ^*}_{ij}\delta _{kp}$ and $h^{2n+1}_{ij,\ell p}=2h^{\ell ^*}_{ij,p}$. Similarly, we obtain that

(4.13)\begin{equation} \sum_{i,j,\alpha}h^{\alpha^*}_{ij}\Delta h^{\alpha^*}_{ij} ={-}\sum_{i,j,k,\ell,m}h^{k^*}_{ij}h^{m^*}_{i\ell}(\delta_{jm}\delta_{\ell k} -\delta_{jk}\delta_{\ell m})={-}S, \end{equation}

which combining with (4.11) shows that

(4.14)\begin{equation} \frac{1}{2}\Delta S=\|\bar\nabla^\xi h\|^2. \end{equation}

This gives (4.2) by (2.10), and substituting (4.14) into (4.1) finally yields (4.3).

Remark 4.2 It is known from (4.2) that, for closed minimal Legendrian submanifolds or minimal Legendrian submanifolds with constant scalar curvature in $\mathbb {S}^{2n+1}$ with $n\ge 2$, the semi-parallelism of tensor $K$ and the $C$-parallelism of second fundamental form are equivalent.

Furthermore, recalling the components of the Weyl curvature tensor $W$ of $M^n$ satisfy

(4.15)\begin{equation} W_{ijk\ell}=R_{ijk\ell}-\frac{1}{n-2}(\delta_{ik}R_{j\ell} +\delta_{j\ell}R_{ik}-\delta_{i\ell}R_{jk}-\delta_{jk}R_{i\ell}) +\frac{n\chi}{n-2}(\delta_{ik}\delta_{j\ell}-\delta_{i\ell}\delta_{jk}),\end{equation}

we have the following expression for $n\ge 3$ (cf. [Reference Hu and Xing15, Reference Xing and Yin32]):

(4.16)\begin{equation} \|{\rm Rie}\|^2=\|W\|^2+\frac{4}{n-2}\|{\rm Ric}\|^2-\frac{2n^2(n-1)}{n-2}\chi^2, \end{equation}

where $\|W\|^2=\sum _{i,j,k,\ell }(W_{ijk\ell })^2$. From $\tilde {R}_{ij}=R_{ij} -(n-1)\chi \delta _{ij}$, it is easy to see that

(4.17)\begin{equation} \|{\rm Ric}\|^2=\|\tilde{\rm Ric}\|^2+n(n-1)^2\chi^2. \end{equation}

Here, $\tilde {\rm Ric}$ is the traceless part of ${\rm Ric}$ and $\|\tilde {\rm Ric}\|^2 =\sum _{i,j}(\tilde {R}_{ij})^2$. From the combination of (2.10), (4.16), and (4.17), we then derive by using (4.1) the following result:

Proposition 4.3 Let $M^n$ $(n\ge 3)$ be a minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. Then, it holds the identity:

(4.18)\begin{equation} \frac{1}{2}\Delta S=\|\bar\nabla^\xi h\|^2-\|W\|^2 -\frac{n+2}{n-2}\|\tilde{\rm Ric}\|^2+(n+1)S\chi. \end{equation}

4.2. Conformally flat Legendrian submanifolds

Assume that $M^n$ $(n\ge 3)$ is a conformally flat Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. Then, we shall prove that

Lemma 4.4 Let $M^n$ $(n\ge 3)$ be a conformally flat Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. Then, for the tensor $K$ and Schouten tensor $P$ of $M^n$, it holds that

(4.19)\begin{equation} \begin{aligned} & \mathop{\mathfrak{S}}_{U,X,Y}(g(U,Z)K(PX,Y)-g(X,Z)K(PU,Y)\\ & \quad+g(PX,K(Y,Z))U-g(PU,K(Y,Z))X)=0, \end{aligned} \end{equation}

where $U,\,X,\,Y,\,Z$ are vector fields tangent to $M^n$ and $\mathop {\mathfrak {S}}$ denotes the cyclic summation.

Proof. We begin with taking the covariant derivative of the Codazzi equation for $K$ along a vector field $U$ tangent to $M^n$:

(4.20)\begin{equation} (\nabla^2K)(U,X,Y,Z)-(\nabla^2K)(U,Y,X,Z)=(\nabla G)(U,X,Y,Z)=0, \end{equation}

where, according to lemma 2.2 (3), $G(X,\,Y,\,Z):=(\nabla K)(X,\,Y,\,Z)-(\nabla K) (Y, X,\,Z)=0$ for tangent vector fields $X,\,Y,\,Z$ on $M^n$. It is obvious from (4.20) that

(4.21)\begin{equation} \mathop{\mathfrak{S}}_{U,X,Y}((\nabla^2K)(U,X,Y,Z)-(\nabla^2K)(U,Y,X,Z))=0.\end{equation}

Furthermore, direct calculations by using the Ricci identity show that

(4.22)\begin{equation} \begin{aligned} 0 & =\mathop{\mathfrak{S}}_{U,X,Y}((\nabla^2K)(U,X,Y,Z) -(\nabla^2K)(U,Y,X,Z))\\ & =\mathop{\mathfrak{S}}_{U,X,Y}((\nabla^2K)(U,X,Y,Z) -(\nabla^2K)(X,U,Y,Z))\\ & =\mathop{\mathfrak{S}}_{U,X,Y}(R(U,X)K(Y,Z) -K(R(U,X)Y,Z)-K(Y,R(U,X)Z)). \end{aligned} \end{equation}

Finally, the assertion immediately follows by substituting (2.29) into (4.22).

Remark 4.5 The technique used to prove lemma 4.4 is called the Tsinghua principle, which was first discovered by H. Li, L. Vrancken, and X. Wang (cf. [Reference Antić, Li, Vrancken and Wang1]). Recently, this remarkable principle has been widely applied, and turns out to be very useful for various purposes, see e.g. [Reference Cheng, Hu, Moruz and Vrancken6, Reference Dioos, Vrancken and Wang10, Reference Hu, Moruz, Vrancken and Yao13, Reference Li, Xing and Xu20, Reference Li, Ma, Van der Veken, Vrancken and Wang21, Reference Zhai and Xing37].

Choosing an orthonormal frame $\{e_i\}^n_{i=1}$ over $M^n$ such that $e_i$ is the eigenvector field of the Ricci operator $Q$ with $\mu _i$ the corresponding eigenvalue, by (2.27) we easily see that $Pe_i=\nu _ie_i$ and $\nu _i={\mu _i}/{(n-2)} -{n\chi }/{(2(n-2))}$. Without loss of generality, we shall suppose that $Q$ has $t$ distinct eigenvalues $\mu _1,\,\dots,\,\mu _t$ with multiplicities $n_1,\,\dots,\,n_t$, respectively. Let $\mathfrak {D}(\mu _s)$ (resp. $\mathfrak {D}(\nu _s)$) denote the distribution such that $\mathfrak {D}(\mu _s)(x)$ (resp. $\mathfrak {D}(\nu _s)(x)$) is the eigenspace of $\mu _s(x)$ (resp. $\nu _s(x)$) at an arbitrary point $x\in M^n$ for $1\leq s\leq t$, and $n_1+\cdots +n_t=n$. For simplicity of notations, we also make the convention that, for $i\le t$ and $j\ge t+1$, if $\mu _j=\mu _i$ we shall write $n_j=n_i$, $\mathfrak {D}(\mu _j)=\mathfrak {D}(\mu _i)$ and $\mathfrak {D}(\nu _j) =\mathfrak {D}(\nu _i)$.

Lemma 4.6 Let $M^n$ $(n\ge 3)$ be a conformally flat Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$. Then, with respect to the orthonormal frame $\{e_i\}^n_{i=1}$ on $M^n$ as above, the tensor $K$ of $M^n$ satisfies the following properties:

  1. (1) If $\nu _i\neq \nu _j$ and $n_i,\,n_j\geq 2$, then $K(e_i,\,e_j)=0$;

  2. (2) If $n_i=1$ and $n_j\geq 2$, then there exist functions $\lambda ^i_j$ depending on the choice of $\nu _i,\,\nu _j$ such that $K(e_i,\,e_j)=\lambda ^i_je_j$;

  3. (3) If there are at least two distinct eigenvalues $\nu _j,\,\nu _k$ such that $n_j,\,n_k\geq 2$ and $n_i=1$, then there exists a differentiable function $\bar \lambda _i$ such that it satisfies that $(\nu _i-\nu _j)\lambda ^i_j=(\nu _i-\nu _k)\lambda ^i_k=\bar \lambda _i$.

Proof. We begin with taking the product of equation (4.19) with vector field $V$ and setting $U=e_k$, $X=e_i$, $Y=e_j$, $Z=e_\ell$, and $V=e_m$ to derive the relation:

(4.23)\begin{equation} \begin{aligned} 0 & =(\nu_i-\nu_j)(K^\ell_{ij}\delta_{km}+K^m_{ij}\delta_{k\ell})\\ & \quad+(\nu_j-\nu_k)(K^\ell_{jk}\delta_{im}+K^m_{jk}\delta_{i\ell})\\ & \quad+(\nu_k-\nu_i)(K^\ell_{ik}\delta_{jm}+K^m_{ik}\delta_{j\ell}), \end{aligned} \end{equation}

where $1\leq i,\,j,\,k,\,\ell,\,m\leq n$, and $K^m_{ij}:=g(K(e_i,\,e_j),\,e_m)$.

First of all, we assume that $\nu _i\neq \nu _j=\nu _k$ for distinct $i,\,j,\,k$, and then $e_i \in \mathfrak {D}(\nu _i)$ and $e_j,\,e_k\in \mathfrak {D}(\nu _j)$ for $n_j\geq 2$. Taking $m\neq j,\,k$, we therefore obtain from (4.23) that

(4.24)\begin{equation} K^m_{ij}\delta_{k\ell}-K^m_{ik}\delta_{j\ell}=0. \end{equation}

Taking $\ell =k$ yields that $K^m_{ij}=0$, by which we see that $K(e_i,\,e_j)\in \mathfrak {D} (\nu _j)$ for $n_j\geq 2$. Similarly, $K(e_i,\,e_j)\in \mathfrak {D}(\nu _i)$ for $n_i\geq 2$. Combining with the assumption $\nu _i\neq \nu _j$, we can conclude that $K(e_i,\,e_j)=0$ provided that $n_i,\,n_j\geq 2$. Hence, we get assertion (1).

Next, if $n_i=1$ and $n_j\geq 2$, some $e_k\in \mathfrak {D}(\nu _j)$ different from $e_j$ can be chosen to satisfy $\nu _i\neq \nu _j=\nu _k$ for distinct $i,\,j,\,k$. In this situation, we take $m=k$ in (4.23) to deduce that

(4.25)\begin{equation} K^\ell_{ij}+K^k_{ij}\delta_{k\ell}-K^k_{ik}\delta_{j\ell}=0. \end{equation}

It follows that $K^i_{jj}=K^i_{kk}$ for $\ell =j$, $K^k_{ij}=0$ for $\ell =k$, and moreover $K^\ell _{ij}=0$ for $\ell \neq j,\,k$. Consequently, assertion (2) follows by putting $\lambda ^i_j=K^i_{jj}$, where $\lambda ^i_j$ does not depend on the choice of $e_k\in \mathfrak {D}(\nu _j)$.

Finally, for $n_i=1$ and $\nu _j\neq \nu _k$ with $n_j,\,n_k\geq 2$, by taking $\ell =j$ in (4.23) and applying assertion (1), we easily get:

(4.26)\begin{equation} (\nu_i-\nu_j)K^j_{ij}\delta_{km} +(\nu_j-\nu_k)K^j_{jk}\delta_{im} +(\nu_k-\nu_i)(K^j_{ik}\delta_{jm}+K^m_{ik})=0. \end{equation}

Thus, taking $m=k$, and noting $\lambda ^i_j=K^i_{jj}=K_{ij}^j$ and $\lambda ^i_k=K^i_{kk} =K_{ik}^k$, we further have

(4.27)\begin{equation} (\nu_i-\nu_j)\lambda^i_j=(\nu_i-\nu_k)\lambda^i_k=:\bar\lambda_i.\end{equation}

This verifies assertion (3). Hence, lemma 4.6 has been proved.

4.3. Conformally flat minimal Legendrian submanifolds with $R\cdot K=0$

In this subsection, we shall consider that $M^n$ $(n\ge 3)$ is a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with semi-parallel tensor $K$. Therefore, we obtain from lemma 2.2 (4) that

(4.28)\begin{equation} \begin{aligned} 0 & =(R\cdot K)(X,Y,Z,U)\\ & =R(X,Y)K(Z,U)-K(R(X,Y)Z,U)-K(Z,R(X,Y)U), \end{aligned} \end{equation}

where $X,\,Y,\,Z,\,U$ are vector fields tangent to $M^n$. According to lemma 2.3, we then present the following lemma involving the number $r$ of distinct eigenvalues of the Schouten tensor $P$ of $M^n$.

Lemma 4.7 Let $M^n$ $(n\geq 3)$ be a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with $R\cdot K=0$. Then, either $M^n$ is of constant sectional curvature, or it is quasi-Einstein. In the latter case, the Schouten tensor of $M^n$ admits two distinct eigenvalues $\nu _1$ and $\nu _2$ at each point, where one of them is simple, such that $\nu _1+\nu _2=0$.

Proof. First of all, by taking $X=e_i$, $Y=e_j$, $Z=e_k$, and $U=e_\ell$ in (4.28), we can apply (2.29) to calculate the relation:

(4.29)\begin{equation} \begin{aligned} 0 & =(\nu_i+\nu_j)[g(K(e_k,e_\ell),e_j)e_i-g(K(e_k,e_\ell),e_i)e_j]\\ & \quad+(\nu_i+\nu_j)[\delta_{ik}K(e_j,e_\ell)-\delta_{jk}K(e_i,e_\ell)]\\ & \quad+(\nu_i+\nu_j)[\delta_{i\ell}K(e_j,e_k)-\delta_{j\ell}K(e_i,e_k)]. \end{aligned} \end{equation}

For $k=\ell =i\neq j$ in (4.29), it is easy to see that:

(4.30)\begin{equation} (\nu_i+\nu_j)[g(K(e_i,e_i),e_j)e_i-g(K(e_i,e_i),e_i)e_j+2K(e_i,e_j)]=0. \end{equation}

Taking the inner product of (4.30) with $e_i$, we then deduce from lemma 2.2 that:

(4.31)\begin{equation} (\nu_i+\nu_j)g(K(e_i,e_i),e_j)=0,\quad \forall\, i\neq j. \end{equation}

Similarly, interchanging the roles of $e_i$ and $e_j$ in (4.31) gives

(4.32)\begin{equation} (\nu_j+\nu_i)g(K(e_j,e_j),e_i)=0,\quad \forall\,i\neq j. \end{equation}

Furthermore, by taking the inner product of (4.30) with $e_j$, we obtain that

(4.33)\begin{equation} (\nu_i+\nu_j)g(K(e_i,e_i),e_i)=0,\quad \forall\,i\neq j, \end{equation}

which together with (4.30) and (4.31) implies that

(4.34)\begin{equation} (\nu_i+\nu_j)K(e_i,e_j)=0,\quad \forall\,i\neq j. \end{equation}

On the contrary, for $k=i\neq j=\ell$ in (4.29), we easily get:

(4.35)\begin{equation} \begin{aligned} 0 & =(\nu_i+\nu_j)[g(K(e_i,e_j),e_j)e_i-g(K(e_i,e_j),e_i)e_j]\\ & \quad+(\nu_i+\nu_j)[K(e_j,e_j)-K(e_i,e_i)]. \end{aligned} \end{equation}

This combining with (4.31) and (4.32) yields that

(4.36)\begin{equation} (\nu_i+\nu_j)[K(e_i,e_i)-K(e_j,e_j)]=0,\quad \forall\,i\neq j. \end{equation}

Next, we shall continue with the proof here by proving the following three claims.

Claim 1. If $\nu _i\neq 0$ and $n_i\geq 2$, then $g(K(u,\,v),\,\omega )=0$ for any $u,\,v,\,\omega \in \mathfrak {D}(\nu _i)$.

If $\nu _i\neq 0$ and $n_i\geq 2$, taking $\nu _i=\nu _j$ and $e_i=u$ in (4.33), then we easily conclude that $g(K(u,\,u),\,u)=0$ for any unit vector field $u\in \mathfrak {D} (\nu _i)$. Consequently, the assertion follows from the symmetry given in lemma 2.2.

Claim 2. If $\nu ^2_i\neq \nu ^2_j$, then $K(u,\,v)=0$ for any $u,\,v\in \mathfrak {D} (\nu _i)\oplus \mathfrak {D}(\nu _j)$.

If $\nu ^2_i\neq \nu ^2_j$, it is obvious that $(\nu _i+\nu _j)(\nu _i-\nu _j)\neq 0$ and we then obtain from (4.33) that $g(K(u,\,u),\,u)=0$ for any unit vector field $u\in \mathfrak {D}(\nu _i)$. From the result of the symmetry in lemma 2.2, we have $K(u,\,u)\notin \mathfrak {D}(\nu _i)$. Similarly, $g(K(v,\,v),\,v)=0$ for any unit vector field $v\in \mathfrak {D}(\nu _j)$ and thus $K(v,\,v)\notin \mathfrak {D}(\nu _j)$. Moreover, with the help of (4.34) and (4.36), it can be checked that $K(u,\,v)=0$ and $K(u,\,u)=K(v,\,v)\notin \mathfrak {D}(\nu _i)\oplus \mathfrak {D}(\nu _j)$. When $r=2$, claim 2 holds immediately. When $r\geq 3$, for an arbitrary eigenvalue $\nu _k$ different from $\nu _i$ and $\nu _j$, it is known from $\nu ^2_i\neq \nu ^2_j$ that either $\nu _i+\nu _k\neq 0$ or $\nu _j+\nu _k\neq 0$. In either case, we can apply (4.31) to obtain $K(u,\,u)=K(v,\,v)=0$. Hence, claim 2 has been proved.

Claim 3. If $r\geq 2$, there exist two distinct eigenvalues $\nu _i$ and $\nu _j$ such that ${\nu _i+\nu _j=0}$.

If $r\geq 2$, we suppose on the contrary that $\nu _i+\nu _j\neq 0$ holds for any $\nu _i \neq \nu _j$, namely $\nu ^2_i\neq \nu ^2_j$. It then follows from claim 2 that $K=0$ on $M^n$ and hence $h=0$ by definition. This together with the Gauss equation shows that $M^n$ has constant sectional curvature, which is a contradiction to $r\geq 2$, and thus we have verified claim 3.

Now, according to claim 3, we denote by $\nu _1$ and $\nu _2$ the two distinct eigenvalues of $P$ such that $\nu _1+\nu _2=0$. In this situation, we further claim that $r\leq 2$. Otherwise, if $r\geq 3$, then $(\nu _i+\nu _1)(\nu _i+\nu _2)\neq 0$ for an arbitrary eigenvalue $\nu _i$ different from $\nu _1$ and $\nu _2$. Therefore, it satisfies that $\nu ^2_i\neq \nu ^2_1$ and $\nu ^2_i\neq \nu ^2_2$, and so we obtain from claim 2 that:

(4.37)\begin{equation} \begin{aligned} & K(u,u)=K(v,v)=K(\omega,\omega)=0,\quad \omega\in\mathfrak{D}(\nu_i),\\ & K(u,\omega)=K(v,\omega)=0,\ \ u\in\mathfrak{D}(\nu_1),\ \ v\in\mathfrak{D}(\nu_2). \end{aligned} \end{equation}

Furthermore, we see that $K(u,\,v)=0$ in terms of the arbitrariness of $\nu _i$, meaning that $h=0$ identically. This contradiction implies that the number $r\le 2$.

Assume that $r=1$. It is obvious that $M^n$ has constant sectional curvature for $n\ge 3$.

Assume that $r=2$. We will denote these two distinct eigenvalues of $P$ by $\nu _1$ and $\nu _2$, whose multiplicities are $n_1$ and $n_2$, respectively. Together with claim 3, it follows that $\nu _2=-\nu _1\neq 0$. In what follows, we shall argue by contradiction and suppose that $n_1\geq 2$ and $n_2\geq 2$. Let $X^i_1,\,\ldots,\,X^i_{n_i}$ be the orthonormal eigenvector fields of $P$ that span the distribution $\mathfrak {D}(\nu _i)$, $i=1,\,2$. Thus, we see from claim 1 and (4.36) that

(4.38)\begin{equation} g(K(X^i_p,X^i_q),X^i_s)=0,\ \ K(X^i_p,X^i_p)=K(X^i_q,X^i_q),\ \ \forall\, p,q,s,\ \ i=1,2. \end{equation}

Since $M^n$ is minimal in $\mathbb {S}^{2n+1}$, by means of (4.38) we have

(4.39)\begin{equation} \begin{aligned} 0 & =\sum^{n_1}_{p=1}g(K(X^1_p,X^1_p),v)+\sum^{n_2}_{q=1}g(K(X^2_q,X^2_q),v)\\ & =\sum^{n_1}_{p=1}g(K(X^1_p,X^1_p),v)=n_1g(K(X^1_1,X^1_1),v),\ \ v\in\mathfrak{D}(\nu_2), \end{aligned} \end{equation}

which implies that $g(K(u,\,u),\,v)=0$ for any $u\in \mathfrak {D}(\nu _1)$ and $v\in \mathfrak {D} (\nu _2)$. Similarly, there holds that $g(K(v,\,v),\,u)=0$ and therefore $K(u,\,v)=0$. According to this and (4.38), we get $h=0$ identically, a contradiction to $r=2$. Hence, lemma 4.7 has been proved.

Remark 4.8 By checking the proof of lemma 4.7 step by step, we see that the assertion still holds for $n=3$, when the conformally flat condition is replaced by vanishing Weyl curvature tensor.

4.4. Conformally flat minimal Legendrian submanifolds with $R\cdot Q=0$

In this subsection, assuming that $M^n$ $(n\geq 3)$ is a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ such that the Ricci tensor Ric is semi-parallel, by definition we have

(4.40)\begin{equation} \begin{aligned} 0 & =(R\cdot{\rm Ric})(X,Y,U,Z)=(R(X,Y){\rm Ric})(U,Z)\\ & ={-}{\rm Ric}(R(X,Y)U,Z)-{\rm Ric}(U,R(X,Y)Z)\\ & =g(R(X,Y)QZ,U)-g(QR(X,Y)Z,U)\\ & =g((R(X,Y)Q)Z,U)=g((R\cdot Q)(X,Y,Z),U), \end{aligned} \end{equation}

where $U,\,X,\,Y,\,Z$ are tangent vector fields on $M^n$. This implies that Ric is semi-parallel if and only if the Ricci operator $Q$ is semi-parallel, i.e. $R\cdot Q=0$.

Lemma 4.9 Let $M^n$ $(n\geq 3)$ be a conformally flat minimal Legendrian submanifold in the unit sphere $\mathbb {S}^{2n+1}$ with $R\cdot Q=0$. Then, either $M^n$ is of constant sectional curvature, or it is quasi-Einstein. In the latter case, the Schouten tensor of $M^n$ admits two distinct eigenvalues $\nu _1$ and