[論文レビュー] Nielsen methods and groups acting on hyperbolic spaces

Ilya Kapovich, Richard Weidmann|ArXiv.org|Mar 2, 2002

advanced mathematical theories被引用数 4

ひとこと要約

本稿では、任意のn生成群がδ-双曲空間に等距変換によって作用する場合、その群は自由群（軌道写像がクェイジアイソメトリック埋め込み）であるか、あるいは翻訳長がδC(n)以下の非自明な元を含むことを示している。ここでC(n)はnにのみ依存する計算可能な定数である。証明はニーデン変換を用いて生成系の組を解析し、双曲空間における幾何的群論的手法を応用して翻訳長を制御する。

ABSTRACT

We show that for any positive integer $n$ there exists a constant $C(n)>0$ such that any $n$-generated group $G$, which acts by isometries on a $δ$-hyperbolic space (with $δ>0$), is either free or has a nontrivial element with translation length at most $δC(n)$.

研究の動機と目的

• 双曲群に関するグロモフの予想を一般化し、任意のn生成群がδ-双曲空間に作用する場合、それが自由群であるか、あるいは小さい翻訳長の非自明な元を含むことを示すこと。
• 生成系の組の最小性に関する議論を可能にするニーデン変換を用いて、この二分岐の構成的証明を提供すること。
• 翻訳長の上界における定数C(n)が再帰的であり、したがってアルゴリズム的に計算可能であることを確立すること。ただし、その漸近的成長は同定されていない。
• δ → 0の極限としてR-木への拡張を行い、この場合、最初の生成元をニーデン同値な生成系において任意に小さい翻訳長にできると示すこと。
• 語彙的双曲群の部分群に関するグロモフの主張を回復し、より強くするが、元の記述とは異なる定数を用いる。

提案手法

• 生成系の組に対する変換（ニーデン変換）を適用し、生成部分群を保ちつつ問題を最小生成系に還元する。
• 組合せ的順序（字書的順序に類似）とδ-双曲空間内での幾何的制御を組み合わせた幾何的最小性条件を用いる。
• 群作用と生成系の組における交互積の構造を用いて、xからuxへのクェイジジオデシック経路σを構成する。
• クェイジジオデシック追跡とハウスドルフ距離の推定を用い、経路σの長さを群元の語長さに関連付ける。
• σが(K,K)-クェイジジオデシックであることを用いて、群元の語長さの下限を経路長の下限として導出し、軌道写像がクェイジアイソメトリック埋め込みであることを保証する。
• 中間の群元の長さに対する帰納的制御を用いて、翻訳長の再帰的上界C(n)を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のn生成群がδ-双曲空間に等距変換で作用する場合、それが自由群であるか、あるいは小さい翻訳長の非自明な元を含むことを示せるか？
• RQ2 作用が非離散的または非忠実であっても、そのような小さい翻訳長の元がニーデン同値な生成系に含まれるよう保証できるか？
• RQ3 翻訳長の上界における定数C(n)はnにのみ依存し、かつアルゴリズム的に計算可能か？
• RQ4 δ → 0の極限としてR-木にこの結果を拡張できるか？また、その場合、最初の生成元を任意に楕円的（翻訳長が0に近い）にできるか？
• RQ5 従来自由群に用いられてきたニーデン手法が、幾何的制御を伴う双曲空間に作用する群へとどの程度一般化できるか？

主な発見

• 任意のn ∈ ℕに対して、再帰的定数C(n)が存在し、n生成群がδ-双曲空間に等距変換で作用する場合、その群は自由群（軌道写像がクェイジアイソメトリック埋め込み）であるか、あるいは非自明な元の翻訳長がδC(n)以下である。
• 群G → X, g ↦ gx がクェイジアイソメトリック埋め込みであることは、Gが生成系に関して自由群であり、作用が離散的かつクェイジコン vex であることに同値である。
• 定数C(n)は再帰的であり、したがってアルゴリズム的に計算可能であるが、本稿ではnに関するその漸近的成長は特定されていない。
• R-木（0-双曲空間）の場合、任意のε > 0に対して、ニーデン同値な生成系のうち、最初の生成元の翻訳長がε以下であるものが存在する。
• 最初のn−1個の生成元で生成される部分群Hの軌道写像がクェイジアイソメトリック埋め込みであることを証明し、これにより双曲空間内の経路長を制御する。
• クェイジジオデシック経路σの構成と、ハウスドルフ距離による測地線との比較により、経路長の語長さに関する下限が導かれ、クェイジアイソメトリック埋め込み性が証明される。