[論文レビュー] Integrable Gradient Flows and Morse Theory

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

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

ひとこと要約

本稿では、古典的リーマン多様体、特にリー群と対称空間上でのモーツァー関数に対する可積分勾配フローを導入し、これらの空間上の一般の高さ関数が明示的に解ける勾配フローを持つ完全なモーツァー関数であることを示している。主な貢献は、これらのフローを用いた多様体の幾何的セル分解であり、これによりグラスマンニアンのフラッグジョインに関するヴァスィリエフの定理の初等的証明が得られ、ユニタリ群のホモロジーがシューベルトサイクルによって実現される。

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.

研究の動機と目的

• リーマン多様体上のモーツァー関数が可積分勾配フローをもつための条件を確立すること。
• 古典的リー群および対称空間上での一般の高さ関数が完全なモーツァー関数であることを示すこと。
• 可積分勾配フローを用いた、このような多様体の明示的な幾何的セル分解を提供すること。
• 可積分モーツァー理論を用いて、グラスマンニアンのフラッグジョインに関するヴァスィリエフの定理の初等的証明を与えること。
• フラッグジョイン内の不変部分空間から構成されたシューベルトセルを用いて、ユニタリ群のホモロジーを実現すること。

提案手法

• 可積分モーツァー関数を、勾配フロー方程式が明示的に解けるモーツァー関数として定義する。
• トレースがゼロの対称行列の球面上での関数 $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ を用いて、可積分勾配フローを構成する。
• バーチェントリック座標 $ a_i = \frac{\lambda_{i+1} - \lambda_1}{\lambda_n - \lambda_1} $ を導入し、フローを一般化されたボルタッラ鎖に変換する。
• 変数変換 $ b_i = \sum_{k=1}^i a_k $ を用いてボルタッラ型系を解き、$ \frac{db_i}{d\tau} = b_i(b_i - 1) $ を得る。これは明示的に積分可能である。
• ユニタリ作用素が部分空間を保存し、その直交補空間上で $ -I $ として作用するようにして、$ U(n) $ 内のサイクルをグラスマンニアン $ G_k(\mathbb{C}^n) $ のシューベルトセルから構成する。
• 明示的なフローのダイナミクスを用いて、グラスマンニアンのフラッグジョインが標準球面と微分同相である滑らかな構造を持つことを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的リー群および対称空間上での高さ関数が、可積分勾配フローを持つ完全なモーツァー関数であることを示せるか？
• RQ2 $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ のトレースがゼロの対称行列の球面上での勾配フローがどのように明示的に統合できるか？
• RQ3 グラスマンニアン埋め込みの観点から、得られるセル分解の幾何的意味は何か？
• RQ4 ヴァスィリエフ＝マホワルド分解 $ H_*(U(n)) $ は可積分勾配フローから導けるか？
• RQ5 グラスマンニアンのフラッグジョインは、フローに由来する分解と整合する滑らかな構造を持つか？

主な発見

• $ f = \frac{1}{3}\operatorname{Tr}(X^3) $ のトレースがゼロの対称行列の球面上での勾配フローは可積分であり、頂点が埋め込まれたグラスマンニアン上にある単体に球面を分解する。
• バーチェントリック座標におけるフローは一般化されたボルタッラ鎖方程式 $ \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 = \sum_{k=1}^i a_k $ に対して解 $ b_i = \frac{1}{1 - c_i e^{\tau}} $ が得られ、可積分性が確認され、フローの完全な記述が可能になる。
• グラスマンニアンのフラッグジョイン $ \Theta_n(\mathbf{k}) $ は標準球面と微分同相である滑らかな構造を持ち、すべてのグラスマンニアン埋め込みが滑らかである。
• ヴァスィリエフ＝マホワルド分解 $ H_i(U(n)) \cong \bigoplus_{k=0}^n H_{i-k^2}(G_k(\mathbb{C}^n)) $ は、シューベルトセルから構成されたサイクルによって幾何的に実現される。
• 本構成により、可積分勾配フローのダイナミクスを用いたヴァスィリエフの定理の初等的証明が得られる。