[论文解读] Real hypersurfaces in the complex projective plane attaining equality in a basic inequality

Toru Sasahara|arXiv (Cornell University)|Feb 8, 2017

Geometric Analysis and Curvature Flows参考文献 2被引用 3

一句话总结

本文分类了在复射影平面中实现关于最大 Ricci 曲率与平方平均曲率之间基本不等式等号的非 Hopf 实超曲面，这些超曲面具有常平均曲率。通过微分几何技巧与 Codazzi 方程，证明了此类超曲面恰好是通过特定参数化从 Hopf 纤化构造出的极小可展超曲面，从而证实了该几何设定下等号情形的猜想。

ABSTRACT

We determine non-Hopf hypersurfaces with constant mean curvature in the complex projective plane which attain equality in a basic inequality between the maximum Ricci curvature and the squared mean curvature.

研究动机与目标

• 对复射影平面 CP²(4) 中满足不等式 $\overline{Ric} \leq \frac{9}{4}\|H\|^2 + 5$ 等号的非 Hopf 实超曲面进行分类。
• 在常平均曲率约束下，确定此类超曲面的几何结构。
• 对非 Hopf 超曲面的该不等式等号情形建立完整刻画，扩展此前对 Hopf 超曲面的研究结果。
• 证明唯一满足条件的超曲面是通过 Hopf 纤化构造出的极小可展超曲面。

提出的方法

• 利用高斯方程与 Codazzi 方程，在等号假设下推导曲率与形状算子的条件。
• 应用引理 2.1，识别出形状算子具有特定块对角形式的正交标架，且特征值受约束。
• 应用引理 2.2，通过 $A\xi$ 的法部分为零，以及存在一个与 $\xi$ 正交的单位向量场 $U$，满足 $A\xi = \alpha\xi + \beta U$，$AU = \beta\xi$，$AX = 0$（对所有 $X \perp \xi, U$），来刻画可展超曲面。
• 对沿标架场 $e_1 = \xi$，$e_2$，$e_3 = Pe_2$ 的 Codazzi 方程分量进行系统分析，推导出 $\beta$，$\gamma$，$\mu$ 与 $\kappa_i$ 的微分方程。
• 将方程组约化为多项式结式条件，表明 $\mu \in \{0,1\}$，并由于 $\beta \neq 0$ 导致矛盾，排除 $\mu = 1$，从而得出 $\mu = 0$。
• 最终得出形状算子满足 $A\xi = \beta e_2$，$Ae_2 = \beta \xi$，$Ae_3 = 0$，通过引理 2.2 确认其极小性与可展结构。

实验结果

研究问题

• RQ1 在 $\mathbb{C}P^2(4)$ 中，哪些非 Hopf 实超曲面在常平均曲率下实现不等式 $\overline{Ric} \leq \frac{9}{4}\|H\|^2 + 5$ 的等号？
• RQ2 在已知的 Hopf 例子之外，此类等号情形的几何结构如何表征？
• RQ3 能否对 $\mathbb{C}P^2(4)$ 中非 Hopf 超曲面的 Ricci 曲率不等式等号情形进行完全分类？
• RQ4 唯一满足条件的超曲面是否为通过 Hopf 纤化构造出的极小可展超曲面？

主要发现

• 在 $\mathbb{C}P^2(4)$ 中，唯一实现不等式等号的非 Hopf 实超曲面是极小可展超曲面。
• 这些极小可展超曲面与映射 $z(u,v,\theta,\psi) = e^{i\psi}(\cos u \cos v, \cos u \sin v, \sin u \cdot e^{i\theta})$ 在 Hopf 纤化 $\varpi: S^5 \to \mathbb{C}P^2(4)$ 下的像合同。
• 形状算子满足 $A\xi = \beta e_2$，$Ae_2 = \beta \xi$，$Ae_3 = 0$，且 $\beta \neq 0$，确认其极小性与可展结构。
• 分析表明 $\mu = 0$ 是唯一可行解，由此推出 $\gamma = \alpha = 0$，并因 $\beta \neq 0$ 而排除 $\mu = 1$。
• 等号情形意味着超曲面是可展且极小的，且参数化 $z(u,v,\theta,\psi)$ 完全描述了该解类。
• 逆命题成立：任何通过给定参数化构造出的此类极小可展超曲面均满足等号条件，从而证实了分类的完备性。