[論文レビュー] Two-generator subgroups of right-angled Artin groups are quasi-isometrically embedded

Mike Carr|arXiv (Cornell University)|Dec 1, 2014

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

ひとこと要約

この論文は、右側アーティン群（RAAG）の非アーベル2生成子部分群が、擬等長埋め込みされた自由群であることを証明しており、バウジッシュの定理の度合いの refinement を提供する。この結果は、このような部分群が強い幾何的埋め込み性質を引き継ぐことを示しており、自由部分群における擬等長埋め込みの失敗を用いた、いかなるRAAGにも埋め込めない群を同定するための新しい基準を可能にする。

ABSTRACT

We show that non-abelian two-generator subgroups of right-angled Artin groups are quasi-isometrically embedded free groups. This provides an alternate proof of a theorem of A. Baudisch: that all two-generator subgroups are free or free abelian. Additionally, it shows that they are quasi-isometrically embedded. Our theorem also gives a method for detecting groups that are not isomorphic to a subgroup of any RAAG. We present some counterexamples in subgroups with more than two generators.

研究の動機と目的

• 右側アーティン群（RAAG）における2生成子部分群の度合いの構造を確立し、代数的分類を超えて進める。
• 非アーベル2生成子部分群の幾何的挙動を解明し、それが擬等長埋め込みされることを証明する。
• 自由部分群における擬等長埋め込みの失敗を用いて、いかなるRAAGに対しても埋め込めない群を同定するための新しい障害を提供する。
• バウジッシュの2生成子部分群が自由または自由アーベルであるという代数的結果を、度合いの条件を加えて拡張する。

提案手法

• 語の度合いと擬等長埋め込みの定義を用いて、RAAGにおける部分群の幾何的性質を分析する。
• ヴァルチョ＝ミルノの補題を適用し、距離空間上の群作用と擬等長写像との関係を関係づける。
• フラットトーラス定理を活用して、アーベル部分群の度合い的挙動を理解し、非アーベルの場合と対比する。
• 図8文字の結び目補間群における明示的な要素の列を構成し、包含写像下での語長の部分線形的成長を示す。
• 写像の合成を用いて、自由部分群が群内で擬等長埋め込みでない場合、その群全体がいかなるRAAGに対しても埋め込めないことを示す。
• 双曲的3次元多様体群の有限指数部分群を分析し、群自体が埋め込めない場合でも、その一部の部分群は埋め込めることがあることを示す。

実験結果

リサーチクエスチョン

• RQ1 RAAGの非アーベル2生成子部分群は、擬等長埋め込みされているか？
• RQ2 自由部分群が群内で擬等長埋め込みでないことが、その群がいかなるRAAGに対しても埋め込めない障害となるか？
• RQ3 2生成子部分群の擬等長埋め込み性質は、RAAGにおけるより高ランクの自由部分群へと拡張可能か？
• RQ4 双曲的3次元多様体群の部分群で、RAAGに埋め込める最小の指数は何か？
• RQ5 いかなる有限指数部分群も特別な作用を持たない、CAT(0)立方複体上で作用する群を特定できるか、特に3次元多様体群の文脈において。

主な発見

• RAAGの非アーベル2生成子部分群は、擬等長埋め込みされた自由群である。これはバウジッシュの代数的結果の幾何的強化を確認する。
• 2生成子の自由群の包含写像がRAAGに埋め込まれるとき、生成子が可換でない限り、それは擬等長埋め込みである。
• 群が、擬等長埋め込みでない2生成子自由部分群を含む場合、その群はいかなるRAAGの部分群とも同型でない。
• 図8文字の結び目補間群 π₁(M) は、有限指数部分群がRAAGに同型であるにもかかわらず、いかなるRAAGの部分群とも同型でない。
• 2ランクの自由部分群が図8文字の結び目補間群に包含されるとき、語長が部分線形的に増加するため、擬等長埋め込みではない。
• ランク2より大きい自由部分群で、その包含写像が擬等長埋め込みでないRAAGの部分群が存在する。これは、この結果が高ランクに一般化されないことを示している。