[論文レビュー] Large scale geometry of big mapping class groups

Kathryn Mann, Kasra Rafi|arXiv (Cornell University)|Dec 23, 2019

Geometric and Algebraic Topology被引用数 7

ひとこと要約

この論文は、ローゼンダールの粗い有界性の枠組みを用いて、無限型の曲面の大きなマッピングクラス群の大規模幾何を分類する。局所的な粗い有界性、粗い有界生成、有界直径について完全な特徴付けを行い、それらをエンド空間の構造や非可換部分曲面といった位相的不変量と結びつける。

ABSTRACT

We study the large-scale geometry of mapping class groups of surfaces of infinite type, using the framework of Rosendal for coarse geometry of non locally compact groups. We give a complete classification of those surfaces whose mapping class groups have local coarse boundedness (the analog of local compactness). When the end space of the surface is countable or tame, we also give a classification of those surface where there exists a coarsely bounded generating set (the analog of finite or compact generation, giving the group a well-defined quasi-isometry type) and those surfaces with mapping class groups of bounded diameter (the analog of compactness).

研究の動機と目的

• 幾何的群論を非局所コンパクトなポーランド群、特に無限型曲面の大きなマッピングクラス群へ拡張すること。
• 粗い有界生成集合を用いて、そのような群が一意に定まる擬等長型をもつ条件を特定すること。
• これらの群が有界直径（コンパクト性に類似）をもつ、あるいは局所的に粗い有界性（局所コンパクト性に類似）をもつ条件を分類すること。
• 非可換部分曲面やエンド空間の自己相似性といった位相的特徴と、マッピングクラス群の幾何的性質との間の関係を確立すること。
• エンド空間の構造と genus 分布に基づいて、マッピングクラス群を完全に分類すること。

提案手法

• 非局所コンパクト群に対して擬等長型を定義するため、ローゼンダールの粗い有界性理論を適用する。
• 有限またはコンパクト生成の一般化として、粗い有界性（CB）の概念を用いる。
• エンドに部分順序 $ x \preccurlyeq y $ を定義する（$ x $ の近傍が $ y $ の近傍に位相的に埋め込めるとき）、そして閉開集合 $ A $ に対して最大エンド $ \mathcal{M}(A) $ を定義する。
• 部分曲面への射影や長さ関数を用いて、特に軌道が有界でないメトリック空間への作用を通じて、非有界な幾何を検出する。
• エンド空間の自己相似性を分析する：ペア $ (E, E^G) $ が自己相似であるとは、分解の任意の閉開部分集合へ埋め込めるときを意味する。
• テレスコープ的構成と補間領域の位相的型を用いて、粗い有界性および有界直径の条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 無限型曲面のマッピングクラス群が局所的に粗い有界性をもつのはいつか？
• RQ2 どのような条件下で、大きなマッピングクラス群が粗い有界生成集合をもち、一意に定まる擬等長型をもつのか？
• RQ3 マッピングクラス群が有界直径（コンパクト性に類似）をもつのはいつか？
• RQ4 非可換部分曲面や自己相似なエンド空間といった位相的特徴が、マッピングクラス群の大規模幾何にどのように影響するか？
• RQ5 エンド空間構造、特に最大エンドや自己相似性が、粗い幾何的性質を決定づける役割を果たすのはどのような場合か？

主な発見

• マッピングクラス群 $ \operatorname{Map}(\Sigma) $ が局所的に粗い有界性をもつのは、補間領域がすべて無限型で、それぞれが 0 または無限大の genus をもち、エンド空間が有限個の閉開集合に分割されるような、有限型部分曲面 $ K \subset \Sigma $ が存在するとき、かつそのときに限る。
• エンド空間が可算またはたまっているとき、$ \operatorname{Map}(\Sigma) $ が粗い有界生成であるのは、エンド空間が自己相似的であり、genus が有限または制御された方法で無限大であるとき、かつそのときに限る。
• マッピングクラス群が有界直径（全体的に粗い有界性）をもつのは、エンド空間 $ E $ が自己相似的であり、genus が自己相似的な方法で有限または無限大であるとき、かつそのときに限る。
• 非可換部分曲面は非自明な幾何を生じさせる：それらの存在は、部分曲面への射影を通じて、群上に非有界な長さ関数の存在を示唆する。
• エンド空間 $ (E, E^G) $ の自己相似性は、マッピングクラス群が有界直径をもつために必要かつ十分である。
• 有界直径の証明は、自己相似性が成立しない場合に $ \mathbb{Z} $ への非有界な準同型を構成することで行われ、その結果、群が粗い有界でないことが示される。