[論文レビュー] $π_1$ of Hamiltonian $S^1$ manifolds

Hui Li|Mar 8, 2002

Hermeneutics and Narrative Identity被引用数 11

ひとこと要約

この論文は、連結でコンパクトなハミルトニアン $S^1$-多様体 $(M, \omega)$ に対して、任意のモーメントマップ値におけるそのシンプレクティック商 $M_{\text{red}}$ および最小・最大の臨界集合の基本群が、$M$ の基本群と同型であることを確立している。モーメントマップのレベル集合の構造とモース理論を用いて、著者らは $\pi_1(M) = \pi_1(\text{minimum}) = \pi_1(\text{maximum}) = \pi_1(M_{\text{red}})$ を証明し、シンプレクティック削減において基本群の位相的不変性を示している。

ABSTRACT

Let $(M, ω)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $S^1$ action. We prove that, as fundamental groups of topological spaces, $π_1(M)=π_1(\hbox{minimum})=π_1(\hbox{maximum})=π_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value in the image of the moment map $ϕ$.

研究の動機と目的

• コンパクトで連結なハミルトニアン $S^1$-多様体の基本群およびそのシンプレクティック商の基本群を特定すること。
• モーメントマップを介したシンプレクティック削減における基本群の挙動を調査すること。
• モーメントマップのレベル集合および削減空間を通じて、$\pi_1$ の位相的不変性を確立すること。
• シンプレクティック商における位相的 $\pi_1$ とオーロラ $\pi_1$ の違いを明確にすること。

提案手法

• モーメントマップ $\phi: M \to \mathbb{R}$ にモース理論を適用し、$S^1$-作用の固定点成分における臨界集合を持つ完全なボット-モース関数として扱う。
• 等長的シンプレクティック埋め込み定理を用いて、臨界集合のチューブ型近傍を固定点部分多様体上の重み付き射影バンドルとしてモデル化する。
• ヴァン・カンペンの定理を用いて、臨界集合上の球面バンドルに沿ってディスクバンドルを貼り付けることによって得られる空間の $\pi_1$ を計算する。
• ファイブレーションおよびバンドル構造を用いて、レベル集合 $\phi^{-1}(a)$ 及びその商 $M_a = \phi^{-1}(a)/S^1$ のホモトピー型を分析する。
• $S(D^-)/S^1$ が臨界集合 $F$ 上の重み付き射影バンドルであること、および $D^-/S^1$ が $F$ にホモトピー同値であることを利用して、基本群を比較する。
• モーメントマップの臨界値を段階的に取り扱う帰納法を用い、各臨界レベル遷移において $\pi_1$ が変化しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン $S^1$-多様体の基本群は、シンプレクティック削減によっても不変であるか？
• RQ2 シンプレクティック商 $M_{\text{red}}$ の $\pi_1$ は、モーメントマップの最小臨界集合および最大臨界集合の $\pi_1$ とどのように関係するか？
• RQ3 モーメントマップのレベル集合の位相から、全多様体 $M$ の基本群を計算できるか？
• RQ4 なぜ反例として $\mathbb{Z}_2$ 奇性を用いた場合、この結果はオーロラ基本群に対しては成り立たないのか？

主な発見

• 多様体 $M$ の基本群は、モーメントマップの像内に属する任意の値におけるそのシンプレクティック商 $M_{\text{red}}$ の基本群と同型である。
• モーメントマップの最小および最大臨界集合の基本群は、$\pi_1(M)$ と同型である。
• 正則値 $a \in (0, a_1)$ に対して、シンプレクティック商 $M_a$ は最小集合上への重み付き $\mathbb{C}P^l$-バンドルである。これは単連結であるため、$\pi_1(M_a) = \pi_1(\text{minimum})$ が成り立つ。
• インデックス 2 の臨界レベルを越える際、包含写像 $M_a \hookrightarrow M_b$ は $\pi_1$ に沿って同型を誘導する。これは、球面バンドルから臨界集合への写像の $\pi_1$ 上の全射性に起因する。
• インデックスが 2 より大きい臨界集合に対しては、写像 $\pi_1(S(D^-)) \to \pi_1(F)$ が同型であり、貼り付け工程を通じて $\pi_1$ が保存される。
• すべての臨界値について帰納的に適用することで、$\pi_1(M) = \pi_1(\text{minimum})$ が得られ、最大についても同様であるため、4つの群はすべて同型である。