[論文レビュー] On definitions of relatively hyperbolic groups

Inna Bumagin|ArXiv.org|Feb 5, 2004

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

ひとこと要約

本稿は、グロモフの幾何的意味における相対的双曲的群が、バウンデッドコセットペネトレーション（BCP）性質を含むファルブの組合せ的定義を満たすことを、直接的で代替的な証明により提示する。鋸歯状のケイリー図と、水平球を折りたたんで得られる修正された双曲的空間との間の準等長写像を構成することにより、グロモフの相対的双曲性がファルブの定義を意味することを確立し、二つの概念の同値性を確認する。

ABSTRACT

The purpose of this note is to provide a short alternate proof that (combined with a theorem proven by Szczepanski) shows that a group which is relatively hyperbolic in the sense of the definition of Gromov is relatively hyperbolic in the sense of the definition of Farb.

研究の動機と目的

• スツェパンスキー（2004）の質問1.5に応えること：グロモフの意味における相対的双曲的群が、ファルブが定義したバウンデッドコセットペネトレーション（BCP）性質を満たすかどうか。
• グロモフの定義からファルブの定義への、直接的かつ自己完結的な証明を提供すること。
• 相対的双曲的群について、幾何的定義（グロモフ）と組合せ的定義（ファルブ）の同値性を確立すること。
• 相対的双曲的群における共役問題のアルゴリズム的可解性におけるBCP性質の役割を強化すること。

提案手法

• G-不変な互いに交わらない水平球の内部を、適切で測地的かつグロモフ双曲的な空間から取り除くことにより、グロモフ双曲的な空間Xを構成する。
• 群の生成元をX内のパスに上方に持ち上げる写像fを、ケイリー図Γ(G,A)からXへ定義し、群作用を保存し、G-等長構造を誘導する。
• 各水平球の境界を一点に折りたたむことにより、商空間X̂を構成する。この空間は[9, 系1]によりグロモフ双曲的である。
• 鋸歯状図Γ̂からX̂への誘導写像f̂が準等長写像であることを示し、鋸歯状図が双曲的であることを示す。
• 準等長写像を用いて、コセット内でのパスの進入・脱出点間の距離を制御し、ペア(G,H)におけるBCP性質を検証する。
• 複数の周辺部分群に一般化するため、複数の基点を持つ水平球を選択し、それらの基点を結ぶ有限な木を折りたたむ。

実験結果

リサーチクエスチョン

• RQ1 グロモフの意味で相対的双曲的である群は、ファルブが定義したバウンデッドコセットペネトレーション（BCP）性質を満たすか？
• RQ2 直接的な幾何的議論を通じて、グロモフの幾何的定義とファルブの組合せ的定義の同値性を確立できるか？
• RQ3 水平球構造とその境界は、鋸歯状ケイリー図を準等長的モデルとして実現するために果たす役割は何か？
• RQ4 鋸歯状ケイリー図と水平球空間を折りたたんだ空間との間の準等長写像は、コセット内でのパスの透過をどのように制御するか？
• RQ5 cocompactで、適切に不連続かつ等長な群作用が、グロモフ双曲的空間に不変な水平球を持つ場合、BCP性質はその存在から導けるか？

主な発見

• 群Gがグロモフの意味で相対的双曲的であることと、ファルブの意味で相対的双曲的であることとは同値であり、二つの定義の同値性が確認された。
• BCP性質は、グロモフの意味で相対的双曲的である任意の群Gに対して成り立つ。これにより、スツェパンスキーの質問1.5に対する肯定的解答が得られた。
• 鋸歯状ケイリー図Γ̂は、水平球境界を折りたたんで得られるグロモフ双曲的空間X̂と準等長的であるため、双曲的である。
• BCP性質における定数Bは、準等長定数および水平球の分離距離Rの関数として明示的に上界が与えられる。
• 単一の周辺部分群から複数の周辺部分群への一般化は、複数の水平球の基点を結ぶ有限な木を折りたたむことにより実現される。
• 構成により、コセット内でのパスの透過が、水平球境界での制御された移動に対応し、BCP条件を満たす。