[論文レビュー] Groupoid Lifts of Mapping Class Representations for Bordered Surfaces

Jørgen Ellegaard Andersen, Alex James Bene+1 more|arXiv (Cornell University)|Oct 14, 2007

Geometric and Algebraic Topology参考文献 3被引用数 7

ひとこと要約

この論文は、境界付き曲面の写像類群の2つの主要な表現の明示的な群ガロア上への持ち上げを構成する：1つは自由群の自己同型としての表現、もう1つはシンプレクティック変換としての表現。ファットグラフとコード図を用いて、プトレマイオス群ガロアからこれらの標的群への準同型を定義し、モジュライ空間のループに対応するループ上での元の表現と一致することを示し、自由群表現の持ち上げの核と像を完全に同定する。

ABSTRACT

Abstract. The mapping class group of a surface with one boundary component admits numerous interesting representations including as a group of automorphisms of a free group and as a group of symplectic transformations. Insofar as the mapping class group can be identified with the fundamental group of Riemann’s moduli space, it is furthermore identified with a subgroup of the fundamental path groupoid upon choosing a basepoint. A combinatorial model for this arises from the invariant cell decomposition of Teichmüller space, whose fundamental path groupoid is called the Ptolemy groupoid. It is natural to try to lift representations of the mapping class group to the Ptolemy groupoid, i.e., construct a homomorphism from the Ptolemy groupoid to the same target so that if a path in Teichmüller space covers a loop in moduli space, then the two representations coincide. We lift both aforementioned representations to the groupoid level in this sense. The techniques of proof include fatgraphs, chord diagrams, and their relationship. The former lift is given by explicit formulae depending upon six essential cases, and the kernel and image of the groupoid representaion is computed. Furthermore, this provides groupoid lifts of representations of the mapping class group that factor through its action on the fundamental group of the surface including, for instance, the Magnus representation and representations on the moduli spaces of flat connections. 1.

研究の動機と目的

• 境界付き曲面の写像類群の表現を、モジュライ空間のループに対応するループ上で一貫性を保つようにプトレマイオス群ガロアへ拡張すること。
• 写像類群の自己同型表現およびシンプレクティック表現の明示的な群ガロアレベルでの持ち上げを提供すること。
• 組合せ的群ガロア技法を用いて、自由群自己同型表現の持ち上げの核と像を同定すること。
• 写像類群の基本群への作用を通じて因数分解する他の表現、例えばマグニス表現や平坦接続のモジュライ空間へ一般化すること。

提案手法

• テイヒミュラー空間の基本経路群の組合せ的モデルとしてプトレマイオス群ガロアを用い、細胞分解に基づく構成を行う。
• ファットグラフとその関連するコード図を用いて、曲面構造を符号化し、群ガロア全体を通じた経路の持ち上げを追跡する。
• 組合せ的経路構成に基づく6つの本質的ケースに依存する明示的準同型を、プトレマイオス群ガロアから自由群の自己同型群へ構成する。
• 同じ枠組みを用いて、ホモロジーへの作用を通じてシンプレクティック表現を持ち上げ、元の写像類群作用と整合性を持つようにする。
• プトレマイオス群ガロアの組合せ的構造と曲面位相との関係を用いて、自由群表現の持ち上げの核と像を解析する。
• テイヒミュラー空間内の経路の被覆性質により、モジュライ空間のループに制限した場合に持ち上げが元の表現と一貫していることを示す。

実験結果

リサーチクエスチョン

• RQ1 境界付き曲面の写像類群の自己同型表現を、モジュライ空間のループに対応するループ上で一貫性を保つようにプトレマイオス群ガロアへ持ち上げることは可能か？
• RQ2 写像類群のシンプレクティック表現を、元の群作用と整合性を持つようにプトレマイオス群ガロアへ持ち上げる方法は何か？
• RQ3 自由群自己同型表現の群ガロア持ち上げの核と像は何か？
• RQ4 持ち上げられた表現は、基本群への写像類群作用を通じて因数分解する他の表現とどのように関係するか？
• RQ5 ファットグラフとコード図は、これらの群ガロア持ち上げの構成と解析をどのように支援するか？

主な発見

• 論文は、組合せ的経路構成に基づく6つの本質的ケースに依存する明示的群ガロア準同型を、プトレマイオス群ガロアから自由群の自己同型群へ構成する。
• 持ち上げられた自由群表現の核が完全に同定され、プトレマイオス群ガロアが写像類群に対して有する構造的性質に関する洞察が得られる。
• 持ち上げられた自由群表現の像が特定され、群ガロアが組合せ的設定で完全な自己同型構造を捉えていることが示される。
• 写像類群のシンプレクティック表現が、プトレマイオス群ガロアへ成功裏に持ち上げられ、ループ上での元の表現と一貫性を保つ。
• 持ち上げが、モジュライ空間のループに制限した場合に元の表現と整合することを示し、群ガロア持ち上げとしての整合性が確認される。
• この枠組みにより、基本群への写像類群作用を通じて因数分解する表現、例えばマグニス表現や平坦接続のモジュライ空間への群ガロア持ち上げが可能になる。