[論文レビュー] The geometry of surface-by-free groups

Benson Farb, Lee Mosher|ArXiv.org|Aug 29, 2000

Geometric and Algebraic Topology参考文献 9被引用数 4

ひとこと要約

この論文は、単語的双曲的表面-自由群に対して強い剛性結果を確立する：このような群の準等長群は、その抽象的可換子群に等しく、二つの群が準等長であるための必要十分条件は、それらが抽象的に可換子であることに他ならない。主な貢献は、粗い幾何学、テイヒミュラー理論、および擬アイソバ型ダイナミクスを用いた可換子の明示的計算であり、準等長写像が有限指数部分群を正確な代数的方法で検出できることを示している。

ABSTRACT

We show that every word hyperbolic, surface-by-(noncyclic) free group Gamma is as rigid as possible: the quasi-isometry group of Gamma equals the abstract commensurator group Comm(Gamma), which in turn contains Gamma as a finite index subgroup. As a corollary, two such groups are quasi-isometric if and only if they are commensurable, and any finitely generated group quasi-isometric to Gamma must be weakly commensurable with Gamma. We use quasi-isometries to compute Comm(Gamma) explicitly, an example of how quasi-isometries can actually detect finite index information. The proofs of these theorems involve ideas from coarse topology, Teichmuller geometry, pseudo-Anosov dynamics, and singular solv-geometry.

研究の動機と目的

• 幾何的および代数的不変量を用いて、単語的双曲的表面-自由群を準等長性に関して分類すること。
• このような群の準等長群が、その抽象的可換子群と一致することを証明し、最大の代数的剛性を確立すること。
• このような群に準等長的な任意の有限生成群は、有限正規部分群を除いて弱可換子であることを示すこと。
• リーマン群の格子以外でめったに得られない、表面-自由群の抽象的可換子の明示的計算を提供すること。
• 水平を尊重する準等長写像を用いて、ファイバリングされた双曲的3次元多様体群への分類を拡張すること。

提案手法

• 粗い位相と特異的ソルブ幾何学を用いて、表面-自由群の大規模構造を分析する。
• 写像類群のシュットキー部分群がテイヒミュラー空間上で作用する様子を用いて、極限集合を研究する。
• 擬アイソバ型ダイナミクスを用いて、弱凸包と極限集合へのココンパクト作用を分析する。
• 表面の有限被覆を用いて、シュットキー部分群 $H$ が下降する最小の2次元オビホルド ${\mathcal{O}}_H$ を構成する。
• オビホルドの写像類群における相対的可換子を用いて、有限指数部分群を上げ、全群の可換子を計算する。
• 水平を尊重する準等長写像を用いて、群の幾何学とテイヒミュラー空間上での作用のダイナミクスを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 二つの単語的双曲的表面-自由群がいつ準等長的か？
• RQ2 準等長写像は、格子でない群において、有限指数部分群をどの程度正確に検出できるか？
• RQ3 表面-自由群の抽象的可換子の構造は何か？
• RQ4 群の幾何学は、テイヒミュラー空間上でのシュットキー部分群の作用のダイナミクスとどのように関係するか？
• RQ5 ファイバリングされた双曲的3次元多様体の基本群は、水平を尊重する準等長性に関してどのように分類されるか？

主な発見

• 二つの表面-自由群 $\Gamma_{H_1}$ と $\Gamma_{H_2}$ が準等長的であるための必要十分条件は、それらが抽象的に可換子であることである。
• $\Gamma_H$ の準等長群は、その抽象的可換子 $\operatorname{Comm}(\Gamma_H)$ に等しく、これは $\Gamma_H$ を有限指数部分群として含む。
• 群 $\Gamma_H$ に準等長的な任意の有限生成群は、弱可換子である。すなわち、その群は有限正規部分群をもち、商群が $\Gamma_H$ と可換子である。
• 抽象的可換子は、最小のオビホルド ${\mathcal{O}}_H$ と $\mathcal{M}({\mathcal{O}}_H)$ 内の $H$ の相対的可換子を用いて明示的に計算できる。
• ランク1のシュットキー部分群（すなわち、ファイバリングされた3次元多様体群）に対しては、準等長性による分類は可換子より粗いが、精錬された水平を尊重する準等長写像による分類が成立する。
• テイヒミュラー空間のサーファス境界における $H$ の極限集合が、準等長類を決定し、二つの群が準等長的であるための必要十分条件は、それらの極限集合が等しいことである。