[論文レビュー] Subgroups of the mapping class group from the geometrical viewpoint

Richard P. Kent, Christopher J. Leininger|ArXiv.org|Feb 1, 2007

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

ひとこと要約

本稿では、双曲的曲面 S の写像類群 Mod(S) の部分群とクライン群の間の幾何的類似性に注目し、サーフェスのテイコフラー空間と測度付きリーマン・ラインの射影空間への作用を通じた力学的性質を考察する。純粋な擬等長部分群が自由であることを示し、それらが双曲的でない限りバームスラグ＝ショルスタイン部分群を含めないことを証明し、グロモフの凸コンパクト性に関する問いの重要なケースを解決する。

ABSTRACT

We survey the analogy between Kleinian groups and subgroups of the mapping class group of a surface.

研究の動機と目的

• クライン群と写像類群 Mod(S) の部分群との間の力学的および幾何的類似性を調査すること。
• 特に埋め込み可能性と剛性を特徴づける、Mod(S) の純粋な擬等長部分群の構造を理解すること。
• バームスラグ＝ショルスタイン部分群の不在を分析することで、グロモフの凸コンパクト性に関する問いに応えること。
• 極限集合と群論的技法を用いて、Mod(S) の部分群が双曲的であるか、あるいは凸コンパクト性を失う条件を確立すること。

提案手法

• 測度付きリーマン・ラインの射影空間 PML(S) における部分群 G < Mod(S) の作用に注目し、極限集合 Λ_G が最小かつ閉じた G-不変集合であることを分析する。
• テイコフラー空間 T(S) 及びその境界 PML(S) を用い、二次微分 q に付随するテイコフラー円板 H_q の役割に焦点を当てる。
• 正則1形式 ω に対して P⟨Re(ω), Im(ω)⟩ と同一視される PML(q) 上の射影構造を適用し、PML(q) → PML(S) の埋め込みが局所的に射影的であることを示す。
• ヴェーチ群およびアフィン群 Aff(q) を、H_q 上に作用するフクシアン部分群として適用し、PML(q) 内の極限集合 Λ_G(q) を考察する。
• 短完全列 1 → π₁(S) → Γ_G → G → 1 と、モジュライ空間 M_G 上へのバンドル構造を用いて、群コホロジーおよびエイレンバーグ＝マクライン空間を分析する。
• 擬等長要素の中心化群が概ね巡回的であるという事実を用い、純粋な擬等長群内に非自明な Z⊕Z 部分群が存在できないことを導く。

実験結果

リサーチクエスチョン

• RQ1 Mod(S) の純粋な擬等長部分群は、バームスラグ＝ショルスタイン部分群 BS(p,q) を含むことができるか？
• RQ2 純粋な擬等長部分群がいつ凸コンパクトとなるか。これは Z⊕Z 部分群の存在とどのように関係するか？
• RQ3 部分群 G < Mod(S) の極限集合 Λ_G とテイコフラー円板 H_q の幾何的性質の関係は何か？
• RQ4 エイレンバーグ＝マクライン空間の性質およびモジュライ空間のアスpherical性は、Mod(S) の部分群の構造にどのような制約を課えるか？
• RQ5 クライン群と写像類群の部分群の類似性を、クライン群論よりもテイコフラー理論においてより強い定理を導くためにどの程度活用できるか？

主な発見

• 純粋な擬等長部分群 G < Mod(S) がバームスラグ＝ショルスタイン部分群 BS(p,q) を含むならば、p = q でなければならない。このような部分群は、自由でない限り凸コンパクトにはなり得ない。
• 純粋な擬等長部分群 G に対して関連する群 Γ_G は、G が非凸コンパクトな正規部分群 A を含む場合、A が B の弱ハルにコンパクトに作用しないことから、双曲的でなくなる。
• 十分に大きな部分群 G < Mod(S) の極限集合 Λ_G は、PML(S) の完備で閉じた G-不変部分集合であり、空集合を除き内部を持たないか、全体空間に一致する。
• 埋め込み PML(q) → PML(S) は、正則1形式 ω に対して P⟨Re(ω), Im(ω)⟩ と自然に同一視される局所射影的埋め込みである。
• G が torsion-free かつテイコフラー空間上で自由に作用するならば、関連するモジュライ空間 M_G は多様体であり、有限 K(G,1) 空間を備える。これは G がアスphericalであることを意味する。
• 有限 Eilenberg–Mac Lane 空間を持つ A および B を持つ、1 → A → B → C → 1 の形の拡張に同型な無限の純粋な擬等長部分群は、Γ_A または Γ_B が非双曲的でなければならず、バームスラグ＝ショルスタイン部分群を含めない。