[论文解读] Extending finite group actions on surfaces over $S^3$

Chao Wang, Shicheng Wang+2 more|arXiv (Cornell University)|Sep 6, 2012

Geometric and Algebraic Topology参考文献 11被引用 6

一句话总结

本文研究了通过无 knot 嵌入扩展到 3-球面 $S^3$ 的有限、阿贝尔和循环群作用在亏格-$g$ 曲面上的最大阶。利用几何拓扑与轨道丛理论，本文证明了在 $Σ_g$ 上可扩展的有限群作用的最大阶为 $12(g-1)$，且仅在特定 $g = 2, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601$ 时达到。此外，本文还确立了 $AE_g = 2g+2$，$CE_g = 2g+2$（当 $g$ 为偶数时），以及 $2g-2$（当 $g$ 为奇数时），所有情况均通过无 knot 嵌入实现。

ABSTRACT

Let $OE_g$ (resp. $CE_g$ and $AE_g$) and resp. $OE^o_g$ be the maximum order of finite (resp. cyclic and abelian) groups $G$ acting on the closed orientable surfaces $Σ_g$ which extend over $(S^3, Σ_g)$ among all embeddings $Σ_g o S^3$ and resp. unknotted embeddings $Σ_g o S^3$. It is known that $OE^o_g\le 12(g-1)$, and we show that $12(g-1)$ is reached for an unknotted embedding $Σ_g o S^3$ if and only if $g = 2$, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601. Moreover $AE_g$ is $2g+2$; and $CE_g$ is $2g+2$ for even $g$, and $2g-2$ for odd $g$. Efforts are made to see intuitively how these maximal symmetries are embedded into the symmetries of the 3-sphere.

研究动机与目标

• 确定通过无 knot 嵌入扩展至 $S^3$ 的亏格-$g$ 曲面上有限群作用的最大阶。
• 刻画 $Σ_g$ 上可扩展阿贝尔与循环群作用的最大阶。
• 识别所有使得最大阶为 $12(g-1)$ 的有限群作用可通过无 knot 嵌入实现的亏格 $g$。
• 通过手术与覆盖空间，提供 $(S^3, \Sigma_g)$ 大对称性的直观几何构造。
• 阐明曲面上可扩展作用与 3-球面对称性之间的关系，特别是通过轨道丛与带柄体理论。

提出的方法

• 使用带柄体轨道丛理论分析 $V_g$ 的对称性，并推导可扩展群作用的界。
• 应用 Riemann-Hurwitz 公式与拓扑不变量以约束可能的群阶。
• 通过在 $S^3$ 中的链环（如 Borromean 环与扭结链）进行手术，显式构造 $Σ_g$ 上的群作用。
• 通过覆盖映射将球面 3-流形（如 $S^3/Q$，$S^3/I^*$）上的作用提升至 $S^3$，以实现可扩展作用。
• 利用基本群同态的满射性，确保曲面的原像连通且亏格为 $g$。
• 分析 $SO(4)$ 的有限子群（如 $\mathbf{O \times O}$ 与 $\mathbf{O \times J}$）在 $S^3$ 上的作用，以构造具有最大对称性的曲面。

实验结果

研究问题

• RQ1 对于哪些亏格 $g$，通过无 knot 嵌入实现的可扩展有限群作用的最大阶 $12(g-1)$ 会达到？
• RQ2 可扩展阿贝尔群作用在 $Σ_g$ 上的最大阶是多少？在哪些 $g$ 下达到？
• RQ3 可扩展循环群作用在 $Σ_g$ 上的最大阶是多少？其大小如何依赖于 $g$ 的奇偶性？
• RQ4 所有最大可扩展群作用是否都能通过无 knot 嵌入实现？对所有 $g$ 是否都有 $OE_g = OE^o_g$？
• RQ5 3-球面的对称性如何通过手术与覆盖空间等几何构造，诱导并扩展嵌入曲面 $Σ_g$ 的对称性？

主要发现

• 通过无 knot 嵌入实现的可扩展有限群作用在 $Σ_g$ 上的最大阶为 $12(g-1)$，且该界当且仅当 $g \in \{2, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601\}$ 时达到。
• 通过无 knot 嵌入实现的可扩展阿贝尔群作用在 $Σ_g$ 上的最大阶为 $2g+2$，且该值对所有 $g$ 均可实现。
• 对于循环群作用，当 $g$ 为偶数时最大阶为 $2g+2$，当 $g$ 为奇数时为 $2g-2$，且两种情况均通过无 knot 嵌入实现。
• 通过对 Borromean 环进行 $-1$-手术的显式构造，得到 $Σ_9$ 上阶为 96 的可扩展作用，达到 $12(9-1)$。
• $\mathbf{O \times O}$（阶为 $1152 = 12(97-1)$）在 $S^3$ 上的作用诱导出 $Σ_{97}$ 上的可扩展作用，证实了 $g=97$ 时的界。
• $\mathbf{O \times J}$（阶为 $2880 = 12(241-1)$）在 $S^3$ 上的作用诱导出 $Σ_{241}$ 上的可扩展作用，证实了 $g=241$ 时的界。