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

Jesse Johnson, Hyam Rubinstein|arXiv (Cornell University)|Jan 4, 2007

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

ひとこと要約

本稿は、ハーゲアード分解の写像類群における周期的かつ可約な自己同型を特徴づけ、有限被覆とブリッジ配置の分岐集合を伴う3次元多様体の有限被覆から有限部分群が生じることを示す。双曲的3次元多様体において、可約自己同型は、部分多様体内での局所的（local）なものか、オープンブック、片側ハーゲアード表面、または分岐分解によって誘導されるものであり、特に3次元多様体の安定化された分解において、 genus ≥3 の場合に、還元可能な球面上のドゥエンツィ変換を用いて擬アイソメトリックな自己同型を構成する。

ABSTRACT

The mapping class group of a Heegaard splitting is the group of automorphisms of the ambient 3-manifold that take the surface onto itself, modulo isotopies that keep the surface on itself. We characterize the mapping classes that restrict to periodic and reducible automorphisms of the surface.

研究の動機と目的

• ハーゲアード分解の写像類群を体系的に研究すること。これは、3次元多様体の自己同型で、分割表面をホモトピー的同値に保つものとして定義される。
• ハーゲアード表面への制限が周期的または可約な自己同型となる写像類群の要素を分類すること。
• 特に双曲的3次元多様体において、このような自己同型の幾何学的および位相的起源を特定すること。
• 安定化されたハーゲアード分解（genus ≥3）が、周囲の多様体の写像類群への自然な準同型の核に擬アイソメトリックな自己同型を含むことを示すこと。

提案手法

• 3次元多様体への有限群作用を用いて、ハーゲアード分解の写像類群の有限部分群を特徴づけ、それらが分岐集合が被覆されたハーゲアード分解に関してブリッジ位置にある正則被覆から生じることを示す。
• Mod(M,Σ) から Mod(M) への自然な準同型の核を分析し、双曲的3次元多様体においては、その核に有限位数の要素を含まないことを示す。
• 特に弱く可約または安定化された分解において、還元可能な球面に沿ったドゥエンツィ変換から生じる、ハーゲアード表面上のループに沿ったドゥエンツィ変換を用いて可約自己同型を構成する。
• ペンナの定理（ドゥエンツィ変換の合成）を適用し、genus ≥3 の安定化された分解において擬アイソメトリック写像が存在することを証明する。
• 局所的可約自己同型（部分多様体に支持されるもの）とグローバルな自己同型（オープンブックや片側分解によって誘導されるもの）を区別する。
• 固定集合の補集合における周期的または可約な振る舞いのサポートを定義するために、ハーゲアード表面の最大に圧縮された部分面を用いる。

実験結果

リサーチクエスチョン

• RQ1 どのハーゲアード分解の自己同型が周期的であり、どのような位相的条件がそのような振る舞いを引き起こすか？
• RQ2 ハーゲアード分解写像類群における可約自己同型の幾何的起源は何か？
• RQ3 双曲的3次元多様体における任意の可約自己同型は、局所的であるか、オープンブック、片側ハーゲアード表面、または分岐ハーゲアード分解から生じるか？
• RQ4 安定化されたハーゲアード分解（genus ≥3）は、常にその写像類群に、周囲の多様体の写像類群への自然な準同型の核に属する擬アイソメトリックな自己同型を含むか？
• RQ5 双曲的3次元多様体において、Mod(M,Σ) から Mod(M) への自然な準同型の核の構造は何か？

主な発見

• Mod(M,Σ) の有限部分群は、正確に3次元多様体 N の正則被覆から生じる。ここで分岐集合は、被覆されたハーゲアード分解に関してブリッジ位置にある。
• 閉じた双曲的3次元多様体において、準同型 Mod(M,Σ) → Mod(M) の核には有限位数の要素を含まず、かつこの写像が単射であることは Mod(M,Σ) が有限であることに同値である。
• 強い可約性を持つハーゲアード分解において、可約自己同型は、オープンブック、片側ハーゲアード表面、または分岐ハーゲアード分解によって誘導されるか、最大に圧縮された曲面で囲まれた部分多様体の外で周期的である。
• genus が3以上の安定化されたハーゲアード分解において、自然な準同型 Mod(M,Σ) → Mod(M) の核に、還元可能な球面上のドゥエンツィ変換の合成により構成された擬アイソメトリックな自己同型が存在する。
• ハーゲアード表面と交わる2つの還元可能な球面が、表面をディスクに切り分けるような弧で交わる場合、ペンナの定理を適用して擬アイソメトリック写像を構成できる。
• genus 2 の安定化された分解においても同様の構成が可能であるが、読者に任されていることから、この方法は genus 3 を超える場合にも一般化可能であることが示唆される。