關于具有相對迷向平均Landsberg曲率的芬斯勒流形的一個剛性定理

程新躍，劉樹華，殷 麗，李婷婷

(重慶理工大學 理學院， 重慶 400054)

關于具有相對迷向平均Landsberg曲率的芬斯勒流形的一個剛性定理

程新躍，劉樹華，殷 麗，李婷婷

(重慶理工大學 理學院， 重慶 400054)

研究了閉的具有相對迷向Landsberg曲率(即J+c(x)FI=0)的芬斯勒流形，并證明了若c(x)在流形上恒為正或恒為負，則該流形一定是黎曼流形。

芬斯勒流形；黎曼流形；Landsberg曲率；平均Landsberg曲率

給定光滑流形M上的一個芬斯勒度量F,其基本張量g的定義為

其中

(1)

黎曼流形是特殊的芬斯勒流形。 對于芬斯勒流形(M,F),由基本張量的定義可知,若F所對應的基本張量g與y無關,則是黎曼流形。 為了區分芬斯勒度量中的黎曼度量，E.Cartan引入了Cartan張量C,

(2)

其中

(3)

Cartan張量C的平均值I稱為平均Cartan張量，其定義為

(4)

其中gij=(gij)-1。

由式(2)、(3)可知：C=0等價于gij與y無關,即F為黎曼度量。進一步地,Deicke于1953年證明了如下定理：

Deicke定理[1]一個正定的芬斯勒度量是黎曼度量的充分必要條件是其(平均)Cartan張量等于零。

將平均Cartan張量I沿著測地線的變化率稱為平均Landsberg曲率,記為J,其定義為

(5)

其中“|”表示在陳聯絡下關于F的水平協變導數。

若(M,F)滿足條件J=0,則稱(M,F)為弱Landsberg流形。更一般地,若存在流形M上的光滑函數c(x)使得J+c(x)FI=0成立,則稱(M,F)為具有相對迷向平均Landsberg曲率的芬斯勒流形。 可以發現：許多重要的芬斯勒度量都具有相對迷向平均Landsberg曲率[2-4]。

在芬斯勒幾何中,一個非常自然而重要的問題是：在怎樣的幾何條件下,芬斯勒流形一定是黎曼流形？

芬斯勒幾何學家們就這一問題展開了大量的研究,并取得了較多成果。在負常數旗曲率的情形下,Akbar-Zadeh于1988年證明了任一閉的具有負常數旗曲率的芬斯勒流形一定是黎曼流形[5]。 在正常旗曲率的情形下,Kim和Yim于2003年證明了任一具有正常數旗曲率且S-曲率為0的可反芬斯勒流形一定是黎曼流形[6]。在非零常數旗曲率的情形下,沈忠民教授于2001年證明了任一具有非零常數旗曲率的弱Landsberg流形一定是黎曼流形[7]。在負旗曲率的情形下,沈忠民教授于2005年證明了任一閉的具有負旗曲率且具有常數S-曲率的芬斯勒流形一定是黎曼流形[8,9]。特別地,吳炳燁在2007年證明了任一閉的具有負旗曲率的弱Landsberg流形一定是黎曼流形[10]。

聯系芬斯勒流形具有相對迷向平均Landsberg曲率的定義,對比文獻[10]中的結論,自然地產生一個問題：在什么樣的條件下,具有相對迷向平均Landsberg曲率的芬斯勒流形一定是黎曼流形？

本文針對這一問題展開了研究,并得到了如下定理：

定理1 設(M,F)是閉的具有相對迷向平均Landsberg曲率的芬斯勒流形,即J+c(x)FI=0。若其中的c(x)在流形M上恒為正或恒為負,則(M,F)一定是黎曼流形。

1 預備知識

令(M,F)是一個n維芬斯勒流形,記

是它的帶孔切叢。自然叢投影π:TM0→M誘導了TM0上的向量叢π*TM(它是TM在自然的叢投影下的拉回切子叢),π*TM在一點 (x,y)∈TM0的纖維是

2) 與度量的幾乎相容性：

(6)

這里,

(7)

對于n維芬斯勒流形(M,F),F的測地線可以由下述2階微分方程組給出：

其中

Gi稱為F的測地系數。

可以定義TM0上的光滑函數f:TM0→R關于陳聯絡的協變微分

(8)

其中：f|i為f的水平協變導數；f.i稱為f的垂直協變導數。

(9)

根據直接計算可知：

(10)

若流形M是閉的光滑流形,吳炳燁證明了如下的重要結論[10]：

引理1將是以下證明主要定理的一個重要工具。

2 定理的證明

在證明定理1之前,首先證明如下定理：

定理2 設F是定義在閉流形M上的芬斯勒度量。 若F具有相對迷向平均Landsberg曲率(即J+c(x)FI=0),且在流形M上恒有c(x)≥0(或c(x)≤0),則(M,F)一定為下列情形之一：

1) 若c(x)=0,則(M,F)是弱Landsberg流形；

2) 若c(x)≠0,則(M,F)是黎曼流形。

2F2Ii|mymIjgij

(11)

將式(5)代入式(11)可得：

(12)

根據已知條件,有J+c(x)FI=0,即Ji+c(x)FIi=0。于是,可以將式(12)改寫為：

(13)

若c(x)=0,則由J+c(x)FI=0有J=0,此時(M,F)一定是弱Landsberg流形。

若c(x)≠0,則有‖I‖=0,故I=0,根據Deicke定理可知(M,F)一定是黎曼流形。

定理2證明完畢。

接下來證明定理1。

如前所述,吳炳燁證明了具有負旗曲率的閉的弱Landsberg流形一定是黎曼流形[10]。相比于這一結論,本文的定理1去掉了旗曲率的限制條件,并且將曲率條件“J=0”弱化為“J+c(x)FI=0”,卻仍然得到了“(M,F)一定是黎曼流形”的同樣的結果。

進一步地,結合上述吳炳燁的結論,可以得到如下推論：

推論1 設(M,F)是閉的具有相對迷向平均Landsberg曲率的芬斯勒流形,即J+c(x)FI=0， 若在流形M上恒有c(x)≥0(c(x)≤0),且F具有負旗曲率,則(M,F)一定是黎曼流形。

需要說明的是：定理1中的條件“(M,F)是閉的”芬斯勒流形不能去掉,否則定理就可能不成立.舉例如下：

例1[3]令Ω是Rn中的一個有界開集,其邊界?Ω是嚴格凸的，則在Ω上可唯一定義一個度量F,滿足

Fxk=FFyk

(14)

滿足式(14)的度量稱為Funk度量。 易證,F具有相對迷向平均Landsberg曲率J±(1/2)FI=0。

若?Ω=Sn-1,容易驗證Funk度量F為

y∈TxRn

(15)

易見,由式(15)確定的Funk度量F定義在Rn中的一個有界開球Ω=Bn(1)上,且具有相對迷向的平均Landsberg曲率,其中c=±(1/2)在Ω上保持定號， 顯然,此時F不是一個黎曼度量。

[1] DEICKE A.Uber die Finsler-Raume mitAi=0[J].Arch Math,1953,4:45-51.

[2] CHENG X,MO X,SHEN Z.On the flag curvature of finsler metrics of scalar curvature[J].Journal of the London Mathematical Society,2003,68(3):762-780.

[3] CHENG X,SHE N.Randers metrics with special curvature proper Zties[J].Osaka J Math,2003,40:87-101.

[4] CHENG X,SHEN Z.A class of Finsler metrics with isotropic S-curvature[J].Israel J Mathematics,2009,169(1):317-340.

[5] AKBAR-ZADEH H.Sur Les Espaces de Finsler A Courbures Sectionnelles[J].Acad Roy Belg Bull Cl Sci,1988,74(5):271-322.

[6] KIM C W,YIM J H.Finsler manifolds with positive constant flag curvature[J].Geom Dedicata,2003,98:47-56.

[7] SHEN Z.Lectures on Finsler Geometry[M].Singapore:World Sci,2001.

[8] SHEN Z.Nonpositively curved Finsler manifolds with constant S-curvature[J].Math Z,2005,249:625-639.

[9] SHEN Z.Volume comparison and its applications in Riemann-Finsler geometry[J].Advances in Mathematics,1997,128:306-328.

[10]WU B.A global rigidity theorem for weakly Landsberg manifold[J].Science in China,series A,2007,37(3):285-290.

[11]CHERN S S,SHEN Z.Riemannian-Finsler Geometry[M].Singapore:Worid Sci,2005.

(責任編輯 林 芳)

A Rigidity Theorems About Finsler Manifolds with Relatively Isotropic Mean Landsberg Curvature

CHENG Xinyue, LIU Shuhua, YIN Li, LI Tingting

(College of Science, Chongqing University of Technology, Chongqing 400054, China)

In this paper, we study the closed Finsler manifold of relatively isotropic mean Landsberg curvature withJ+c(x)FI=0. We prove that ifc(x) is always negative or positive on the manifold, then the Finsler manifold must be Riemannian manifold.

Finsler manifold; Riemannian manifold; Landsberg curvature; mean Landsberg curvature

2017-01-09 基金項目：國家自然科學基金資助項目(11371386)

程新躍(1958—)，男，重慶人，博士，教授，主要從事微分幾何及其應用研究,E-mail:chengxy@cqut.edu.cn。

程新躍,劉樹華,殷麗,等.關于具有相對迷向平均Landsberg曲率的芬斯勒流形的一個剛性定理[J].重慶理工大學學報(自然科學)，2017(8):170-173.

format：CHENG Xinyue, LIU Shuhua, YIN Li, et al.A Rigidity Theorems About Finsler Manifolds with Relatively Isotropic Mean Landsberg Curvature[J].Journal of Chongqing University of Technology(Natural Science)，2017(8):170-173.

10.3969/j.issn.1674-8425(z).2017.08.028

O186.13

A

1674-8425(2017)08-0170-04