[论文解读] Complete minimal hypersurfaces of $S^4$ with zero Gauss-Kronecker curvature

Thomas Hasanis, Andreas Savas-Halilaj+1 more|ArXiv.org|Dec 3, 2004

Geometric Analysis and Curvature Flows参考文献 8被引用 6

一句话总结

该论文分类了四维球面中具有恒为零的高斯-克罗内克曲率的完备极小超曲面，表明它们源自从紧致曲面到 𝕊⁴ 的超极小浸入的极坐标映射。在第二基本形式平方有界的条件下，该超曲面是紧致的，且生成曲面微分同胚于 𝕊² 或 ℝℙ²。

ABSTRACT

We investigate the structure of 3-dimensional complete minimal hypersurfaces in the unit sphere with Gauss-Kronecker curvature identically zero.

研究动机与目标

• 在几何约束条件下，对 𝕊⁴ 中具有零高斯-克罗内克曲率的完备极小超曲面进行分类。
• 确定此类超曲面作为超极小浸入的极坐标映射生成的条件。
• 分析当第二基本形式有界时，生成曲面的拓扑与几何结构。
• 研究非超极小的高斯像是否可能产生具有零高斯-克罗内克曲率的完备极小超曲面。
• 在第二基本形式平方有界条件下，建立生成曲面的紧致性与微分同胚类型。

提出的方法

• 利用 Dajczer-Gromoll 极坐标映射构造，将 𝕊⁴ 中二维极小浸入的单位法丛映射到极小超曲面。
• 应用高斯-克罗内克曲率条件以约束生成曲面的几何，要求满足 (1−K)²−Kₙ²=0 以保证超极小性。
• 对超极小浸入应用微分方程 Δlog(1−K)=2(3K−1) 以分析曲率行为并确保正则性。
• 通过在生成曲面 V 上使用共形度量变换 ̂⟨⋅,⋅⟩=(1−K)¹ᐟ³⟨⋅,⋅⟩ 应用 Myers 定理，推导出紧致性。
• 利用发散曲线上的长度估计，通过反证法证明生成曲面 V 的完备性。
• 依赖 Penrose twistor 纤维丛及已知的超极小浸入构造，生成具有正法曲率的例子。

实验结果

研究问题

• RQ1 在何种条件下，四维球面中具有零高斯-克罗内克曲率的完备极小超曲面可作为超极小浸入的极坐标映射生成？
• RQ2 若第二基本形式平方远离零，此类超曲面是否仍可为紧致？
• RQ3 在第二基本形式有界条件下，极坐标映射的生成曲面 V 可能具有何种拓扑类型？
• RQ4 是否可能存在具有非超极小高斯像的、在 𝕊⁴ 中具有零高斯-克罗内克曲率的完备极小超曲面？
• RQ5 第二基本形式的有界性如何影响生成曲面的完备性与紧致性？

主要发现

• 若第二基本形式长度平方 S 在处处非零且有上界时，则极小超曲面 f(M³) 是具有正法曲率的超极小浸入 g:V→𝕊⁴ 的极坐标映射的像。
• 当 S 远离零时，生成曲面 V 是完备且紧致的，因此微分同胚于 𝕊² 或 ℝℙ²。
• 在 S 有界条件下，极坐标映射构造产生一个在 𝕊⁴ 中具有零高斯-克罗内克曲率的紧致极小超曲面 f(M³)。
• 生成曲面的高斯曲率 K 满足微分方程 Δlog(1−K)=2(3K−1)，该方程刻画了超极小浸入。
• 在 V 上定义的共形度量 ̂⟨⋅,⋅⟩=(1−K)¹ᐟ³⟨⋅,⋅⟩ 具有正的下确界曲率，从而可应用 Myers 定理以得出紧致性结论。
• 若存在具有零高斯-克罗内克曲率的完备极小超曲面且其高斯像非超极小，则第二基本形式必无界。