[论文解读] Ghostbusting and property A

John Roe, Rufus Willett|arXiv (Cornell University)|Mar 26, 2013

Advanced Operator Algebra Research参考文献 6被引用 4

一句话总结

本文证明了有界几何度量空间具有性质A当且仅当其统一Roe代数中的所有幽灵算子均为紧算子。作者证明了均匀局部可约性（ULA）或算子范数局部化（ONL）的失败意味着存在非紧幽灵算子，从而通过幽灵算子的紧性特征化了性质A。其主要贡献在于建立了有界几何空间中性质A与所有幽灵算子紧性的完全等价关系。

ABSTRACT

We show that a bounded geometry metric space X has property A if and only if all ghost operators on X are compact.

研究动机与目标

• 通过幽灵算子的紧性来表征有界几何度量空间中的性质A。
• 证明均匀局部可约性（ULA）的失败意味着存在非紧幽灵算子。
• 证明算子范数局部化（ONL）的失败同样意味着存在非紧幽灵算子。
• 研究在缺乏性质A的空间中非紧幽灵投影的存在性。
• 阐明幽灵投影在粗Baum-Connes猜想反例中的作用。

提出的方法

• 利用Sako建立的性质A与算子范数局部化（ONL）性质之间的等价性。
• 通过弱膨胀空间导出的分块对角算子上的谱计算构造非紧幽灵算子。
• 对谱位于[0,1]内的自伴算子Δ应用Borel函数演算，将其映射到一个在1附近为1、其余位置为0的函数f。
• 通过多项式逼近和传播控制，证明结果算子f(Δ)是幽灵算子，即其矩阵元在无穷远处一致衰减。
• 利用δx在p(Tn)下的支撑包含于半径为S_N的球内，且截断算子T′_n的范数较小，来界定p(Tn)δx的范数。
• 利用谱定理和范数估计，证明即使f(T)是非紧的，它仍然是幽灵算子。

实验结果

研究问题

• RQ1 有界几何度量空间中，性质A是否等价于所有幽灵算子均为紧算子的条件？
• RQ2 在缺乏性质A的空间中，非紧幽灵算子是否可能存在？若存在，如何构造？
• RQ3 在可粗等距嵌入希尔伯特空间但缺乏性质A的空间中，是否存在非紧幽灵投影？
• RQ4 幽灵理想与统一Roe代数中的紧算子之间有何关系？
• RQ5 ULA或ONL的失败是否意味着非紧幽灵算子的存在？

主要发现

• 有界几何度量空间具有性质A当且仅当其统一Roe代数中的每个幽灵算子都是紧算子。
• 均匀局部可约性（ULA）的失败意味着存在非紧幽灵算子。
• 算子范数局部化（ONL）的失败也意味着存在非紧幽灵算子，从而确认了ONL与性质A的等价性。
• 对于Arzhantseva、Guentner和Špakula构造的框空间，存在非紧幽灵算子，但所有幽灵投影都是紧的。
• 当幽灵理想G*(X)严格包含紧算子时，其非可分性成立，这由存在不可数多个两两相距为1的幽灵投影所证明。