[论文解读] On nearly semifree circle actions

Dusa McDuff, Susan Tolman|ArXiv.org|Mar 22, 2005

Geometric and Algebraic Topology参考文献 3被引用 4

一句话总结

本文证明了紧致半单李群 $G$ 的基本群中每个非平凡元素都可以由共轭作用轨道 $(M, \omega)$ 上的半自由圆作用表示，这意味着包含映射 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ 在 $\pi_1$ 上诱导出单射。此外，本文进一步证明：在紧致李群 $G$ 中，除非某个群元素反转了不动点集的半自由分量，否则圆作用在流形上是本质的。

ABSTRACT

Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if $(M, \om)$ is a coadjoint orbit of a compact Lie group $G$ then every element of $π_1(G)$ may be represented by a semifree $S^1$-action. A theorem of McDuff--Slimowitz then implies that $π_1(G)$ injects into $π_1(\Ham(M, \om))$, which answers a question raised by Weinstein. We also show that a circle action on a manifold $M$ which is semifree near a fixed point $x$ cannot contract in a compact Lie subgroup $G$ of the diffeomorphism group unless the action is reversed by an element of $G$ that fixes the point $x$. Similarly, if a circle acts in a Hamiltonian fashion on a manifold $(M,ω)$ and the stabilizer of every point has at most two components, then the circle cannot contract in a compact Lie subgroup of the group of Hamiltonian symplectomorphism unless the circle is reversed by an element of $G$

研究动机与目标

• 解决威斯汀提出的问题：对于紧致半单李群 $G$ 在共轭作用轨道上的作用，映射 $\pi_1(G) \to \pi_1(\mathrm{Ham}(M, \omega))$ 是否为单射。
• 通过识别在紧致李群中收缩的拓扑障碍，将半自由圆作用的本质性从辛范畴推广至更广范围。
• 刻画在紧致李群 $G$ 中，流形上的圆作用在何种条件下是无关紧要的，尤其关注不动点分量与群反转的关系。
• 分析经典与例外李群的根系与整数格，以验证所有 $\pi_1$-类均可由半自由圆作用表示。

提出的方法

• 使用定理 1.1（McDuff–Slimowitz）：任何在紧致辛流形上的半自由圆作用在辛同胚群中都是本质的。
• 通过显式分析共轭作用与稳定子，构造紧致半单李群的共轭作用轨道上的半自由圆作用。
• 应用通量同态以排除非哈密顿情形中的无关紧要作用，并在哈密顿情形中使用霍弗长度。
• 对不动点集进行拓扑分析：若流形 $M^\Lambda$ 的分量 $F$ 满足在 $F$ 附近作用为半自由，则称其为半自由；若存在 $g \in G$ 点固定 $F$ 且反转 $\Lambda$，则称其在 $G$ 中对称。
• 证明：若 $M^\Lambda$ 的某个半自由分量在 $G$ 中不对称，则 $\Lambda$ 在 $G$ 中本质，使用群论与等变拓扑技术。
• 对所有经典与例外李群（$A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2$）进行详细的根系分析，以验证最高根 $\delta$ 生成整数对偶格 $\widetilde{\ell}^*$，且所有根均位于由特定根对生成的格 $L$ 中。

实验结果

研究问题

• RQ1 对于紧致半单李群 $G$ 在共轭作用轨道上的作用，包含映射 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ 是否在 $\pi_1$ 上诱导单射？
• RQ2 在何种条件下，流形 $M$ 上的半自由圆作用在紧致李群 $G$ 中是无关紧要的？
• RQ3 每个 $\pi_1(G)$ 的非平凡元素是否都能在 $G$ 的共轭作用轨道上实现为半自由圆作用？
• RQ4 群反转在阻碍紧致李群中圆子群收缩方面起什么作用？
• RQ5 例外李群的根系与整数格如何影响表示 $\pi_1$-类的半自由圆作用的存在性？

主要发现

• 对于紧致半单李群 $G$，其 $\pi_1(G)$ 中每个非平凡元素均可由共轭作用轨道 $(M, \omega)$ 上的半自由圆作用表示，如命题 1.3 所示。
• 包含映射 $G \hookrightarrow \mathrm{Ham}(M, \omega)$ 在 $\pi_1$ 上诱导单射，从而对所有紧致半单李群正面回答了威斯汀的问题。
• 若圆子群 $\Lambda \subset G$ 拥有一个在 $G$ 中不对称的半自由不动点分量 $F$，则 $\Lambda$ 在 $G$ 中本质，此结论由定理 1.4 建立。
• 在辛范畴中，若哈密顿圆作用的等方体（即稳定子）至多有两个分量，则 $\Lambda$ 在 $G$ 中无关紧要当且仅当存在某个 $g \in G$ 固定点固定集并反转 $\Lambda$。
• 对所有经典与例外李群，最高根 $\delta$ 生成对偶整数格 $\widetilde{\ell}^*$，且所有根均位于由特定根对生成的格 $L$ 中，从而确认了所需半自由作用的存在性。
• 在 $E_8$ 中，最高根 $\delta = \epsilon_1 - \epsilon_9$ 是正 Weyl 范畴中唯一的根，且所有根可表示为 $\pm(\epsilon_1 - \epsilon_k)$、$\pm(\epsilon_k - \epsilon_9)$、$\pm(\epsilon_1 + \epsilon_i + \epsilon_j)$ 以及 $\pm(\epsilon_i + \epsilon_j + \epsilon_9)$ 的和，从而证明了格生成的断言。