[论文解读] Some notes on property A

Rufus Willett|ArXiv.org|Dec 17, 2006

Advanced Operator Algebra Research参考文献 53被引用 49

一句话总结

本文为粗几何中的性质A提供了自包含且易于理解的介绍，建立了其与均匀Roe代数的核性以及群的约化C*-代数的精确性之间的等价性。它证明了性质A蕴含到希尔伯特空间的粗等距嵌入，因此对可数离散群蕴含强诺维科夫猜想，同时探讨了其与平移不变性、核函数以及嵌入ℓ^p空间的联系。

ABSTRACT

We provide an expository account of Guoliang Yu's property A. The piece starts from the basic definitions, and goes on to discuss closure properties of the class of property A spaces (and groups) and the relationship of property A to coarse embeddability problems, operator theory, and amenability. It finishes with some examples of non-property A spaces. We also include an annotated bibliography covering much of the related literature.

研究动机与目标

• 将性质A呈现为一种推广了平移不变性的粗几何不变量，并促进到希尔伯特空间的粗等距嵌入。
• 建立性质A与均匀Roe代数的核性之间的等价性，以及性质A与可数离散群的约化C*-代数的精确性之间的等价性。
• 探讨性质A对粗Baum-Connes猜想和强诺维科夫猜想的影响。
• 提供具有性质A的空间与群的奠基性例子以及其保持性质。
• 综述性质A、平移不变性以及嵌入ℓ^p空间之间的联系，包括关于无性质A但不可嵌入空间的最新结果。

提出的方法

• 通过多种等价定义引入性质A，包括使用正类型核的刻画。
• 利用经典正类型核理论刻画到希尔伯特空间和ℓ^p空间的粗等距嵌入。
• 应用泛函分析工具定义度量空间的均匀Roe代数和群的约化C*-代数。
• 建立性质A与均匀Roe代数的核性之间的等价性，以及性质A与约化C*-代数的精确性之间的等价性。
• 证明具有有限渐近维数或次指数增长的群具有性质A，利用其在群运算下的封闭性。
• 构造了不具有性质A的空间的例子，包括某些扭曲锥以及来自具有性质T的随机群的空间。

实验结果

研究问题

• RQ1 性质A与度量空间粗等距嵌入希尔伯特空间之间有何关系？
• RQ2 性质A与可数离散群的约化C*-代数的精确性之间有何关系？
• RQ3 哪些群论构造保持性质A，它在并置自由积或HNN扩张下如何表现？
• RQ4 具有性质A的空间是否可能无法粗等距嵌入ℓ^p（p > 2）中，这对粗Baum-Connes猜想有何影响？
• RQ5 已知的性质A障碍是什么，它们与性质T或膨胀图有何关联？

主要发现

• 性质A等价于一致离散度量空间的均匀Roe代数的核性。
• 性质A等价于可数离散群的约化C*-代数的精确性。
• 具有有限渐近维数的群具有性质A，且该性质在某些群运算（包括并置自由积和HNN扩张）下保持不变。
• 存在局部有限的度量空间，它们可粗等距嵌入希尔伯特空间但不具有性质A，表明性质A严格强于粗等距嵌入。
• 例如，具有性质T群作用的扭曲锥不具有性质A，提供了不可嵌入空间的一类反例。
• 本文确认ℓ^p空间（p > 2）无法粗等距嵌入ℓ^2，且ℓ^2也无法粗等距嵌入ℓ^p（p > 2），强调了均匀凸性在嵌入性中的作用。