• 検索結果がありません。

JJ II

N/A
N/A
Protected

Academic year: 2022

シェア "JJ II"

Copied!
23
0
0

読み込み中.... (全文を見る)

全文

(1)

volume 6, issue 3, article 77, 2005.

Received 22 March, 2005;

accepted 28 July, 2005.

Communicated by:W.S. Cheung

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

A GENERAL OPTIMAL INEQUALITY FOR ARBITRARY RIEMANNIAN SUBMANIFOLDS

BANG-YEN CHEN

Department of Mathematics Michigan State University

East Lansing, MI 48824–1027, USA EMail:bychen@math.msu.edu

c

2000Victoria University ISSN (electronic): 1443-5756 086-05

(2)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

Abstract

One of the most fundamental problems in submanifold theory is to establish simple relationships between intrinsic and extrinsic invariants of the subman- ifolds (cf. [6]). A general optimal inequality for submanifolds in Riemannian manifolds of constant sectional curvature was obtained in an earlier article [5].

In this article we extend this inequality to a general optimal inequality for arbi- trary Riemannian submanifolds in an arbitrary Riemannian manifold. This new inequality involves only the δ-invariants, the squared mean curvature of the submanifolds and the maximum sectional curvature of the ambient manifold.

Several applications of this new general inequality are also presented.

2000 Mathematics Subject Classification:53C40, 53C42, 53B25

Key words:δ-invariants, Inequality, Riemannian submanifold, Squared mean curva- ture, Sectional curvature.

Contents

1 Introduction. . . 3

2 Preliminaries . . . 5

3 A General Optimal Inequality . . . 8

4 Some Applications . . . 15 References

(3)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page3of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

1. Introduction

According to the celebrated embedding theorem of J.F. Nash [23], every Rie- mannian manifold can be isometrically embedded in some Euclidean spaces with sufficiently high codimension. The Nash theorem was established in the hope that if Riemannian manifolds could always be regarded as Riemannian submanifolds, this would then yield the opportunity to use extrinsic help. How- ever, as observed by M. Gromov [18], this hope had not been materialized. The main reason for this is due to the lack of controls of the extrinsic properties of the submanifolds by the known intrinsic data.

In order to overcome the difficulty mentioned above, the author introduced in [4, 5] some new types of Riemannian invariants, denoted by δ(n1, . . . , nk).

Moreover, he was able to establish in [5] an optimal general inequality for sub- manifolds in real space forms which involves his δ-invariants and the main ex- trinsic invariant; namely, the squared mean curvature. Such inequality pro- vides prima controls on the most important extrinsic curvature invariant by the initial intrinsic data of the Riemannian submanifolds in real space forms.

As an application, he was able to discover new intrinsic spectral properties of homogeneous spaces via Nash’s theorem. Such results extend a well-known theorem of Nagano [22]. Since then the δ-invariant and the inequality estab- lished in [5] have been further investigated by many geometers (see for instance, [2,8,9,10,11,14,12,13,15,17,20,21,24,25,26,27,28,29,30]). Recently, theδ-invariants have also been applied to general relativity theory as well as to affine geometry (see for instance, [7,16,19]).

In this article we use the same idea introduced in the earlier article [5] to extend the inequality mentioned above to a more general optimal inequality for

(4)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

an arbitrary Riemannian submanifold in an arbitrary Riemannian manifold.

Our general inequality involves theδ-invariant, the squared mean curvature of the Riemannian submanifold and the maximum of the sectional curvature function of the ambient Riemannian manifold (restricted to plane sections of the tangent space of the submanifold at a point on the submanifold). More pre- cisely, we prove in Section 3that, for any n-dimensional submanifold M in a Riemannianm-manifoldM˜m, we have the following general optimal inequal- ity:

(1.1) δ(n1, . . . , nk)≤c(n1, . . . , nk)H2+b(n1, . . . , nk) max ˜K

for any k-tuple(n1, . . . , nk) ∈ S(n), where max ˜K(p) denotes the maximum of the sectional curvature function of M˜m restricted to 2-plane sections of the tangent space TpM of M at p. (see Section 3 for details). (When k = 0, inequality (1.1) can be found in B. Suceav˘a’s article [27]).

In the last section we provide several immediate applications of inequal- ity (1.1). In particular, by applying our inequality we conclude that if M is a Riemannian n-manifold with δ(n1, . . . , nk) > 0at some point in M for some k-tuple(n1, . . . , nk) ∈ S(n), thenM admits no minimal isometric immersion into any Riemannian manifold with non-positive sectional curvature. In this section, we also apply inequality (1.1) to derive two inequalities for submani- folds in Sasakian space forms. In fact, many inequalities for submanifolds in various space forms obtained by various people can also be derived directly from inequality (1.1).

(5)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

2. Preliminaries

LetM be ann-dimensional submanifold of a Riemannianm-manifoldM˜m. We choose a local field of orthonormal frame

e1, . . . , en, en+1, . . . , em

in M˜m such that, restricted to M, the vectorse1, . . . , enare tangent to M and hence en+1, . . . , em are normal to M. Let K(ei ∧ej)and K˜(ei ∧ej) denote respectively the sectional curvatures ofM andM˜mof the plane section spanned byei andej.

For the submanifoldM inM˜mwe denote by∇and∇˜ the Levi-Civita con- nections ofM andM˜m, respectively. The Gauss and Weingarten formulas are given respectively by (see, for instance, [3])

∇˜XY =∇XY +h(X, Y), (2.1)

∇˜Xξ =−AξX+DXξ (2.2)

for any vector fieldsX, Y tangent toM and vector fieldξnormal toM, where h denotes the second fundamental form, D the normal connection, and Athe shape operator of the submanifold.

Let{hrij},i, j = 1, . . . , n; r = n+ 1, . . . , m, denote the coefficients of the second fundamental form h with respect toe1, . . . , en, en+1, . . . , em. Then we have

hrij =hh(ei, ej), eri=hAerei, eji, whereh·,·idenotes the inner product.

(6)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

The mean curvature vector−→

H is defined by

(2.3) −→

H = 1

ntraceh= 1 n

n

X

i=1

h(ei, ei),

where {e1, . . . , en}is a local orthonormal frame of the tangent bundle T M of M. The squared mean curvature is then given by H2 = D−→

H ,−→ HE

. A sub- manifold M is called minimal in M˜m if its mean curvature vector vanishes identically.

Denote byR and R˜ the Riemann curvature tensors of M and M˜m, respec- tively. Then the equation of Gauss is given by

(2.4) R(X, Y;Z, W)

= ˜R(X, Y;Z, W) +hh(X, W), h(Y, Z)i − hh(X, Z), h(Y, W)i, for vectorsX, Y, Z, W tangent toM.

For any orthonormal basis e1, . . . , en of the tangent space TpM, the scalar curvatureτ ofM atpis defined to be

(2.5) τ(p) =X

i<j

K(ei∧ej),

whereK(ei∧ej)denotes the sectional curvature of the plane section spanned byei andej.

Let L be a subspace of TpM of dimension r ≥ 1 and {e1, . . . , er} an or- thonormal basis of L. The scalar curvature τ(L) of the r-plane section L is

(7)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

defined by

(2.6) τ(L) = X

α<β

K(eα∧eβ), 1≤α, β ≤r.

Whenr= 1, we haveτ(L) = 0.

For integersk ≥0andn≥2, let us denote byS(n, k)the finite set consist- ing of unorderedk-tuples(n1, . . . , nk)of integers≥2which satisfies

n1 < n and n1+· · ·+nk≤n.

LetS(n)be the union∪k≥0S(n, k).

For any(n1, . . . , nk)∈ S(n), the Riemannian invariantsδ(n1, . . . , nk)intro- duced in [5] are defined by

(2.7) δ(n1, . . . , nk)(p) = τ(p)−inf{τ(L1) +· · ·+τ(Lk)},

where L1, . . . , Lk run over all k mutually orthogonal subspaces of TpM with dimLj =nj, j = 1, . . . , k.

We recall the following general algebraic lemma from [4] for later use.

Lemma 2.1. Leta1, . . . , an, ηben+ 1real numbers such that

n

X

i=1

ai

!2

= (n−1) η+

n

X

i=1

a2i

! . Then 2a1a2 ≥η, with equality holding if and only if we have

a1+a2 =a3 =· · ·=an.

(8)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

3. A General Optimal Inequality

For each (n1, . . . , nk) ∈ S(n), letc(n1, . . . , nk)andb(n1, . . . , nk)be the posi- tive numbers given by

c(n1, . . . , nk) = n2(n+k−1−Pk j=1nj) 2(n+k−Pk

j=1nj) , (3.1)

b(n1, . . . , nk) = 1

2(n(n−1)−

k

X

j=1

nj(nj−1)).

(3.2)

For an arbitrary Riemannian submanifold we have the following general op- timal inequality.

Theorem 3.1. Let M be an n-dimensional submanifold of an arbitrary Rie- mannian m-manifoldM˜m. Then, for each point p ∈ M and for eachk-tuple (n1, . . . , nk)∈ S(n), we have the following inequality:

(3.3) δ(n1, . . . , nk)(p)≤c(n1, . . . , nk)H2(p) +b(n1, . . . , nk) max ˜K(p), where max ˜K(p) denotes the maximum of the sectional curvature function ofm restricted to 2-plane sections of the tangent spaceTpM ofM atp.

The equality case of inequality (3.3) holds at a pointp ∈M if and only the following two conditions hold:

(a) There exists an orthonormal basise1, . . . , em at p, such that the shape

(9)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

operators ofM inm atptake the following form :

(3.4) Aer =

Ar1 . . . 0 ... . .. ...

0

0 . . . Ark

0

µrI

, r =n+ 1, . . . , m,

where I is an identity matrix and each Arj is a symmetric nj × nj submatrix such that

(3.5) trace(Ar1) =· · ·=trace(Ark) = µr.

(b) For anykmutual orthogonal subspacesL1, . . . , LkofTpM which satisfy

δ(n1, . . . , nk) =τ −

k

X

j=1

τ(Lj)

atp, we have

(3.6) K(e˜ αi, eαj) = max ˜K(p) for anyαi ∈∆i, αj ∈∆j withi6=j, where

1 ={1, . . . , n1}, . . .

k ={n1+· · ·+nk−1+ 1, . . . , n1+· · ·+nk}.

(10)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

Proof. Let M be an n-dimensional submanifold of a Riemannianm-manifold M˜m and pbe a point in M. Then the equation of Gauss implies that atpwe have

(3.7) 2τ(p) = n2H2− ||h||2 + 2˜τ(TpM),

where||h||2is the squared norm of the second fundamental formhandτ(T˜ pM) is the scalar curvature of the ambient spaceM˜mcorresponding to the subspace TpM ⊂Tpm, i.e.

˜

τ(TpM) =X

i<j

K(e˜ i, ej)

for an orthonormal basise1, . . . , enofTpM. Let us put

(3.8) η= 2τ(p)−n2(n+k−1−P nj) n+k−P

nj

H2−2˜τ(TpM).

Then we obtain from (3.7) and (3.8) that (3.9) n2H2 =γ η+||h||2

, γ =n+k−X nj.

Atp, let us choose an orthonormal basis e1, . . . , em such that eαi ∈ Li for eachαi ∈∆i. Moreover, we choose the normal vectoren+1to be in the direction of the mean curvature vector atp(When the mean curvature vanishes atp,en+1

(11)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

can be chosen to be any unit normal vector atp). Then (3.9) yields

(3.10)

n

X

A=1

aA

!2

"

η+ X

A6=B

(hn+1AB)2+

n

X

A=1

(aA)2+

m

X

r=n+2 n

X

A,B=1

(hrAB)2

# ,

whereaA=hn+1AA with1≤A, B ≤n. Equation (3.10) is equivalent to

(3.11)

γ+1

X

i=1

¯ ai

!2

"

η+

γ+1

X

i=1

(¯ai)2+X

i6=j

(hn+1ij )2+

m

X

r=n+2 n

X

i,j=1

(hrij)2

− X

1≤α16=β1≤n1

aα1aβ1 − X

α26=β2

aα2aβ2− · · · X

αk6=βk

aαkaβk

# ,

whereα2, β2 ∈∆2, . . . , αk, βk ∈∆kand

¯

a1 =a1, ¯a2 =a2+· · ·+an1,

¯

a3 =an1+1+· · ·+an1+n2, (3.12)

· · · (3.13)

¯

ak+1 =an1+···+nk−1+1+· · ·+an1···+nk, (3.14)

¯

ak+2 =an1···+nk+1, . . . ,¯aγ+1 =an. (3.15)

(12)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

By applying Lemma2.1to (3.11) we obtain

(3.16) X

α11

aα1aβ1 + X

α22

aα2aβ2 +· · ·+ X

αkk

aαkaβk

≥ η

2 + X

A<B

(hn+1AB )2+1 2

m

X

r=n+2 n

X

A,B=1

(hrAB)2,

whereαi, βi ∈∆i, i= 1, . . . , k.

On the other hand, equation (2.6) and the equation of Gauss imply that, for eachj ∈ {1, . . . , k}, we have

τ(Lj) =

m

X

r=n+1

X

αjj

hrα

jαjhrβ

jβj −(hrα

jβj)2

+ ˜τ(Lj), (3.17)

αj, βj ∈∆j.

whereτ(L˜ j)is the scalar curvatureM˜masociated withLj ⊂Tp.

Let us put∆ = ∆1 ∪ · · · ∪∆k and∆2 = (∆1×∆1)∪ · · · ∪(∆k×∆k).

Then we obtain by combining (3.8), (3.16) and (3.17) that τ(L1) +· · ·+τ(Lk)

(3.18)

≥ η 2 +1

2

m

X

r=n+1

X

(α,β)/∈∆2

(hrαβ)2

+1 2

m

X

r=n+2 k

X

j=1

 X

αj∈∆j

hrα

jαj

2

+

k

X

j=1

˜ τ(Lj)

(13)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

≥ η 2 +

k

X

j=1

˜ τ(Lj)

=τ− n2(n+k−1−P nj) 2(n+k−P

nj) H2 − τ(T˜ pM)−

k

X

j=1

˜ τ(Lj)

! .

Therefore, by (2.7) and (3.18), we obtain (3.19) τ −

k

X

j=1

τ(Lj)≤ n2(n+k−1−P nj) 2(n+k−P

nj) H2+ ˜τ(TpM)−

k

X

j=1

˜ τ(Lj),

which implies that

(3.20) δ(n1, . . . , nk)≤ n2(n+k−1−P nj) 2(n+k−P

nj) H2+ ˜δM(n1, . . . , nk), where

(3.21) ˜δM(n1, . . . , nk) := ˜τ(TpM)−inf{˜τ( ˜L1) +· · ·+ ˜τ( ˜Lk)}

withL˜1, . . . ,L˜krun over allkmutually orthogonal subspaces ofTpM such that dim ˜Lj =nj; j = 1, . . . , k. Clearly, inequality (3.21) implies inequality (3.3).

It is easy to see that the equality case of (3.3) holds at the pointpif and only if the following two conditions hold:

(i) The inequalities in (3.16) and (3.18) are actually equalities;

(14)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page14of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

(ii) For anykmutual orthogonal subspacesL1, . . . , LkofTpM which satisfy

(3.22) δ(n1, . . . , nk) =τ −

k

X

j=1

τ(Lj)

atp, we have

(3.23) K(e˜ αi, eαj) = max ˜K(p) for anyαi ∈∆i, αj ∈∆j withi6=j.

It follows from Lemma2.1, (3.16) and (3.18) that condition (i) holds if and only if there exists an orthonormal basis e1, . . . , em at p, such that the shape operators ofM inM˜matpsatisfy conditions (3.4) and (3.5).

The converse can be easily verified.

(15)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page15of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

4. Some Applications

The following results follow immediately from Theorem3.1

Theorem 4.1. LetM be ann-dimensional submanifold of the complex projec- tivem-spaceCPm(4)of constant holomorphic sectional curvature4(or the quaternionic projective m-spaceQPm(4)of quaternionic sectional curvature 4). Then we have

(4.1) δ(n1, . . . , nk)(p)≤c(n1, . . . , nk)H2(p) + 4b(n1, . . . , nk) for anyk-tuple(n1, . . . , nk)∈ S(n).

Theorem 4.2. Let M be ann-dimensional submanifold of the complex hyper- bolicm-spaceCHm(4)of constant holomorphic sectional curvature4c(or the quaternionic hyperbolicm-spaceQHm(4)of quaternionic sectional curvature 4). Then we have

(4.2) δ(n1, . . . , nk)(p)≤c(n1, . . . , nk)H2(p) +b(n1, . . . , nk) for anyk-tuple(n1, . . . , nk)∈ S(n).

Theorem 4.3. Letm be a Riemannian manifold whose sectional curvature function is bounded above by. IfM is a Riemanniann-manifold such that

δ(n1, . . . , nk)(p)> 1 2

n(n−1)−X

nj(nj −1)

for some k-tuple(n1, . . . , nk)∈ S(n)at some pointp∈ M, thenM admits no minimal isometric immersion inm.

(16)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page16of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

In particular, we have the following non-existence result.

Corollary 4.4. IfM is a Riemanniann-manifold with

δ(n1, . . . , nk)>0

at some point in M for some k-tuple(n1, . . . , nk) ∈ S(n), then M admits no minimal isometric immersion into any Riemannianm-manifoldM˜m with non- positive sectional curvature, regardless of codimension.

A (2m + 1)-dimensional manifold is called almost contact if it admits a tensor fieldφof type(1,1), a vector fieldξand a 1-formηsatisfying

(4.3) φ2 =−I+η⊗ξ, η(ξ) = 1,

whereIis the identity endomorphism. It is well-known that φξ = 0, η◦φ= 0.

Moreover, the endomorphismφhas rank2m.

An almost contact manifold( ˜M , φ, ξ, η)is called an almost contact metric manifold if it admits a Riemannian metricg such that

(4.4) g(φX, φY) =g(X, Y)−η(X)η(Y)

for vector fieldsX, Y tangent toM˜. SettingY =ξwe have immediately that η(X) = g(X, ξ).

(17)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page17of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

By a contact manifold we mean a (2m+ 1)-manifold M˜ together with a global 1-formηsatisfying

η∧(dη)m 6= 0

onM. Ifηof an almost contact metric manifold( ˜M , φ, ξ, η, g)is a contact form and ifηsatisfies

dη(X, Y) =g(X, φY)

for all vectorsX, Y tangent toM˜, thenM˜ is called a contact metric manifold.

A contact metric manifold is calledK-contact if its characteristic vector field ξ is a Killing vector field. It is well-known that a K-contact metric (2n+ 1)- manifold satisfies

(4.5) ∇Xξ=−φX, K(X, ξ) = 1˜

forX ∈kerη, whereK˜ denotes the sectional curvature onM. AK-contact manifold is called Sasakian if we have

Nφ+ 2dη⊗ξ= 0,

whereNφis the Nijenhuis tensor associated toφ. A plane sectionσinTp2m+1 of a Sasakian manifold M˜2m+1 is called φ-section if it is spanned by X and φ(X), whereXis a unit tangent vector orthogonal toξ. The sectional curvature with respect to a φ-section σ is called a φ-sectional curvature. If a Sasakian manifold has constantφ-sectional curvature, it is called a Sasakian space form.

Ann-dimensional submanifoldMn of a Sasakian space formM˜2m+1(c)is called aC-totally real submanifold ofM˜2m+1(c)ifξis a normal vector field on

(18)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page18of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

Mn. A direct consequence of this definition is thatφ(T Mn)⊂ TMn, which means thatMnis an anti-invariant submanifold ofM˜2m+1(c)

It is well-known that the Riemannian curvature tensor of a Sasakian space formM˜2m+1()of constantφ-sectional curvatureis given by [1]:

(4.6) R(X, Y˜ )Z = + 3

4 (hY, ZiX− hX, ZiY) +−1

4 (η(X)η(Z)Y −η(Y)η(Z)X+hX, Ziη(Y)ξ

− hY, Ziη(X)ξ+hφY, ZiφX− hφX, ZiφY −2hφX, YiφZ) forX, Y, Z tangent toM˜2m+1(). Hence if≥ 1, the sectional curvature func- tionK˜ ofM˜2m+1()satisfies

(4.7) + 3

4 ≤K˜(X, Y)≤ forX, Y ∈kerη; if <1, the inequalities are reversed.

From Theorem3.1and these sectional curvature properties (4.5) and (4.7) of Sasakian space forms, we obtain the following results for arbitrary Riemannian submanifolds in Sasakian space forms.

Corollary 4.5. If M is an n-dimensional submanifold of a Sasakian space form M˜() of constant φ-sectional curvature ≥ 1, then, for any k-tuple (n1, . . . , nk)∈ S(n), we have

(4.8) δ(n1, . . . , nk)(p)≤c(n1, . . . , nk)H2(p) +b(n1, . . . , nk).

(19)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page19of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

Corollary 4.6. If M is an n-dimensional submanifold of a Sasakian space form M˜() of constant φ-sectional curvature < 1, then, for any k-tuple (n1, . . . , nk)∈ S(n), we have

(4.9) δ(n1, . . . , nk)(p)≤c(n1, . . . , nk)H2(p) +b(n1, . . . , nk).

Corollary 4.7. IfM is ann-dimensionalC-totally real submanifold of a Sasakian space formM˜()of constantφ-sectional curvature≤1, then, for anyk-tuple (n1, . . . , nk)∈ S(n), we have

(4.10) δ(n1, . . . , nk)(p)≤c(n1, . . . , nk)H2(p) +b(n1, . . . , nk)+ 3 4 . Corollary4.7has been obtained in [13].

(20)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page20of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

References

[1] D.E. BLAIR, Riemannian Geometry of Contact and Symplectic Manifolds, Birkhäuser, Boston, 2002.

[2] D.E. BLAIR, F. DILLEN, L. VERSTRAELEN AND L. VRANCKEN, Calabi curves as holomorphic Legendre curves and Chen’s inequality, Kyungpook Math. J., 35 (1996), 407–416.

[3] B.Y. CHEN, Geometry of Submanifolds, M. Dekker, New York, 1973.

[4] B.Y. CHEN, Some pinching and classification theorems for minimal sub- manifolds, Arch. Math., 60 (1993), 568–578.

[5] B.Y. CHEN, Some new obstructions to minimal and Lagrangian isometric immersions, Japan. J. Math., 26 (2000), 105–127.

[6] B.Y. CHEN, Riemannian Submanifolds, in Handbook of Differential Ge- ometry, Volume I, North Holland, (edited by F. Dillen and L. Verstraelen) 2000, pp. 187–418.

[7] B.Y. CHEN, F. DILLEN AND L. VERSTRAELEN, Affine δ-invariants and their applications to centroaffine geometry, Differential Geom. Appl., 23 (2005), 341–354.

[8] B.Y. CHEN ANDI. MIHAI, Isometric immersions of contact Riemannian manifolds in real space forms, Houston J. Math., 31 (2005), 743–764.

[9] D. CIOROBOIU, B. Y. Chen inequalities for bi-slant submanifolds in Sasakian space forms, Demonstratio Math., 36 (2003), 179–187.

(21)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page21of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

[10] D. CIOROBOIU, B. Y. Chen inequalities for semislant submanifolds in Sasakian space forms, Int. J. Math. Math. Sci., 2003 no. 27, 1731–1738.

[11] M. DAJCZER AND L.A. FLORIT, On Chen’s basic equality, Illinois J.

Math., 42 (1998), 97–106.

[12] F. DEFEVER, I. MIHAIANDL. VERSTRAELEN, B. Y. Chen’s inequal- ity for C-totally real submanifolds in Sasakian space forms, Boll. Un. Mat.

Ital., Ser. B, 11 (1997), 365-374.

[13] F. DEFEVER, I. MIHAIANDL.VERSTRAELEN, B.-Y. Chen’s inequali- ties for submanifolds of Sasakian space forms, Boll. Unione Mat. Ital. Sez.

B Artic. Ric. Mat., (8) 4 (2001), 521–529.

[14] F. DILLEN, M. PETROVI ´C AND L. VERSTRAELEN, Einstein, confor- mally flat and semi-symmetric submanifolds satisfying Chen’s equality, Israel J. Math., 100 (1997), 163–169.

[15] F. DILLEN ANDL. VRANCKEN, Totally real submanifolds inS6(1)sat- isfying Chen’s equality, Trans. Amer. Math. Soc., 348 (1996), 1633–1646 [16] F. DILLEN AND L. VRANCKEN, Improper affine spheres and δ-

invariants, Banach Center Publications, Polish Acad. Sci. (to appear).

[17] S. FUNABASHI, Y.M. KIM ANDJ.S. PAK, On submanifolds of L×f F satisfying Chen’s basic equality, Acta Math. Hungr. 99 (2003), 189-201.

[18] M. GROMOV, Isometric immersions of Riemannian manifolds, in: Elie Cartan et les Mathématiques d’Aujourd’hui, Astérisque 1985, pp. 129–

133.

(22)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page22of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

[19] S. HAESEN ANDL. VERSTRAELEN, Ideally embedded space-times. J.

Math. Phys., 45 (2004), 1497–1510.

[20] J.-K. KIM, Y.-M. SONG ANDM. M. TRIPATHI, B.-Y. Chen inequalities for submanifolds in generalized complex space forms, Bull. Korean Math.

Soc., 40 (2003), 411–423.

[21] Y. M. KIM, Chen’s basic equalities for submanifolds of Sasakian space form, Kyungpook Math. J., 43 (2003), 63–71.

[22] T. NAGANO, On the minimum eigenvalues of the Laplacians in Rieman- nian manifolds, Sci. Papers College Gen. Edu. Univ. Tokyo, 11 (1961), 177–182.

[23] J.F. NASH, The imbedding problem for Riemannian manifolds, Ann. of Math., 63 (1956), 20–63.

[24] T. SASAHARA,CR-submanifolds in a complex hyperbolic space satisfy- ing an equality of Chen, Tsukuba J. Math., 23 (1999), 565–583.

[25] T. SASAHARA, Chen invariant of CR-submanifolds, in: Geometry of Submanifolds, pp. 114–120, Kyoto, 2001.

[26] T. SASAHARA, On Chen invariant of CR-submanifolds in a complex hyperbolic space, Tsukuba J. Math., 26 (2002), 119–132.

[27] B. SUCEAV˘A, Some remarks on B. Y. Chen’s inequality involving clas- sical invariants, An. ¸Stiin¸t. Univ. Al. I. Cuza Ia¸si. Mat. (N.S.), 45 (1999), 405–412.

(23)

A General Optimal Inequality for Arbitrary Riemannian

Submanifolds Bang-Yen Chen

Title Page Contents

JJ II

J I

Go Back Close

Quit Page23of23

J. Ineq. Pure and Appl. Math. 6(3) Art. 77, 2005

http://jipam.vu.edu.au

[28] B. SUCEAV˘A, The Chen invariants of warped products of hyperbolic planes and their applications to immersibility problems, Tsukuba J. Math., 25 (2001), 311–320.

[29] M.M. TRIPATHI, J.S. KIMANDS.B. KIM, A note on Chen’s basic equal- ity for submanifolds in a Sasakian space form, Int. J. Math. Math. Sci., 11 (2003), 711–716.

[30] D.W. YOON, B.-Y. Chen’s inequality for CR-submanifolds of locally con- formal Kaehler space forms, Demonstratio Math., 36 (2003), 189–198.

参照

関連したドキュメント

In this paper, we establish the following result: Let M be an n-dimensional complete totally real minimal submanifold immersed in CP n with Ricci curvature bound- ed from

Furthermore, as the Snake Lemma holds in A —see Bourn [10, Theorem 14]—we get Proposition 2.4: any short exact sequence of proper chain complexes induces a long exact sequence

In Section 4 we define what it means for an edge to be tight with respect to a real number distinct from the valency of the graph, establish some basic properties and, in Section 5,

The following corollary which provides a simpler Grüss type inequality for real constants (and in particular, for real inner product spaces) holds..

The fact that the entwining maps which were presented in this Section preserve two invariants in separated variables, enable us to introduce appropriate potentials (as shown in [44,

In this paper, by employing a functional inequality introduced in [5], which is an abstract generalization of the classical Jessen’s inequality [10], we further establish the

В данной работе приводится алгоритм решения обратной динамической задачи сейсмики в частотной области для горизонтально-слоистой среды

For example, [9] and [4] considered real 4-manifolds immersed in C 5 (or some other (almost) complex 5-manifold), which will generally have isolated points where the real tangent