[論文レビュー] On Moduli Spaces and CW Structures Arising from Morse Theory On Hilbert Manifolds

Lizhen Qin|arXiv (Cornell University)|Dec 16, 2010

Mathematical Dynamics and Fractals参考文献 15被引用数 4

ひとこと要約

この論文は、ヒルバート多様体上のモーツァー理論における基礎的結果を確立し、負の勾配フローラインのコンパクト性を証明し、コンパクト化されたフローラインのモジュライ空間に滑らかな多様体・角付き構造を構成し、方向性の公式とCW分解を導出する。有限次元のモーツァー理論を無限次元のCFケース（条件(C)、有限インデックス）に拡張し、コンパクト化された降下多様体およびモジュライ空間の滑らかな構造に関する長年の未解決問題を解決する。モーツァーホモロジーおよびウィッテン変形への応用を含む。

ABSTRACT

This paper proves some results on negative gradient dynamics of Morse functions on Hilbert manifolds. It contains the compactness of flow lines, manifold structures of certain compacti- fied moduli spaces, orientation formulas, and CW structures of the underlying manifolds.

研究の動機と目的

• 無限次元モーツァー理論における長年の未解決問題を解決すること、特にヒルバート多様体上での負の勾配フローラインのモジュライ空間のコンパクト化における滑らかな構造について。
• 有限次元のモーツァー理論的結果（例えばCW分解や方向性の公式）を無限次元設定に一般化すること。
• 広く引用されながらも文献に証明のない「口頭の定理」、特に破損フローラインの結合に関するものを、自己完結的かつ厳密に取り扱うこと。
• 文献[8]および[20]の滑らかな構造に関する結果を、一般のCFケース（条件(C)、有限インデックス）に拡張すること。特に、これまで未解決であったコンパクト化されたW(p,q)空間のケースを含む。
• 良好なコンパクト化と方向性の公式を通じて、幾何学的およびホモロジー的応用（例えばモーツァーホモロジーおよびウィッテン変形）のための枠組みを確立すること。

提案手法

• 条件(C)および有限インデックスの仮定を用いて、未分裂フローラインのコンパクト性を証明し、破損フローラインを追加することで、有限次元の結果をヒルバート多様体に一般化する。
• 文献[8]のインスピレーションを受けるグリューニング構成を用い、無限次元CFケースに拡張することで、コンパクト化されたモジュライ空間 $\overline{\mathcal{M}(p,q)}$、$\overline{\mathcal{D}(p)}$、および $\overline{\mathcal{W}(p,q)}$ に滑らかな多様体・角付き構造を構成する。
• グリューニング写像の滑らかな依存性とストラティフィケーションとの整合性を保証するため、リーマン計量における局所的自明性条件（定義2.16）を導入する。
• Fredホルム指数と横断的条件に結びついた符号規約を用いて、モジュライ空間 $\mathcal{M}(p,q)$ の方向性の公式を導出し、一貫性のあるモーツァーホモロジー構成を可能にする。
• 勾配ベクトル場が臨界点近傍で与えられたベクトル場 $X$ と一致するように保証するため、対称的かつ正定値作用素 $A(X, \nabla_{G_1}f)$ を用いて新しい計量 $G_2$ を定義する計量変形技術を用いる。
• 評価写像 $e: \overline{\mathcal{D}(p)} \to M$ を用いて、コンパクト化された降下多様体の位相的性質と元の多様体の構造との関係を明らかにし、特にウィッテン変形の文脈で有効である。

実験結果

リサーチクエスチョン

• RQ1 ヒルバート多様体上での未分裂負の勾配フローラインの空間は、破損フローラインを加えることでどのような条件下でコンパクト化可能か？
• RQ2 臨界点 $p$ と $q$ 間のフローラインのモジュライ空間 $\mathcal{M}(p,q)$ のコンパクト化が、滑らかな多様体・角付き構造をどのように持ち得るか？
• RQ3 計量の局所的自明性が成り立たない状況下で、コンパクト化された降下多様体 $\overline{\mathcal{D}(p)}$ の滑らかな構造はどのように構成可能か？
• RQ4 無限次元CFケースにおける $\mathcal{M}(p,q)$ の正しい方向性の公式は何か？また、モーツァー微分とどのように関係するか？
• RQ5 破損フローラインの結合がCF設定で厳密に確立可能か？また、その結果、$\overline{\mathcal{D}(p)}$ に一貫性のある多様体・角付き構造が得られるか？

主な発見

• 定理3.1および3.2は、CFケースにおける未分裂フローラインの空間のコンパクト性を確立し、特に定理3.2はCFフレームワークよりもより一般的な設定でも成立する。
• 定理3.3は、横断的条件および局所的自明性仮定の下で、コンパクト化されたモジュライ空間 $\overline{\mathcal{M}(p,q)}$ が滑らかな多様体・角付き構造を備えることを証明する。
• 定理3.4は評価写像を用いて $\overline{\mathcal{D}(p)}$ に滑らかな構造を構成し、$\overline{\mathcal{D}(p)}$ 上での評価写像の像が滑らかな多様体・角付き構造をなすことを示す。
• 定理3.5は、同一の仮定の下で $\overline{\mathcal{W}(p,q)}$ が滑らかな多様体・角付き構造を備えることを証明し、これまであまり検討されていなかった空間への結果の拡張を達成する。
• 定理3.8は $\overline{\mathcal{D}(p)}$ の単純なホモトピー型を示し、臨界点のインデックスが低いものにインデックスされたセルを持つCW複体とホモトピー同値であることを示す。
• 定理3.9は、$\overline{\mathcal{D}(p)}$ の境界をモジュライ空間 $\mathcal{M}(p,q)$ を用いて正確に記述する公式を提示し、方向性の符号 $\varepsilon(x)$ を含む。これにより、モーツァー微分の構造が確認される：$\partial[\overline{\mathcal{D}(p)}] = \sum_{\text{ind}(q) = \text{ind}(p)-1} \#\mathcal{M}(p,q) \cdot [\overline{\mathcal{D}(q)}]$。