[論文レビュー] Mapping class groups of once-stabilized Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Aug 26, 2011

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

ひとこと要約

本稿は、3次元多様体の一度安定化されたヘーガード分解において、元の分解の距離が 2g+2 より大きいとき、写像類群が有限生成であることを証明する。証明はスイープアウト技法を用い、同一型部分群が元のヘーガード表面で囲まれるハンドル体内の同倫写像から生じる2つの部分群によって生成されることを示し、ハンドル体内の同倫群に関するシャーレマンの結果を活用する。

ABSTRACT

We show that if a Heegaard splitting is the result of stabilizing a high distance Heegaard splitting exactly once then its mapping class group is finitely generated.

研究の動機と目的

• 一度安定化されたヘーガード分解の写像類群の構造を特定すること。
• このような写像類群が有限生成となる条件を確立すること。
• ハンドル体内の同倫写像から生じる部分群への分解を用いて、写像類群の同一型部分群を分析すること。
• 高距離の分解における有限写像類群の既知の結果を、安定化された場合にまで拡張すること。

提案手法

• セーフ、ルビンシュタイン＝シャーレマン、および著者の双対スイープアウト機構を用いて、安定化された表面の同倫写像を分析する。
• 臨界値におけるレベル集合が自明または本質的ループを含むような部分区間への同倫区間の分割を適用する。
• 同一型表面から元のヘーガード表面へのディスクの射影を施し、自明な交差を排除するとともに一貫性を保つ。
• ハンドル体内の同倫群の分類に関するシャーレマンの結果に依拠し、St⁻(Σ) および St⁺(Σ) の生成集合を特定する。
• 多様体が双曲的である場合、同一型部分群が全写像類群の有限指数部分群であるという事実に依拠する。これはヘンペルの距離定理から導かれる。
• 任意の同一型部分群内の同倫写像が、元のヘーガード表面で囲まれる2つのハンドル体内での同倫写像に分解可能であるという還元論法を適用する。

実験結果

リサーチクエスチョン

• RQ1 一度安定化されたヘーガード分解の写像類群が有限生成となる条件は何か？
• RQ2 一度安定化されたヘーガード分解の同一型部分群は、元のハンドル体内の同倫写像から生じる部分群によって生成可能か？
• RQ3 元のヘーガード分解の距離が、その一度安定化されたバージョンの写像類群の構造にどのように影響するか？
• RQ4 一度安定化された分解の同一型部分群は、元の表面で囲まれる2つのハンドル体内の同倫群によって生成されるか？

主な発見

• 一度安定化されたヘーガード分解の写像類群は、安定化された表面の genus が g であるとき、元の分解の距離が 2g+2 より大きい限り、有限生成である。
• 同一型部分群 Isot(M,Σ) は、元のヘーガード表面 Σ′ で囲まれる2つのハンドル体内の同倫写像に対応する2つの部分群 St⁻(Σ) および St⁺(Σ) によって生成される。
• 証明は、レベル集合が自明または本質的ループを含むような区間への同倫の分解に依拠し、既知の生成集合への射影と還元を可能にする。
• d(Σ′) > 2g+2 > 3 であるため、3次元多様体 M は双曲的であり、Isot(M,Σ) は Mod(M,Σ) の有限指数部分群である。これにより、全写像類群の有限生成性が保証される。
• 本結果は、元の分解が高距離であっても、一度安定化された分解に対して有限生成性が成立することを確認し、既存の有限または無限的周期的写像類群に関する結果を安定化ケースにまで拡張する。