[论文解读] Integrable Gradient Flows and Morse Theory

Ivan Dynnikov, А. П. Веселов|arXiv (Cornell University)|Jun 9, 1995

Homotopy and Cohomology in Algebraic TopologyMathematics参考文献 13被引用 21

一句话总结

本文引入了经典黎曼流形上Morse函数的可积梯度流，特别是李群和对称空间，表明这些空间上的典型高度函数是完美Morse函数，且其梯度流可显式求解。关键贡献是通过这些流实现流形的几何胞分解，从而为格拉斯曼流形旗和的巴斯蒂耶夫定理提供了初等证明，并通过施伯特胞腔实现了酉群上同调的实现。

ABSTRACT

Examples of Morse functions with integrable gradient flows on some classical Riemannian manifolds are considered. In particular, we show that a generic height function on the symmetric embeddings of classical Lie groups and certain symmetric spaces is a perfect Morse function, i.e. has as many critical points as the homology requires, and the corresponding gradient flow can be described explicitly. This gives an explicit cell decomposition and geometric realization of the homology for such a manifold. As another application of the integrable Morse functions we give an elementary proof of Vassiljev's theorem on the flag join of Grassmannians.

研究动机与目标

• 建立黎曼流形上Morse函数具有可积梯度流的条件。
• 证明经典李群和对称空间上的典型高度函数是完美Morse函数。
• 利用可积梯度流，对这类流形提供显式的几何胞分解。
• 通过可积Morse理论，为格拉斯曼流形旗和的巴斯蒂耶夫定理提供初等证明。
• 通过旗和中的不变子空间构造的施伯特胞腔，实现酉群的上同调。

提出的方法

• 将可积Morse函数定义为梯度流方程可显式求解的Morse函数。
• 在迹为零的对称矩阵球面上使用迹函数 $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ 构造可积梯度流。
• 引入重心坐标 $ a_i = \frac{\lambda_{i+1} - \lambda_1}{\lambda_n - \lambda_1} $，将流变换为广义Volterra链。
• 通过变量替换 $ b_i = \sum_{k=1}^i a_k $ 求解Volterra型系统，得到 $ \frac{db_i}{d\tau} = b_i(b_i - 1) $，该式可显式积分。
• 通过保持子空间不变并在其正交补上作用为 $ -I $ 的酉算子，从格拉斯曼流形 $ G_k(\mathbb{C}^n) $ 的施伯特胞腔构造 $ U(n) $ 中的胞腔。
• 利用显式流动力学，证明格拉斯曼流形旗和具有微分同胚于标准球面的光滑结构。

实验结果

研究问题

• RQ1 能否证明经典李群和对称空间上的高度函数是具有可积梯度流的完美Morse函数？
• RQ2 在对称矩阵球面上，函数 $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ 的梯度流能否被显式积分？
• RQ3 该流产生的胞分解在格拉斯曼流形嵌入中的几何意义为何？
• RQ4 能否从可积梯度流推导出Vassiljev-Mahowald对 $ H_*(U(n)) $ 的分解？
• RQ5 格拉斯曼流形旗和是否具有与流诱导分解相容的光滑结构？

主要发现

• 在迹为零的对称矩阵球面上，$ f = \frac{1}{3}\operatorname{Tr}(X^3) $ 的梯度流是可积的，且将球面分解为顶点位于嵌入格拉斯曼流形中的单纯形。
• 在重心坐标下，流满足广义Volterra链方程 $ \frac{d}{d\tau}a_i = a_i\left(\sum_{k=1}^{i-1}a_k - \sum_{l=i+1}^{n-1}a_l\right) $，该方程可显式求解。
• 解 $ b_i = \frac{1}{1 - c_i e^{\tau}} $（其中 $ b_i = \sum_{k=1}^i a_k $）确认了可积性，并完整描述了流的动力学。
• 格拉斯曼流形旗和 $ \Theta_n(\mathbf{k}) $ 具有微分同胚于标准球面的光滑结构，且所有格拉斯曼流形嵌入均为光滑的。
• Vassiljev-Mahowald分解 $ H_i(U(n)) \cong \bigoplus_{k=0}^n H_{i-k^2}(G_k(\mathbb{C}^n)) $ 通过由施伯特胞腔构造的胞腔实现。
• 该构造通过可积梯度流的动力学，为巴斯蒂耶夫定理提供了初等证明。