[論文レビュー] The geometry of relative Cayley graphs for subgroups of hyperbolic groups

Ilya Kapovich|arXiv (Cornell University)|Jan 7, 2002

Geometric and Algebraic Topology参考文献 49被引用数 6

ひとこと要約

この論文は、単語的双曲的群 G の準凸部分群 H に対して、相対ケイリー図形 Γ(G/H, A) がグロモフ双曲的であることを証明する。正則な二分木の準等長埋め込みを用いて、H が G において無限大指数を持つとき、その図形が単純な無作為ウォークに対して一様に非再帰的であることを確立する。この結果は、グロモフの主張を裏付け、双曲的群における部分群構造の幾何学的および確率的理解を拡張する。

ABSTRACT

We show that if H is a quasiconvex subgroup of a hyperbolic group G then the relative Cayley graph Y (also known as the Schreier coset graph) for G/H is Gromov-hyperbolic. We also observe that in this situation if G is torsion-free and non-elementary and H has infinite index in G then the simple random walk on Y is transient.

研究の動機と目的

• 単語的双曲的群 G の準凸部分群 H に対して、相対ケイリー図形 Γ(G/H, A) の双曲的性を確立すること。
• H が G において無限大指数を持つとき、相対ケイリー図形上での単純無作為ウォークの確率的挙動を調査すること。
• コセット図形の幾何学的および位相的性質、特にエンドと部分群分離性との関係を明確にすること。
• 相対ケイリー図形の双曲的性に対する厳密な基礎を提供し、グロモフの業績における主張を解消すること。

提案手法

• G の提示複体における H に対応する被覆空間の 1 スケルトンとして、相対ケイリー図形 Γ(G/H, A) を構成する。
• 準凸部分群が G に準等長的に埋め込まれることを用い、Γ(G, A) における距離と Γ(G/H, A) における距離を関連付ける。
• H2 = H ∗ F(a,b) における自由積構造を介して、正則な二分木を相対ケイリー図形 Y = Γ(G/H, A) に準等長的に埋め込む。
• 正則な木における単純無作為ウォークの非再帰性と、準等長不変性を用いて、Y の非再帰性を導出する。
• アージャンツェーヴァの結果を応用し、H と自由な部分群を生成する要素を構成する。
• 語の距離推定と測地線比較を用いて、G の語距離と F(a,b) の自由基底距離を用いて、Y 内の距離を有界化する。

実験結果

リサーチクエスチョン

• RQ1 H が単語的双曲的群 G の準凸部分群であるとき、相対ケイリー図形 Γ(G/H, A) はグロモフ双曲的か？
• RQ2 単純無作為ウォークが Γ(G/H, A) で非再帰的となる条件は何か？
• RQ3 Γ(G/H, A) の幾何学的性質は、H の G における指数および構造とどのように関係するか？
• RQ4 相対双曲的性の概念に依存せずに、Γ(G/H, A) の双曲的性を独立に確立できるか？
• RQ5 自由部分群は、相対ケイリー図形における非再帰性を引き起こす役割を果たすか？

主な発見

• H が単語的双曲的群 G の準凸部分群である限り、相対ケイリー図形 Γ(G/H, A) はグロモフ双曲的である。
• G が torsion-free で非自明であり、H が G において無限大指数を持つならば、Γ(G/H, A) 上の単純無作為ウォークは非再帰的である。
• H が無限大指数を持つとき、Γ(G/H, A) は正則な二分木を準等長的に埋め込める。
• 相対ケイリー図形は、標準語距離を備えた自由群 F(a,b) を、一様定数の範囲内で距離を保存するように準等長的に埋め込める。
• 非再帰性は、埋め込まれた木の非再帰性と、非再帰性の準等長不変性から導かれる。
• この結果は、グロモフの1987年の書籍で証明なしに述べられた主張を裏付け、厳密な証明を提供するとともに、その適用範囲を拡張する。