[论文解读] Self-shrinkers of the mean curvature flow in arbitrary codimension

Knut Smoczyk|ArXiv.org|Jul 15, 2005

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

一句话总结

本文通过证明紧致自缩子在平均曲率流中为球面对当且仅当平均曲率向量非零且主法向量在法丛中平行，从而在任意余维下对紧致自缩子进行了分类。此外，在这些条件下进一步对完备非紧致自缩子进行分类，表明其为阿夫雷斯科-兰杰曲线与欧几里得空间的乘积，通过曲率与法丛结构的几何与分析方法，将休斯肯的超曲面分类推广至更高余维。

ABSTRACT

For hypersurfaces of dimension greater than one, Huisken showed that compact self-shrinkers of the mean curvature flow with positive scalar mean curvature are spheres. We will prove the following extension: A compact self-similar solution in arbitrary codimension and of dimension greater than one is spherical, i.e. contained in a sphere, if and only if the mean curvature vector \be H\ee is non-vanishing and the principal normal \beν\ee is parallel in the normal bundle. We also give a classification of complete noncompact self-shrinkers of that type.

研究动机与目标

• 将休斯肯对紧致超曲面为球面的分类推广至更高余维的自缩子。
• 在任意余维下，当平均曲率向量非零且主法向量在法丛中平行时，表征紧致自缩子为球面。
• 在相同几何条件下对完备非紧致自缩子进行分类。
• 通过乘积构造与法丛分析，将阿夫雷斯科-兰杰对自缩曲线的分类推广至更高余维。
• 通过将自缩子作为模型解的分类，分析平均曲率流奇点的爆破行为。

提出的方法

• 使用自缩子方程 $ H = -F^\perp $，其中 $ H $ 为平均曲率向量，$ F^\perp $ 为位置向量在法方向的投影。
• 应用主法向量 $ \nu $ 在法丛中平行的条件，以约束子流形的几何结构。
• 通过方程 $ \Delta|H| = |H| - |H|^3 $ 分析平均曲率模长 $ |H| $ 的拉普拉斯算子，其在 $ \nabla|H| \neq 0 $ 的区域成立。
• 利用具有平坦法丛且 $ |H| > 0 $ 的自缩子必为阿夫雷斯科-兰杰曲线与 $ \mathbb{R}^{m-1} $ 的乘积这一事实，结合拉格朗日与对称性性质。
• 通过测地完备性与 $ |H| $ 的临界点的横截孤立性，将局部乘积结构全局化。
• 应用阿夫雷斯科与兰杰关于 $ \mathbb{R}^2 $ 中自缩曲线的结果，通过证明任意此类曲线均位于一个二维平面内且与该平面中的阿夫雷斯科-兰杰曲线重合，将其推广至更高余维。

实验结果

研究问题

• RQ1 在何种几何条件下，任意余维下的紧致自缩子为球面？
• RQ2 自缩子的分类能否从超曲面推广至具有非零平均曲率与法丛中平行主法向量的更高余维子流形？
• RQ3 当平均曲率向量非零且主法向量在法丛中平行时，更高余维下的完备非紧致自缩子为何种形式？
• RQ4 自缩子的曲率与法丛结构如何约束其整体几何？
• RQ5 具有平坦法丛且 $ |H| > 0 $ 的自缩子的乘积结构能否被完全表征为阿夫雷斯科-兰杰曲线与欧几里得空间的乘积？

主要发现

• 若紧致自缩子 $ M^m \subset \mathbb{R}^n $ 满足 $ m \geq 2 $，则其为球面当且仅当平均曲率向量 $ H $ 非零且主法向量 $ \nu $ 在法丛中平行。
• 满足相同条件的完备非紧致自缩子在整体上为阿夫雷斯科-兰杰曲线 $ \Gamma $ 与 $ \mathbb{R}^{m-1} $ 的乘积，即 $ M = \Gamma \times \mathbb{R}^{m-1} $。
• 任意位于 $ \mathbb{R}^n $ 中的自缩曲线均位于一个二维平面内，且在该平面中与一个阿夫雷斯科-兰杰曲线重合，从而将二维分类推广至更高余维。
• 临界点在积分叶上的横截孤立性成立，且仅当 $ |H| $ 具有非退化临界值时才会出现非球面例子。
• 若正则集的两个连通分支在边界处相接，则其对应的阿夫雷斯科-兰杰曲线必须完全相同，从而保证整体乘积结构。
• 在正则集上，拉普拉斯恒等式 $ \Delta|H| = |H| - |H|^3 $ 暗示 $ |H| $ 不能为零或为常数，除非该曲线为圆，从而排除了具有常曲率的非平凡平坦法丛例子。