[论文解读] A Wintgen type inequality for surfaces in 4D neutral pseudo-Riemannian space forms and its applications to minimal immersions

Bang‐Yen Chen|arXiv (Cornell University)|Jul 11, 2013

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

一句话总结

本文建立了4维中性伪黎曼空间形式中类空曲面的Wintgen型不等式，证明了高斯曲率 $K$ 与法曲率 $K^D$ 之和满足 $K + K^D \geq \langle H,H\rangle + c$。关键贡献在于对等号成立情形的极小曲面进行了分类，表明在对数调和性条件下，这些曲面与 $H^4_2(-1)$ 中特定极小曲面合同。

ABSTRACT

Let $M$ be a space-like surface immersed in a 4-dimensional pseudo-Riemannian space form $R^4_2(c)$ with constant sectional curvature $c$ and index two. In the first part of this article, we prove that the Gauss curvature $K$, the normal curvature $K^D$, and mean curvature vector $H$ of $M$ satisfy the general inequality: $K+K^D\geq H,H +c$. In the second part, we investigate space-like minimal surfaces in $R^4_2(c)$ which satisfy the equality case of the inequality identically. Several classification results in this respect are then obtained.

研究动机与目标

• 建立4维中性伪黎曼空间形式中类空曲面的Wintgen型不等式，关联高斯曲率、法曲率与平均曲率。
• 研究 $R^4_2(c)$ 中极小曲面在不等式等号成立情形的性质，特别关注 $H^4_2(-1)$ 和 $S^4_2(1)$。
• 在对数调和性等附加几何条件下，对满足等号成立情形的极小曲面进行分类。
• 对 $ olimits\mathbb{E}^4_2$ 和 $S^4_2(1)$ 中实现不等式等号的极小曲面提供完整分类。
• 表征等号情形恒成立的条件，并将其与对数曲率函数的次调和性等内在几何性质相联系。

提出的方法

• 通过Levi-Civita联络与法向联络，推导类空曲面等距浸入 $R^4_2(c)$ 时的高斯、Codazzi与Ricci基本方程。
• 引入与第二基本形式及形状算子相适应的正交标架 $ {e_1,e_2,e_3,e_4}$，以分析曲率关系。
• 应用Codazzi方程，推导联络形式与曲率分量之间的微分关系，从而导出关键不等式 $K + K^D \geq \langle H,H\rangle + c$。
• 利用 $K+1$ 或 $K-1$ 的对数调和性条件，约束曲率演化并得出刚性结果。
• 通过分析对数曲率函数的Laplacian（$ olimits\Delta(\ln K)$, $ olimits\Delta(\ln(K-1))$）研究次调和性，并在等号假设下导出矛盾。
• 基于常曲率与第二基本形式消失的分类技术，证明等号成立蕴含整体测地性或特定标架结构。

实验结果

研究问题

• RQ1 在何种条件下，4维中性伪黎曼空间形式中类空曲面的Wintgen型不等式 $K + K^D \geq \langle H,H\rangle + c$ 成立？
• RQ2 在 $H^4_2(-1)$ 中，极小曲面的等号情形恒成立时，其几何结构如何表征？
• RQ3 对数调和性条件 $K+1$ 或 $K-1$ 如何影响满足等号成立情形的极小曲面的分类？
• RQ4 在 $ olimits\mathbb{E}^4_2$ 或 $S^4_2(1)$ 中，极小曲面实现Wintgen型不等式等号的充要条件是什么？
• RQ5 等号情形能否通过 $ olimits\ln K$ 或 $ olimits\ln(K-1)$ 的次调和性来表征？这又对曲面的曲率与形状算子意味着什么？

主要发现

• Wintgen型不等式 $K + K^D \geq \langle H,H\rangle + c$ 对 $R^4_2(c)$ 中所有类空曲面成立，且极小曲面可能取等。
• 在 $H^4_2(-1)$ 中，若 $K+1$ 为对数调和且等号恒成立，则该极小曲面合同于文献[4]中的已知极小曲面（至多相差刚体运动）。
• 对于 $ olimits\mathbb{E}^4_2$ 中的极小曲面，等号成立蕴含 $K = 0$，但 $ olimits\ln 0$ 无定义，故不存在非整体测地的此类曲面。
• 在 $S^4_2(1)$ 中，等号恒成立当且仅当曲面整体测地，此时 $K=1$，$K^D=0$，且 $K+K^D=1$。
• 若 $K-1$ 为对数调和且等号成立，则产生矛盾（$K^D = 2/3 > 0$），因为 $K^D = -2\gamma^2 \leq 0$，故 $K-1$ 不可能为对数调和。
• 当等号成立且无整体测地点时，$ olimits\ln(K-1)$ 为次调和，由 $ olimits\Delta(\ln(K-1)) = 4(3\gamma^2 + 1) > 0$ 可得。