[论文解读] Mapping class groups of Heegaard splittings of surface bundles

Jesse Johnson|arXiv (Cornell University)|Jan 12, 2012

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

一句话总结

该论文分类了表面丛中具有足够高单体位移距离的映射类群的同伦子群。当位移距离 $d(\phi) > 28$ 时，同伦子群由弧辫子和半整数平移生成，形成半直积 $\mathcal{B} = \mathcal{A} \rtimes \mathbb{Z}$，其中 $\mathcal{A}$ 为弧子群，$\mathbb{Z}$ 通过单体共轭作用于其上。

ABSTRACT

Every surface bundle with genus $g$ fiber has a canonical Heegaard splitting of genus $2g+1$. We classify the mapping class groups of such Heegaard splittings in the case when the surface bundle has a sufficiently complicated monodromy map.

研究动机与目标

• 对纤维亏格 $g \geq 2$ 的表面丛的典型 Heegaard 拆分的同伦子群进行分类。
• 当单体映射在曲线复形中具有高位移距离时，确定 $\mathrm{Isot}(M,\Sigma)$ 的结构。
• 在高距离条件下，证明同伦子群由弧辫子和半整数平移生成。
• 建立 Heegaard 曲面的圆盘复形的可缩性，从而将其与此前已知的高指标弱可约曲面区分开来。

提出的方法

• 通过在表面丛的两个纤维 $F_1 \cup F_2$ 上沿竖直弧附加管子，定义亏格为 $2g+1$ 的典型 Heegaard 拆分 $\Sigma$。
• 引入同伦子群 $\mathcal{A} \subset \mathrm{Isot}(M,\Sigma)$，其由移动弧 $\alpha_\pm$ 端点的同伦构成，这些同伦在 $F_1$ 和 $F_2$ 中形成辫子。
• 在无限循环覆盖 $\hat{M} \cong F' \times \mathbb{R}$ 中，构造子群 $\mathcal{B}$，作为对应于半整数平移的 $\mathcal{A}$ 的陪集的并集。
• 利用半直积结构 $\mathcal{B} = \mathcal{A} \rtimes \mathbb{Z}$，其中 $\mathbb{Z}$ 通过单体 $\phi$ 的共轭作用于 $\mathcal{A}$。
• 在曲线复形中应用距离论证：若 $d(\phi) > 28$，则 $\Sigma$ 的唯一弱可约对为 $\{D^-, D^+\}$，强制任何同伦保持该对不变。
• 利用从同伦核到 $F_1$ 和 $F_2$ 上辫群的辫子同态的单射性，并证明最终核为平凡，从而得出 $\mathrm{Isot}(M,\Sigma) = \mathcal{B}$。

实验结果

研究问题

• RQ1 当单体位移距离较高时，表面丛的典型 Heegaard 拆分的同伦子群 $\mathrm{Isot}(M,\Sigma)$ 的结构是什么？
• RQ2 在何种条件下，同伦子群由无限循环覆盖中的弧辫子和半整数平移生成？
• RQ3 曲线复形中的位移距离 $d(\phi)$ 如何限制 Heegaard 拆分的弱可约对的存在性？
• RQ4 弱可约 Heegaard 曲面的圆盘复形是否可能可缩？在何种条件下发生这种情况？
• RQ5 Heegaard 拆分的映射类群在多大程度上反映了丛结构和单体动力学？

主要发现

• 当单体位移距离满足 $d(\phi) > 28$ 时，同伦子群 $\mathrm{Isot}(M,\Sigma)$ 恰好为子群 $\mathcal{B} = \mathcal{A} \rtimes \mathbb{Z}$，其中 $\mathcal{A}$ 为弧子群，$\mathbb{Z}$ 通过单体共轭作用于其上。
• 当 $d(\phi) > 28$ 时，Heegaard 拆分 $\Sigma$ 的唯一弱可约对为 $\{D^-, D^+\}$，这强制所有同伦保持该对不变。
• 圆盘复形 $\Sigma$ 是可缩的，因为它由两个可缩的圆盘集（每侧一个）通过连接 $D^-$ 和 $D^+$ 的单条边连接而成，使得 $\Sigma$ 成为首个已知具有可缩圆盘复形的最小亏格 Heegaard 曲面。
• 同伦子群 $\mathrm{Isot}(M,\Sigma)$ 同构于半直积 $\mathcal{A} \rtimes \mathbb{Z}$，其中 $\mathcal{A}$ 同构于 $F_1$ 和 $F_2$ 上两个辫群的直积，且限制于同伦平凡的辫子。
• 辫子同态序列的最终核为平凡，意味着不存在非平凡同伦同时固定弧 $\alpha_\pm$ 的四个端点并在环面上作用平凡，因此 $\mathcal{K}'' = \{1\}$。
• 映射类群 $\mathrm{Mod}(M,\Sigma)$ 由 $\mathcal{B}$ 和单体作用生成，当 $d(\phi) > 28$ 时，同伦子群完全由丛的单体和弧动力学决定。