[论文解读] Mean curvature flow in higher codimension

Mu‐Tao Wang|ArXiv.org|Apr 3, 2002

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

一句话总结

本文在相位函数满足稳定性条件的前提下，通过单调性公式、曲率估计和最大值原理论证，建立了紧致拉格朗日子流形在卡拉比-丘流形中的平均曲率流的长时间存在性与收敛性。关键结果是：稳定graded拉格朗日子流形沿流光滑收敛至特殊拉格朗日子流形，为汤玛斯-杨猜想中拉格朗日同痕至特殊拉格朗日子流形提供了几何流方法。

ABSTRACT

The mean curvature flow is an evolution process under which a submanifold deforms in the direction of its mean curvature vector. The hypersurface case has been much studied since the eighties. Recently, several theorems on regularity, global existence and convergence of the flow in various ambient spaces and codimensions were proved. We shall explain the results obtained as well as the techniques involved. The potential applications in symplectic topology and mirror symmetry will also be discussed.

研究动机与目标

• 在相位函数满足稳定性条件的前提下，建立紧致拉格朗日子流形在卡拉比-丘流形中平均曲率流的长时间存在性与收敛性。
• 通过识别保持为正的量并控制曲率爆破，将已知的超曲面结果推广至更高余维。
• 为汤玛斯-杨猜想中拉格朗日同痕至特殊拉格朗日子流形提供几何流方法。
• 利用反向热核与爆破技术分析流在奇点附近的性质。

提出的方法

• 利用Huisken的反向热核单调性公式，控制流的密度并排除奇点。
• 对修正量 $ g = |A|^2 / (\mu - k) $ 应用最大值原理，推导出第二基本形式 $ |A|^2 $ 的一致有界性。
• 采用抛物型爆破尺度分析奇点，证明当 $ \int \rho_{x_0,t_0} d\mu_t \to 1 $ 时，爆破极限收敛至平面。
• 依赖于 $ \mu = \frac{\eta_1 + \eta_2}{2} $ 的演化方程，其中 $ \eta_1, \eta_2 $ 与相位及法曲率相关，以控制 $ |A|^2 $ 的增长。
• 在建立 $ |A|^2 $ 一致有界性及 $ \min \mu \to 1 $ 的收敛性后，应用Simon的一般收敛定理于梯度流。
• 利用从 $ |A|^2 $ 演化方程导出的曲率估计，通过常数 $ K_1, K_2 $ 纳入环境曲率项。

实验结果

研究问题

• RQ1 在卡拉比-丘流形中，稳定graded拉格朗日子流形的平均曲率流是否可存在所有时间并光滑收敛？
• RQ2 在高余维平均曲率流中，如何控制I型与II型奇点的形成？
• RQ3 在凯勒爱因斯坦或卡拉比-丘流形中，平均曲率流在何种条件下能保持拉格朗日或特殊拉格朗日性质？
• RQ4 单调性公式与反向热核是否可用于证明高余维情形下的正则性与收敛性？
• RQ5 相位函数 $ \theta $ 在决定流的稳定性与长期行为中起何种作用？

主要发现

• 若相位函数满足 $ -\frac{\pi}{2} < \theta < \frac{\pi}{2} $，则卡拉比-丘流形中紧致拉格朗日子流形的平均曲率流可存在所有时间，并光滑收敛至特殊拉格朗日子流形。
• 由于对 $ g = |A|^2 / (\mu - k) $ 应用最大值原理，第二基本形式 $ |A|^2 $ 沿流保持一致有界，且当 $ t \to \infty $ 时 $ \mu \to 1 $。
• 当 $ t \to t_0 $ 时，密度 $ \int \rho_{x_0,t_0} d\mu_t $ 的极限为1，意味着 $ (x_0,t_0) $ 为正则点，从而排除奇点。
• 流在凯勒爱因斯坦流形中保持拉格朗日条件，将超曲面结果推广至更高余维。
• 曲率估计表明 $ \sup |A|^2 \to 0 $ 当 $ t \to \infty $，意味着子流形在极限下成为完全脐形。
• 收敛是光滑的，且极限为特殊拉格朗日子流形，从而为稳定拉格朗日情形下的汤玛斯-杨猜想提供了几何实现。