[論文レビュー] Direct embeddings of relatively hyperbolic groups with optimal $\ell^p$ compression exponent

David Hume|arXiv (Cornell University)|Nov 25, 2011

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

ひとこと要約

本稿では、任意の有限生成群が有限生成部分群の族に関して相対的に双曲的であるとき、任意の $ p > 1 $ に対して、その $ \iota^p $ 圧縮指数が、最大の周辺部分群の $ \iota^p $ 圧縮指数の最小値に等しいことを確立している。この結果は、$ \ell^p $ 空間に向けた粗い埋め込みの直接的な幾何的構成により得られ、最適な圧縮指数が得られ、双曲群および3次元多様体群に関する先行研究を拡張する。

ABSTRACT

We prove that for all $p>1$, every relatively hyperbolic group has $\ell^p$ compression exponent equal to the minimum of the exponents of its maximal parabolic subgroups. Moreover, this embedding can be explicitly described in terms of given embeddings of the maximal parabolic subgroups.

研究の動機と目的

• 相対的に双曲的な群の最適な $ \ell^p $ 圧縮指数を特定すること。これは、既知の双曲群および3次元多様体群に関する結果を拡張することを目的とする。
• 直接的な幾何的構成により、$ \ell^p $ 空間に向けた粗い埋め込みを構成すること。これは、従来の間接的手法に依存しない。
• アーマルガム化積、HNN拡張、および極限群に関する圧縮指数の既存の境界を統合・改善すること。
• 任意の閉3次元多様体の基本群の $ \ell^p $ 圧縮指数が、すべての $ p > 1 $ に対して1に等しいことを確立すること。
• 圧縮指数に関する結果を $ L_p $ 空間および制御された局所的埋め込みを持つ漸近的に木構造に近いグラフへ一般化すること。

提案手法

• 周辺部分群の局所的埋め込みと、性質 $ (C_p^c) $ を満たす凹関数 $ f $ を用いて、粗い埋め込み $ \phi: G \to \ell^p $ を構成する。
• 相対的双曲構造に基づく幾何的議論を適用し、測地線とその周辺部分群への交点を追跡することで距離を追跡する。
• 点 $ x $ と $ y $ の間の測地線上にあり、周辺部分群の像の外にある点が、関数 $ f $ を通じて下界に寄与することを用いる。
• 三角不等式と $ f $ の凹性を用いた比較議論により、$ \|\phi(x) - \phi(y)\|_p \gtrsim f(d(x,y)) $ を導出する。
• Bonk-Schramm や Buyalo-Dranishnikov-Schroeder、Gal や Tessera の $ \ell^p $ 埋め込みに関する既知の結果を活用し、基本ケースを確立する。
• 一般の埋め込み定理を用い、$ \ell^p(X) $ を $ L_p([0,1]) $ に等長埋め込みすることで、漸近的に木構造に近いグラフを $ L_p([0,1]) $ に埋め込む。

実験結果

リサーチクエスチョン

• RQ1 相対的に双曲的な群の $ \ell^p $ 圧縮指数は、その周辺部分群の性質をどのように表すことができるか？
• RQ2 相対的に双曲的な群の $ \ell^p $ 圧縮指数は、その周辺部分群の指数から直接計算可能か？
• RQ3 任意の閉3次元多様体の基本群は、すべての $ p > 1 $ に対して $ \ell^p $ 圧縮指数が1か？
• RQ4 圧縮指数の結果を $ L_p $ 空間および漸近的に木構造に近い単体的グラフへ拡張可能か？
• RQ5 間接定理に依存しない、$ \ell^p $ 空間に向けた粗い埋め込みの直接的な幾何的構成は可能か？

主な発見

• すべての $ p > 1 $ に対して、周辺部分群 $ \{H_i\} $ に関して相対的に双曲的な群 $ G $ の $ \ell^p $ 圧縮指数は $ \alpha_p^*(G) = \min_i \alpha_p^*(H_i) $ に等しい。
• 任意の閉3次元多様体 $ M $ の基本群は、すべての $ p > 1 $ に対して $ \alpha_p^{(\pi_1(M))} = 1 $ を満たす。これは、双曲的および幾何的3次元多様体群に関する既存の結果を拡張する。
• Bonk-Schramm や Buyalo-Dranishnikov-Schroeder、Gal や Tessera の従来の手法に依存しない、双曲群が $ \ell^p $ 圧縮指数1を有することの直接的な幾何的証明が提供される。
• 構成により、$ \|\phi(x) - \phi(y)\|_p \gtrsim f(d(x,y)) $ かつ $ \|\phi(x) - \phi(y)\|_p \lesssim d(x,y) $ を満たす粗い埋め込み $ \phi: G \to \ell^p $ が得られ、関数 $ f $ は性質 $ (C_p^c) $ を満たす。
• 有界次数を持つ漸近的に木構造に近いグラフに対して、本手法により $ L_p([0,1]) $ への埋め込みが得られ、圧縮は $ \min\{f(d(x,y)), \rho'(d(x,y))\} $ で下から抑えられる。
• Dreesen や Dadarlat-Guentner の先行境界を改善し、特に $ p > 2 $ の $ \ell^p $ 空間では、従来の手法が最適な指数を導けなかったが、本研究では最適指数が得られる。