[論文レビュー] Big mapping class groups acting on homology

Federica Fanoni, Sebastian Hensel+1 more|arXiv (Cornell University)|May 29, 2019

Geometric and Algebraic Topology参考文献 5被引用数 6

ひとこと要約

この論文は、無限型の表面における大マッピングクラス群のホモロジー表現の像を同定するために、ホモロジー端フィルトレーションを導入し、代数的交差形式とこのフィルトレーションを保つ自己同型が、分離曲線が誘導する端構造まで保存するときかつそのときに限り、マッピングクラスによって実現されることを示している。主な結果は、端の挙動と曲線像の整合性に関する明確な条件を課すことによって、古典的なシミレクティックな全射を無限型表面へと拡張するものである。

ABSTRACT

We study the action of (big) mapping class groups on the first homology of the corresponding surface. We give a precise characterization of the image of the induced homology representation.

研究の動機と目的

• 無限型表面におけるホモロジー表現 ρS: MCG(S) → Sp(2g; Z) の古典的特徴付けを拡張すること。
• 無限な genus または無限個の穴を持つ表面のホモロジー上でのマッピングクラス群の作用を理解すること。
• 表面の端の位相的構造を符号化し、マッピングクラス群の作用を捉えるホモロジー端フィルトレーション F を開発すること。
• ホモロジー H1(S; Z) の自己同型がマッピングクラスによって実現されるための明確な基準を提示すること。この基準は、シンプレクティック構造と端構造の両方の保存を含む。
• フィルトレーション理論と曲線実現技術を組み合わせることで、ロッホ・ネス・モンスターおよびヤコブの梯子を含むすべての無限型表面に対して、ρS の像を解明すること。

提案手法

• 境界成分が1つの非有界部分表面のホモロジー類の集合としてホモロジー端フィルトレーション F を導入する。
• 分離曲線 δ に対して、その境界する端構造を捉える左端集合 L([δ]) を定義する。
• F の超フィルターが S の端と一対一対応することを証明し、F を保存する自己同型が Ends(S) 上の置換を誘導できることを示す。
• 無限型表面において重要となる、コンパクトな蓄積点を持たないホモロジー類を実現する曲線の構成に、リチャーズの曲線実現法の変種を用いる。
• 2つの端を結ぶ適切な弧との交差から生じるコホモロジー類を、支持の条件とアーキルイケネス条件を用いて特徴付ける。
• 自己同型が ˆι と F を保存するならば、分離曲線類を保存し、端写像と像ホモロジー類の間に整合性条件を満たす必要があることを確立する。

実験結果

リサーチクエスチョン

• RQ1 無限型表面に対して、ホモロジー表現 ρS: MCG(S) → Aut(H1(S; Z)) の像は何か？
• RQ2 表面に無限個の端または無限な genus があるとき、大マッピングクラス群のホモロジー上での作用はどのように特徴付けられるか？
• RQ3 ホモロジー端フィルトレーション F は、マッピングクラス群作用の位相的制約をどのように捉えているか？
• RQ4 自己同型がマッピングクラスによって実現可能であるための必要十分条件として、代数的交差形式 ˆι とフィルトレーション F を保存することがなぜ必要十分なのか？
• RQ5 ρS の像を、単に自己同型的クラスの観点から特徴付けられるか、それともフィルトレーション F は不可欠か？

主な発見

• ロッホ・ネス・モンスター表面に対して、ρS の像はちょうどシンプレクティック群 Sp(N; Z) に一致する。すなわち、代数的交差形式 ˆι を保存する自己同型の群である。
• ロッホ・ネス・モンスターおよび1回穴あきロッホ・ネス・モンスターを除くすべての無限型表面に対して、H1(S; Z) の自己同型 φ が ρS の像に属するのは、φ が ˆι、ホモロジー端フィルトレーション F、およびある非自明な分離曲線 δ に対して fφ(L([δ])) = L(φ([δ])) を満たすときである。
• φ と −φ のうち、ちょうど1つだけが ρS の像に属する。これは、表現が Sp(H1(S; Z)) に全射ではないが、2- torsion の不確かさを有することを示している。
• ホモロジー端フィルトレーション F は、分離曲線の位相的型を検出する：2つの曲線が同じホモロジー類を定めるのは、それらが同じ端の集合を囲むときかつそのときに限る。
• ˆι を保存するだけでは不十分であることを示す明示的な例 (φ1, φ2) を構成し、曲線代表元の端の蓄積を制御するために F を保存することが本質的であることを示している。
• 2つの端を結ぶ適切な弧との交差から生じるコホモロジー類は、ちょうど2つの端に支持を持ち、それぞれの端でアーキルイケネスを満たすことで特徴付けられることを証明した。これは、有限型の結果を無限型表面へと一般化したものである。