[论文解读] Gradient flow of the norm squared of a moment map

Eugene Lerman|arXiv (Cornell University)|Oct 27, 2004

Geometry and complex manifolds参考文献 13被引用 38

一句话总结

本文证明了在辛流形上，一个矩量映射范数平方的梯度流，将每个稳定流形 $ S_C $ 强制形变收缩到其对应的临界集 $ C $，从而证明该梯度流在矩量映射的零水平集上给出了一个强形变收缩。该结果将洛贾谢夫斯基的梯度不等式推广至局部解析函数，使得可通过梯度流动力学对辛商的拓扑结构进行控制。

ABSTRACT

We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map. Duistermaat's proof is an adaptation of Lojasiewicz's argument for analytic functions to functions which are locally analytic.

研究动机与目标

• 通过梯度流建立辛流形到矩量映射零水平集的拓扑形变收缩。
• 将洛贾谢夫斯基的梯度不等式从解析函数推广至局部解析函数，适用于矩量映射范数平方。
• 严格证明与 $ ||\mu||^2 $ 的临界分支相关的稳定流形 $ S_C $ 的拓扑结构。
• 为理解辛商与GIT商的拓扑结构提供几何与分析基础。

提出的方法

• 将洛贾谢夫斯基的梯度不等式适配于局部解析函数，建立梯度关于到临界集距离的下界。
• 在临界分支的邻域内，对 $ f = ||\mu||^2 $ 使用不等式 $ ||\nabla f(y)|| \geq c |f(y) - b|^{\alpha} $，其中 $ 0 < \alpha < 1 $。
• 将该不等式应用于 $ -\nabla ||\mu||^2 $ 的流，证明轨迹的 $ \omega $-极限存在且位于某一临界分支内。
• 通过流的极限构造连续的形变收缩 $ \phi_\infty: S_C \to C $，并利用一致估计证明其连续性。
• 通过证明映射 $ (t, y) \mapsto \phi_t(y) $ 在 $ [0, \infty] \times S_C $ 上连续，表明流定义了一个强形变收缩。
• 依赖于 $ f = ||\mu||^2 $ 的 properness 性质以及临界分支的紧致性，用有限多个局部邻域覆盖它们，使得梯度不等式在这些邻域内成立。

实验结果

研究问题

• RQ1 梯度流 $ ||\mu||^2 $ 是否在流形上给出到零水平集 $ \mu^{-1}(0) $ 的形变收缩？
• RQ2 洛贾谢夫斯基的梯度不等式能否推广至仅局部解析的函数，如 $ ||\mu||^2 $？
• RQ3 由流向临界分支 $ C $ 的点构成的稳定流形 $ S_C $ 是否可拓扑形变收缩到 $ C $？
• RQ4 梯度流轨迹的 $ \omega $-极限在 $ S_C $ 上是否定义良好且连续？

主要发现

• 梯度流 $ ||\mu||^2 $ 在每个稳定流形 $ S_C $ 上定义了一个强形变收缩，将其收缩到对应的临界分支 $ C $。
• $ S_C $ 中所有 $ y $ 的流 $ \omega $-极限均存在，且极限映射 $ \phi_\infty: S_C \to C $ 是连续的。
• 流映射 $ \phi: [0, \infty] \times S_C \to S_C $ 是连续的，确认 $ S_C $ 可形变收缩到 $ C $。
• 该证明依赖于局部洛贾谢夫斯基型不等式 $ ||\nabla f|| \geq c |f - b|^\alpha $，其中 $ 0 < \alpha < 1 $，在紧致临界分支附近成立。
• 该结果确认 $ S_C $ 是一个流形，且流提供了拓扑形变收缩，支持了 $ ||\mu||^2 $ 的莫尔斯-博特定结构。