西南大学学报 (自然科学版)  2019, Vol. 41 Issue (2): 52-59.  DOI: 10.13718/j.cnki.xdzk.2019.02.008
0
Article Options
  • PDF
  • Abstract
  • Figures
  • References
  • 扩展功能
    Email Alert
    RSS
    本文作者相关文章
    程新跃
    李婷婷
    殷丽
    欢迎关注西南大学期刊社
     

  • 关于射影Ricci曲率的比较定理与共形不变性    [PDF全文]
    程新跃1, 李婷婷2, 殷丽2     
    1. 重庆师范大学 数学科学学院, 重庆 401331;
    2. 重庆新东方培训学校 优能中学部, 重庆 400020
    摘要:主要研究了芬斯勒度量的射影Ricci曲率.首先,在一个完备的芬斯勒流形上,证明了关于芬斯勒度量的射影Ricci曲率的一个比较定理.其次,刻画了两个共形相关的芬斯勒度量的射影Ricci曲率的关系.在此基础上,证明了两个位似相关的芬斯勒度量的射影Ricci曲率是相等的.
    关键词芬斯勒度量    射影Ricci曲率    Ricci曲率    S-曲率    共形相关    

    芬斯勒几何中的Ricci曲率是黎曼几何中Ricci曲率的自然推广,它是芬斯勒几何中一类重要的黎曼几何量. Ricci曲率在射影几何中扮演着重要角色.文献[1]给出了射影几何中关于Ricci曲率的比较定理.在芬斯勒几何中,S-曲率是一类非常重要的非黎曼几何量,与黎曼几何量有着密切的联系,它是由文献[2-3]在研究黎曼-芬斯勒几何中的体积比较定理时首次提出来的.文献[2-3]证明了:黎曼几何中的Bishop-Gromov体积比较定理对具有零S-曲率的芬斯勒流形仍然成立;S-曲率与Ricci曲率决定了在芬斯勒流形中一个点邻近的小度量球的Busemann-Hausdroff测度的局部行为.文献[4-5]深刻地刻画了一类重要的芬斯勒度量——(α,β)-度量的S-曲率和Ricci曲率的性质.文献[6]研究了具有迷向S-曲率的Randers度量的Ricci曲率的性质.以上研究表明:S-曲率与Ricci曲率有着紧密的联系,对芬斯勒度量的结构有着非常深刻的影响.因此,一个自然的问题是:如何利用S-曲率和Ricci曲率进一步深入研究芬斯勒度量的性质和几何结构?由此,沈忠民自然地引入了芬斯勒度量的射影Ricci曲率,其定义如下:

    $ {\bf{PRic}} = {\bf{Ric}} + \left( {n - 1} \right)\left\{ {{{{\bf{\bar S}}}_{\left| m \right.}}{y^m} + {{{\bf{\bar S}}}^2}} \right\} $

    其中

    $ {\bf{\bar S}} = \frac{1}{{n + 1}}{\bf{S}} $

    “|”表示关于芬斯勒度量F的Berwald联络(或Chern联络)的水平协变导数.根据射影Ricci曲率的定义,PRic可等价地表示为

    $ {\bf{PRic}} = {\bf{Ric}} + \frac{{n - 1}}{{n + 1}}{{\bf{S}}_{\left| m \right.}}{y^m} + \frac{{n - 1}}{{{{\left( {n + 1} \right)}^2}}}{{\bf{S}}^2} $

    如果一个芬斯勒度量F的射影Ricci曲率等于0(PRic=0),则称芬斯勒度量F是射影Ricci平坦的.近年来,关于芬斯勒度量的射影Ricci曲率相关问题的研究受到了几何学家的关注.文献[7]刻画了两个射影等价的芬斯勒度量的射影Ricci曲率的关系,并证明了:对于一个给定体积形式的芬斯勒流形,芬斯勒度量的射影Riccis曲率是一个射影不变量.文献[8]研究了射影Ricci平坦的Randers度量,得到了相应的分类定理.文献[9]研究和刻画了射影Ricci平坦的Kropina度量.

    芬斯勒共形几何是芬斯勒几何中的重要组成部分.著名的Weyl定理证明了芬斯勒度量的共形性质和射影性质唯一地决定了这个度量的属性[10-11].因此,关于芬斯勒度量共形性质的研究一直受到几何学家的极大关注.对于n维芬斯勒流形上的两个芬斯勒度量FF,若流形M上存在一个标量函数c(x),使得

    $ \bar F\left( {x,y} \right) = {{\rm{e}}^{c\left( x \right)}}F\left( {x,y} \right) $

    则称度量的变换FF为共形变换,或称FF共形相关,称c=c(x)为共形因子.当c为常数时,称FF位似相关.一个自然的问题是:在共形变换下,芬斯勒度量中的一些重要几何量(如Cartan张量、Ricci曲率、Landsberg曲率、S-曲率等)有什么变换规律?文献[12]研究了芬斯勒度量的基本张量、角度量张量和Cartan张量在共形变换下的关系.在此基础上,文献[10]刻画了共形变换下的芬斯勒度量的一些重要几何量(包括黎曼曲率、Ricci曲率、Landsberg曲率、平均Landsberg曲率、S-曲率等)的变换规律,并讨论了在共形变换下这些几何量保持不变的充要条件.文献[13]证明了:保持非Randers型的(αβ)-度量成为Douglas度量的属性不变的共形变换是位似的;将具有迷向S-曲率的非黎曼(αβ)-度量变换成为另一具有迷向S-曲率的非黎曼(αβ)-度量的共形变换是位似变换.根据上述研究,我们很自然地想到在共形变换下,围绕一些重要的芬斯勒度量的射影Ricci曲率展开研究,刻画其射影Ricci曲率的关系与共形不变性.

    本文主要针对芬斯勒度量的射影Ricci曲率的相关问题进行了研究.首先,证明了关于芬斯勒度量的射影Ricci曲率的一个比较定理.其次,讨论了两个共形相关的芬斯勒度量的射影Ricci曲率的变化规律.并在此基础之上,证明了两个位似相关的芬斯勒度量的射影Ricci曲率是相等的.

    1 预备知识

    Fn维流形M上的一个芬斯勒度量.在局部坐标系(xy)下,度量F的测地线可以由下述二阶微分方程组来刻画:

    $ \frac{{{{\rm{d}}^2}{x^i}}}{{{\rm{d}}{t^2}}} + 2{G^i}\left( {x,\frac{{{\rm{d}}{x^i}}}{{{\rm{d}}t}}} \right) = 0 $

    其中:

    $ {G^i}\left( {x,y} \right) = \frac{1}{4}{g^{il}}\left\{ {{{\left[ {{F^2}} \right]}_{{x^k}{y^l}}}{y^k} - {{\left[ {{F^2}} \right]}_{{x^l}}}} \right\} $
    $ {G^i}\left( {x,\lambda y} \right) = {\lambda ^2}{G^i}\left( {x,y} \right)\;\;\;\;\;\;\lambda > 0 $
    $ \begin{array}{*{20}{c}} {{g_{ij}}\left( {x,y} \right) = \frac{1}{2}{{\left[ {{F^2}} \right]}_{{y^i}{y^j}}}\left( {x,y} \right)}&{\left( {{g^{ij}}} \right) = {{\left( {{g_{ij}}} \right)}^{ - 1}}} \end{array} $

    Gi=Gi(xy)被称为F的测地系数.

    芬斯勒几何中的黎曼曲率是黎曼几何中的黎曼曲率的一个自然推广.根据芬斯勒度量的测地系数,我们可以确定度量的黎曼曲率,其定义为

    $ {{\bf{R}}_y} = R_k^i\frac{\partial }{{\partial {x^i}}} \otimes {\rm{d}}{x^k} $

    其中

    $ R_k^i = 2\frac{{\partial {G^i}}}{{\partial {x^k}}} - \frac{{{\partial ^2}{G^i}}}{{\partial {x^m}\partial {y^k}}}{y^m} + 2{G^m}\frac{{{\partial ^2}{G^i}}}{{\partial {y^m}\partial {y^k}}} - \frac{{\partial {G^i}}}{{\partial {y^m}}}\frac{{\partial {G^m}}}{{\partial {y^k}}} $

    进一步地,黎曼曲率的迹

    $ {\bf{Ric}} = R_m^m $

    被称为芬斯勒度量的Ricci曲率.

    定义芬斯勒流形(MF)上的Busemann-Hausdorff体积形式为

    $ {\rm{d}}{V_F} = {\sigma _F}\left( x \right){\rm{d}}{x^1} \wedge {\rm{d}}{x^2} \wedge \cdots \wedge {\rm{d}}{x^n} $

    其中

    $ {\sigma _F}\left( x \right) = \frac{{{\text{Vol}}\left( {{B^n}\left( 1 \right)} \right)}}{{{\text{Vol}}\left\{ {y \in {\mathbb{R}^n}\left| {F\left( {x,y} \right) < 1} \right.} \right\}}} $

    这里Vol{·}表示$\mathbb{R}$n上的欧氏体积函数.从而,芬斯勒度量F的S-曲率定义为

    $ {\bf{S}}\left( {x,y} \right) = \frac{{\partial {G^m}}}{{\partial {y^m}}} - {y^m}\frac{{\partial \left( {\ln {\sigma _F}} \right)}}{{\partial {x^m}}} $

    显然,S(xy)关于y是一阶正齐次的,即

    $ \begin{array}{*{20}{c}} {{\bf{S}}\left( {x,\lambda y} \right) = \lambda {\bf{S}}\left( {x,y} \right)}&{\lambda > 0} \end{array} $

    Cartan张量C是定义在π*TM上的三阶对称张量:

    $ \mathit{\boldsymbol{C}} = {C_{ijk}}\left( {x,y} \right){\rm{d}}{x^i} \otimes {\rm{d}}{x^j} \otimes {\rm{d}}{x^k} $
    $ {C_{ijk}}\left( {x,y} \right) = \frac{1}{4}{\left[ {{F^2}} \right]_{{y^i}{y^j}{y^k}}} = \frac{1}{2}\frac{{\partial {g_{ij}}}}{{\partial {y^k}}} $

    它的平均值I=Ik(xy)dxk称为平均Cartan张量,其中

    $ \begin{array}{*{20}{c}} {{I_k}\left( {x,y} \right) = {g^{ij}}{C_{ijk}}\left( {x,y} \right)}&{\left( {{g^{ij}}} \right) = {{\left( {{g_{ij}}} \right)}^{ - 1}}} \end{array} $

    此外,Cartan张量C和平均Cartan张量I关于y是负一阶正齐次的,即:

    $ \begin{array}{*{20}{c}} {{\mathit{\boldsymbol{C}}_{\lambda y}} = {\lambda ^{ - 1}}{\mathit{\boldsymbol{C}}_y}}&{{\mathit{\boldsymbol{I}}_{\lambda y}} = {\lambda ^{ - 1}}{\mathit{\boldsymbol{I}}_y}}&{\lambda > 0} \end{array} $

    对于任意一个yTPM(y≠0),Landsberg曲率的定义为

    $ {{\bf{L}}_y} = {L_{ijk}}\left( {x,y} \right){\rm{d}}{x^i} \otimes {\rm{d}}{x^j} \otimes {\rm{d}}{x^k} $

    其中

    $ {L_{ijk}}\left( {x,y} \right) = - \frac{1}{2}{y^m}{g_{ml}}\frac{{{\partial ^3}{G^l}}}{{\partial {y^i}\partial {y^j}\partial {y^k}}} $

    进一步地,Landsberg曲率系数还可表示为

    $ {L_{ijk}}\left( {x,y} \right) = - \frac{1}{2}{g_{ij\left| k \right.}} = {C_{ijk\left| m \right.}}{y^m} $

    其中,“|”表示关于芬斯勒度量F的Berwald联络的水平协变导数[14].进而,平均Landsberg曲率

    $ {{\bf{J}}_y} = {J_i}\left( {x,y} \right){\rm{d}}{x^i}:{T_p}M \to R $

    有如下定义:

    $ {J_i}\left( {x,y} \right) = {g^{ij}}{L_{ijk}} = {I_{i\left| k \right.}}{y^k} $

    定义1  设FFn维芬斯勒流形上的芬斯勒度量,若流形M上存在一个标量函数c(x),使得

    $ \bar F\left( {x,y} \right) = {{\rm{e}}^{c\left( x \right)}}F\left( {x,y} \right) $

    则称度量的变换FF为共形变换,或称FF共形相关,称c=c(x)为共形因子.特别地,若c为常数,则称度量的变换FF为位似变换,或称FF位似相关.

    根据定义1,容易得到芬斯勒度量的基本张量、角度量张量和Cartan张量等在共形变换下的基本关系.

    引理1[12]  设FFn维芬斯勒流形上的芬斯勒度量,若流形M上存在一个标量函数c(x),使得F(xy)=ec(x)F(xy),则:

    (a) gij(xy)=e2c(x)gij(xy),gij(xy)=e-2c(x)gij(xy),其中(gij)=(gij)-1

    (b) hij(xy)=e2c(x)hij(xy),这里hij=gij-FyiFyj称为F的角度量张量;

    (c) yk=e2c(x)yk

    (d) Cijk(xy)=e2c(x)Cijk(xy);

    (e) Cikj(xy)=Cikj(xy),Ik(xy)=Ik(xy),其中Cikj=gjlClikIk=gijCijk.

    由引理1(e)可知,Cikj和平均Cartan张量I=Ik(xy)dxk是共形不变量.

    2 射影Ricci曲率的比较定理

    定理1  设(M,F)是完备的芬斯勒流形.若F满足PRicRic,则S=0.

      设(MF)是完备的芬斯勒流形.根据射影Ricci曲率的定义,可知

    ${\bf{PRic}} = {\bf{Ric}} + \frac{{n - 1}}{{n + 1}}{S_{\left| m \right.}}{y^m} + \frac{{n - 1}}{{{{\left( {n + 1} \right)}^2}}}{\mathit{\boldsymbol{S}}^2} $ (1)

    其中,“|”表示关于芬斯勒度量F的Berwald联络的水平协变导数.

    对于任意xM和任意固定的yTxM\{0},令c=c(t)为满足c(0)=xc·(0)=y的度量F的测地线.定义

    $ \begin{array}{*{20}{c}} {{\bf{S}}\left( t \right) = {\bf{S}}\left( {c\left( t \right),\dot c\left( t \right)} \right)}&{ - \infty < t < + \infty } \end{array} $

    $ {\bf{S'}}\left( t \right) = {{\bf{S}}_{\left| m \right.}}\left( {c\left( t \right),\dot c\left( t \right)} \right){{\dot c}^m}\left( t \right) $

    PRicRic,则由(1)式得

    $ {{\bf{S}}_{\left| m \right.}}{y^m} + \frac{1}{{n + 1}}{{\bf{S}}^2} = \frac{{n + 1}}{{n - 1}}\left( {{\bf{PRic}} - {\bf{Ric}}} \right) \ge 0 $

    S(t)满足

    $ {\bf{S'}}\left( t \right) + \frac{1}{{n + 1}}{{\bf{S}}^2}\left( t \right) \ge 0 $ (2)

    $ {{\bf{S}}_0}\left( t \right) = \frac{{{\bf{S}}\left( {x,y} \right)}}{{\left( {n + 1} \right) + t{\bf{S}}\left( {x,y} \right)}} $

    容易得到

    $ {{\bf{S}}_0}\left( 0 \right) = \frac{{{\bf{S}}\left( {x,y} \right)}}{{n + 1}} $

    $ {{{\bf{S'}}}_0}\left( t \right) = - \frac{{{{\bf{S}}^2}\left( {x,y} \right)}}{{{{\left[ {\left( {n + 1} \right) + t{\bf{S}}\left( {x,y} \right)} \right]}^2}}} $

    由此可得,S0(t)满足

    $ {{{\bf{S'}}}_0}\left( t \right) + {\bf{S}}_0^2\left( t \right) = 0 $ (3)

    进一步,定义

    $ f\left( t \right) = \exp \left\{ {\int_0^t {\left[ {\frac{{{\bf{S}}\left( s \right)}}{{n + 1}} + {{\bf{S}}_0}\left( s \right)} \right]{\rm{d}}s} } \right\}\left\{ {\frac{{{\bf{S}}\left( t \right)}}{{n + 1}} - {{\bf{S}}_0}\left( t \right)} \right\} $

    并关于t求导,结合(2)式和(3)式,可得

    $ f'\left( t \right) = \exp \left\{ {\int_0^t {\left[ {\frac{{{\bf{S}}\left( s \right)}}{{n + 1}} + {{\bf{S}}_0}\left( s \right)} \right]{\rm{d}}s} } \right\}\left\{ {\frac{1}{{n + 1}}\left[ {{\bf{S'}}\left( t \right) + \frac{1}{{n + 1}}{{\bf{S}}^2}\left( t \right)} \right] - \left[ {{{{\bf{S'}}}_0}\left( t \right) + {\bf{S}}_0^2\left( t \right)} \right]} \right\} \ge 0 $

    注意到

    $ f\left( 0 \right) = \frac{{{\bf{S}}\left( {x,y} \right)}}{{n + 1}} - {{\bf{S}}_0}\left( 0 \right) = 0 $

    因此,根据f(0)=0,有

    $ \begin{array}{*{20}{c}} {f\left( t \right) \ge 0}&{t \ge 0} \end{array} $

    $ \begin{array}{*{20}{c}} {f\left( t \right) \le 0}&{t \le 0} \end{array} $

    根据f(t)的定义,可以得到S(t)与S0(t)的关系,即

    $ \begin{array}{*{20}{c}} {{\bf{S}}\left( t \right) \ge \left( {n + 1} \right){{\bf{S}}_0}\left( t \right)}&{t \ge 0} \end{array} $

    $ \begin{array}{*{20}{c}} {{\bf{S}}\left( t \right) \le \left( {n + 1} \right){{\bf{S}}_0}\left( t \right)}&{t \le 0} \end{array} $

    现假设S(xy)≠0,并令${t_{\rm{0}}} = - \frac{{n + 1}}{{{\bf{S}}\left({\mathit{x}, \mathit{y}} \right)}}$.则:

    (i)若S(xy)>0,则t0<0,且

    $ {\bf{S}}\left( {c\left( {{t_0}} \right),\dot c\left( {{t_0}} \right)} \right) \le \left( {n + 1} \right)\mathop {\lim }\limits_{t \to t_0^ - } {{\bf{S}}_0}\left( t \right) = - \infty $

    由S-曲率在流形M上的光滑性及S(c(t),$\mathit{\dot c}$(t))在(-∞,+∞)上的连续性,可知上述结论是不可能的.

    (ii)若S(xy)<0,则t0>0,且

    $ {\bf{S}}\left( {c\left( {{t_0}} \right),\dot c\left( {{t_0}} \right)} \right) \ge \left( {n + 1} \right)\mathop {\lim }\limits_{t \to t_0^ + } {{\bf{S}}_0}\left( t \right) = + \infty $

    同理,由S-曲率在流形M上的光滑性及S(c(t),$\mathit{\dot c}$(t))在(-∞,+∞)上的连续性,可知上述结论是不可能的.从而,我们可以断定S(xy)=0.根据xy的任意性,可得S-曲率恒为0.

    需要说明的是:定理1中关于芬斯勒流形是完备的条件不能去掉,否则结论不成立.

    例1[14]  令F是定义在一个强凸区域Ω⊂$\mathbb{R}$n上的Funk度量,即F满足Fxk=FFyk.我们知道,Funk度量F是正完备但非完备的芬斯勒度量,且F具有常数旗曲率和常S-曲率,即

    $ \begin{array}{*{20}{c}} {{\bf{K}} = - \frac{1}{4}}&{{\bf{S}}\left( {x,y} \right) = \frac{{n + 1}}{2}F > 0} \end{array} $ (4)

    由此可得,度量F的Ricci曲率为

    $ {\bf{Ric}} = \left( {n - 1} \right){\bf{K}}{F^2} = - \frac{{\left( {n - 1} \right)}}{4}{F^2} < 0 $ (5)

    由(4)式,还可得到

    $ {{\bf{S}}_{\left| m \right.}} = \frac{{\left( {n + 1} \right)}}{2}{F_{\left| m \right.}} = 0 $ (6)

    将(4)-(6)式代入(1)式,可得

    $ {\bf{PRic}} = {\bf{Ric}} + \frac{{n - 1}}{{{{\left( {n + 1} \right)}^2}}}{{\bf{S}}^2} > {\bf{Ric}} $

    但在此情形下,由(4)式可见度量F的S-曲率为

    $ {\bf{S}}\left( {x,y} \right) = \frac{{n + 1}}{2}F > 0\left( { \ne 0} \right) $

    综上可知,对于Funk度量,满足PRicRic,但S≠0.

    3 射影Ricci曲率在共形变换下的变化规律

    FFn维芬斯勒流形上的两个芬斯勒度量,则FF的测地系数GiGi有如下关系

    $ {{{\bf{\bar G}}}^i} = {{\bf{G}}^i} + \frac{{{{\bar F}_{\left| k \right.}}{y^k}}}{{2\bar F}}{y^i} + \frac{{\bar F}}{2}{{\bar g}^{il}}\left\{ {{{\bar F}_{\left| {k \cdot l} \right.}}{y^k} - {{\bar F}_{\left| l \right.}}} \right\} $ (7)

    其中,“|”表示F关于F的水平协变导数.若FF是两个共形相关的芬斯勒度量,即

    $ \bar F\left( {x,y} \right) = {{\rm{e}}^{c\left( x \right)}}F\left( {x,y} \right) $

    则:

    $ \begin{array}{*{20}{c}} {{{\bar F}_{\left| k \right.}} = {{\rm{e}}^{c\left( x \right)}}{c_k}F}&{{{\bar F}_{\left| {k \cdot l} \right.}} = {{\rm{e}}^{c\left( x \right)}}{c_k}{F_{{y^l}}}} \end{array} $ (8)

    根据引理1,有

    $ {{\bar g}^{il}}\left( {x,y} \right) = {{\rm{e}}^{ - 2c\left( x \right)}}{g^{il}}\left( {x,y} \right) $ (9)

    将(8),(9)式代入(7)式,可得到

    $ {{\bar G}^i} = {G^i} + \left( {{c_k}{y^k}} \right){y^i} - \frac{{{F^2}}}{2}{c^i} = {G^i} + P{y^i} - {Q^i} $ (10)

    其中P=ckyk,${Q_i} = \frac{{{F^2}}}{2}{c^i}$,ci=gilcl.对(10)式两边关于yj求导,可以得到

    $ \bar G_j^i = G_j^i + {P_j}{y^i} + P\delta _j^i - Q_j^i $ (11)

    其中:

    $ \begin{array}{*{20}{c}} {G_j^i = \frac{{\partial {G^i}}}{{\partial {y^j}}}}&{{P_j} = \frac{{\partial P}}{{\partial {y^j}}}} \end{array} $
    $ Q_j^i = \frac{{\partial {Q^i}}}{{\partial {y^j}}} = {y_j}{c^i} - {F^2}{c^r}C_{jr}^i $ (12)

    进一步,根据文献[1]对两个共形相关的芬斯勒度量的曲率性质的研究,我们可以知道,FF的Ricci曲率、S-曲率满足如下关系:

    $ \begin{array}{*{20}{c}} {\overline {{\bf{Ric}}} \left( y \right) = {\bf{Ric}}\left( y \right) + \left( {n - 2} \right)\left( {{P^2} - {P_{\left| r \right.}}{y^r} - {F^2}\left\| {\nabla c} \right\|_F^2} \right) - 2{F^2}\left( {{c^r}{J_r}} \right) - {F^2}{g^{ij}}{c_{i\left| j \right.}} - }\\ {{F^2}{{\left( {{C^r}{I_r}} \right)}_{\left| 0 \right.}} - 2P{F^2}\left( {{c^r}{I_r}} \right) + 2{F^4}{I_r}{c^j}{c^k}C_{jk}^r - {F^4}{c^j}{c^k}{I_{j \cdot k}} - {F^4}{c^j}{c^k}C_{jr}^sC_{ks}^r} \end{array} $ (13)
    $ {\bf{\bar S}}\left( {x,y} \right) = {\bf{S}}\left( {x,y} \right) + {F^2}{c^r}{I_r} $ (14)

    这里‖▽cF2=cici=gijcicj,“|”表示关于芬斯勒度量F的Berwald联络的水平协变导数.

    根据射影Ricci曲率的定义,我们可以得到下面定理:

    定理2  设FF是流形M上两个共形相关的芬斯勒度量,即F(xy)=ec(x)F(xy).则FF的射影Ricci曲率满足

    $ \begin{array}{l} \overline {{\bf{PRic}}} = {\bf{PRic}} + \left\{ {2{I_r}C_{jk}^r - C_{jr}^sC_{ks}^r - \frac{2}{{n + 1}}{I_{j \cdot k}} + \frac{{n - 1}}{{{{\left( {n + 1} \right)}^2}}}{I_j}{I_k}} \right\}{c^j}{c^k}{F^4} + \\ \;\;\;\;\;\;\;\;\;\;\;\left\{ {\frac{{2\left( {n - 1} \right)}}{{{{\left( {n + 1} \right)}^2}}}\left( {{c^r}{I_r}} \right){\bf{S}} + \frac{{n - 1}}{{n + 1}}{c^l}{{\bf{S}}_{{y^l}}} - \frac{2}{{n + 1}}{{\left( {{c^r}{I_r}} \right)}_{\left| 0 \right.}} - \left( {n - 2} \right)\left\| {\nabla c} \right\|_F^2 - 2{c^r}{J_r} - 2P\left( {{c^r}{I_r}} \right) - {g^{ij}}{c_{i\left| j \right.}}} \right\}{F^2} + \\ \;\;\;\;\;\;\;\;\;\;\;\left( {n - 2} \right)\left( {{P^2} - {P_{\left| r \right.}}{y^r}} \right) - \frac{{2\left( {n - 1} \right)}}{{n + 1}}P{\bf{S}} \end{array} $ (15)

    其中,P=c0=ckykPRicPRic分别表示FF的射影Ricci曲率,标量函数c=c(x)是共形因子,“|”表示关于芬斯勒度量F的Berwald联络的水平协变导数.

      设FF是流形M上两个共形相关的芬斯勒度量,即

    $ \bar F\left( {x,y} \right) = {{\rm{e}}^{c\left( x \right)}}F\left( {x,y} \right) $ (16)

    FF的射影Ricci曲率分别为:

    $ \overline {{\bf{PRic}}} = \overline {{\bf{Ric}}} + \frac{{n - 1}}{{n + 1}}{{{\bf{\bar S}}}_{;m}}{y^m} + \frac{{n - 1}}{{{{\left( {n + 1} \right)}^2}}}{{{\bf{\bar S}}}^2} $ (17)
    $ {\bf{PRic}} = {\bf{Ric}} + \frac{{n - 1}}{{n + 1}}{{\bf{S}}_{\left| m \right.}}{y^m} + \frac{{n - 1}}{{{{\left( {n + 1} \right)}^2}}}{{\bf{S}}^2} $ (18)

    其中,“;”表示关于芬斯勒度量F的Berwald联络的水平协变导数,“|”表示关于芬斯勒度量F的Berwald联络的水平协变导数,SS分别表示FF的S-曲率.

    由(14)式,我们可以得到

    $ \begin{array}{*{20}{c}} {{{{\bf{\bar S}}}_{;m}}{y^m} = {{\left( {{\bf{S}} + {F^2}{c^r}{I_r}} \right)}_{;m}}{y^m} = }\\ {{{\bf{S}}_{;m}}{y^m} + {c^r}{I_r}{{\left( {{F^2}} \right)}_{;m}}{y^m} + {F^2}{I_r}c_{;m}^r{y^m} + {F^2}{c^r}{I_{r;m}}{y^m}} \end{array} $ (19)

    根据(10)式,并利用测地系数Gi和S-曲率S的齐次性,可得

    $ \begin{array}{l} {{\bf{S}}_{;m}}{y^m} = {y^m}\frac{{\partial {\bf{S}}}}{{\partial {x^m}}} - \bar G_m^l{y^m}\frac{{\partial {\bf{S}}}}{{\partial {y^l}}} = \\ \;\;\;\;\;\;\;\;\;\;\;{{\bf{S}}_{\left| m \right.}}{y^m} - 2\left( {P{y^l} - {Q^l}} \right){{\bf{S}}_{{y^l}}} = \\ \;\;\;\;\;\;\;\;\;\;\;{{\bf{S}}_{\left| m \right.}}{y^m} - 2P{\bf{S}} + {F^2}{c^l}{{\bf{S}}_{{y^l}}} \end{array} $ (20)

    类似地,由(11),(12)式,我们可以得到

    $ \begin{array}{l} c_{;m}^r{y^m} = {y^m}\frac{{\partial {c^r}}}{{\partial {x^m}}} + {c^t}\bar G_{tm}^r{y^m} = \\ \;\;\;\;\;\;\;\;\;\;\;c_{\left| m \right.}^r{y^m} + {c^t}\left( {{P_t}{y^r} + P\delta _t^r - Q_t^r} \right) = \\ \;\;\;\;\;\;\;\;\;\;\;c_{\left| m \right.}^r{y^m} + {P_t}{c^t}{y^r} + {F^2}{c^t}{c^p}C_{tp}^r \end{array} $ (21)

    由(10)-(12)式,结合测地系数Gi和平均Cartan张量I的齐次性,可得

    $ \begin{array}{l} {I_{r;m}}{y^m} = {y^m}\frac{{\partial {I_r}}}{{\partial {x^m}}} - \bar G_m^l{y^m}\frac{{\partial {I_r}}}{{\partial {y^l}}} - {I_t}\bar G_{rm}^t{y^m} = \\ \;\;\;\;\;\;\;\;\;\;\;\;{I_{r\left| m \right.}}{y^m} - 2\left( {P{y^l} - {Q^l}} \right){I_{r \cdot l}} - {I_t}\left( {{P_r}{y^t} + P\delta _r^t - Q_r^t} \right) = \\ \;\;\;\;\;\;\;\;\;\;\;\;{I_{r\left| m \right.}}{y^m} + P{I_r} + {F^2}{c^l}{I_{r \cdot l}} + {I_t}{c^t}{y_r} - {F^2}{I_t}{c^p}C_{rp}^t \end{array} $ (22)

    根据(16)式可知

    $ {\left( {{F^2}} \right)_{;m}}{y^m} = {\left( {{{\rm{e}}^{ - 2c\left( x \right)}}{{\bar F}^2}} \right)_{;m}}{y^m} = - 2{{\rm{e}}^{ - 2c\left( x \right)}}{{\bar F}^2}P = - 2P{F^2} $ (23)

    将(20)-(23)式代入(19)式,我们可以得到

    $ \begin{array}{l} {{{\bf{\bar S}}}_{;m}}{y^m} = {{\bf{S}}_{\left| m \right.}}{y^m} + {c^r}{I_r}{\left( {{F^2}} \right)_{\left| m \right.}}{y^m} + {F^2}{I_r}c_{\left| m \right.}^r{y^m} + {F^2}{c^r}{I_{r\left| m \right.}}{y^m} = \\ \;\;\;\;\;\;\;\;\;\;\;{{\bf{S}}_{\left| m \right.}}{y^m} - 2P{\bf{S}} + {F^2}{c^l}{{\bf{S}}_{{y^l}}} + {F^2}{\left( {{I_r}{C^r}} \right)_{\left| 0 \right.}} + {F^4}{c^r}{c^l}{I_{r \cdot l}} \end{array} $ (24)

    将(13),(14)式和(24)式代入(17)式,经整理可得(15)式成立.

    特别地,根据定理2,我们得到下面的结论:

    推论1  设FF是流形M上的两个共形相关的芬斯勒度量,即F(xy)=ec(x)F(xy).若c为常数,则PRic=PRic.

    推论1表明:若两个芬斯勒度量是位似相关的,则度量的射影Ricci曲率是保持不变的.

    本文所得到的结论对于进一步探讨芬斯勒度量的射影Ricci曲率的性质,以及深入揭示射影Ricci曲率对芬斯勒度量的几何结构和性质的影响有着重要意义.

    参考文献
    [1] CHENG X Y, SHEN Z M. A Comparison Theorem on the Ricci Curvature in Projective Geometry[J]. Annals of Global Analysis and Geometry, 2003, 23(2): 141-155.
    [2] SHEN Z M. Volume Comparison and Its Applications in Riemann-Finsler Teometry[J]. Advances in Mathematics, 1997, 128: 306-328. DOI:10.1006/aima.1997.1630
    [3] SHEN Z M. Lectures on Finsler Geometry[M]. Singapore: World Scientific Co, 2001.
    [4] CHENG X Y, SHEN Z M. A Class of Finsler Metrics with Isotropic S-Curvature[J]. Israel Journal of Mathematics, 2009, 169(1): 317-340. DOI:10.1007/s11856-009-0013-1
    [5] CHENG X Y, SHEN Z M. TIAN Y F. A Class of Einstein (α, β)-Metrics[J]. Isral Journal of Mathematics, 2012, 192(10): 221-249.
    [6] MO X H, YU C T. On the Ricci Curvature of a Randers Metric of Isotropic S-Curvature[J]. Acta Math Sin, 2008, 24(6): 911-916. DOI:10.1007/s10114-007-6058-3
    [7] 程新跃, 马小玉, 沈玉玲. 射影Ricci曲率及其射影不变性[J]. 西南大学学报(自然科学版), 2015, 37(8): 92-96.
    [8] CHENG X Y, SHEN Y L, MA X Y. On a Class of Projective Ricci Flat Finsler Metrics[J]. Publ Math Debrecen, 2017, 90(1/2): 169-180.
    [9] CHENG X Y, MA X Y, SHEN Y L. On Projective Ricci Flat Kropina Metrics[J]. Journal of Mathematics (PRC), 2017, 37(4): 705-713.
    [10] BACSO S, CHENG X Y. Finsler Conformal Transformations and the Curvature Invariances[J]. Publ Math Debrecen, 2007, 70(1/2): 221-231.
    [11] SZILASI J, VINCZE C S. On Conformal Equivalence of Riemann-Finsler Metrics[J]. Publ Math Debrecen, 1998, 52(1/2): 167-185.
    [12] ANTONELLI P L. Handbook of Finsler Geometry[M]. Dordrecht: Kluwer Academic Publishers, 2004.
    [13] CHEN G Z, CHENG X Y, ZOU Y Y. On Conformal Transformations between Two (α, β)-Metrics[J]. Differential Geometry and Its Applications, 2013, 31(2): 300-307.
    [14] SHEN Z M. Differential Geometry of Spray and Finsler Spaces[M]. Dordrecht: Kluwer Academic Publisher, 2001.
    On the Comparison Theorem and Conformal Invariance of a Projective Ricci Curvature
    CHENG Xin-yue1, LI Ting-ting2, YIN Li2     
    1. School of Mathematical Sciences, Chongqing Normal University, Chongqing 401331, China;
    2. You Can Secondary School Department, Chongqing New Oriental Training School, Chongqing 400020, China
    Abstract: In this paper, we study the projective Ricci curvature in Finsler geometry. First, we obtain that a comparison theorem on the projective Ricci curvature on a complete Finsler manifold. Then, we characterize the relations between two projective Ricci curvatures for two conformally related Finsler metrics on a manifold. On this basis, we prove that if two Finsler metrics are homothetically related, then their projective Ricci curvatures are equal.
    Key words: Finsler metric    projective Ricci curvature    Ricci curvature    S-curvature    conformally related    
    X