[論文レビュー] The automorphism group of the pants complex

Dan Margalit|ArXiv.org|Jan 31, 2002

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

ひとこと要約

この論文は、オイラー標数が負で、穴が2つのないトーラスを除く、閉じた向きつけ可能な曲面のペアーズグラフ（ペアーズ分解の複体の1次スケルトン）の自己同型群が、拡張された写像類群に同型であることを確立する。証明は、1次スケルトン内での2セルの組み合わせ的特徴付けと、ペアーズグラフ内のマーク付きファレイ図と曲線複体の頂点との関連を用いており、自己同型群の間の同型を誘導する。

ABSTRACT

We show that the automorphism group of the complex of pants decompositions for a surface is isomorphic to the mapping class group for that surface.

研究の動機と目的

• 写像類群の組み合わせ的モデルをペアーズ複体を用いて構築すること。
• ペアーズグラフ（ペアーズ複体の1次スケルトン）の自己同型群が拡張写像類群に同型であることを示すこと。
• ペアーズ複体の位相的構造が、1次スケルトンからの組み合わせ的関係によって完全に回復可能であることを示すこと。
• ペアーズグラフの自己同型と曲線複体の自己同型とをマーク付きファレイ図を通じて結びつけること。
• ペアーズグラフのすべての自己同型が、写像類群の元によって誘導されることを証明すること。

提案手法

• 4本の辺からなるループが共通のファレイ図に含まれないペアーズグラフ内の4サイクルを用いて、ペアーズ複体内の2セルを組み合わせ的に特徴付ける。
• 正方形の2セルが、互いに素な部分曲面における基本的移動の交換関係に対応することを用い、この性質が純粋に組み合わせ的であることを示す。
• マーク付きファレイ図を、1つの曲線の違いを除いて同じであるペアーズ分解の集合として定義し、共通の基準点を持つものとする。
• 曲線複体の頂点とペアーズグラフ内のマーク付きファレイ図との間の対応関係を確立する。
• ファレイ図の交差パターンを保つことで、ペアーズグラフの自己同型から曲線複体の自己同型への写像を構成する。
• それが適切に定義された準同型であり、単射かつ全射であることを示すことにより、誘導写像が同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ペアーズ複体の自己同型群は、複体の1次スケルトンのみを用いて完全に記述可能か？
• RQ2 ペアーズグラフのすべての自己同型は、拡張写像類群の元によって誘導されるか？
• RQ3 ペアーズ複体の2セル構造は、ペアーズグラフの組み合わせ的性質のみから再構成可能か？
• RQ4 ペアーズグラフ内のマーク付きファレイ図と曲線複体の頂点との関係は何か？
• RQ5 ペアーズグラフの自己同型群は、曲面の写像類群に同型か？

主な発見

• 表面が1種類の穴が2つのあるトーラスでない限り、ペアーズグラフの自己同型群は表面の拡張写像類群に同型である。
• 2セル構造は、共通のファレイ図に含まれない4サイクルの組み合わせ的条件を用いて、1次スケルトン内に完全に特徴付けられる。
• ペアーズグラフの自己同型はマーク付きファレイ図の構造を保ち、これは曲線複体の頂点と一対一対応する。
• ペアーズグラフの自己同型群から曲線複体の自己同型群への誘導写像は同型である。
• ペアーズグラフの自己同型群と写像類群との同型は自然であり、写像類群のペアーズ分解への作用から生じる。
• この結果により、ペアーズグラフが、その自己同型群が空間の等長群と一致することから、ウェイル＝ペテルソン計量を備えたテイコフラー空間の標準的組み合わせ的モデルであることが確認された。