[論文レビュー] A Model for the Universal Space for Proper Actions of a Hyperbolic Group

David Meintrup, Thomas Schick|ArXiv.org|Sep 13, 2002

Geometric and Algebraic Topology参考文献 5被引用数 51

ひとこと要約

この論文は、Rips複体を用いて、語的双曲群の固有作用の普遍空間の有限G-CW複体モデルを構成する。パラメータd ≥ 32δ + 20のとき、Rips複体の2回目のバーチカルサブディビジョンにおける任意の有限部分群の固定点集合が収縮可能であることを証明することで、普遍空間の有限モデルを確立し、双曲群が有限個の共役類をもつ有限部分群しか持たないことを示している。

ABSTRACT

Let $G$ be a word hyperbolic group in the sense of Gromov and $P$ its associated Rips complex. We prove that the fixed point set $P^H$ is contractible for every finite subgroups $H$ of $G$. This is the main ingredient for proving that $P$ is a finite model for the universal space $e.g.$ of proper actions. As a corollary we get that a hyperbolic group has only finitely many conjugacy classes of finite subgroups.

研究の動機と目的

• 語的双曲群の固有作用の普遍空間のための有限G-CWモデルとして、Rips複体の2回目のバーチカルサブディビジョンが適切であることを完全かつ詳細に証明すること。
• 文献におけるギャップを解消するために、Rips複体における有限部分群の固定点集合の収縮可能性を証明すること。これは[BCH94]で主張されたが、証明が与えられていなかった。
• 普遍空間の有限型性を用いて、双曲群が有限個の共役類をもつ有限部分群しか持たないことを確立すること。
• 双曲幾何とRips複体の性質に依存する、構成的で幾何的な証明を提供すること。特に、十分に大きなdに対して有効であることを目的とする。

提案手法

• 著者たちは、δ-双曲群Gと有限生成集合Sに対して関連するRips複体P_d(G,S)を用いる。ここでd ≥ 32δ + 20である。
• G-CW複体構造を保ち、有限安定化子と固有不連続作用を持つために、Rips複体の2回目のバーチカルサブディビジョンを考察する。
• 証明は、ある頂点xを構成するための補題6に依存しており、そのとき部分群Hの軌道Hxの直径は8δ + 4以下であり、元の軌道Hy₀に近い。
• 重要なステップとして、有限H不変部分複体KからRips複体の有限H不変部分複体Fへの単体的写像f₀を定義し、d-有界性条件を保つようにする。
• 写像f₀は単体的G写像f: K → Fに拡張され、距離の基準点への縮小を伴う変形により、包含写像とH-ホモトープであることが示される。
• 変形後の距離を評価するために、双曲性不等式と三角不等式を用い、像がd-有界単体内に留まるように保証する。

実験結果

リサーチクエスチョン

• RQ1 Rips複体の2回目のバーチカルサブディビジョンは、語的双曲群の固有作用の普遍空間のための有限G-CWモデルを提供するか？
• RQ2 語的双曲群Gの任意の有限部分群Hに対して、固定点集合P^Hは収縮可能か？
• RQ3 十分に大きなdに対して、Rips複体の幾何的および双曲的性質を用いてP^Hの収縮可能性を確立できるか？
• RQ4 このようなモデルの存在は、双曲群が有限個の共役類の有限部分群しか持たないことを示唆するか？
• RQ5 文献[BC94]における未検証の主張に依存せずに、証明を完成させることができるか？

主な発見

• パラメータd ≥ 32δ + 20のとき、Rips複体P_d(G,S)の2回目のバーチカルサブディビジョンPは、有限安定化子と固有G作用を持つ有限G-CW複体である。
• 任意の有限部分群H ≤ Gに対して、固定点集合P^Hは収縮可能であり、これはPが固有作用の普遍空間のモデルであるための鍵となる条件である。
• 証明により、Rips複体の構成が普遍空間EG̲の有限モデルをもたらすことが示され、文献において主張されたが証明が与えられていなかったギャップが解消された。
• d-有界性条件を保ちつつ、基準点への距離を減少させる変形を用いたホモトピーにより、P^Hの収縮性が示された。この過程で双曲性と三角不等式が利用された。
• その結果、普遍空間の有限型性の帰結として、任意の双曲群が有限個の共役類の有限部分群しか持たないことが示された。
• 構成は有効的で幾何的であり、群のδ-双曲幾何とRips複体の構造に依存している。