[论文解读] $π_1$ of Hamiltonian $S^1$ manifolds

Hui Li|Mar 8, 2002

Hermeneutics and Narrative Identity被引用 11

一句话总结

该论文证明了对于一个连通的、紧致的哈密顿 $S^1$-流形 $(M, \omega)$，其基本群同构于任意时刻映射值下的辛约化空间 $M_{\text{red}}$ 的基本群，也同构于极小值集与极大值集的基本群。通过莫尔斯理论与时刻映射水平集的结构，作者证明了 $\pi_1(M) = \pi_1(\text{最小}) = \pi_1(\text{最大}) = \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$-流形及其辛约化空间的基本群。
• 研究基本群在通过时刻映射进行辛约化时的行为。
• 建立基本群在时刻映射水平集与约化空间之间保持不变的拓扑性质。
• 阐明辛约化空间中拓扑基本群与轨道基本群之间的区别。

提出的方法

• 对时刻映射 $\phi: M \to \mathbb{R}$ 应用莫尔斯理论，该映射是一个具有固定点分支为临界集的完美 Bott-莫尔斯函数。
• 利用等变辛嵌入定理，将临界集的管状邻域建模为在固定点子流形上的加权复射影丛。
• 应用范坎彭定理，计算通过沿临界集上的球丛 attaching 了圆盘丛后所得空间的基本群。
• 通过纤维丛与丛结构分析水平集 $\phi^{-1}(a)$ 及其商空间 $M_a = \phi^{-1}(a)/S^1$ 的同伦类型。
• 利用 $S(D^-)/S^1$ 是临界集 $F$ 上的加权复射影丛，且 $D^-/S^1$ 同伦等价于 $F$ 的事实，比较基本群。
• 通过时刻映射临界值的归纳法，证明基本群在每个临界水平过渡中保持不变。

实验结果

研究问题

• RQ1 哈密顿 $S^1$-流形的基本群在辛约化下是否保持不变？
• RQ2 辛约化空间 $M_{\text{red}}$ 的基本群与时刻映射极小值集和极大值集的基本群有何关系？
• RQ3 是否能通过时刻映射水平集的拓扑计算全流形 $M$ 的基本群？
• RQ4 为何该结果在轨道基本群情况下不成立，如 $\mathbb{Z}_2$ 奇点的反例所示？

主要发现

• 流形 $M$ 的基本群同构于其在时刻映射像中任意值下的辛约化空间 $M_{\text{red}}$ 的基本群。
• 时刻映射极小值集与极大值集的基本群同构于 $\pi_1(M)$。
• 对于 $(0, a_1)$ 内的正则值 $a$，辛约化空间 $M_a$ 是极小值集上的加权 $\mathbb{C}P^l$-丛，其单连通，因此 $\pi_1(M_a) = \pi_1(\text{极小})$。
• 在穿过指数为 2 的临界水平时，包含映射 $M_a \hookrightarrow M_b$ 在基本群上诱导同构，这是由于从球丛到临界集的映射在基本群上是满射。
• 对于指数大于 2 的临界集，映射 $\pi_1(S(D^-)) \to \pi_1(F)$ 是同构，使得基本群在附着过程中得以保持。
• 通过所有临界值的归纳，得到 $\pi_1(M) = \pi_1(\text{极小})$，且同理对极大值集也成立，因此这四个群彼此同构。