[论文解读] 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

一句话总结

该论文通过构造一族大尺度Lipschitz嵌入到希尔伯特空间中，使得渐近压缩率任意接近1，证明了任意有限维CAT(0)立方复形的希尔伯特空间压缩率为1。作为推论，任何在该复形上适当且共(compact)作用的离散群，其希尔伯特空间压缩率也为1，因此是精确群，从而将精确性推广到包括自由群、考克斯eter群、右-angled Artin群以及小规模取消群在内的广泛群类。

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)立方复形的希尔伯特空间压缩率。
• 建立在CAT(0)立方复形上适当且共(compact)作用的离散群的精确性。
• 将精确群的类扩展至有限渐近维数或可约性之外的群。
• 通过立方复形几何，将Guentner-Kaminker关于希尔伯特空间压缩率与精确性的结果推广到更广的群类。

提出的方法

• 从CAT(0)立方复形的顶点集到$ \ell^2(H, \mathbb{R}) $（即在超平面集合上的平方可和函数的希尔伯特空间）构造一族映射$ f_\epsilon $。
• 利用标准立方路径——CAT(0)立方复形中的典范测地线——定义该嵌入，并确保其具有大尺度Lipschitz连续性。
• 为路径上穿过的超平面定义权重$ w_i = i^{2\epsilon} $，并利用这些权重在希尔伯特空间中分配坐标。
• 通过比较复形中的距离与其在希尔伯特空间中像的距离，证明每个$ f_\epsilon $的渐近压缩率至少为$ 1/2 + \epsilon $。
• 利用希尔伯特空间压缩率在拟等距下的不变性，将结果从顶点集推广至整个复形及群。
• 应用Guentner-Kaminker定理，该定理指出希尔伯特空间压缩率大于1/2的群是精确群，从而得出该群的精确性。

实验结果

研究问题

• RQ1 有限维CAT(0)立方复形的希尔伯特空间压缩率是多少？
• RQ2 Guentner-Kaminker的精确性判别准则能否推广至在CAT(0)立方复形上作用的群？
• RQ3 如何将从树到更高维CAT(0)立方复形的高渐近压缩嵌入构造方法进行适配？
• RQ4 标准立方路径在构造具有可控畸变的嵌入中起什么作用？
• RQ5 哪些群类可通过该希尔伯特空间压缩方法被证明为精确群？

主要发现

• 任意有限维CAT(0)立方复形的希尔伯特空间压缩率恰好为1。
• 对每个$ \epsilon \in (0, 1/2) $，存在一个顶点集到$ \ell^2(H, \mathbb{R}) $的大尺度Lipschitz嵌入$ f_\epsilon $，其渐近压缩率至少为$ 1/2 + \epsilon $。
• 当群$ G $在CAT(0)立方复形上适当且共(compact)作用时，其希尔伯特空间压缩率为1，因为它与复形拟等距。
• 本结果涵盖的群类包括自由群、有限生成考克斯eter群、右-angled Artin群，以及满足B(6)条件的所有word-超曲群。
• 所有满足B(4)-T(4)小规模取消条件的有限表示群都是精确群，因为它们在CAT(0)立方复形上适当且共(compact)作用。
• 承认CAT(0)立方复形结构的3-流形的基本群也是精确群，包括由链图定义的规范手术所生成的群。