[論文レビュー] Automorphisms of Torelli groups

John D. McCarthy, William R. Vautaw|ArXiv.org|Nov 14, 2003

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

ひとこと要約

この論文は、3以上の genus を持つ閉じた、連結で向きつけ可能な曲面のトーリー群の任意の自己同型が、その曲面の微分同相写像によって誘導されることを証明する。ディーンツ変換とボーディングペア写像の代数的特徴づけを用いて、著者たちは自己同型を曲線複体へ拡張し、イワノフの定理を適用することで、自己同型が曲面の位相的同相写像によって生じることを結論づけ、g ≥ 3 に対する長年の予想を解決する。

ABSTRACT

In this paper, we prove that each automorphism of the Torelli group of a surface is induced by a diffeomorphism of the surface, provided that the surface is a closed, connected, orientable surface of genus at least 3. This result was previously announced by Benson Farb for genus at least 4 and has recently been announced by Benson Farb and Nikolai Ivanov for subgroups of finite index in the Torelli group for surfaces of genus at least 5. This result is also directly analogous to previous results established for classical braid groups, mapping class groups, and surface braid groups.

研究の動機と目的

• g ≥ 3 の曲面のトーリー群の任意の自己同型が、その曲面の微分同相写像によって誘導されることを確立すること。
• オースワのプログラムの第二段階を完了すること—トーリー群の自己同型を曲線複体の自己同型へ拡張すること。
• オースワの学位論文における予想を解決し、ファルブの以前の結果（g ≥ 4）を g ≥ 3 へ拡張すること。
• 表面の幾何的データを用いて、トーリー群自己同型の完全な代数的特徴づけを提供すること。
• トーリー群の自己同型と、写像類群、ブレード群、表面ブレード群の自己同型との間の直接的な類似性を確立すること。

提案手法

• 分離曲線に関するディーンツ変換のべき乗およびボーディングペア写像のべき乗を、トーリー群内で代数的に特徴づける。
• 写像類群のアーベル部分群の理論と、サーストンの曲面微分同相写像理論を用いて、これらの特徴づけを導出する。
• 本質的単純閉曲線のホモトピー類の集合に写像 Ψ* を定義し、交わらない性質と分離／非分離のタイプを保存する。
• 曲線複体上の誘導写像が交わらない性質を保つことを証明し、その結果、複体の単体的自己同型へ拡張できることを示す。
• 任意の曲線複体の単体的自己同型が、曲面の位相的同相写像によって誘導されることを示すイワノフの定理を適用する。
• 結論として、元のトーリー群の自己同型が、曲面の微分同相写像による共役によって実現されることを導く。

実験結果

リサーチクエスチョン

• RQ1 g ≥ 3 の曲面のトーリー群の任意の自己同型は、曲面の微分同相写像による共役として実現可能か？
• RQ2 g ≥ 3 に対して、トーリー群の自己同型群は、曲面の微分同相写像によって誘導される外部自己同型群と一致するか？
• RQ3 ディーンツ変換とボーディングペア写像を、トーリー群内で純粋に代数的に特徴づける方法があるか？その特徴づけにより、表面構造を再構成可能か？
• RQ4 曲線複体の構造は、トーリー群の自己同型作用から回復可能か？
• RQ5 g ≥ 3 の曲面に対して、トーリー群の自己同型群と写像類群との関係は何か？

主な発見

• g ≥ 3 の閉じた、連結で向きつけ可能な曲面のトーリー群の任意の自己同型は、その曲面の微分同相写像によって誘導される。
• g ≥ 3 のトーリー群の自己同型群は、拡張写像類群によって誘導される外部自己同型群と同型である。
• 著者たちは、オースワのプログラムの第二段階を完了し、トーリー群の自己同型が曲線複体の単体的自己同型を誘導することを示した。
• 鍵となる技術的ステップは、曲線複体上の誘導写像が交わらない性質を保つことを証明することであり、これはディーンツ変換とボーディングペア写像の代数的特徴づけに依存する。
• g = 2 ではこの結果は成り立たない。なぜなら、このときトーリー群は無限ランクの非アーベル自由群であるため、微分同相写像によって誘導されない非可算個の自己同型が存在するからである。
• 証明は、ブレード群、写像類群、表面ブレード群の自己同型に関する以前の結果との直接的な類似性を確立し、より広範な幾何的群論的現象の統一を実現した。