[論文レビュー] Mapping class groups of Heegaard splittings of surface bundles

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

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

ひとこと要約

本稿は、モノドロミー移動距離が十分に高い表面束の標準的 genus $2g+1$ ヘーガード分解の写像類群の同相型部分群を分類する。$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.

研究の動機と目的

• 表面束の標準的ヘーガード分解（ファイバーの genus $g \geq 2$）の同相型部分群を分類すること。
• 曲線複体におけるモノドロミー写像の高い移動距離を持つ場合、$\mathrm{Isot}(M,\Sigma)$ の構造を特定すること。
• 高距離条件下で同相型部分群が弧のブレードと半整数型移動によって生成されることを示すこと。
• ヘーガード表面のディスク複体がコンパクトであることを確立し、これにより従来の高インデックスを持つ弱く可約な表面とは区別されること。

提案手法

• 表面束の2つのファイバー $F_1 \cup F_2$ に縦方向の弧に沿ってチューブを接着することで、 genus $2g+1$ の標準的ヘーガード分解 $\Sigma$ を定義する。
• 同相型部分群 $\mathcal{A} \subset \mathrm{Isot}(M,\Sigma)$ を導入し、これは弧 $\alpha_\pm$ の端点がファイバー内で移動する同相型で、$F_1$ および $F_2$ 内でブレードを形成する。
• $\mathcal{B}$ を、無限大周期被覆 $\hat{M} \cong F' \times \mathbb{R}$ における半整数型移動に対応する $\mathcal{A}$ のコセットの和集合として構成する。
• 半直積構造 $\mathcal{B} = \mathcal{A} \rtimes \mathbb{Z}$ を用い、ここで $\mathbb{Z}$ はモノドロミー $\phi$ による共役作用をもつ。
• 曲線複体における距離の議論を適用：$d(\phi) > 28$ ならば、ヘーガード分解 $\Sigma$ の唯一の弱く還元可能なペアは $\{D^-, D^+\}$ であるため、任意の同相型はこのペアを保存する必要がある。
• 同相型核からブレード群へのブレード準同型の単射性を用い、最終的な核が自明であることを示し、$\mathrm{Isot}(M,\Sigma) = \mathcal{B}$ を得る。

実験結果

リサーチクエスチョン

• RQ1 モノドロミー移動距離が高水準にある表面束の標準的ヘーガード分解に対して、同相型部分群 $\mathrm{Isot}(M,\Sigma)$ の構造は何か？
• RQ2 無限大周期被覆における弧のブレードと半整数型移動によって生成される同相型部分群が成立する条件は何か？
• RQ3 曲線複体における移動距離 $d(\phi)$ は、ヘーガード分解の弱く還元可能なペアの存在にどのように制限を加えるか？
• RQ4 弱く可約なヘーガード表面のディスク複体がコンパクトであることは可能か？ そして、どのような条件下でそれが成立するか？
• RQ5 ヘーガード分解の写像類群は、バンドル構造およびモノドロミーのダイナミクスをどの程度反映するか？

主な発見

• モノドロミー移動距離が $d(\phi) > 28$ を満たすとき、同相型部分群 $\mathrm{Isot}(M,\Sigma)$ は正確に部分群 $\mathcal{B} = \mathcal{A} \rtimes \mathbb{Z}$ に一致する。ここで $\mathcal{A}$ は弧部分群であり、$\mathbb{Z}$ はモノドロミーによる共役作用をもつ。
• $d(\phi) > 28$ のとき、ヘーガード分解 $\Sigma$ の唯一の弱く還元可能なペアは $\{D^-, D^+\}$ であり、すべての同相型がこのペアを保存することを強制する。
• ディスク複体 $\Sigma$ はコンパクトである。これは、各側にコンパクトなディスク集合（2つ）が存在し、$D^-$ と $D^+$ の間に1本の辺が接続されているためであり、$\Sigma$ はコンパクトなディスク複体を持つ最小 genus ヘーガード表面として初めて知られている。
• 同相型部分群 $\mathrm{Isot}(M,\Sigma)$ は半直積 $\mathcal{A} \rtimes \mathbb{Z}$ に同型であり、ここで $\mathcal{A}$ は $F_1$ および $F_2$ における2本のブレード群の積に、ホモトピー的自明なブレードに制限されたものに同型である。
• ブレード準同型系列の最終核は自明であり、$\alpha_\pm$ の4つの端点をすべて固定し、アニュラス上で自明に作用する非自明な同相型は存在しない。よって $\mathcal{K}'' = \{1\}$ である。
• 写像類群 $\mathrm{Mod}(M,\Sigma)$ は $\mathcal{B}$ とモノドロミー作用によって生成され、$d(\phi) > 28$ のとき、同相型部分群はバンドルのモノドロミーと弧のダイナミクスによって完全に決定される。