[論文レビュー] Automorphisms of surface braid groups

Elmas Irmak, Nikolai V. Ivanov+1 more|ArXiv.org|Jun 3, 2003

Geometric and Algebraic Topology参考文献 12被引用数 14

ひとこと要約

本稿では、2以上の genus を持つ、閉じて、連結で、向きつけ可能な曲面に3個以上の穴が空いている場合、そのブレード群の任意の自己同型が、曲面のホメオモルフィズムによって誘導されることを証明している。証明は、自己同型が純ブレード群の構造を保存し、特徴的部分群の議論によって全ブレード群へ拡張されることに依拠しており、従来の写像類群およびブレード群に関する結果を高 genus の曲面へ一般化している。

ABSTRACT

In this paper, we prove that each automorphism of a surface braid group is induced by a homeomorphism of the underlying surface, provided that this surface is a closed, connected, orientable surface of genus at least 2, and the number of strings is at least three. This result generalizes previous results for classical braid groups, mapping class groups, and Torelli groups.

研究の動機と目的

• 曲面ブレード群の自己同型が曲面ホメオモルフィズムから生じることを確立すること。
• 古典的ブレード群、写像類群、Torelli群に関する既知の結果を、高 genus の曲面へ一般化すること。
• この文脈において、純ブレード群が全ブレード群の特徴的部分群であることを示すこと。
• 曲面の genus ≥2 かつ少なくとも3個の穴を有する場合、全ブレード群の自己同型がホメオモルフィズムによって誘導されることを証明すること。

提案手法

• 文献 [I3] で確立されたように、純ブレード群 $ PB_n(S) $ が全ブレード群 $ B_n(S) $ の特徴的部分群であるという事実を利用する。
• 定理 13.1 を適用して、純ブレード群の任意の自己同型が、穴あき曲面のホメオモルフィズムから生じることを示す。
• 与えられた自己同型 $ \chi $ とホメオモルフィズム $ K $ によって誘導される自己同型 $ K_* $ に対して、補助的自己同型 $ \tau = K_*^{-1} \circ \chi $ を定義し、問題を $ \tau $ が自明であることの証明に還元する。
• 命題 13.2 を用いて、純ブレード群を点ごとに固定する任意の自己同型は自明であることを示し、したがって $ \chi = K_* $ が成り立つことを示す。
• 純ブレード群が基本群に忠実に作用し、デーン回転や曲線系といった幾何的構造を保存することを活用する。
• 微分同相群の単位成分の収縮性を用いて、曲面のオイラー特徴標数が負である場合、ブレード群を純モジュラー群と同一視する。

実験結果

リサーチクエスチョン

• RQ1 $ S $ が genus ≥2 の閉じて、連結で、向きつけ可能な曲面であり、$ n ≥ 3 $ のとき、曲面ブレード群 $ B_n(S) $ のすべての自己同型が曲面ホメオモルフィズムによって誘導されるか？
• RQ2 $ PB_n(S) $ が $ B_n(S) $ のすべての自己同型に関して不変であり、特徴的部分群であるか？
• RQ3 $ B_n(S) $ の自己同型は、穴あき曲面 $ R = S \setminus \{n \text{ 点}\} $ のホメオモルフィズムに引き上げられるか？
• RQ4 $ B_n(S) $ の自己同型と、元の曲面の曲線複体またはマークィング複体への作用との関係は何か？
• RQ5 $ B_n(S) $ の自己同型を純ブレード群に制限したときの性質は何か？ また、それらは全ブレード群へ一意に拡張可能か？

主な発見

• 2以上の genus を持つ、$ n ≥ 3 $ 個の穴が空いている閉じて、連結で、向きつけ可能な曲面において、純ブレード群 $ PMod_R(S) $ の任意の自己同型は、穴あき曲面のホメオモルフィズムによって誘導される。
• 純ブレード群 $ PMod_R(S) $ は、全ブレード群 $ Mod_R(S) $ の特徴的部分群であり、自己同型がその構造を保存することを保証する。
• 任意の全ブレード群 $ Mod_R(S) $ の自己同型は、純ブレード群への誘導自己同型と商への恒等写像の合成により、曲面ホメオモルフィズムから生じる。
• $ B_n(S) $ の自己同型群は、$ n $ 個の穴が空いている曲面 $ S $ のホメオモルフィズムによって誘導される外部自己同型群と同型である。
• この結果は、すべての $ n ≥ 3 $ に対して、genus ≥2 の曲面で成り立ち、$ n=1,2 $ の自明な場合（例：直接計算により）別個に取り扱われる。
• 証明は、純ブレード群を点ごとに固定する自己同型が自明でなければならないという事実に依拠しており、これは曲線系の剛性とデーン回転作用に由来する。