[論文レビュー] A proof of Morse's theorem about the cancellation of critical points

François Laudenbach|arXiv (Cornell University)|Jul 9, 2013

Advanced Topology and Set Theory参考文献 5被引用数 3

ひとこと要約

この論文は、閉多様体上の非退化な指数 $k$ と $k+1$ の臨界点のペアに対するモースの取消定理の幾何的証明を提供する。問題を1次元モデルに還元し、擬似勾配フローを用いることで、勾配構造を保ちつつ臨界点を取消する明示的な関数の変形を構成した。これは、不安定多様体と安定多様体の軌道と交差する条件を満たす場合に取消しが可能であることを示している。

ABSTRACT

In this note, we give a proof of the famous theorem of M. Morse dealing with the cancellation of a pair of non-degenerate critical points of a smooth function. Our proof consists of a reduction to the one-dimensional case where the question becomes easy to answer.

研究の動機と目的

• 連続する指数の臨界点に対するモースの取消定理の幾何的で可視化可能な証明を提供すること。
• 摂動の台を明示することで、モース関数の変形を明確にすること。
• 一般の取消問題を、取り扱いやすい1次元ケースに還元すること。
• 擬似勾配と横断的条件が取消を可能にする役割を明確にすること。
• ミルナーとスメールの結果を回復・一般化し、より透明で幾何的な構成を提供すること。

提案手法

• 指数 $k$ と $k+1$ の臨界点間のフロー線を分析することで、取消問題を1次元モデルに還元する。
• リャプノフ条件および非退化性を満たす擬似勾配ベクトル場 $X$ を用い、安定多様体と不安定多様体を定義する。
• 臨界点 $p$ と $q$ 間の接続軌道 $\ell$ のトーラス近傍 $\widetilde{W}$ を、多様体 $M$ 内の曲線 $A$ 上にファイブレーションする。
• ファイブレーションの各ファイバー $\widetilde{D}_u$ 上に、指数 $k$ の単一の臨界点を持つ関数族 $f_u$ を定義する。
• 補題2を適用し、滑らかに $f_u$ の臨界値を減少させつつ、擬似勾配構造を保つ。
• 変形を近傍 $U$ 全体に拡張し、ペア $(p,q)$ を取消する。$t=1/2$ を除き関数はモース関数のままであるが、この時点で立方特異点が生じる。

実験結果

リサーチクエスチョン

• RQ1 閉多様体上のモース関数において、連続する指数の2つの臨界点が、どのような幾何的条件下で取消可能か？
• RQ2 取消プロセスを多様体上で幾何的に可視化し、明示的なサポートを持つようにできるか？
• RQ3 擬似勾配構造は、臨界点の取消を可能にする上で果たす役割は何か？
• RQ4 一般の取消問題を、より簡単な解析が可能な1次元モデルに還元できるか？
• RQ5 $W^u(p) \cap W^s(q)$ の横断的交わりと軌道構造は、取消の可能性にどのように影響するか？

主な発見

• 指数 $k$ と $k+1$ の臨界点のペアは、その不安定多様体と安定多様体が1つの軌道で横断的に交わっており、正則なレベル集合に関して全般的な交差条件を満たす場合に取消可能である。
• モース関数の変形は、$W^u(p) \cap \{f \geq f(q) - \varepsilon\}$ の閉包の近傍 $U$ にのみ支持されるため、この領域外では変化がない。
• $t=1/2$ の段階で、関数 $f_t$ は立方特異点を発生させ、これは取消プロセスの中間段階である。
• 最終関数 $f_1$ は $U$ 内に臨界点を持たず、ペア $(p,q)$ の成功した取消が確認される。
• 証明により、取消が擬似勾配構造と整合的であることが示され、変形の全過程で流れのダイナミクスが保たれる。
• この結果は、ミルナーとスメールの基準を一般化し、取消プロセスの構成的で幾何的な実現を提供する。