[論文レビュー] Asymptotic dimension of relatively hyperbolic groups

Denis Osin|ArXiv.org|Nov 25, 2004

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

ひとこと要約

この論文は、有限生成群が有限個の部分群に対して相対的に双曲的であり、かつ各部分群の漸近次元が有限であるならば、その群自体の漸近次元も有限であることを確立する。証明は弱相対的双曲性および幾何的群論的手法（相対的測地線、制御された被覆など）を用い、周辺部分群の有限漸近次元に基づいて漸近次元を有界化する。

ABSTRACT

Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\{H_1, ..., H_m\} $. We prove that if each of the subgroups $H_1, ..., H_m$ has finite asymptotic dimension, then asymptotic dimension of $G$ is also finite.

研究の動機と目的

• 相対的双曲群が有限漸近次元をもつ条件を特定すること。
• 漸近次元に関する既知の有限性結果を相対的双曲群のクラスに拡張すること。
• 周辺部分群の漸近次元に基づいた有限漸近次元の一般基準を確立すること。
• 群全体が有限漸近次元をもつために、周辺部分群の有限漸近次元が十分であることを示すこと、強力な双曲性の仮定を必要としない。
• 強い小拡張や冪零性の仮定に依存しない手法を提供すること。

提案手法

• 有限相対的表示と線形相対的面積の境界を用いた相対的双曲性の定義を利用する。
• Cayley図形 $X \cup \mathcal{H}$ に関して双曲的であるという弱相対的双曲性の概念を適用する。
• アニュラスと制御された集合を用いて、Cayley図形 $\Gamma(G, X \cup \mathcal{H})$ の制御された被覆を構成する。
• 準安定化子の議論を用いる：単位元の $R$-準安定化子は、相対的距離における半径 $R$ の球である。
• 語長が生成集合 $X$ におけるものに基づく被覆の集合数を有界化するためのキーレムマ（補題16）を用いる。
• 定理17（弱双曲群の漸近次元）、補題13（制御された被覆）、補題11（準等長不変性）を組み合わせて、主結果を導く。

実験結果

リサーチクエスチョン

• RQ1 相対的双曲群が有限漸近次元をもつのはどのような条件下か？
• RQ2 周辺部分群の有限漸近次元が、群全体の漸近次元が有限であることを保証できるか？
• RQ3 強い相対的双曲性の仮定は必要か、それとも弱相対的双曲性で十分か？
• RQ4 この結果は、冪零性や小拡張の仮定がない群に対しても拡張可能か？
• RQ5 有界生成性とユニバーサル群は、有限漸近次元に対する反例を構成する際に果たす役割は何か？

主な発見

• 有限生成群 $G$ が有限個の部分群 $\{H_\lambda\}$ に対して相対的に双曲的であり、かつ各 $H_\lambda$ が有限漸近次元をもつならば、$\operatorname{asdim} G < \infty$ である。
• 証明は周辺部分群が冪零であるか小拡張を満たす必要はなく、有限漸近次元のみが必要である。
• Dahmani と Yaman の先行研究を一般化しており、彼らは周辺部分群がほとんど冪零であることを仮定していた。
• 図形 $\Gamma(G, X \cup \mathcal{H})$ の漸近次元は、$3\mu$ で有界であり、ここで $\mu$ は $X$ における語長 $\rho$ 以内の群元の数である。
• 有限漸近次元の条件が鋭いことを示すために、無限漸近次元をもつ有界生成有限提示群の構成がなされ、この条件を削除することはできない。
• ユニバーサル群の上行的HNN拡張として構成された群 $G$ は、すべての $m$ に対して $\mathbb{Z}^m$ の同型コピーを含むため、$\operatorname{asdim} G = \infty$ である。