众所周知, 在等仿射微分几何中, 仿射球的分类是十分有意义且重要的问题, 参见文献[11]的第3章. 在过去的几十年内, 仿射球的研究吸引了众多几何学家. 特别地, 具有平行Fubini-Pick形式(也称cubic形式) 的仿射超曲面是一类仿射球^[1]. Bokan, Nomizu和Simon^[1]最早研究了这个课题, 之后有众多学者对具有平行(关于Blaschke-Berwald度量的Levi-Civita联络) Fubini-Pick形式的仿射超曲面进行了广泛研究. 对于这类仿射曲面的分类, Magid和Nomizu^[17]研究了非退化的情形, Li和Penn^[13]研究了局部强凸的情形. Dillen和Vrancken^[5], Dillen, Vrancken和Yaprak^[6]分别对3维和4维具有平行Fubini-Pick形式的局部强凸仿射超曲面进行了分类. 随后, Hu, Li, Simon和Vrancken^[7]分类了7维及以下此类仿射超曲面并给出了一些仿射球的新例子. 最终, Hu, Li和Vrancken^[8]于2011年完全解决了具有平行Fubini-Pick形式的局部强凸仿射超曲面的分类问题.

在中心仿射微分几何中, Cheng, Hu和Moruz^[4]完成了具有平行(关于中心仿射度量的Levi-Civita联络) Fubini-Pick形式的局部强凸中心仿射超曲面的分类. 另一方面, Liu和Wang^[16]解决了具有平行迹为零的cubic形式的中心仿射曲面的分类问题. 在局部强凸中心仿射超曲面上, Cheng和Hu^[3]通过一个最优不等式将离差张量和Tchebychev向量场的协变微分的模长联系起来, 并应用文献[4]的结果完全分类了具有平行迹为零的离差张量的局部强凸中心仿射超曲面.

设$f$是定义在区域$\Omega\;(\subset {\mathbb R}^n)$上的一个光滑严格凸函数, 考虑$f$的graph浸入超曲面

并选取

作为它的Calabi仿射法矢. 该文把具有Calabi法矢的graph浸入称为Calabi超曲面. 如果一个Calabi超曲面具有平坦Calabi度量和平行(关于Levi-Civita联络) Fubini-Pick形式, 则称其为典范Calabi超曲面. Xu和Li^[19]不仅找到了一类新的典范Calabi超曲面$Q(c_1, c_2, \cdots, c_r;n)$, 而且分类了具有非负李奇曲率的Calabi完备的Tchebychev仿射Kähler超曲面. 最近, Xu和Lei^[20]对${\mathbb R}^{n+1}$中典范Calabi超曲面以及2, 3维具有平行Fubini-Pick形式的Calabi超曲面进行了分类.

定理1.1^[20]  设$f$是定义在区域$\Omega (\subset {\mathbb R}^3)$上的光滑严格凸函数. 如果$f$的graph $M=\{(x, f(x)) \;| \;x\in\Omega\}$具有平行cubic形式, 则$M$ Calabi仿射等价于下列超曲面的一个开部分:

(1) 椭圆抛物面; 或

(2) 超曲面$Q(c_1, \cdots, c_r;3), 1\leq r\leq 3$; 或

(3) 超曲面

其中常数$-2c^2$是$M$的数量曲率.

Calabi仿射等价和超曲面$Q(c_1, \cdots, c_r;3)$的定义分别见下文定义2.1和例子2.1.

运用类似与等仿射几何^[5-8]和中心仿射几何^[4]的方法, 该文把定理1.1的分类结果推广到4维Calabi超曲面并且解决了情况${\mathfrak C}_{n-1}(n\geq3)$. 主要定理叙述如下:

定理1.2  设$f$是定义在区域$\Omega (\subset {\mathbb R}^4)$上的光滑严格凸函数. 如果$f$的graph $M=\{(x, f(x)) | x\in\Omega\}$具有平行cubic形式, 则$M$ Calabi仿射等价于下列超曲面的一个开部分$:$

(1) 椭圆抛物面; 或

(2) 超曲面$Q(c_1, \cdots, c_r;4), 1\leq r\leq 4;$或

(3) 超曲面

(4) 超曲面

(5) 超曲面

其中$R$是超曲面$M$的数量曲率, (3) 中的常数$\mu_1$与Pick不变量$J$和数量曲率的关系为$\mu_1^2=12J+\frac{7}{2}R$.

注1.1  关于Calabi度量$G=\sum \frac{\partial^2f}{\partial x_i\partial x_j}{\rm d}x_i{\rm d}x_j$的体积泛函的欧拉-拉格朗日方程是下面的四阶偏微分方程(参见文献[12]或[14]):

其中$\Delta$是Calabi度量的拉普拉斯算子. 由方程(1.1) 的解定义的graph超曲面$M^n$被称为仿射极值超曲面. 定理1.2中的超曲面既是欧氏完备又是Calabi完备的Tchebychev仿射Kähler超曲面, 因此它们也是完备的仿射极值超曲面.

在这一小节, 我们将回顾Calabi几何的基本知识(参见文献[2, 18]或[12, 3.3.4节]). 设$f$是定义在区域$\Omega\;(\subset {\mathbb R}^n)$上的一个光滑严格凸函数, 考虑$f$的graph超曲面

在超曲面(2.1) 上选取常向量

作为它的相对法矢, 也称为Calabi法化. 相应的相对几何称为Calabi几何, 因此它是一种特殊的相对几何.

关于丛分解${\mathbb R}^{n+1}=x_*TM^n\oplus {\mathbb R}\cdot Y$, 位置向量$x=(x_1, \cdots, x_n, f(x_1, \cdots, x_n))$满足下面的Gauss方程

其中普通微分诱导的仿射联络系数$c_{ij}^k\equiv0$. 因此超曲面(2.1) 上的相对度量

也被称为Calabi度量. 度量$G$的Christoffel符号为

如果没有特别说明我们约定

因此Gauss结构方程重新表示为

Fubini-Pick形式(也被称为cubic形式) $A_{ijk}$和Weingarten张量$B_{ij}$分别满足

上式说明$A_{ijk}$关于下指标是全对称的. 切向量场

被称为超曲面$M^n$上的Tchebychev向量场, 并且$M^n$上的Pick不变量定义为

如果超曲面$M^n$的Tchebychev向量场关于Calabi度量$G$是平行的, 则称$M^n$是一个Tchebychev仿射Kähler超曲面^[10]. 超曲面的Gauss方程和Codazzi方程分别为

从方程(2.7) 得到李奇张量

因此, 数量曲率满足

利用李奇恒等式

由(2.7)和(2.8)式, 可得下面两个公式.

引理2.1^[19]  对于一个Calabi超曲面, 下面的两个公式成立:

设$A(n+1)$是${\mathbb R}^{n+1}$中的仿射变换群, 则此群可以表示为一般线性群和${\mathbb R}^{n+1}$中所有平移的半直积, 即: $A(n+1)=GL(n+1)\ltimes {\mathbb R}^{n+1}$. 定义

其中$Y=(0, \cdots, 0, 1)^t$是Calabi仿射法矢. 则子群$SA(n+1)$包含了所有下列类型的变换$\phi (\in SA(n+1))$:

其中$(a^i_j)\in A(n)$, $a^{n+1}_j$ ($j=1, \cdots, n$) 为$n$个常数, $b (\in {\mathbb R}^{n+1})$是常向量. 显然当群$SA(n+1)$作用到超曲面上时, 超曲面的Calabi度量$G$是不变的. 或者等价地, 利用群$SA(n+1)$诱导的作用, 我们对严格凸函数定义下面的映射:

定义2.1^[19]  给定两个定义在区域$\Omega, \tilde\Omega (\subset {\mathbb R}^n)$上的超曲面$(x_i, f(x_i))$和$( \tilde x_i, \tilde f( \tilde x_i))$, 如果这两个超曲面只相差一个仿射变换$\phi\in SA(n+1)$, 则称这两个超曲面是Calabi仿射等价的.

相应地, 关于光滑函数有:

定义2.2^[19]  给定两个定义在区域$\Omega, \tilde\Omega (\subset {\mathbb R}^n)$上的光滑函数$f$和$\tilde f$, 以及一个仿射变换$\varphi\in A(n)$. 如果存在常数$a^{n+1}_1, \cdots, a^{n+1}_n, b^{n+1}\in {\mathbb R}$使得$\varphi(\Omega)= \tilde\Omega$以及

则称光滑函数$f$和$\tilde f$关于$\varphi$是仿射等价的.

显然, 上面两个定义是相互等价的.

Xu和Li^[19]找到了一类新的典范Calabi超曲面, 并记为$Q(c_1, c_2, \cdots, c_r;n)$, 也可参见文献[20].

例2.1^{[19, 20]}  给定维数$n$和常数$1\leq r\leq n$, 定义区域

则对于任意正数$c_1, \cdots, c_r(1\leq r\leq n)$, 定义Calabi超曲面的图函数

本小节首先回顾由Ejiri引入的典型单位正交基. 设$p\in M^n$并且令$U_pM^n=\{v\in T_pM^n | G(v, v)=1\}$. 在$U_pM^n$上定义函数$F(v)=A(v, v, v)$, 其中$A$是Fubini-Pick形式. 由于$M^n$是局部强凸的, 故$U_pM^n$是紧致的. 因此存在向量$e_1\in U_pM^n$, 使得$F(v)$在$e_1$处达到绝对的极大值$\mu_1$, 并且有下面的引理.

引理3.1^[11]  在$T_pM^n$上存在一组单位正交基$\{e_1, \cdots, e_n\}$使得下面性质成立:

(1) $A(e_1, e_i, e_j)=\mu_i\delta_{ij}$, $1\leq i, j\leq n$.

(2) 当$i\geq2$, $\mu_1\geq2\mu_i$. 如果$\mu_1=2\mu_i$, 则$A(e_i, e_i, e_i)=0$.

引理3.2^[20]  设$M^n$是一个具有平行Fubini-Pick形式的Calabi超曲面, 则对任意的点$p\in M^n$, 存在$T_pM^n$上一组单位正交基$\{e_j\}_{1\leq j\leq n}$ (如果必要可以重排顺序)满足$A(e_1, e_j)=\mu_je_{j}$, 并且存在一个数$i (0\leq i\leq n)$, 使得

因此, 对于一个具有平行Fubini-Pick形式的Calabi超曲面, 需要解决以下$(n+1)$种情况:

情况${\mathfrak C}_0.$$\mu_1=0$.

情况${\mathfrak C}_1.$$\mu_1>0;\mu_2=\mu_3=\cdots=\mu_n=0.$

情况${\mathfrak C}_i.$$\mu_2=\mu_3=\cdots=\mu_i=\frac{1}{2}\mu_1>0;\quad \mu_{i+1}=\cdots=\mu_n=0, \quad \;\; 2\leq i\leq n-1.$

情况${\mathfrak C}_n.$$\mu_2=\mu_3=\cdots=\mu_n= \frac{1}{2}\mu_1>0.$

在流形上一点处考虑问题时, 我们总是假设所选基底满足引理3.1. 关于情况${\mathfrak C}_0$和${\mathfrak C}_n$, 文献[20]中已经有如下结果:

引理3.3^[20]  如果情况${\mathfrak C}_0$发生, 则$M^n$是椭圆抛物面的一个开部分.

引理3.4^[20]  情况${\mathfrak C}_n$不发生.

受文献[20]中情况${\mathfrak C}_{2}$以及文献[4]中情况${\mathfrak B}$的启发, 本小节将解决情况 ${\mathfrak C}_{n-1}(n\geq3)$.

定理3.1  如果情况${\mathfrak C}_{n-1}(n\geq3)$发生, 则$M^n$ Calabi仿射等价于超曲面

的一个开部分, 其中$R$是$M^n$的数量曲率.

证  这个定理的证明分为两部分.

第一步: 证明黎曼流形$M^n$局部等距于黎曼乘积${\mathbb R}\times H^{n-1}(-2\mu^2)$, 其中$H^{n-1}(-2\mu^2)$是截曲率为常数$-2\mu^2$的双曲空间, 且$-2\mu^2=\frac{R}{(n-1)(n-2)}$.

在第一步的证明过程中, 如果没有特别说明, 我们对指标有如下约定:

由$A_{1ii}=\frac{1}{2}A_{111}$和引理3.1可得$A_{iii}=0$. 通过文献[20]中引理4.3的证明可知$A_{ijk}=0$. 利用(2.7)式, 李奇恒等式(2.11) 以及$\nabla A=0$我们有

因此

同理

故

对于任意的$i\neq j$, 由(2.7)式, 李奇恒等式(2.11) 以及$\nabla A=0$可得

再结合(3.4) 式可知

最后, 由$\nabla A=0$, 李奇恒等式(2.11), (3.2) 以及(3.6) 式可得

再结合(3.4) 式可知

不失一般性, 由(3.4)和(3.8)式, 不妨假设$A_{nnn}=\mu_1, \; \mu:=A_{nii}=A_{1ii}=\mu_i$, 并且令

则$\{\tilde e_1, e_2 , \cdots, e_{n-1} , \tilde e_n\}$构成了$T_pM^n$上一组新的单位正交基. 在这组基下, Fubini-Pick形式$A$表示如下:

将上述新基底沿着过点$p$的测地线平行移动(关于Levi-Civita联络$\nabla$), 这样就把单位正交基$\{\tilde e_1, e_2 , \cdots, e_{n-1} , \tilde e_n\}$扩充到$p$点的一个法邻域$U_p$上, 构成一个局部的单位正交标架场$\{E_1, E_2 , \cdots, E_n\}$, 并且在$U_p$上的每一点都有下列关系:

单位正交标架场$\{E_\alpha\}$的Levi-Civita联络形式记为$\omega^\beta_\alpha$. 由

和$\nabla A=0$可得

(3.11) 式说明$E_1$是关于Levi-Civita联络平行向量场. 借助于(3.10) 式可得$M^n$的截面曲率为

引理3.5  通过以上的计算可得

(1) $\nabla E_1= 0$;

(2) $\langle\nabla_{E_i} E_j , E_1 \rangle= 0, \forall 2\leq i, j\leq n$.

由上述引理可知${\cal D}_1:=\{ {\mathbb R} E_1 \}$和${\cal D}_2:=span \{E_2, \cdots, E_n \}$是全测地的. 再结合de Rham分解定理^[9], 黎曼流形$(M^n, G)$局部上等距于黎曼乘积${\Bbb R} \times H^{n-1}(-2\mu^2)$, 其中$H^{n-1}(-2\mu^2)$是截曲率为常数$-2\mu^2$的双曲空间, 并且局部向量场$E_1$与${\Bbb R}$相切, ${\cal D}_2$与$H^{n-1}(-2\mu^2)$相切.

第二步: 通过解Gauss方程得到$M^n$的graph浸入函数.

把${\mathbb R}^{n+1}$中$M^n$的位置向量记为$x=(x_1, \cdots, x_n, x_{n+1})^t$, 为了使方程表达简洁, 令$c=\sqrt{2}\mu$. 由$H^{n-1}(-2\mu^2)$的标准参数化可知, 在$M^n$上存在一个局部坐标系$(y_1, \cdots, y_n )$, 使得度量表示为

因此$E_1=\frac{\partial x}{\partial y_1}$, $E_2=\frac{\partial x}{\partial y_2}$, $E_3=\sinh^{-1}(c y_2)\frac{\partial x}{\partial y_3}$,

构成了一组局部的单位正交基. 假定

根据Fubini-Pick形式$A$的定义, 直接计算可得位置向量$x$满足下面的Gauss方程, 其中$Y=(0, \cdots, 0, 1)^t$,

为求解上述方程组, 首先考虑齐次的情形. 类似于文献[20]中情况${\mathfrak C}_{2}$的证明过程, 利用第二数学归纳法可知齐次方程组的通解为

其中$A_i (1\leq i\leq n+1)$是常向量. 另一方面, 直接计算可知

是方程组(3.13)–(3.19) 的一个特解.

由于$M^n$是非退化的超曲面, 故$x-A_1$充满仿射空间${\mathbb R}^{n+1}$. 因此$A_2, \cdots, A_{n+1}$和$(0, \cdots, 0, 1)$是线性无关的, 从而存在一个仿射变换$\phi\in SA(n+1)$使得

因此在相差一个仿射变换$\phi\in SA(n+1)$的情况下, 位置向量$x$可以表示为

综上所述, 在相差一个仿射变换$\phi\in SA(n+1)$的情况下, $M^n$局部上是函数

的graph超曲面的一个开部分, 其中$-c^2=\frac{R}{(n-1)(n-2)}$. 定理3.1证毕.

下面只考虑四维具有平行Fubini-Pick形式的Calabi超曲面的分类问题. 结合引理3.3, 引理3.4和定理3.1, 接下来只需要解决情况${\mathfrak C}_1$和情况${\mathfrak C}_2$即可. 在本节和下一节将会依次讨论这两种情况, 最终完成定理1.2的证明.

引理4.1  如果情况${\mathfrak C}_1$发生, 则$M^4$ Calabi仿射等价于超曲面$Q(c_1, \cdots, c_r;4), \; 1\leq r\leq 4$; 或超曲面

的一个开部分, 其中$R$是超曲面$M^4$的数量曲率, 且$\mu_1$为一个满足

的常数.

证  由于$\mu_2=\mu_3=\mu_4$, 则可以重新选取一个单位向量$e_2$, 使得函数$F$限制到$\{e_1^\perp\}\bigcap U_pM^4$上在$e_2$方向取得极大值$A_{222} (\geq0)$. 通过引理3.1, 可得$A_{223}=A_{224}=A_{234}=0$, $A_{222}\geq2A_{233}$以及$A_{222}\geq2A_{244}$. 因此有如下表示:

情况${\mathfrak C}_{1-1}$. $\lambda_1=A_{222}=0$.

由$A_{222}=0$, 可得$A_{333}=A_{444}=0$. 结合文献[20]中引理4.3的证明, 易得

通过直接计算可知超曲面$M^4$的李奇曲率为

将上式代入(2.13) 式可得$R_{ijkl}(p)=0$. 由于$p$是超曲面上的任意一点, 所以$M^4$是平坦的. 再结合$\nabla A=0$和文献[20]中的定理1.3可知: $M^4$ Calabi仿射等价于超曲面$Q(c_1;4)$的一个开部分.

情况${\mathfrak C}_{1-2}$. $\lambda_1=A_{222}>0$.

我们可以分为下列三种子情况:

情况${\mathfrak C}_{1-2-1}$. $\lambda_2=\lambda_3=0$.

情况${\mathfrak C}_{1-2-2}$. $\lambda_2=\lambda_3=\frac{1}{2}\lambda_1$.

情况${\mathfrak C}_{1-2-3}$. $\lambda_2=\frac{1}{2}\lambda_1, \lambda_3=0$.

接下来对上述3种情形分别讨论.

情况${\mathfrak C}_{1-2-1}$. 由于$\lambda_2=\lambda_3$, 则可以重新选取一个单位向量$e_3$, 使得函数$F$限制到$\{e_1^\perp\}\bigcap\{e_2^\perp\}\bigcap U_pM^4$上在$e_3$方向取得极大值$A_{333} (\geq0)$. 因此可得$A_{334}=0$和$A_{333}\geq2A_{344}$, 故得到如下表示:

通过直接计算

由$\nabla A=0$, (2.12)和(2.13) 式可得

结合条件$v_1\geq 2v_3$, (4.4)和(4.5)式, 易得$v_3=0$. 代入(4.5)式可得$R_{ijkl}(p)=0$. 由于$p$为$M^4$上的任意一点, 故超曲面是平坦的. 结合$\nabla A=0$和文献[20]中的定理1.3, 并注意到关系$v_1\geq u_1$, 可以得到下面的分类结果:

1. 若$v_1=0$, $u_1=0$, 则$M^4$ Calabi仿射等价于超曲面$Q(c_1, c_2;4)$的一个开部分;

2. 若$v_1\neq0$, $u_1=0$, 则$M^4$ Calabi仿射等价于超曲面$Q(c_1, c_2, c_3;4)$的一个开部分;

3. 若$v_1\neq0$, $u_1\neq0$, 则$M^4$ Calabi仿射等价于超曲面$Q(c_1, c_2, c_3, c_4;4)$的一个开部分.

情况${\mathfrak C}_{1-2-2}$. 由引理3.1可得$A_{333}=A_{444}=0$. 由文献[20]中引理4.3的证明可知

故有

由$\nabla A=0$可得: 关于Levi-Civita联络的曲率算子$R$和Fubini-Pick张量$A$满足

计算(4.7)式的两端

可得$\lambda_1=0$. 则与假设矛盾, 此情形不发生.

情况${\mathfrak C}_{1-2-3}$. 在此情况下, 由引理3.1可得$A_{333}=0$. 故有如下表达:

利用$\nabla A=0$和李奇恒等式(2.11) 可得

因此

不失一般性, 可以假设$v_2=\lambda_2$, 并且令

则$\{e_1, \tilde e_2 , e_3 , \tilde e_4\}$构成$T_pM^4$上一组新的单位正交基, 并且Fubini-Pick形式$A$在新基底下有如下表示:

将上述新基底沿着过点$p$的测地线平行移动(关于Levi-Civita联络$\nabla$), 这样就把单位正交基$\{e_1, \tilde e_2, e_3, \tilde e_4\}$扩充到$p$点的一个法邻域$U_p$上, 构成一个局部的单位正交标架场$\{E_1, E_2, E_3,$$E_4\}$, 并且下列关系在$U_p$上的每一点都成立:

记单位正交标架场$\{E_i\}$的联络形式为$\omega^j_i$. 由$\nabla A=0$和

可得

同理, 由

可得

则(4.11)和(4.12) 式说明向量场$E_1$和$E_2$关于Levi-Civita联络是平行的. 因此

由de Rham分解定理可知, 黎曼流形$(M^4, G)$局部上等距于黎曼乘积${\Bbb R} \times {\Bbb R} \times H^2(-2\lambda_2^2)$, 其中$H^2(-2\lambda_2^2)$是截曲率为常数$-2\lambda_2^2$的双曲空间. 经过类似于文献[20]中情况${\mathfrak C}_2$的计算, 最终可得在相差一个仿射变换$\phi\in SA(5)$的情况下, $M^4$局部上是函数

的graph超曲面的一个开部分, 其中$-4\lambda_2^2$是$M^4$的数量曲率并且$\mu_1$是一个满足

的常数. 引理4.1证毕.

引理5.1  如果情况${\mathfrak C}_2$发生, 则$M^4$ Calabi仿射等价于超曲面

或

的一个开部分, 其中$R$是超曲面$M^4$的数量曲率, 且$\mu_1$为一个满足条件

的常数.

证  结合条件$\mu_1=2\mu_2>0$以及引理3.1, 可得$A_{222}=0$. 由于$\mu_3=\mu_4$, 则可以重新选取单位向量$e_3$使得函数$F$限制到$\{e_1^\perp\}\bigcap\{e_2^\perp\}\bigcap U_pM^4$上在$e_3$方向达到极大值$A_{333} (\geq0)$. 接着还可以选取单位向量$e_4$使得$A_{111}\geq A_{333}\geq A_{444}\geq 0$, 此外还有$A_{334}=0$和$A_{333}\geq2A_{344}$. 故有如下表达:

利用条件$\nabla A=0$, (2.7)式以及李奇恒等式(2.11) 可知

故有

由

可得

利用式子

有

在情况${\mathfrak C}_2$发生时有$u_1>0$. 事实上, 若$u_1=0$, 则$u_3=0$. 从式子

可得$\delta_1=\delta_2=0$, 这就与式子(5.4) 相矛盾. 结合条件$u_1=A_{333}\geq0$, 可得结论.

因此可以分为下列三种子情形:

情况${\mathfrak C}_{2-1}$. $\delta_1=0, \; \delta_2\neq 0$.

情况${\mathfrak C}_{2-2}$. $\delta_1\neq 0, \; \delta_2\neq 0$.

情况${\mathfrak C}_{2-3}$. $\delta_1\neq 0, \; \delta_2= 0$.

下面将对上述情形分别讨论.

情况${\mathfrak C}_{2-1}$. $\delta_1=0, \; \delta_2\neq 0$.

结合(5.4)式, (5.6)式以及

可得

不失一般性, 令$\delta_2=\mu_2.$故有如下表示:

下面令

则

类似于情况${\mathfrak C}_{1-2-3}$, 最终可得在相差一个仿射变换$\phi\in SA(5)$的情况下, $M^4$局部上是函数

的graph超曲面的一个开部分, 其中$\mu_1^2=4\mu_2^2$.

情况${\mathfrak C}_{2-2}$. $\delta_1\neq 0, \; \delta_2\neq 0$.

由(5.5)和(5.7)式可得

则与条件$u_1\geq 2u_2$相矛盾, 故此情况不发生.

情况${\mathfrak C}_{2-3}$. $\delta_1\neq 0, \; \delta_2= 0$.

结合(5.4)–(5.6)式可得

不失一般性, 令$\delta_1=\mu_2$. 故有如下表示:

令

则(5.11) 式可重新表达为

下面对$u_3$进行讨论.

情况${\mathfrak C}_{2-3-1}$. $u_3\neq0$.

类似于情况${\mathfrak C}_{1-2-3}$可得, 在相差一个仿射变换$\phi\in SA(5)$的情况下, $M^4$局部上是函数

的graph超曲面的一个开部分, 其中$u_3^2\leq 4\mu_2^2$.

情况${\mathfrak C}_{2-3-2}$. $u_3=0$.

首先令

则$\{\bar e_1, \tilde e_2 , \bar e_3 , \tilde e_4\}$构成$T_pM^4$上一组新的单位正交基, Fubini-Pick形式$A$在此基底下可表示为

将上述新基底沿着过点$p$的测地线平行移动(关于Levi-Civita联络$\nabla$), 这样就把单位正交基$\{\bar e_1, \tilde e_2 , \bar e_3 , \tilde e_4\}$扩充到$p$点的一个法邻域$U_p$上, 得到一个局部的单位正交标架场$\{E_1, E_2, E_3, E_4\}$, 并且下列关系在$U_p$内的每一点都成立:

记单位正交标架场$\{E_i\}$的联络形式为$\omega^j_i$, 由条件$\nabla A=0$以及

可知

同理, 由

可得

则(5.17)和(5.18)式说明向量场$E_1$和$E_2$关于Levi-Civita联络是平行的. 因此

由de Rham分解定理可知, 黎曼流形$(M^4, G)$局部上等距于黎曼乘积${\Bbb R} \times {\Bbb R} \times H^2(-2\mu_2^2)$, 其中$H^2(-2\mu_2^2)$是截曲率为常数$-2\mu_2^2$的双曲空间. 类似于文献[20]中的情况${\mathfrak C}_2$可得: 在相差一个仿射变换$\phi\in SA(5)$的情况下, $M^4$局部上是函数

的graph超曲面的一个开部分. 引理5.1证毕.