[論文レビュー] No-splitting property and boundaries of random groups

François Dahmani, Vincent Guirardel+1 more|arXiv (Cornell University)|Apr 24, 2009

Geometric and Algebraic Topology参考文献 17被引用数 7

ひとこと要約

この論文は、グロモフの密度モデルにおけるランダム群が、任意の密度 d < 1/2 において性質 (FA) を満たすことを証明している。これは、群が木への非自明な作用をもたず、したがって有限または擬似巡回部分群への分解をもたないことを意味する。その結果、密度が 1/2 未満のとき、そのグロモフ境界はメンジャーカーブである。これは1次元の普遍的コンパクト距離空間である。

ABSTRACT

We prove that random groups in the Gromov density model, at any density, satisfy property (FA), i.e. they do not act non-trivially on trees. This implies that their Gromov boundaries, defined at density less than 1/2, are Menger curves.

研究の動機と目的

• ランダム群がグロモフ密度モデルにおいてすべての密度 d < 1/2 で性質 (FA) を満たすことを確立すること。
• この性質 (FA) が、そのような群のグロモフ境界がメンジャーカーブであることを示すこと。
• 以前の結果では密度 d < 1/24 のみでメンジャーカーブ境界が示されていたが、これをすべての d < 1/2 に拡張すること。
• ランダム群が有限または擬似巡回部分群への分解をもたないことを証明すること。これは境界位相の分類に鍵となる。
• すべての 1/2 未満の密度にわたる一様な証明技法を提供すること。この手法には、オートマトン理論的および小キャンセレーションの議論が含まれる。

提案手法

• 潜在的なランダム群の分解をモデル化するため、ε-オートマトンと大規模オートマトンの使用。
• 長さ ≥3 の関係式を避ける言語を持つ (1/2n min{δ+β, δ+α}, ε)-大規模 ε-オートマトンの構成。
• 循環言語の I₀-成長率に基づく成長率の議論を用いて、ランダム関係式が高確率でこのようなオートマトン言語と交わることを示す。
• 背理法を用いる：分解が存在すると仮定し、ε に関する境界を導出し、その構成における ε の選択と矛盾させる。
• 小キャンセレーションに関する既知の結果とランダム関係式の構造を活用し、オートマトン言語が関係式集合と交わらないことを示す。
• 性質 (FA) が商群においても保たれることを用い、リプス理論およびベストビナ＝ポアリンの議論を適用して、R-木への作用を除外する。

実験結果

リサーチクエスチョン

• RQ1 グロモフ密度モデルにおけるランダム群は、すべての密度 d < 1/2 で性質 (FA) を満たすか？
• RQ2 メンジャーカーブが、d < 1/24 の場合に限らず、すべての密度 d < 1/2 でランダム群のグロモフ境界として確立可能か？
• RQ3 ランダム群が有限または擬似巡回部分群への分解をもたないという構造的性質は何か？
• RQ4 証明で用いられるオートマトン理論的手法は、木への非自明な作用が存在しないことをどのように保証するか？
• RQ5 高密度において C’(1/12) 小キャンセレーションが成立しない場合でも、他の群論的性質が (FA) を保証するために補填可能か？

主な発見

• 任意の密度 d < 1/2 におけるランダム群は性質 (FA) を満たし、これは木への非自明な作用がなく、有限または擬似巡回部分群への分解ももたないことを意味する。
• 密度 d < 1/2 におけるランダム群のグロモフ境界はメンジャーカーブである。これは1次元の普遍的コンパクト距離空間である。
• 以前の研究では密度 d < 1/24 のみでメンジャーカーブ境界が示されていたが、本研究ではすべての d < 1/2 に拡張された。
• 証明は、高確率で関係式集合と交わらない大規模な ε-オートマトンの言語を構成することに依存しており、これにより非自明な分解が存在しないことが示される。
• 主な矛盾は、ε に関する境界が必要な成長率条件を満たさないことに起因し、これによりいかなる分解も除外される。
• 系として、このようなランダム群の外部自己同型群は有限であり、そのような群からねじれのない双曲群への準同型は、共轭を除いて有限個に限る。