[論文レビュー] Acylindrically hyperbolic groups

D. Osin|arXiv (Cornell University)|Apr 4, 2013

Geometric and Algebraic Topology被引用数 10

ひとこと要約

この論文は、双曲的空間上の非自明なアリシル的作用を持つ群として定義されるアリシル的双曲群が、既に研究されてきた複数の群のクラスと同値であることを確立している。具体的には、双曲的埋め込みをもつ部分群をもつ群、弱く適切に不連続な作用をもつ群、およびWPDを満たすloxodrom的要素をもつ群である。主な貢献は、4つの特徴付けの同値性を証明し、幾何的群論における多様な視点を統合し、今後の研究の基盤を提供することにある。

ABSTRACT

We say that a group $G$ is acylindrically hyperbolic if it admits a non-elementary acylindrical action on a hyperbolic space. We prove that the class of acylindrically hyperbolic groups coincides with many other classes studied in the literature, e.g., the class $C_{geom}$ introduced by Hamenstadt, the class of groups admitting a non-elementary weakly properly discontinuous action on a hyperbolic space in the sense of Bestvina and Fujiwara, and the class of groups with hyperbolically embedded subgroups studied by Dahmani, Guirardel, and the author. We also record some basic results about acylindrically hyperbolic groups for future use.

研究の動機と目的

• 幾何的群論で研究されてきた、互いに異なる群のクラスを、一貫した枠組みで統一すること。
• アリシル的双曲群が、双曲的埋め込みをもつ部分群をもつ群、弱く適切に不連続な作用をもつ群、およびWPDを満たすloxodrom的要素をもつ群と同値であることを証明すること。
• 今後の研究のための、アリシル的双曲群の基本的性質に関する包括的リファレンスを提供すること。
• アリシル的双曲群の4つの異なる特徴付けの同値性を確立すること。これには、ケイリー図に基づく条件も含まれる。
• ランダムウォーク、小分類、群の漸近的幾何学への応用の基盤を築くこと。

提案手法

• アリシル的性質を統合的条件として用いる：任意の ε > 0 に対して、ある R, N > 0 が存在し、任意の2点が距離 ≥ R 離れているとき、それらを ε 未満に動かす群の要素は高々有限個である。
• 双曲的空間上のアリシル的作用を3つのタイプに分類する：有界軌道、単項的可換部分群に含まれるloxodrom的要素、または無限個の独立なloxodrom的要素を含む。
• 4つの特徴付けの同値性の証明：(AH1) |∂Γ| > 2 を満たす双曲的ケイリー図上のアリシル的作用；(AH2) 非自明なアリシル的作用；(AH3) 非単項的可換群でWPDを満たすloxodrom的要素をもつ；(AH4) 妥当な無限大の双曲的埋め込み部分群の存在。
• ダーマニ–ギュイアールデル–オシン（2011）の双曲的埋め込み部分群およびデーン埋め込み技術に関する技術的道具の応用。
• ベストヴィナ–フジワラの弱い適切な不連続性およびシストの弱く収縮する要素に関する結果を活用し、定義を橋渡しする。
• 漸近的コーンとモース要素理論を用いて、幾何的帰結（例えば、漸近的コーンにおける切断点）を導出する。

実験結果

リサーチクエスチョン

• RQ1 アリシル的作用、双曲的埋め込み部分群、弱い適切な不連続性によって定義される群のクラスは同値であるか？
• RQ2 双曲的空間上の非自明なアリシル的作用は、双曲的埋め込み部分群の存在によって特徴付けられるか？
• RQ3 アリシル的双曲群における一般化loxodrom的要素と弱く収縮する要素の関係は何か？
• RQ4 アリシル的双曲群は、loxodrom的要素に集中する一般化されたランダムウォークをもつのか？
• RQ5 モース要素の存在によって、アリシル的双曲群に切断点をもつ漸近的コーンなどの幾何的性質が導かれるか？

主な発見

• アリシル的双曲群の4つの特徴付け（AH1）〜（AH4）は論理的に同値であり、統合的枠組みを確立する。
• すべてのアリシル的双曲群は最大の有限正規部分群 K(G) をもち、K(G) = {1} であることは、G が無限大の共役類をもち、そのフォン・ノイマン代数がII₁因子であることと同値である。
• アリシル的双曲群の縮小 C*-代数は単純で、一意なトレースをもつ。
• 任意の有限生成アリシル的双曲群に対して、n ステップの単純なランダムウォークが一般化loxodrom的要素に到達する確率は、ある ε ∈ (0,1) に対して 1 − O(εⁿ) 以上である。これは、このような要素が一般に存在することを示唆する。
• 任意の有限生成アリシル的双曲群は、すべての漸近的コーンに切断点をもつ。これはモース要素の存在に起因する。
• 任意の可算アリシル的双曲群 G に対して、無限大で有限生成な商群 C が存在し、C の2つの要素が共役であることは、それらの位数が等しいことと同値であり、π(C) = π(G) である。G がねじれをもたない場合、C はちょうど2つの共役類をもつ。