[論文レビュー] Uniform embeddability of relatively hyperbolic groups

Marius Dădărlat, Erik Guentner|ArXiv.org|Jan 27, 2005

Geometric and Algebraic Topology参考文献 10被引用数 4

ひとこと要約

この論文は、有限生成な群 Γ が有限個の部分群の族 H1,…,Hn に対して相対的に双曲的であるとき、Γ がヒルバート空間に一様埋め込み可能であることと、各 H_i がヒルバート空間に一様埋め込み可能であることとは同値であることを確立する。著者らは、部分空間の等一様埋め込み性と分区関数を用いた一様埋め込みの新しい接合技術を導入し、相対的双曲的群における埋め込みの永続性を示すためにそれを利用した。

ABSTRACT

Let $Γ$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $Γ$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly embeddable in a Hilbert space.

研究の動機と目的

• 相対的双曲的群の文脈において、均一埋め込みの永続性を確立すること。
• 分区関数と部分空間の等一様埋め込み性に基づく、距離空間の均一埋め込みの一般化された接合技術を開発すること。
• 一様埋め込み可能空間および C*-正確群の既知の永続性結果を統一・拡張する概念的枠組みを提供すること。
• 同じ手法的枠組みを用いて、オザワの相対的双曲的群の C*-正確性に関する結果を再導出すること。
• 幾何的群論と、一様埋め込みや性質 A といった関数解析的性質との間のギャップを埋めること。

提案手法

• 距離空間 X に於いて、添え字集合 I に対する分区関数 (φ_i)_{i ∈ I} を用意し、関連する写像 Φ: X → ℓ¹(I) がリプシッツ連続であるようにする。
• supp(φ_i) の集合が等一様埋め込み可能であること、すなわち、ヒルバート空間への一様な埋め込み族が、歪みを制御可能に持つようにする。
• 分区の均一制御と部分空間の等一様埋め込み性を用いて、全体空間 X をヒルバート空間に一様埋め込む写像を構成する。
• X = (Γ, d_S) とし、Γ が相対的双曲的で、Y = (Γ, d_{S ∪ H}) とし、p: X → Y を恒等写像とする。
• オシンの球 B(n) の再帰的分解を用いて、各 B(n) = p⁻¹(B_Y(e,n)) が、周辺部分群 H_k が一様埋め込み可能ならば一様埋め込み可能であることを示す。
• 補題 4.7 を適用して、すべての H_k が一様埋め込み可能ならば、X = Γ も一様埋め込み可能であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 部分空間の一様埋め込み性が、全体の距離空間の一様埋め込み性を示唆する条件は何か？
• RQ2 一様埋め込みと性質 A の永続性結果を統一する一般的な接合技術を、距離空間に対して開発できるか？
• RQ3 相対的双曲的群の一様埋め込み性は、その周辺部分群の一様埋め込み性にのみ依存するか？
• RQ4 この接合法は、有限漸近次元や性質 A の理論における既存の技法とどのように比較できるか？
• RQ5 同じ手法を用いて、相対的双曲的群の C*-正確性に関する既知の結果を再発見できるか？

主な発見

• 有限生成な群 Γ が有限個の部分群 {H₁,…,Hₙ} に対して相対的に双曲的であるとき、Γ がヒルバート空間に一様埋め込み可能であることと、各 H_i がヒルバート空間に一様埋め込み可能であることとは同値である。
• 証明は、分区関数と部分空間の等一様埋め込み性に基づく、一様埋め込みのための新しい接合技術に依存しており、これにより、部分の埋め込みから全体の空間の均一埋め込みを構成できる。
• この手法は、恒等写像 p: (Γ, d_S) → (Γ, d_{S ∪ H}) による球の逆像 B(n) = p⁻¹(B_Y(e,n)) に適用され、H_k が一様埋め込み可能ならば各 B(n) も一様埋め込み可能であることを示す。
• この結果は、オザワの相対的双曲的群の C*-正確性に関する定理を再現し、本手法の広範な適用可能性を示している。
• 本手法は、一様埋め込み可能空間および C*-正確群の永続性の概念的かつ統一的な取り扱いを提供する。
• この技術は汎用的であり、本論文の範囲を越えて、幾何的群論や粗幾何学におけるさらなる応用が期待できる。