Since the celebrated theory of Nash [1] of isometric immersion of a Riemannian manifold into a suitable Euclidean space gave very important and effective motivation to view each Riemannian manifold as a submanifold in a Euclidean space, the problem of discovering simple sharp relationships between intrinsic and extrinsic invariants of a Riemannian submanifold becomes one of the most fundamental problems in submanifold theory. The main extrinsic invariant of a submanifold is the squared mean curvature and the main intrinsic invariants of a manifold include the Ricci curvature and the scalar curvature. There were also many other important modern intrinsic invariants of (sub)manifolds introduced by Chen such as $k$-Ricci curvature (see [2-4]).
In 1999, Chen [5] proved a basic inequality involving the Ricci curvature and the squared mean curvature of submanifolds in a real space form $R^{m}(C)$. This inequality is now called Chen-Ricci inequality [6]. In [5], Chen also defined the $k$-Ricci curvature of a $k$-plane section of $T_{x}M^n$, $x\in M$, where $M^n$ is a submanifold of the real space form $R^{n+p}(C)$. And he proved a basic inequality involving the $k$-Ricci curvature and the squared mean curvature of the submanifold $M^n$. These inequalities described relationships between the intrinsic invariants and the extrinsic invariants of a Riemannian submanifold and drew attentions of many people. Similar inequalities are studied for different submanifolds in various ambient manifolds (see [7-10]).
On the other hand, Hayden [11] introduced a notion of a semi-symmetric connection on a Riemannian manifold. Yano [12] studied Riemannaian manifolds endowed with a semi-symmetric connection. Nakao [13] studied submanifolds of Riemannian manifolds with a semi-symmetric metric connection. Recently, Mihai and Özgür [14, 15] studied Chen inequalities for submanifolds of real space forms admitting a semi-symmetric metric connection and Chen inequalities for submanifolds of complex space forms and Sasakian space forms with a semi-symmetric metric connection, respectively. Motivated by studies of the above authors, in this paper we establish Chen-Ricci inequalities for submanifolds in generalized complex forms with a semi-symmetric metric connection.
Let $ N^{n+p}$be an $(n+p)$-dimensional Riemannian manifold with Riemannian metric $g$ and a linear connection $\overline{\nabla}$ on $N^ {n+p}$. If the torsion tensor $\overline{T}$ of $\overline{\nabla} $, defined by
for any vector fields $\overline{X}$ and $\overline{Y}$ on $N^{n+p}$, satisfies
for a 1-form $\phi$, then the connection $\overline{\nabla}$ is called a semi-symmetric connection. Furthermore, if $\overline{\nabla}$ satisfies $\overline{\nabla}g=0$, then $\overline{\nabla}$ is called a semi-symmetric metric connection. Let $\overline{\nabla}'$ denote the Levi-Civita connection with respect to the Riemannian metric $g$. In [12] Yano gave a semi-symmetric metric connection $\overline{\nabla}$ which can be written as
for any vector field $\overline{X}$, $\overline{Y}$ on $ N^{n+p}$, where U is a vector field given by $g(U, \overline{X})=\phi(\overline{X})$.
Let $M^n$ be an $n$-dimensional submanifold of $N^{n+p}$ with a semi-symmetric metric connection $\overline{\nabla}$ and the Levi-Civita connection $\overline{\nabla}'$. On the submanifold $M^n$ we consider the induced semi-symmetric metric connection denoted by $\nabla$ and the induced Levi-Civita connection denoted by $\nabla'$. The Gauss formulas with respect to $\nabla$ and $\nabla'$, respectively, can be written as
for any vector fields $X, Y$ on $M^n$, where $h'$ is the second fundamental form of $M^n$ in $N^ {n+p}$ and $h$ is a (0, 2)-tensor on $M^n$. According to formula (7) in [13], $h$ is also symmetric.
Let $\overline{R}$ be the curvature tensor of $N^ {n+p}$ with respect to $\overline{\nabla}$ and $\overline{R}'$ be the curvature tensor of \(N^ {n+p}\) with respect to $\overline{\nabla}'$. We also denote by $R$ and $R' $ the curvature tensor of $\nabla$ and $\nabla'$, respectively, on \(M^n\). From [13], we know the curvature tensor $\overline{R}$ with respect to the semi-symmetric metric $\overline{\nabla}$ on $N^{n+p}$ can be written as
for any vector fields $ X, Y, Z, W $on $M^{n}$, where $\alpha$ is a (0, 2)-tensor field defined by
Denote by $\lambda$ the trace of $\alpha$. The Gauss equation for the submanifold $M^n$ in $N^{n+p}$ is
for any vector fields $X, Y, Z, W $on $M^{n}$. In [13], the Gauss equation with respect to the semi-symmetric metric connection is
In $N^ {n+p}$ we can choose a local orthonormal frame $\{e_1, \cdots, e_n, e_{n+1}, \cdots, e_{n+p}\}$ such that restricting to $M^n$, $e_1, \cdots, e_n$ are tangent to $M^n$. Setting $h_{ij}^r=g(h(e_i, e_j), e_r)$, then the squared length of $h$ is
The mean curvature vector of $M^n$ associated to $\overline{\nabla}$ is $H=\frac{1}{n}\sum\limits_{i=1}^{n}h(e_i, e_i)$ and the mean curvature vector of $M^n$ associated to $\overline{\nabla}'$ is $H'$=$\frac{1}{n}\sum\limits_{i=1}^{n}h'(e_i, e_i)$.
Let $\pi \subset T_{x}M^n$ be a 2-plane section for any $x \in M^n$ and $K(\pi)$ be the sectional curvature of $\pi$ associated to the induced semi-symmetric metric connection ${\nabla}$. The scalar curvature $\tau$ at $x$ with respect to ${\nabla}$ is defined by
The following lemmas will be used in the paper.
Lemma 2.1(see [13]) If U is a tangent vector field on $M^n$, we have $H=H', \hspace{2mm} h=h'$.
Lemma 2.2(see [13]) Let $M^n$ be an $n$-dimensional submanifold of an $(n+p)$-dimensional Riemannian manifold $N^{n+p}$ with the semi-symmetric metric connection $\overline{\nabla}$. Then
(i) $M^n$ is totally geodesic with respect to the Levi-Civita connection and with respect to the semi-symmetric metric connection if and only if $U$ is tangent to $M^n$.
(ii) $M^n$ is totally umbilical with respect to the Levi-Civita connection if and only if $M^n$ is totally umbilical with respect to the semi-symmetric metric connection.
Lemma 2.3(see [10]) Let $f(x_1, x_2, \cdots, x_n)$ be a function on $R^n$ defined by
If $x_1+x_2+\cdots+x_n=2\varepsilon$, then we have
with the equality holding if and only if $x_1=x_2+x_n+\cdots+x_n=\varepsilon $.
A 2$m$-dimensional almost Hermitian manifold $(N, J, g)$ is said to be a generalized complex space form (see [16,17]) if there exists two functions $F_1$ and $F_2$ on $N$ such that
for any vector fields $\overline X, \overline Y, \overline Z, \overline W$ on $N$, where $\overline{R}'$ is the curvature tensor of $N$ with respect to the Levi-Civita connection $\overline{\nabla}'$. In such a case, we will write $N(F_1, F_2)$. If $N(F_1, F_2)$ is a generalized complex space form with a semi-symmetric metric connection $\overline{\nabla}$, using (2.3) and (2.7), the curvature tensor $\overline{R}$ with respect to the semi-symmetric metric connection $\overline{\nabla}$ of $N(F_1, F_2)$ can be written as
for $X, Y, Z, W$ on $M$, where $M$ is a submanifold of $N$.
Let $M$ be an $n$-dimensional submanifold of a 2$m$-dimensional generalized complex space form $N(F_1, F_2)$. We set $JX=PX+FX$ for any vector field $X$ tangent to $M$, where $PX$ and $FX$ are tangential and normal components of $JX$, respectively.
In this section, we establish a sharp relation between the Ricci curvature along the direction of an unit tangent vector $X$ and the mean curvature $||H||$ with respect to the semi-symmetric metric connect $\overline{\nabla}$.
Theorem 3.1 Let $M^n, \hspace{2mm}n\geq 2$, be an $n$-dimensional submanifold of a $2m$-dimensional generalized complex space form $N(F_1, F_2)$ endowed with the semi-symmetric metric connection $\overline{\nabla}$. For each unit vector $X \in T_{x}M$, we have
(1)
(2) If $H(x)=0$, then a unit tangent vector $X$ at $x$ satisfies the equality case of (3.1) if and only if $X\in N(x)=\{X\in T_{x}M:h(X, Y)=0, \hspace{2mm}\forall Y\in T_{x}M\}$.
(3) The equality of inequality (3.1) holds identically for all unit tangent vectors at $x$ if and only if in the case of $n\neq 2, \hspace{2mm}h_{ij}^{r}=0, \hspace{2mm}i, j=1, 2\cdots, n;\hspace{2mm} r=n+1, \cdots, 2m$, or in the case of $n=2, \hspace{2mm}h_{11}^{r}=h_{22}^{r}, \hspace{2mm}h_{12}^{r}=h_{21}^{r}=0, \hspace{2mm}r=3, \cdots, 2m$.
Proof (1) Let $X\in T_{x}M$ be an unit tangent vector at $x$. We choose an orthonormal basis $e_1, \cdots, \hspace{2mm}e_n, e_{n+1}\cdots, e_{2m}$ such that $e_1, \cdots, e_n$ are tangent to $M$ at $x$ and $e_{1}=X$.
When we set $X= W=e_i, \hspace{2mm} Y= Z=e_j, \hspace{2mm}i, j=1, \cdots, n, \hspace{2mm} i\neq j$ in (2.5) and (2.8), we have
Using (3.2), we get
We consider the maximum of the function
under the condition $h_{11}^{r}+h_{22}^{r}+\cdots +h_{nn}^{r}=k^r, $ where $k^r$ is a real constant.
From Lemma 2.3 we know the solution $(h_{11}^{r}, \cdots, h_{nn}^{r})$ of this problem must satisfy
So it follows that
From (3.3) and (3.5) we have
(2) For the unit vector $X$ at $x$, if the equality case of inequality (3.1) holds, using (3.3), (3.4) and (3.5) we have
From $H(x)=0$, we have $h_{11}^{r}=0, $ then $h_{1j}^{r}=0, \hspace{2mm}\forall j, r.$ So we get X$\in N(x)=\{X\in T_{x}M:h(X, Y)=0, \hspace{2mm}\forall Y\in T_{x}M\}$.
The converse is obvious.
(3) For all unit vector $X$ at $x$, the equality case of inequality (3.1) holds. Let $X=e_i, \hspace{2mm}i=1, 2\cdots n$, as in (2), we have
We can distinguish two cases:
(a) in the case of $n\neq 2$, we have $h_{ij}^{r}=0, \hspace{2mm} i, j=1, 2, \cdots, n, \hspace{2mm} r=n+1, \cdots, 2m $.
(b) in the case of $n=2, $ we have $h_{11}^{r}=h_{22}^{r}, \hspace{2mm}h_{12}^{r}=h_{21}^{r}=0, \hspace{2mm} r=3, \cdots, 2m.$
The converse is trivial.
Corollary 3.2 If the equality case of inequality (3.1) holds for all unit tangent vector X of $M^n$, then we have
(1) the equality case of inequality (3.1) holds for all unit tangent vector X of $M^n$ if and only if $M^n$ is a totally umbilical submanifold;
(2) if $U$ is a tangent field on $M^n$ and $n\geq 3$, $M^n$ is a totally geodesic submanifold.
Proof (1) For $n=2$, from Theorem 3.1 we know the equality case of inequality (3.1) holds for all unit tangent vector $X$ of $M^2$ if and only if $M^2$ is a totally umbilical submanifold with respect to the semi-symmetric metric connection. Then from Lemma 2.2, $M^2$ is a totally umbilical submanifold with respect to the Levi-Civita connection.
For $n\geq 3$, from Theorem 3.1 we know the equality case of inequality (3.1) holds for all unit tangent vector $X$ of $M^n$ if and only $h_{ij}^{r}=0, \hspace{2mm} \forall i, j, r$. According to formula (7) from [13], we have $h_{ij}^{'r}= h_{ij}^r+k^{r}g_{ij}, $ where $k^r$ are real-valued functions on $M$. Thus we have $h_{ij}^{'r}=k^{r}g_{ij}$. So $M^n$ is a totally umbilical submanifold.
(2) If $U$ is a tangent vector field on $M^n$, from Lemma 2.1 we have $h'=h$. For $n\geq 3$, from Theorem 3.1 the equality case of inequality (3.1) holds for all unit tangent vector $X$ of $M^n$ if and only if $h_{ij}^{r}=0, \hspace{2mm} \forall i, j, r$. Thus we have $h_{ij}^{'r}=0, \hspace{2mm} \forall i, j, r$. So $M^n$ is a totally geodesic submanifold.
In this section, we establish a sharp relation between the $k$-Ricci curvature and the mean curvature $||H||$ with respect to the semi-symmetric metric connect $\overline{\nabla}$.
Let $L$ be a $k$-plane section of $T_{x}M^n, \hspace{2mm}x\in M^n$, and $X$ be a unit vector in $L$. We choose an orthonormal frame $e_1, \cdots, e_k$ of $L$ such that $e_1=X$. In [5] the $k$-Ricci curvature of $L$ at $X$ is defined by
The scalar curvature of a $k$-plane section $L$ is given by
For an integer $k, \hspace{2mm}2\leq k\leq n, $ the Riemannian invariant $\Theta_k$ on $M^n$ at $x\in M^n$ defined by
where $L$ runs over all $k$-plane sections in $T_xM$ and $X$ runs over all unit vectors in $L$. From (2.6), (4.1) and (4.2) for any $k$-plane section $L_{i_1\cdots i_k}$ spanned by $\{e_{i_1}, \cdots, e_{i_k\}}$, it follows that
and
From (4.3), (4.4) and (4.5), we have
Theorem 4.1 Let $M^n, \hspace{2mm}n\geq 3, $ be an $n$-dimensional submanifold of a $2m$-dimensional generalized complex space form $N(F_1, F_2)$ endowed with a semi-symmetric connection $\overline{\nabla}$. Then we have
Proof For $x\in M^n$, let $\{e_1, \cdots, e_n\}$ and $\{e_{n+1}, \cdots, e_{2m }\}$ be an orthonormal basis of $T_{x}^ M$ and $T_{x}^\bot M$, respectively, where $e_{n+1}$ is parallel to the mean curvature vector $H$.
From (3.2), we have
Setting $||P||^2=\sum\limits_{i, j=1}^{n}{g}^2(Je_i, e_j)$. From (2.6), it follows that
Then equation (4.8) can be also written as
We choose an orthonormal basis $\{e_1, \cdots, e_n, e_{n+1}, \cdots, e_{2m }\}$ such that $e_1, \cdots, e_n$ diagonalize the shape operator $Ae_{n+1}$, i.e.,
and $Ae_r=(h_{ij}^r), \hspace{2mm}i, j=1\cdots\cdots n;\hspace{2mm}r=n+2, \cdots, 2m, \hspace{2mm}\mbox{trace} Ae_r=0$. So (4.9) turns into
On the other hand, we get
which implies
From (4.10) and (4.11), it follows that
which means
Using Theorem 4.1 and (4.6) we can obtain the following theorem.
Theorem 4.2 Let $M^n, \hspace{2mm}n\geq 3$, be an $n$-dimensional submanifold of a $2m$-dimensional generalized complex space form $N(F_1, F_2)$ endowed with a semi-symmetric connection $\overline{\nabla}$. Then for any integer $k, \hspace{2mm}2\leq k \leq n$, and for any point $x\in M$, we have
Proof Let $\{e_1, \cdots, e_n\}$ be an orthonormal basis of $T_xM^n$ at $x\in M^n$. The $k$-plane section spanned by $e_{i_1}, \cdots, e_{i_k}$ is denoted by $L_{i_1\cdots i_k}$.
Then from (4.6) and (4.12), we have
Remark 4.3 For $F_1=F_2=C$ ($C$ is constant) in Theorem 3.1, we obtain a Chen-Ricci inequality for submanifolds of complex space forms with a semi-symmetric metric connection.
For $F_1=F_2=C$ ($C$ is constant) in Theorem 4.1 and Theorem 4.2, the results can be found in [15].