[论文解读] The genus two Goeritz group of $S^2 imes S^1$

Sangbum Cho, Yuya Koda|arXiv (Cornell University)|Mar 28, 2013

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

一句话总结

本文為3-流形 $\mathbb{S}^2 \times \mathbb{S}^1$ 的亏格-2 Goeritz 群建立了有限表示，通过构造一个群作用于其上且商为单条边的树，证明了该群是有限表示的。显式表示为 $\langle \epsilon \rangle \oplus \langle \alpha \mid \alpha^2 = 1 \rangle \oplus \langle \beta, \gamma, \sigma \mid \gamma^2 = \sigma^2 = (\gamma\beta\sigma)^2 = 1 \rangle$，通过在亏格-2 Heegaard 分解中对盘对的稳定子群进行群论性黏合得到。

ABSTRACT

The genus-g Goeritz group is the group of isotopy classes of orientation-preserving homeomorphisms of a closed orientable 3-manifold that preserve a given genus-g Heegaard splitting of the manifold. In this work, we show that the genus-2 Goeritz group of $S^2 imes S^1$ is finitely presented, and give its explicit presentation.

研究动机与目标

• 确定 $\mathbb{S}^2 \times \mathbb{S}^1$ 的亏格-2 Goeritz 群的代数结构，该3-流形具有唯一一个在同伦意义下等价的亏格-2 Heegaard 分解。
• 证明该 Goeritz 群是有限表示的，解决3-流形拓扑学中的一个开放问题。
• 通过几何与群论技术，构造该群的显式有限表示。

提出的方法

• 作者构造了一棵树，使得亏格-2 Goeritz 群在其上作用，且商图仅为一条边，从而可应用 Bass-Serre 理论进行群表示。
• 他们分析了 Heegaard 曲面上各类盘对的稳定子群，利用其在原始盘复形上的作用。
• 该群被分解为若干原始盘对及其公共对偶盘的稳定子群的自由黏合积。
• 几何上识别出生成元：$\epsilon$ 为关于 $\partial E_0$ 的 Dehn 扭转，$\alpha$ 为半次扭转变换，$\beta, \gamma, \sigma$ 为对合或阶为3的元素。
• 关系式源自 Heegaard 分解的拓扑性质以及可压缩盘在胞腔复形中的交集模式。
• 最终表示通过组合稳定子群的表示，并利用关系 $\tau = \gamma\beta$ 完成黏合，从而闭合整个结构。

实验结果

研究问题

• RQ1 亏格-2 Goeritz 群 $\mathbb{S}^2 \times \mathbb{S}^1$ 是否是有限表示的？
• RQ2 该群的显式有限表示为何？其生成元是否可几何实现？
• RQ3 盘对的稳定子群如何通过自由黏合积贡献于全局群结构？
• RQ4 能否利用群在盘复形上的作用推导出有限表示？
• RQ5 公共对偶盘与对称盘对在群分解中起到何种作用？

主要发现

• 亏格-2 Goeritz 群 $\mathbb{S}^2 \times \mathbb{S}^1$ 是有限表示的，解决了此前未解决的问题。
• 该群具有显式表示 $\langle \epsilon \rangle \oplus \langle \alpha \mid \alpha^2 = 1 \rangle \oplus \langle \beta, \gamma, \sigma \mid \gamma^2 = \sigma^2 = (\gamma\beta\sigma)^2 = 1 \rangle$，生成元为保持方向的同胚的同伦类。
• 稳定子群 $\mathcal{G}_{\{E,E'\}}$ 的表示为 $\langle \epsilon \rangle \oplus \langle \beta, \beta' \mid (\beta\beta')^2 = 1, \beta\beta' = \beta'\beta \rangle$，反映了其对原始盘对的对称作用。
• 稳定子群 $\mathcal{G}_{\{D\cup E\}}$ 的表示为 $\langle \epsilon \rangle \oplus \langle \alpha \mid \alpha^2 = 1 \rangle \oplus \langle \sigma, \tau \mid \sigma^2 = 1, (\tau\sigma)^2 = 1 \rangle$，源于对公共子群的自由黏合。
• 稳定子群 $\mathcal{G}_{\{D,E\}}$ 的表示为 $\langle \epsilon \rangle \oplus \langle \tau \rangle \oplus \langle \alpha \mid \alpha^2 = 1 \rangle$，其中 $\tau$ 作为对称盘的交换作用。
• 通过利用关系 $\tau = \gamma\beta$ 组合这些稳定子群的表示，最终导出全群的表示，确认了最终群结构。