[论文解读] The structure Jacobi operator for hypersurfaces in CP^2 and CH^2

Thomas Ivey, Patrick J. Ryan|ArXiv.org|Dec 24, 2008

Geometric Analysis and Curvature Flows参考文献 12被引用 4

一句话总结

本文利用活动标架法与外微分系统研究复射影平面 ℂℙ² 与复双曲平面 ℂH² 中实超曲面的结构雅可比算子。证明了：除非超曲面为霍夫普（Hopf）型，否则沿结构向量场的结构雅可比算子的李导数为零的条件无法满足；进一步表明，在额外的曲率约束下，此类超曲面亦不可能存在，从而将高维中的非存在性结果推广至临界情形 n=2。

ABSTRACT

Using the methods of moving frames, we study real hypersurfaces in complex projective space CP^2 and complex hyperbolic space CH^2 whose structure Jacobi operator has various special properties. Our results complement work of several other authors who worked on such hypersurfaces in CP^n and CH^n for n>2.

研究动机与目标

• 将复空间形式中超曲面的分类结果推广至 n=2 的情形，其中先前适用于 n≥3 的方法失效。
• 在平行性或李导数为零等几何约束下，分析 ℂℙ² 与 ℂH² 中实超曲面的结构雅可比算子 R_W。
• 确定具有特殊性质（如伪爱因斯坦或常数 α 的霍夫普型）的超曲面是否可能存在于 ℂℙ² 与 ℂH² 中。
• 应用活动标架法与外微分系统（EDS）以克服在 n=2 维情形下传统解析技术的局限性。
• 解决在结构雅可比算子满足强对称性或可积性条件时，对 ℂℙ² 与 ℂH² 中超曲面进行分类的开放问题。

提出的方法

• 作者利用活动标架法推导出具有全纯截面曲率 ±4 的 ℂℙ² 与 ℂH² 中超曲面的结构方程。
• 定义结构雅可比算子 R_W 为与结构向量场 W 相关的曲率算子，其中 W 满足 J W = ξ（单位法向量）。
• 分析过程涉及在标架丛上建立外微分系统（EDS），微分形式 θ_i 编码了形状算子与曲率的几何约束。
• 通过引入辅助变量 ρ 对系统进行延拓，利用模系统形式的外导数验证独立性条件。
• 若外导数模系统形式为零，则意味着满足可积性条件；若不成立（例如出现非零项如 ω¹∧ω²∧ω³），则表明不存在积分子流形。
• 关键技巧在于计算 dθ_i 模 θ_j，推导出矛盾条件（如非零系数），从而证明解不存在。

实验结果

研究问题

• RQ1 是否存在 ℂℙ² 与 ℂH² 中的超曲面，使得沿结构向量场的结构雅可比算子的李导数为零？
• RQ2 尽管在高维中不存在，但在 ℂℙ² 与 ℂH² 中是否存在具有平行结构雅可比算子的超曲面？
• RQ3 当结构雅可比算子满足与伪爱因斯坦或霍夫普几何相关的条件时，在 n=2 情形下会引出何种约束？
• RQ4 活动标架法与 EDS 是否能够解决在标准曲率分析失效的 ℂℙ² 与 ℂH² 中的分类问题？
• RQ5 在二维复空间形式中，是否存在导致 R_W 的李导数为零的超曲面的几何障碍？

主要发现

• 在 ℂℙ² 或 ℂH² 中，不存在沿结构向量场的结构雅可比算子李导数为零的超曲面，除非该超曲面为霍夫普型。
• 假设结构雅可比算子为平行时，会在 ℂℙ² 与 ℂH² 中导致矛盾，从而确认此类超曲面不存在。
• 当施加李导数条件 L_W R_W = 0 时，系统迫使霍夫普主曲率 α 为常数，但进一步分析表明此类超曲面仍不可能存在。
• EDS 分析表明，系统形式的外导数模形式不为零，导致出现如 ω¹∧ω²∧ω³ 且系数非零的项，意味着不存在积分子流形。
• 在 ρ ≠ 0（伪爱因斯坦）情形下，条件 α² = c 通过 β = 0 导出矛盾，强制 ρ ≡ 0 恒成立。
• 由于出现如 24cβ²/λ ω¹∧ω²∧ω³ 的非零项，延拓后的 EDS 系统不满足独立性条件，从而证明在给定假设下无解存在。