[論文レビュー] Automorphisms of the three-torus preserving a genus three Heegaard splitting

Jesse Johnson|ArXiv.org|Aug 20, 2007

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

ひとこと要約

本稿では、3次元トーラスの genus 3 ヒーガード分解の写像類群に対する8要素の生成集合を明示的に構成し、それが6つの標準的 $SL(3,\mathbb{Z})$ 行動を誘導する自己同型と、3次元トーラス内で同倫的に自明な2つの自己同型から成ることを証明している。主な貢献は、非自明な genus 3 ヒーガード分解に対する最初の有限で明示的な生成集合を提供したことであり、genus 2 を超える非可約ヒーガード分解の写像類群に関する長年の理解の空白を解消した。

ABSTRACT

The mapping class group of a Heegaard splitting is the group of connected components in the set of automorphisms of the ambient manifold that map the Heegaard surface onto itself. For the genus three Heegaard splitting of the 3-torus, we find an eight element generating set for this group. Six of these generators induce generating elements of the mapping class group of the 3-torus and the remaining two are isotopy trivial in the 3-torus.

研究の動機と目的

• 3次元トーラスの genus 3 ヒーガード分解の写像類群 $Mod(T^3, \Sigma)$ の有限生成集合を特定すること。
• genus 1, 2 およびハンドル体に基づく分解では既知であるが、非可約 genus 3 ヒーガード分解については、明示的生成集合が欠落していたという問題を解決すること。
• 3次元トーラスの自己同型のうち、ヒーガード表面を保存するが、周囲の多様体内で同倫的に自明であるものについて、それが表面に非自明な作用を及ぼす仕組みを分析すること。
• このような自己同型が、トーラスねじれと標準的 $SL(3,\mathbb{Z})$ 生成元を含む小さな明示的変換集合によって生成可能であることを示すこと。

提案手法

• 各自己同型が標準的基底ベクトルへの作用によって $SL(3,\mathbb{Z})$ の元を誘導することを用い、3次元トーラスの自己同型を $\mathbb{R}^3$ に lifts する。
• $SL(3,\mathbb{Z})$ 内の基本行列に対応する6つの生成元 $\alpha_{ij}$ を定義し、$i \neq j$ のとき $x_i$ を $x_i + x_j$ に写す作用をもたらす。これらをヒーガード表面を保存する自己同型に lifts する。
• さらに2つの生成元 $\sigma$ と $\tau$ を導入する。$\sigma$ は2つのハンドル体を入れ替えるものであり、$\tau$ は特定の非圧縮的トーラスに沿ったトーラスねじれである。
• 自然な準同型 $i: Mod(T^3, \Sigma) \to Mod(T^3) \cong SL(3,\mathbb{Z})$ の核を用いて、表面に非自明に作用するが、多様体内で同倫的に自明な自己同型を分析する。
• 固定された非圧縮的トーラスと1つのループで交わるトーラスに沿った連続するトーラスねじれを用い、定義的ディスクペアを関連付ける。Lemma 7 を用いて、安定関数を介してディスクペアを結ぶ。
• 核に属する任意の自己同型が、$\tau$ および $\alpha_{ij}$ の共役によって生成可能であり、これらの生成元を用いて表面への作用を恒等写像にまで簡約可能であることを示し、8つの元によって群が生成されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元トーラスの genus 3 ヒーガード分解の写像類群に対する有限生成集合は何か？
• RQ2 多様体内で同倫的に自明だが、ヒーガード表面に対して非自明な作用を及ける3次元トーラスの自己同型は、どのように生じるのか、そしてその性質は何か？
• RQ3 以前の結果が genus 1 および 2 に限られていたが、genus 3 ヒーガード分解の写像類群は、明示的に記述可能か？
• RQ4 特定の非圧縮的トーラスに沿ったトーラスねじれは、$SL(3,\mathbb{Z})$ への自然な準同型の核をどの程度まで生成するか？
• RQ5 曲線複体幾何と3次元多様体トポロジーの相互作用は、低複雑度の分解における写像類群の計算をどの程度簡素化するか？

主な発見

• 3次元トーラスの genus 3 ヒーガード分解の写像類群 $Mod(T^3, \Sigma)$ は8つの元によって生成される。そのうち6つは標準的 $SL(3,\mathbb{Z})$ 生成元 $\alpha_{ij}$ に対応し、残り2つは追加の生成元 $\sigma$ と $\tau$ である。
• $\alpha_{ij}$ は3次元トーラス上で標準的 $SL(3,\mathbb{Z})$ 行動を誘導するが、$\sigma$ は2つのハンドル体を入れ替え、$\tau$ は $T^3$ 内で同倫的に自明だが、表面では非自明なトーラスねじれである。
• $i: Mod(T^3, \Sigma) \to Mod(T^3) \cong SL(3,\mathbb{Z})$ の核は、$\tau$ および $\alpha_{ij}$ の共役によって生成され、非自明である。これは $Mod(T^3, \Sigma)$ が $Mod(T^3)$ よりも厳密に大きいことを示している。
• $i$ の核に属する任意の自己同型は、固定された非圧縮的トーラスと1つのループで交わるトーラスに沿った連続するトーラスねじれを用いて恒等写像に簡約可能であり、これは Lemma 7 が保証する。
• 群の表面への作用は8つの生成元によって完全に記述可能であり、$Mod(T^3, \Sigma)$ の任意の元はこれらの生成元の合成として書ける。これにより、生成集合が完全であることが証明された。
• これは、非自明な genus 3 ヒーガード分解に対する最初の有限で明示的な生成集合であり、このような群の分類における重要な空白を埋めた。