nach oben

Journal of Inequalities and Applications

Erschienen in:

Open Access 01.12.2013 | Review

On Chen invariants and inequalities in quaternionic geometry

verfasst von: Gabriel-Eduard Vîlcu

Erschienen in: Journal of Inequalities and Applications | Ausgabe 1/2013

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Patentsuche

Aus

Abstract

In this paper we give a survey of main results concerning Chen inequalities for submanifolds in quaternionic space forms and propose some open problems in the field for further research.

AMS Subject Classification:53C15, 53C25, 53C40.

Competing interests

The author declares that he has no competing interests.

1 Introduction

The theory of Chen invariants, initiated by Prof. B.-Y. Chen in a seminal paper published in 1993 [1], is presently one of the most interesting research topic in differential geometry of submanifolds. The author’s original motivation to introduce new types of Riemannian invariants, known as δ-invariants or Chen invariants, was the need to provide answers to an open question raised by Chern concerning the existence of minimal immersions into a Euclidean space of arbitrary dimension [2]. In fact, due the lack of control of the extrinsic properties of the submanifolds by the known intrinsic invariants, no solutions to Chern’s problem were known before the invention of Chen invariants (see [3]). Therefore, in [1], Chen obtained a necessary condition for the existence of minimal isometric immersion from a given Riemannian manifold M into Euclidean space and established a sharp inequality for a submanifold in a real space form using the scalar curvature and the sectional curvature (both being intrinsic invariants) and squared mean curvature (the main extrinsic invariant). On the other hand, in [4], Chen obtained inequalities between the k-Ricci curvature, the squared mean curvature and the shape operator for submanifolds in real space forms with arbitrary codimensions. These inequalities are also sharp, and many nice classes of submanifolds realize equality in all above inequalities. Since then many papers concerning Chen invariants and inequalities have appeared in the literature for different classes of submanifolds in various ambient spaces, like complex space forms [5‐7], cosymplectic space forms [8‐10], Sasakian space forms [11‐13], locally conformal Kähler space forms [14‐16], generalized complex space forms [17‐19], locally conformal almost cosymplectic manifolds [20, 21],

(κ, μ)

-contact space forms [22, 23], Kenmotsu space forms [24, 25], S-space forms [26, 27], T-space forms [28]; see also [29] and references therein.

In the last decade, Chen-like inequalities were extended in the quaternionic setting. It is the main purpose of this paper to present the evolution of these inequalities for submanifolds in quaternionic space forms, to survey some recent results on this topic and to propose a set of natural problems in the field.

2 Preliminaries

2.1 Riemannian invariants

In this subsection we recall some basic concepts concerning Chen invariants, using mainly [30].

Let M be an n-dimensional Riemannian manifold. We denote by

K (π)

the sectional curvature of M associated with a plane section

π \subset T_{p} M

p \in M

. If

{e_{1}, \dots, e_{n}}

is an orthonormal basis of the tangent space

T_{p} M

, the scalar curvature τ at p is defined by

τ (p) = \sum_{1 \leq i < j \leq n} K (e_{i} \land e_{j}) .

(1)

One denotes

(inf K) (p) = inf {K (π) | π \subset T_{p} M, dim π = 2}

(2)

and the Chen first invariant is given by

δ_{M} (p) = τ (p) - (inf K) (p) .

(3)

Suppose L is an r-dimensional subspace of

T_{p} M

r \geq 2

and

{e_{1}, \dots, e_{r}}

an orthonormal basis of L. We define the scalar curvature

τ (L)

of the r-plane section L by

τ (L) = \sum_{1 \leq α < β \leq r} K (e_{α} \land e_{β}) .

(4)

For an integer

k \geq 0

, we denote by

S (n, k)

the set of k-tuples

(n_{1}, \dots, n_{k})

of integers ≥2 satisfying

n_{1} < n

n_{1} + \dots + n_{k} \leq n

. We denote by

S (n)

the set of unordered k-tuples with

k \geq 0

for a fixed n.

For each k-tuples

(n_{1}, \dots, n_{k}) \in S (n)

, Chen introduced a Riemannian invariant

δ (n_{1}, \dots, n_{k})

defined by

δ (n_{1}, \dots, n_{k}) (p) = τ (p) - S (n_{1}, \dots, n_{k}) (p),

(5)

where

S (n_{1}, \dots, n_{k}) (p) = inf {τ (L_{1}) + \dots + τ (L_{k})},

(6)

L_{1}, \dots, L_{k}

running over all k mutually orthogonal subspaces of

T_{p} M

such that

dim L_{j} = n_{j}

j \in {1, \dots, k}

. We note that the Chen invariant with

k = 0

is nothing but the scalar curvature. Also, we denote by

d (n_{1}, \dots, n_{k})

and

b (n_{1}, \dots, n_{k})

the real constants given by

d (n_{1}, \dots, n_{k}) = \frac{n^{2} (n + k - 1 - \sum_{j = 1}^{k} n_{j})}{2 (n + k - \sum_{j = 1}^{k} n_{j})}

and

b (n_{1}, \dots, n_{k}) = \frac{n (n - 1) - \sum_{j = 1}^{k} n_{j} (n_{j} - 1)}{2} .

For a k-plane section L of

T_{p} M

p \in M

, and X a unit vector in L, one can choose an orthonormal basis

{e_{1}, \dots, e_{k}}

of L such that

e_{1} = X

. Then the Ricci curvature of L at X, denoted

{Ric}_{L} (X)

, is defined by

{Ric}_{L} (X) = \sum_{j = 2}^{k} K (X \land e_{j}) .

(7)

We note that such a curvature is called a k-Ricci curvature.

For an integer k,

2 \leq k \leq n

, B.-Y. Chen introduced a Riemannian invariant

Θ_{k}

defined by

Θ_{k} (p) = \frac{1}{k - 1} inf {{Ric}_{L} (X) | L, X}, p \in M,

(8)

where L runs over all k-plane sections in

T_{p} M

and X runs over all unit vectors in L.

It is well known that all these above invariants have many interesting applications to several fields of mathematics (see [30]).

2.2 Quaternionic Kähler manifolds

The geometry of Riemannian structures, complex structures, almost contact structures, hypercomplex structures, quaternionic and Cauchy-Riemann structures belongs to the general theory of the G-structures, a domain of great interest in modern differential geometry, in global analysis and mathematical physics. Quaternionic manifolds correspond to the reduction of the structural group at

G L (n, H) \cdot S p (1)

. From the metric viewpoint, the most interesting is the case of quaternionic Kähler manifolds, which corresponds to the reduction of the holonomy at a subgroup of

S p (n) \cdot S p (1)

. They appear in Berger’s list for possible holonomy groups of irreducible Riemannian manifolds [31]. We give in this subsection a quick review of basic definitions and properties concerning the differential geometry of manifolds endowed with quaternionic structures. For details, see [32].

Let

\bar{M}

be a differentiable manifold and assume that there is a rank 3-subbundle σ of

End (T \bar{M})

such that a local basis

{J_{1}, J_{2}, J_{3}}

exists on sections of σ satisfying for all

α \in {1, 2, 3}

J_{α}^{2} = - Id, J_{α} J_{α + 1} = - J_{α + 1} J_{α} = J_{α + 2},

(9)

where Id denotes the identity tensor field of type

(1, 1)

on M and the indices are taken from

{1, 2, 3}

modulo 3. Then the bundle σ is called an almost quaternionic structure on M and

{J_{1}, J_{2}, J_{3}}

is called a canonical local basis of σ. Moreover,

(\bar{M}, σ)

is said to be an almost quaternionic manifold. It is easy to see that any almost quaternionic manifold is of dimension 4m,

m \geq 1

A Riemannian metric

\bar{g}

\bar{M}

is said to be adapted to the almost quaternionic structure σ if it satisfies:

\bar{g} (J_{α} X, J_{α} Y) = \bar{g} (X, Y), \forall α \in {1, 2, 3}

(10)

for all vector fields X, Y on

\bar{M}

and any canonical local basis

{J_{1}, J_{2}, J_{3}}

of σ. Moreover,

(\bar{M}, σ, \bar{g})

is said to be an almost quaternionic Hermitian manifold.

If the bundle σ is parallel with respect to the Levi-Civita connection

\bar{\nabla}

\bar{g}

, then

(\bar{M}, σ, \bar{g})

is said to be a quaternionic Kähler manifold. Equivalently, locally defined 1-forms

ω_{1}

ω_{2}

ω_{3}

exist such that we have, for all

α \in {1, 2, 3}

{\bar{\nabla}}_{X} J_{α} = ω_{α + 2} (X) J_{α + 1} - ω_{α + 1} (X) J_{α + 2}

(11)

for any vector field X on

\bar{M}

, where the indices are taken from

{1, 2, 3}

modulo 3.

We remark that any quaternionic Kähler manifold is an Einstein manifold, provided that

dim M > 4

(see [32‐34]).

Let

(\bar{M}, σ, \bar{g})

be a quaternionic Kähler manifold and let X be a non-null vector on

\bar{M}

. Then the 4-plane spanned by

{X, J_{1} X, J_{2} X, J_{3} X}

, denoted by

Q (X)

, is called a quaternionic 4-plane. Any 2-plane in

Q (X)

is called a quaternionic plane. The sectional curvature of a quaternionic plane is called a quaternionic sectional curvature. A quaternionic Kähler manifold is a quaternionic space form if its quaternionic sectional curvatures are equal to a constant, say c. It is well-known that a quaternionic Kähler manifold

(\bar{M}, σ, \bar{g})

is a quaternionic space form, denoted

\bar{M} (c)

, if and only if its curvature tensor is given by (see [32])

\begin{array}{rcl} \bar{R} (X, Y) Z & = & \frac{c}{4} {\bar{g} (Z, Y) X - \bar{g} (X, Z) Y + \sum_{α = 1}^{3} [\bar{g} (Z, J_{α} Y) J_{α} X \\ - \bar{g} (Z, J_{α} X) J_{α} Y + 2 \bar{g} (X, J_{α} Y) J_{α} Z]} \end{array}

(12)

for all vector fields X, Y, Z on

\bar{M}

and any local basis

{J_{1}, J_{2}, J_{3}}

of σ. We note that some interesting characterizations of quaternionic space forms were obtained in [35].

For a submanifold M of a quaternion Kähler manifold

(\bar{M}, σ, \bar{g})

, we denote by g the metric tensor induced on M. If ∇ is the covariant differentiation induced on M, the Gauss and Weingarten formulas are given by

{\bar{\nabla}}_{X} Y = \nabla_{X} Y + h (X, Y), \forall X, Y \in Γ (T M)

(13)

and

{\bar{\nabla}}_{X} N = - A_{N} X + \nabla_{X}^{⊥} N, \forall X \in Γ (T M), \forall N \in Γ (T M^{⊥}),

(14)

where h is the second fundamental form of M,

\nabla^{⊥}

is the connection on the normal bundle and

A_{N}

is the shape operator of M with respect to N. The shape operator

A_{N}

is related to h by

g (A_{N} X, Y) = \bar{g} (h (X, Y), N)

for all

X, Y \in Γ (T M)

and

N \in Γ (T M^{⊥})

{e_{1}, \dots, e_{n}}

is an orthonormal basis of

T_{p} M

and

{e_{n + 1}, \dots, e_{4 m}}

is an orthonormal basis of

T_{p}^{⊥} M

, where

p \in M

, we denote by H the mean curvature vector, that is,

H (p) = \frac{1}{n} \sum_{i = 1}^{n} h (e_{i}, e_{i}) .

Also, we set

h_{i j}^{r} = g (h (e_{i}, e_{j}), e_{r}), i, j \in {1, \dots, n}, r \in {n + 1, \dots, 4 m}

and

{∥ h ∥}^{2} (p) = \sum_{i, j = 1}^{n} g (h (e_{i}, e_{j}), h (e_{i}, e_{j})) .

The submanifold M is called totally geodesic if the second fundamental form vanishes identically and totally umbilical if there is a real number λ such that

h (X, Y) = λ g (X, Y) H

for any tangent vectors X, Y on M. If

H = 0

, then the submanifold M is said to be minimal.

3 Fundamental inequalities involving Chen invariants and the squared mean curvature

For a Riemannian submanifold

M^{n}

of a real space form

\bar{M}

with constant sectional curvature c, Chen [1] proved the following inequality for the Riemannian invariant

δ_{M}

of M, known as the first Chen inequality:

δ_{M} \leq \frac{n - 2}{2} [\frac{n^{2}}{n - 1} {∥ H ∥}^{2} + c (n + 1)] .

(15)

The submanifold M is said to satisfy Chen’s equality if the equality case of (15) holds identically.

In quaternionic Kähler ambient, the first classes of submanifolds which have been introduced and studied were quaternionic [36] and totally real submanifolds [37]. A submanifold M in a quaternionic Kähler manifold

(\bar{M}, σ, \bar{g})

is called a quaternionic submanifold (resp. a totally real submanifold) if each tangent space of M is carried into itself (resp. into the normal space) by each section in σ. An n-dimensional totally real submanifold of a quaternionic space form

{\bar{M}}^{4 m} (c)

is said to be a Lagrangian submanifold if

n = m

. It is well known that a quaternionic submanifold is totally geodesic, so the first class of interest from Chen’s inequalities viewpoint is given by the totally real submanifolds. In [38], the validity of the inequality (15) was proved for totally real submanifolds in a quaternionic space form

\bar{M} (4 c)

of quaternionic sectional curvature 4c, and Chen’s equality was interpreted in terms of eigenvalues and eigenspaces of the Weingarten operators of the submanifold. As a consequence, Hong and Houh obtained the following interesting result.

Theorem 3.1 [38]

Every Lagrangian submanifold of a quaternionic space form satisfying Chen’s equality is minimal.

In [39], Şahin introduced the concept of slant submanifolds as a natural generalization of both quaternionic and totally real submanifolds. A submanifold M of a quaternionic Kähler manifold

\bar{M}

is said to be a slant submanifold if for each non-zero vector X tangent to M at p, the angle

θ (X)

between

J_{α} (X)

and

T_{p} M

α \in {1, 2, 3}

is constant, i.e., it does not depend on choice of

p \in M

and

X \in T_{p} M

. We can easily see that quaternionic submanifolds are slant submanifolds with

θ = 0

and totally-real submanifolds are slant submanifolds with

θ = \frac{π}{2}

. A slant submanifold of a quaternionic Käler manifold is said to be proper (or θ-slant proper) if it is neither quaternionic nor totally real.

In [40], the present author obtained the generalization of the first Chen inequality to the case of slant submanifolds in quaternionic space forms as follows.

Theorem 3.2 [40]

Let

M^{n}

be a θ-slant proper submanifold of a quaternionic space form

{\bar{M}}^{4 m} (c)

. Then, for each point

p \in M

, we have

δ_{M} (p) \leq \frac{n - 2}{2} [\frac{n^{2}}{n - 1} {∥ H ∥}^{2} + \frac{c}{4} (n + 1 + 9 {cos}^{2} θ)] .

(16)

The equality in (16) holds at

p \in M

if and only if there exists an orthonormal basis

{e_{1}, \dots, e_{n}}

T_{p} M

and an orthonormal basis

{e_{n + 1}, \dots, e_{4 m}}

T_{p}^{⊥} M

such that the shape operators

A_{r} \equiv A_{e_{r}}

r \in {n + 1, \dots, 4 m}

, take the following forms:

A_{n + 1} = (\begin{array}{c} a & 0 & 0 & \dots & 0 \\ 0 & a & 0 & \dots & 0 \\ 0 & 0 & a + b & \dots & 0 \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & 0 & \dots & a + b \end{array})

(17)

and

A_{r} = (\begin{array}{c} a_{r} & b_{r} & 0 & \dots & 0 \\ a_{r} & - b_{r} & 0 & \dots & 0 \\ 0 & 0 & 0 & \dots & 0 \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & 0 & \dots & 0 \end{array}), r \in {n + 2, \dots, 4 m} .

(18)

The second Chen fundamental inequality, stated in [41], asserts that for any submanifold

M^{n}

of a real space form

\bar{M}

with constant sectional curvature c, we have

δ (n_{1}, \dots, n_{k}) \leq d (n_{1}, \dots, n_{k}) {∥ H ∥}^{2} + b (n_{1}, \dots, n_{k}) c

(19)

for any k-tuples

(n_{1}, \dots, n_{k}) \in S (n)

. Immersion of a submanifold which realizes equality in this inequality at every point is said to be an ideal immersion.

In [42], Yoon proved that the inequality (19) is also true for totally real submanifolds in a quaternionic space forms of quaternionic sectional curvature 4c. This inequality was later generalized for slant submanifolds in quaternionic space forms as follows.

Theorem 3.3 [40]

M^{n}

is a θ-slant proper submanifold of a quaternionic space form

{\bar{M}}^{4 m} (c)

, then we have

δ (n_{1}, \dots, n_{k}) \leq d (n_{1}, \dots, n_{k}) {∥ H ∥}^{2} + b (n_{1}, \dots, n_{k}) \frac{c}{4} + \frac{9 c}{8} (n - \sum_{j = 1}^{k} n_{j}) {cos}^{2} θ

(20)

for any k-tuples

(n_{1}, \dots, n_{k}) \in S (n)

The equality in (20) holds at

p \in M

if and only if there exists an orthonormal basis

{e_{1}, \dots, e_{n}}

T_{p} M

and an orthonormal basis

{e_{n + 1}, \dots, e_{4 m}}

T_{p}^{⊥} M

such that the shape operators

A_{r} \equiv A_{e_{r}}

r \in {n + 1, \dots, 4 m}

, take the following forms:

A_{n + 1} = (\begin{array}{c} a_{1} & 0 & 0 & \dots & 0 \\ 0 & a_{2} & 0 & \dots & 0 \\ 0 & 0 & a_{3} & \dots & 0 \\ ⋮ & ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & 0 & 0 & \dots & a_{n} \end{array})

(21)

and

A_{r} = (\begin{array}{c} B_{1}^{r} & \dots & 0 & 0 & \dots & 0 \\ ⋮ & ⋱ & ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & \dots & B_{k}^{r} & 0 & \dots & 0 \\ 0 & \dots & 0 & c_{r} & \dots & 0 \\ ⋮ & ⋱ & ⋮ & ⋮ & ⋱ & ⋮ \\ 0 & \dots & 0 & 0 & \dots & c_{r} \end{array}), r \in {n + 2, \dots, 4 m},

(22)

where

a_{1}, \dots, a_{n}

satisfy

a_{1} + \dots + a_{n_{1}} = \dots = a_{n_{1} + \dots + n_{k - 1} + 1} + \dots + a_{n_{1} + \dots + n_{k}} = a_{n_{1} + \dots + n_{k} + 1} = \dots = a_{n}

and each

B_{j}^{r}

is a symmetric

n_{j} \times n_{j}

submatrix satisfying:

trace (B_{1}^{r}) = \dots = trace (B_{k}^{r}) = c_{r} .

4 Fundamental inequalities involving the Ricci curvature and the squared mean curvature

In [4], Chen established a sharp relationship involving the Ricci curvature and the squared mean curvature for an arbitrary n-dimensional Riemannian submanifold of a real space form of constant sectional curvature c,

Ric (X) \leq (n - 1) c + \frac{n^{2}}{4} {∥ H ∥}^{2},

(23)

which is known as the Chen-Ricci inequality. In [43], Liu obtained the same inequality for totally real submanifolds in quaternionic space forms.

A submanifold M of a quaternion Kähler manifold

(\bar{M}, σ, \bar{g})

is said to be a quaternionic CR-submanifold if there exists two orthogonal complementary distributions D and

D^{⊥}

on M such that D is invariant under quaternionic structure and

D^{⊥}

is totally real (see [44]). An estimation of the Ricci curvature of a quaternionic CR-submanifold in a quaternionic space form has been established in [45], as follows.

Theorem 4.1 [45]

Let M be an n-dimensional quaternionic CR-submanifold of a quaternionic space form

\bar{M} (c)

. Then:

(i₁) For each unit vector

X \in D_{p}^{⊥}

, we have

Ric (X) \leq \frac{(n - 1) c}{4} + \frac{n^{2}}{4} {∥ H ∥}^{2} .

(24)

(i₂) For each unit vector

X \in D_{p}

, we have

Ric (X) \leq \frac{(n + 8) c}{4} + \frac{n^{2}}{4} {∥ H ∥}^{2} .

(25)

(ii)

H (p) = 0

, then a unit tangent vector X at p satisfies the equality case of (24) (respectively (25)) if and only if

X \in D_{p}^{⊥} \cap N_{p}

(respectively

X \in D_{p} \cap N_{p}

), where

N_{p}

is the relative null space of M at the point

p \in M

defined by

N_{p} = {Z \in T_{p} M | h (Z, Y) = 0, \forall Y \in T_{p} M} .

We note that an optimal inequality concerning the Ricci curvature for quaternionic CR-submanifolds of quaternionic space forms with a semi-symmetric metric connection was obtained in [46]. It is clear that, although quaternionic CR-submanifolds are also the generalization of both quaternionic and totally real submanifolds, there exists no inclusion between the two classes of quaternionic CR-submanifolds and slant submanifolds. The following estimation of the Ricci curvature for slant submanifolds in quaternionic space forms was firstly proved in [40], and an alternative nice proof can be found in [47].

Theorem 4.2 [40]

Let

M^{n}

be a θ-slant proper submanifold of a quaternionic space form

{\bar{M}}^{4 m} (c)

. Then:

(i)

For each unit vector

X \in T_{p} M

, we have

Ric (X) \leq \frac{(n - 1) c}{4} + \frac{n^{2}}{4} {∥ H ∥}^{2} + \frac{3 c}{8} {cos}^{2} θ .

(26)

(ii)

H (p) = 0

, then a unit tangent vector X at p satisfies the equality case of (26) if and only if X belongs to the relative null space of M at p.

(iii)

The equality case of (26) holds identically for all unit tangent vectors at p if and only either p is a totally geodesic point or

n = 2

and p is a totally umbilical point.

In [48], Oprea proved using optimization methods that the inequality (23) is not optimal for Lagrangian submanifolds in complex space forms and obtained an improved Chen-Ricci inequality. In [49], Deng obtained the proof of the improved inequality as an application of suitable algebraic inequalities. This allows one to determine the equality condition in an explicit form. Recently, in [50], the Chen-Ricci inequality was improved for Lagrangian submanifolds in quaternionic space forms as follows.

Theorem 4.3 [50]

Let

M^{n}

be a Lagrangian submanifold of real dimension

n \geq 2

in a quaternionic space form

{\bar{M}}^{4 n} (c)

, p be a point in M and X be a unit tangent vector in

T_{p} M

. Then we have

Ric (X) \leq \frac{(n - 1)}{4} (c + {∥ H ∥}^{2}) .

(27)

Moreover, the equality sign holds for any unit tangent vector at p if and only if either

(i)

p is a totally geodesic point or

(ii)

n = 2

and p is an H-umbilical point with

λ_{r} = 3 μ_{r}

r = 1, 2, 3

, i.e., there exists an orthonormal basis

{e_{1}, \dots, e_{n}}

T_{p} M

such that the second fundamental form takes the following simple form:

\begin{matrix} h (e_{1}, e_{1}) = \sum_{α = 1}^{3} λ_{α} J_{α} (e_{1}), \\ h (e_{2}, e_{2}) = \sum_{α = 1}^{3} μ_{α} J_{α} (e_{1}), \\ h (e_{1}, e_{j}) = \sum_{α = 1}^{3} μ_{α} J_{α} (e_{j}), \\ h (e_{j}, e_{k}) = 0, j \neq k, j, k = 2, \dots, n \end{matrix}

for some suitable functions

λ_{r}

and

μ_{r}

satisfying

λ_{r} = 3 μ_{r}

r = 1, 2, 3

5 Fundamental inequalities involving k-Ricci curvature, squared mean curvature and shape operator

In [4], Chen extended the notion of Ricci curvature to k-Ricci curvature for a Riemannian manifold and established a sharp relationship between k-Ricci curvatures and the shape operator and also a sharp relationship between k-Ricci curvatures and the squared mean curvature for an n-dimensional Riemannian submanifold in a real space form

\bar{M}

with constant sectional curvature c. More precisely, he proved that for any point

p \in M

and any integer k,

2 \leq k \leq n

, one has

{∥ H ∥}^{2} (p) \geq \frac{4 (n - 1)}{n^{2}} [\frac{Θ_{k} (p)}{k - 1} - c] .

(28)

On the other hand, Chen proved that if

Θ_{k} (p) \neq c

, then the shape operator at the mean curvature vector satisfies for any integer k,

2 \leq k \leq n

, and any point

p \in M

A_{H} > \frac{n - 1}{n} [Θ_{k} (p) - c] I_{n},

(29)

at p, where

I_{n}

denotes the identity map of

T_{p} M^{n}

The inequality (28) was extended in the setting of a totally real submanifold in a quaternionic space form by Liu and Dai in [51] and recently, in [52], both inequalities (28) and (29) were generalized for proper slant submanifolds in quaternionic space forms as follows.

Theorem 5.1 [52]

Let

M^{n}

be a θ-slant proper submanifold of a quaternionic space form

{\bar{M}}^{4 m} (c)

. Then, for any

p \in M

and any integer k,

2 \leq k \leq n

, one has

{∥ H ∥}^{2} (p) \geq Θ_{k} (p) - \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ) .

(30)

Theorem 5.2 [52]

Let

x : M \to {\bar{M}}^{4 m} (c)

be an isometric immersion of an n-dimensional θ-slant proper submanifold M into a 4m-dimensional quaternionic space form

\bar{M} (c)

. Then, for any

p \in M

and any integer k,

2 \leq k \leq n

, one has:

(i)

Θ_{k} (p) \neq \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ)

, then the shape operator at the mean curvature satisfies

A_{H} > \frac{n - 1}{n} [Θ_{k} (p) - \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ)] I_{n},

(31)

at p, where

I_{n}

denotes the identity map of

T_{p} M

(ii)

Θ_{k} (p) = \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ)

, then

A_{H} \geq 0

at p.

(iii)

A unit vector

X \in T_{p} M

satisfies

A_{H} X = \frac{n - 1}{n} [Θ_{k} (p) - \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ)] X

(32)

if and only if

Θ_{k} (p) = \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ)

and X belongs to

N_{p}

, the relative null space of M at p.

(iv)

The identity

A_{H} = \frac{n - 1}{n} [Θ_{k} (p) - \frac{c}{4} (1 + \frac{9}{n - 1} {cos}^{2} θ)] I_{n}

(33)

holds at p if and only if p is a totally geodesic point.

6 Some open problems

In this section we propose to investigate the following open problems related to the Chen invariants and ideal immersions in quaternionic space forms.

Problem 6.1 QR-submanifolds were introduced by Bejancu [53] as a generalization of the real hypersurfaces of a quaternionic Kähler manifold. In fact, a real submanifold M of a quaternionic Kähler manifold

(\bar{M}, σ, \bar{g})

is called a QR-submanifold if there exists a vector subbundle D of the normal bundle

T M^{⊥}

such that

J_{α} (D_{p}) = D_{p}

and

J_{α} (D_{p}^{⊥}) \subset T_{p} M

, for all

p \in M

α = 1, 2, 3

and for any local basis

{J_{1}, J_{2}, J_{3}}

of σ, where

D^{⊥}

is the complementary orthogonal bundle to D in

T M^{⊥}

. The problem is to extend the inequalities (15), (19), (23), (28) and (29) for QR-submanifolds in quaternionic space forms.

Problem 6.2 To generalize the Theorems 3.2, 3.3, 4.1, 4.2, 5.1 and 5.2 for semi-slant submanifolds in quaternionic space forms.

We note that the concept of a semi-slant submanifold in quaternionic geometry was introduced by Şahin [39] as follows: a real submanifold M of a quaternionic Kähler manifold

(\bar{M}, σ, \bar{g})

is said to be a semi-slant submanifold if there exist two orthogonal vector subbundles μ and

μ^{⊥}

of the normal bundle

T M^{⊥}

such that

T M^{⊥} = μ \oplus μ^{⊥}

μ_{p}^{⊥}

is anti-invariant with respect to

J_{α}

and

μ_{p}

is slant with respect to

J_{α}

for all

p \in M

α = 1, 2, 3

and for any local basis

{J_{1}, J_{2}, J_{3}}

of σ. It is easy to see that this notion is natural because QR-submanifolds and in particular real hypersurfaces are examples of semi-slant submanifolds of a quaternionic Kähler manifold and therefore fulfill the main purpose for which semi-slant submanifolds were introduced in Kähler geometry by Papaghiuc [54]. We also remark that recently, in [55], Shukla and Rao defined another concept of a semi-slant submanifold of a quaternionic Kähler manifold by analogy with the definition of Papaghiuc, but that class of submanifolds, although generalizes slant submanifolds, does not contain real hypersurfaces as a subclass.

Problem 6.3 Recently, Tripathi [56], Mihai and Rădulescu [57] obtained an improved Chen-Ricci inequality for Kählerian slant submanifolds in a complex space form. On the other hand, the quaternionic version of a Kählerian slant submanifold has been introduced in [39], under the name of a quaternionic slant submanifold, and some properties were obtained in [52]. Thus a proper slant submanifold M of a quaternionic Kähler manifold

(\bar{M}, σ, \bar{g})

is said to be a quaternionic slant submanifold if it satisfies the condition

({\bar{\nabla}}_{X} P_{α}) Y = ω_{α + 2} (X) P_{α + 1} Y - ω_{α + 1} (X) P_{α + 2} Y

for all vector fields X, Y on

\bar{M}

, where the indices are taken from

{1, 2, 3}

modulo 3 and

P_{α} Y

denotes the tangential component of

J_{α} Y

. The problem is to extend the improved Chen-Ricci inequality (27) to quaternionic slant submanifolds in quaternionic space forms and to investigate the equality case of the inequality.

Problem 6.4 In [58], Oprea improved the inequality (15) for Lagrangian submanifolds in complex space forms and recently, in [59], Chen and Dillen obtained improved general inequalities which involve the squared mean curvature and the invariants

δ (n_{1}, \dots, n_{k})

for Lagrangian submanifolds in complex space forms, giving also necessary and sufficient condition for a Lagrangian submanifold to attain the equality for arbitrary

δ (n_{1}, \dots, n_{k})

. The problem is to obtain improved general inequalities for Lagrangian submanifolds in quaternionic space forms and to completely classify Lagrangian submanifolds which realize the equality case of these inequalities.

Problem 6.5 In [52] it was proved that there do not exist quaternionic slant immersions of minimal codimension in quaternionic projective space with unfull first normal bundle. An interesting problem is to investigate the existence of quaternionic slant immersions of minimal codimension in a quaternionic projective space

P^{n} (H)

satisfying the equality case of (19) such that either

n_{1} + n_{2} + \dots + n_{k} = n

n_{1} + n_{2} + \dots + n_{k} < n

and at least one of

n_{i}

is 2. We note that the answer of the corresponding problem in Kählerian geometry is negative [60].

Problem 6.6 To completely classify

δ (2)

-ideal slant submanifolds and

δ (2, 2)

-ideal Lagrangian submanifolds in quaternionic space forms.

We note that

δ (2)

and

δ (2, 2)

are the simplest non-trivial δ-curvature invariants and some classification results for

δ (2)

and

δ (2, 2)

-ideal Lagrangian submanifolds in complex space forms were obtained in [61‐64].

Problem 6.7 To obtain Chen-like inequalities for the Casorati curvatures of slant submanifolds in quaternionic space forms and to completely classify Casorati ideal submanifolds.

It is known that the Casorati curvature of a submanifold in a Riemannian manifold is an extrinsic invariant defined as the normalized square of the length of the second fundamental form. Moreover, this notion extends the concept of the principal direction of a hypersurface of a Riemannian manifold to submanifolds of a Riemannian manifold and it was preferred by Casorati over the traditional Gauss curvature because corresponds better with the common intuition of curvature [65]. Therefore it is of great interest to obtain optimal inequalities for the Casorati curvatures of submanifolds in different ambient spaces. We note that in [66], Decu, Haesen and Verstraelen obtained some optimal inequalities involving the scalar curvature and the Casorati curvature of a Riemannian submanifold in a real space form and the holomorphic sectional curvature and the Casorati curvature of a Kähler hypersurface in a complex space form. Moreover, the same authors proved in [67] an inequality in which the scalar curvature is estimated from above by the normalized Casorati curvatures.

Additional information

This paper is a contribution to the International Conference on Applied Analysis and Algebra (ICAAA2012) (20-24 June 2012, Istanbul, Turkey).

Acknowledgements

Dedicated to Prof. Ravi P Agarwal on his 65th birth anniversary.

This work was supported by CNCS-UEFISCDI, project number PN-II-ID-PCE-2011-3-0118.

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Competing interests

The author declares that he has no competing interests.

Vorheriger Artikel Euler-Hausdorff matrix summability operator and trigonometric approximation of the conjugate of a function belonging to the generalized Lipschitz class

Nächster Artikel Some exact constants for the approximation of the quantity in the Wallis’ formula

Chen B-Y: Some pinching and classification theorems for minimal submanifolds. Arch. Math. 1993, 60: 568–578. 10.1007/BF01236084CrossRef

Chern SS: Minimal Submanifolds in a Riemannian Manifold. University of Kansas Press, Lawrence; 1968.

Suceavă B, Vâjiac M: Remarks on Chen’s fundamental inequality with classical curvature invariants in Riemannian spaces. An. Ştiint. Univ. Al. I. Cuza Iaşi. Mat. 2008, 54(1):27–37.

Chen B-Y: Relations between Ricci curvature and shape operator for submanifolds with arbitrary codimensions. Glasg. Math. J. 1999, 41: 33–41. 10.1017/S0017089599970271MathSciNetCrossRef

Chen B-Y: A general inequality for submanifolds in complex-space-forms and its applications. Arch. Math. 1996, 67(6):519–528. 10.1007/BF01270616MathSciNetCrossRef

Chen B-Y: An optimal inequality for CR-warped products in complex space forms involving CR δ -invariant. Int. J. Math. 2012., 23(3): Article ID 1250045

Oiagă A, Mihai I: B.-Y. Chen inequalities for slant submanifolds in complex space forms. Demonstr. Math. 1999, 32: 835–846.

Kim J-S, Choi J: A basic inequality for submanifolds in a cosymplectic space form. Int. J. Math. Math. Sci. 2003, 9: 539–547.CrossRef

Liu X, Su W: Shape operator of slant submanifolds in cosymplectic space forms. Studia Sci. Math. Hung. 2005, 42(4):387–400.MathSciNet

10.

Yoon DW: Inequality for Ricci curvature of slant submanifolds in cosymplectic space forms. Turk. J. Math. 2006, 30: 43–56.

11.

Cioroboiu D, Oiagă A: B.Y. Chen inequalities for slant submanifolds in Sasakian space forms. Rend. Circ. Mat. Palermo 2003, 52: 367–381. 10.1007/BF02872761MathSciNetCrossRef

12.

Defever F, Mihai I, Verstraelen L: B.-Y. Chen’s inequality for C -totally real submanifolds of Sasakian space forms. Boll. Unione Mat. Ital, B 1997, 11(2):365–374.MathSciNet

13.

Mihai I: Ricci curvature of submanifolds in Sasakian space forms. J. Aust. Math. Soc. 2002, 72(2):247–256. 10.1017/S1446788700003888MathSciNetCrossRef

14.

Carriazo A, Kim YH, Yoon DW: Some inequalities on totally real submanifolds in locally conformal Kähler space forms. J. Korean Math. Soc. 2004, 41(5):795–808. 10.4134/JKMS.2004.41.5.795MathSciNetCrossRef

15.

Hong S, Matsumoto K, Tripathi MM: Certain basic inequalities for submanifolds of locally conformal Kähler space forms. SUT J. Math. 2005, 41(1):75–94.MathSciNet

16.

Kim J-S, Yoon DW: Inequality for totally real warped products in locally conformal Kaehler space forms. Kyungpook Math. J. 2004, 44(4):585–592.MathSciNet

17.

Alegre P, Carriazo A, Kim YH, Yoon DW: B.-Y. Chen’s inequality for submanifolds of generalized space forms. Indian J. Pure Appl. Math. 2007, 38(3):185–201.MathSciNet

18.

Kim J-S, Song YM, Tripathi MM: B.-Y. Chen inequalities for submanifolds in generalized complex space forms. Bull. Korean Math. Soc. 2003, 40: 411–423.MathSciNetCrossRef

19.

Mihai A:Shape operator

A_{H}

for slant submanifolds in generalized complex space forms. Turk. J. Math. 2003, 27(4):509–523.MathSciNet

20.

Arslan K, Ezentas R, Mihai I, Murathan C, Özgür C: B.Y. Chen inequalities for submanifolds in locally conformal almost cosymplectic manifolds. Bull. Inst. Math. Acad. Sin. 2001, 29(3):231–242.

21.

Yoon DW: Inequality for Ricci curvature of certain submanifolds in locally conformal almost cosymplectic manifolds. Int. J. Math. Math. Sci. 2005, 10: 1621–1632.CrossRef

22.

Arslan K, Ezentas R, Mihai I, Murathan C, Özgür C:Certain inequalities for submanifolds in

(k, μ)

-contact space forms. Bull. Aust. Math. Soc. 2001, 64(2):201–212. 10.1017/S0004972700039873CrossRef

23.

Tripathi MM, Kim JS: C -totally real submanifolds in

(κ, μ)

-contact space forms. Bull. Aust. Math. Soc. 2003, 67(1):51–65. 10.1017/S0004972700033517MathSciNetCrossRef

24.

Arslan K, Ezentas R, Mihai I, Murathan C, Özgür C: Ricci curvature of submanifolds in Kenmotsu space forms. Int. J. Math. Math. Sci. 2002, 29(12):719–726. 10.1155/S0161171202012863MathSciNetCrossRef

25.

Carriazo A, Fernandez LM, Hans-Uber MB: B.Y. Chen’s inequality for S -space-forms: applications to slant immersions. Indian J. Pure Appl. Math. 2003, 34(9):1287–1298.MathSciNet

26.

Fernández LM, Hans-Uber MB: New relationships involving the mean curvature of slant submanifolds in S -space-forms. J. Korean Math. Soc. 2007, 44(3):647–659. 10.4134/JKMS.2007.44.3.647MathSciNetCrossRef

27.

Kim J-S, Dwivedi MK, Tripathi MM: Ricci curvature of integral submanifolds of an S -space form. Bull. Korean Math. Soc. 2007, 44(3):395–406. 10.4134/BKMS.2007.44.3.395MathSciNetCrossRef

28.

Aktan N, Zeki Sarikaya M, Ozusaglam E: B.Y. Chen’s inequality for semi-slant submanifolds in T -space forms. Balk. J. Geom. Appl. 2008, 13(1):1–10.

29.

Chen B-Y Topics in Differential Geometry. In δ-Invariants, Inequalities of Submanifolds and Their Applications. Ed. Acad. Române, Bucharest; 2008:29–155.

30.

Chen B-Y: Pseudo-Riemannian Geometry, δ-Invariants and Applications. World Scientific, Hackensack; 2011.CrossRef

31.

Berger M: Sur les groupes d’holonomie homogène des variétés à connexion affine et des variétés riemanniennes. Bull. Soc. Math. Fr. 1955, 83: 279–330.

32.

Ishihara S: Quaternion Kählerian manifolds. J. Differ. Geom. 1974, 9: 483–500.MathSciNet

33.

Besse A: Einstein Manifolds. Springer, Berlin; 1987.CrossRef

34.

Salamon S: Differential geometry of quaternionic manifolds. Ann. Sci. Éc. Norm. Super. 1986, 19: 31–55.MathSciNet

35.

Adachi T, Maeda S: Some characterizations of quaternionic space forms. Proc. Jpn. Acad., Ser. A, Math. Sci. 2000, 76(10):168–172. 10.3792/pjaa.76.168MathSciNetCrossRef

36.

Gray A:A note on manifolds whose holonomy group is a subgroup of

S p (n) \cdot S p (1)

. Mich. Math. J. 1969, 16: 125–128.CrossRef

37.

Chen B-Y, Houh CS: Totally real submanifolds of a quaternion projective space. Ann. Mat. Pura Appl. 1979, 120(1):185–199. 10.1007/BF02411943MathSciNetCrossRef

38.

Hong Y, Houh CS: Lagrangian submanifolds of quaternion Kaehlerian manifolds satisfying Chen’s equality. Beiträge Algebra Geom. 1998, 39(2):413–421.MathSciNet

39.

Şahin B: Slant submanifolds of quaternion Kaehler manifolds. Commun. Korean Math. Soc. 2007, 22(1):123–135. 10.4134/CKMS.2007.22.1.123MathSciNetCrossRef

40.

Vîlcu GE: B.-Y. Chen inequalities for slant submanifolds in quaternionic space forms. Turk. J. Math. 2010, 34(1):115–128.

41.

Chen B-Y: Some new obstructions to minimal and Lagrangian isometric immersions. Jpn. J. Math. 2000, 26(1):105–127.

42.

Yoon DW: A basic inequality of submanifolds in quaternionic space forms. Balk. J. Geom. Appl. 2004, 9(2):92–102.

43.

Liu X: On Ricci curvature of totally real submanifolds in a quaternion projective space. Arch. Math. 2002, 38(4):297–305.MathSciNet

44.

Barros M, Chen B-Y, Urbano F: Quaternion CR-submanifolds of quaternion manifolds. Kodai Math. J. 1981, 4: 399–417. 10.2996/kmj/1138036425MathSciNetCrossRef

45.

Mihai I, Al-Solamy F, Shahid MH: On Ricci curvature of a quaternion CR-submanifold in a quaternion space form. Rad. Mat. 2003, 12(1):91–98.MathSciNet

46.

Decu S: Optimal inequalities for submanifolds in quaternion-space-forms with semi-symmetric metric connection. Bull. Transilv. Univ. Braşov, Ser. III 2009, 2(51):175–184.MathSciNet

47.

Shahid MH, Al-Solamy F: Ricci tensor of slant submanifolds in a quaternion projective space. C. R. Math. Acad. Sci. Paris 2011, 349(9):571–573. 10.1016/j.crma.2011.01.013MathSciNetCrossRef

48.

Oprea, T: On a geometric inequality. arXiv:math.DG/0511088

49.

Deng S: An improved Chen-Ricci inequality. Int. Electron. J. Geom. 2009, 2(2):39–45.MathSciNet

50.

Deng S: Improved Chen-Ricci inequality for Lagrangian submanifolds in quaternion space forms. Int. Electron. J. Geom. 2012, 5(1):163–170.MathSciNet

51.

Liu X, Dai W: Ricci curvature of submanifolds in a quaternion projective space. Commun. Korean Math. Soc. 2002, 17(4):625–633.MathSciNetCrossRef

52.

Vîlcu GE: Slant submanifolds of quaternionic space forms. Publ. Math. (Debr.) 2012, 81(3–4):397–413.CrossRef

53.

Bejancu A: QR-submanifolds of quaternion Kaehler manifolds. Chin. J. Math. 1986, 14: 81–94.MathSciNet

54.

Papaghiuc N: Semi-slant submanifolds of a Kaehlerian manifold. An. Ştiint. Univ. Al. I. Cuza Iaşi 1994, 40(1):55–61.MathSciNet

55.

Shukla SS, Rao PK: Ricci curvature of quaternion slant submanifolds in quaternion space forms. Acta Math. Acad. Paedagog. Nyházi. 2012, 28(1):69–81.MathSciNet

56.

Tripathi MM: Improved Chen-Ricci inequality for curvature-like tensors and its application. Differ. Geom. Appl. 2011, 29(5):685–698. 10.1016/j.difgeo.2011.07.008CrossRef

57.

Mihai A, Rădulescu I: An improved Chen-Ricci inequality for Kaehlerian slant submanifolds in complex space forms. Taiwan. J. Math. 2012, 16(2):761–770.

58.

Oprea T: Chen’s inequality in the Lagrangian case. Colloq. Math. 2007, 108: 163–169. 10.4064/cm108-1-15MathSciNetCrossRef

59.

Chen B-Y, Dillen F: Optimal general inequalities for Lagrangian submanifolds in complex space forms. J. Math. Anal. Appl. 2011, 379(1):229–239. 10.1016/j.jmaa.2010.12.058MathSciNetCrossRef

60.

Li G, Wu C: Slant immersions of complex space forms and Chen’s inequality. Acta Math. Sci., Ser. B, Engl. Ed. 2005, 25(2):223–232.MathSciNet

61.

Chen B-Y, Dillen F, Verstraelen L, Vrancken L:Totally real submanifolds of

C P^{n}

satisfying a basic equality. Arch. Math. 1994, 63(6):553–564. 10.1007/BF01202073MathSciNetCrossRef

62.

Chen B-Y, Prieto-Martín A, Wang X:Lagrangian submanifolds in complex space forms satisfying an improved equality involving

δ (2, 2)

. Publ. Math. (Debr.) 2013, 82(1):1–25.

63.

Chen B-Y, Vrancken L: Lagrangian submanifolds satisfying a basic equality. Math. Proc. Camb. Philos. Soc. 1996, 120(2):291–307. 10.1017/S0305004100074867MathSciNetCrossRef

64.

Chen B-Y, Vrancken L: Lagrangian submanifolds of the complex hyperbolic space. Tsukuba J. Math. 2002, 26(1):95–118.MathSciNet

65.

Casorati F: Mesure de la courbure des surfaces suivant l’idée commune. Ses rapports avec les mesures de courbure gaussienne et moyenne. Acta Math. 1890, 14(1):95–110. 10.1007/BF02413317MathSciNetCrossRef

66.

Decu S, Haesen S, Verstraelen L: Optimal inequalities involving Casorati curvatures. Bull. Transilv. Univ. Braşov, Ser. B 2007, 14(49):85–93. suppl.MathSciNet

67.

Decu S, Haesen S, Verstraelen L: Optimal inequalities characterising quasi-umbilical submanifolds. JIPAM. J. Inequal. Pure Appl. Math. 2008., 9(3): Article ID 79

Titel: On Chen invariants and inequalities in quaternionic geometry
verfasst von: Gabriel-Eduard Vîlcu
Publikationsdatum: 01.12.2013
Verlag: Springer International Publishing
Erschienen in: Journal of Inequalities and Applications / Ausgabe 1/2013
Elektronische ISSN: 1029-242X
DOI: https://doi.org/10.1186/1029-242X-2013-66

Springer Professional

On Chen invariants and inequalities in quaternionic geometry

Abstract

Competing interests

1 Introduction

2 Preliminaries

2.1 Riemannian invariants

2.2 Quaternionic Kähler manifolds

3 Fundamental inequalities involving Chen invariants and the squared mean curvature

4 Fundamental inequalities involving the Ricci curvature and the squared mean curvature

5 Fundamental inequalities involving k-Ricci curvature, squared mean curvature and shape operator

6 Some open problems

Additional information

Acknowledgements

Competing interests

Premium Partner

Springer Professional

Abstract

Competing interests

1 Introduction

2 Preliminaries

2.1 Riemannian invariants

2.2 Quaternionic Kähler manifolds

3 Fundamental inequalities involving Chen invariants and the squared mean curvature

4 Fundamental inequalities involving the Ricci curvature and the squared mean curvature

5 Fundamental inequalities involving k-Ricci curvature, squared mean curvature and shape operator

6 Some open problems

Additional information

Acknowledgements

Competing interests

Weitere Artikel der Ausgabe 1/2013

Weak convergence theorems for common solutions of a system of equilibrium problems and operator equations involving nonexpansive mappings

Hardy-Littlewood maximal function on noncommutative Lorentz spaces

Inverse result in simultaneous approximation by Baskakov-Durrmeyer-Stancu operators

Generalized -fuzzy rough rings via -fuzzy relational morphisms

Existence of positive solutions of the Cauchy problem for a second-order differential equation

Infinite propagation speed for the two component b-family system

Premium Partner