[論文レビュー] Hilbert space compression and exactness for discrete groups

Sarah J. Campbell, Graham A. Niblo|ArXiv.org|Mar 26, 2004

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

ひとこと要約

本稿では、任意の有限次元 CAT(0) 4次元立方複体のヒルバート空間圧縮が 1 であることを、漸近的圧縮が 1 に限りなく近い大規模リプシッツ埋め込みの族を構成することによって確立する。その結果、このような複体上で真にかつ共コンパクトに作用する任意の離散群はヒルバート空間圧縮 1 を持ち、したがって正確であることが示され、自由群、コクセター群、右直角アーティン群、および小分岐群を含む広範な群のクラスへの正確性の拡張が得られる。

ABSTRACT

We show that the Hilbert space compression of any finite dimensional CAT(0) cube complex is 1 and deduce that any discrete group acting properly, co-compactly on a CAT(0) cube complex is exact. The class of groups covered by this theorem includes free groups, finitely generated Coxeter groups, finitely generated right angled Artin groups, finitely presented groups satisfying the B(4)-T(4) small cancellation condition and all those word-hyperbolic groups satisfying the B(6) condition. Another family of examples is provided by certain canonical surgeries defined by link diagrams.

研究の動機と目的

• 有限次元 CAT(0) 4次元立方複体のヒルバート空間圧縮を特定すること。
• CAT(0) 4次元立方複体上で真にかつ共コンパクトに作用する離散群の正確性を確立すること。
• 有限漸近次元やアメニタリティを満たす群のクラスを超えて正確な群のクラスを拡張すること。
• 4次元立方複体幾何学を用いて、ゲンツナー＝カミンカーのヒルバート空間圧縮と正確性に関する結果をより広い群のクラスへ一般化すること。

提案手法

• 4次元立方複体の頂点集合から $ \ell^2(H, \mathbb{R}) $、すなわち超平面の集合上の平方可 summable 関数のヒルバート空間への埋め込み $ f_\epsilon $ の族を構成する。
• CAT(0) 4次元立方複体における標準的な測地線である正規4次元立方パスを用いて埋め込みを定義し、大規模リプシッツ連続性を保証する。
• パスに沿って交差する超平面に対して重み $ w_i = i^{2\epsilon} $ を定義し、それらをヒルバート空間内の座標に割り当てる。
• 複体内の距離とそれらの像のヒルバート空間内での距離を比較することで、各 $ f_\epsilon $ が少なくとも $ 1/2 + \epsilon $ の漸近的圧縮を持つことを証明する。
• ヒルバート空間圧縮が準等長不変であることに着目し、頂点集合から全複体および群への結果の転送を行う。
• ヒルバート空間圧縮が 1/2 より大きい群は正確であるというゲンツナー＝カミンカーの定理を適用し、群の正確性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 有限次元 CAT(0) 4次元立方複体のヒルバート空間圧縮は何か？
• RQ2 ゲンツナー＝カミンカーの正確性基準は、CAT(0) 4次元立方複体上で作用する群へ拡張可能か？
• RQ3 木から高次元の CAT(0) 4次元立方複体へ、高次漸近的圧縮を持つ埋め込みの構成をどのように適応できるか？
• RQ4 正規4次元立方パスは、制御された歪みを持つ埋め込みを構成する際に果たす役割は何か？
• RQ5 どのクラスの群が、このヒルバート空間圧縮のアプローチによって正確であると示せるか？

主な発見

• 任意の有限次元 CAT(0) 4次元立方複体のヒルバート空間圧縮は正確に 1 である。
• $ \epsilon \in (0, 1/2) $ に対して、頂点集合から $ \ell^2(H, \mathbb{R}) $ への大規模リプシッツ埋め込み $ f_\epsilon $ が存在し、その漸近的圧縮は少なくとも $ 1/2 + \epsilon $ である。
• 群 $ G $ が CAT(0) 4次元立方複体上で真にかつ共コンパクトに作用するとき、それは複体と準等長であるためヒルバート空間圧縮が 1 である。
• 本結果がカバーする群のクラスには、自由群、有限生成コクセター群、右直角アーティン群、および B(6) 条件を満たすすべてのワードハイパーボリック群が含まれる。
• B(4)-T(4) 小分岐条件を満たすすべての有限提示群は、CAT(0) 4次元立方複体上で真にかつ共コンパクトに作用するため、正確である。
• CAT(0) 4次元立方複体構造を備えた3次元多様体の基本群も正確である。これは、リンク図によって定義される標準的スケーリングから生じる群を含む。