[论文解读] Quasi-Locality and Property A

Ján Špakula, Jiawen Zhang|arXiv (Cornell University)|Sep 3, 2018

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

一句话总结

该论文证明了当 p ∈ {0,1,∞} 或当 X 具有 Property A 且 p ∈ (1,∞) 时，ℓ^p(X,E) 上的拟局部算子属于具有有界几何的度量空间 X 的 ℓ^p-Roe 代数。关键贡献是通过拟局部算子的算子范数局部化对 Property A 进行了表征，并证明在这些条件下，一致 ℓ^p-Roe 代数在取逆下是封闭的。

ABSTRACT

Let $X$ be a metric space with bounded geometry, $p\in\{0\} \cup [1,\infty]$, and let $E$ be a Banach space. The main result of this paper is that either if $X$ has Yu's Property A and $p\in(1,\infty)$, or without any condition on $X$ when $p\in\{0,1,\infty\}$, then quasi-local operators on $\ell^p(X,E)$ belong to (the appropriate variant of) Roe algebra of $X$. This generalises the existing results of this type by Lange and Rabinovich, Engel, Tikuisis and the first author, and Li, Wang and the second author. As consequences, we obtain that uniform $\ell^p$-Roe algebras (of spaces with Property A) are closed under taking inverses, and another condition characterising Property A, akin to operator norm localisation for quasi-local operators.

研究动机与目标

• 确定在何种条件下，ℓ^p(X,E) 上的拟局部算子属于具有有界几何的度量空间 X 的 ℓ^p-Roe 代数。
• 通过将先前关于拟局部算子和 Roe 代数的结果推广到一般 p ∈ [1,∞] 以及具有 Property A 的空间，实现结果的推广。
• 在 X 具有 Property A 且 p ∈ (1,∞) 的条件下，证明一致 ℓ^p-Roe 代数在取逆下是封闭的。
• 通过拟局部算子的算子范数局部化，提供 Property A 的新表征，扩展了已知的 p=2 情况下的结果。
• 解决关于 Property A 在 ℓ^p 设置下对拟局部算子用有限传播算子逼近时的必要性这一开放问题。

提出的方法

• 使用拟局部算子的概念，其定义为对角线外矩阵块的均匀衰减（当 d(A,B) ≥ R 时，‖χ_A a χ_B‖ < ε），以表征其在类似 Roe 代数中的成员资格。
• 应用在无穷远处消失的理论以及 ℓ^p 空间中算子的谱性质，特别是使用缓慢消失函数空间 VL_∞(X)。
• 利用定理 3.3 建立的拟局部性与 VL_∞(X) 中函数的交换性之间的等价关系，该定理将算子范数与谱行为联系起来。
• 通过有限传播算子和有限子集 F ⊆ X 的投影 P_F 的截断，使用逼近论证来控制交换子的范数。
• 证明若算子 a 与 VL_∞(X) 中所有 f 都可交换，则 a 属于 Roe 代数，使用范数估计和紧致扰动论证。
• 应用 Sako [26] 的结果，将算子范数局部化与 Property A 关联起来，并在有界几何假设下将该结果扩展到 p ∈ (1,∞)。

实验结果

研究问题

• RQ1 对于具有有界几何的度量空间 X，其在何种条件下，ℓ^p(X,E) 上的所有拟局部算子都属于 ℓ^p-Roe 代数？
• RQ2 能否将通过算子范数局部化表征 Property A 的结果从 p=2 扩展到一般 p ∈ [1,∞)？
• RQ3 在 ℓ^p 空间中，当 p ∈ (1,∞) 时，Property A 是否是用有限传播算子逼近拟局部算子的必要条件？
• RQ4 当 X 具有 Property A 且 p ∈ (1,∞) 时，一致 ℓ^p-Roe 代数是否仍保持在取逆下的封闭性？
• RQ5 是否存在一个 ℓ^2(X) 上的拟局部算子，其不属于具有有界几何但无 Property A 的空间 X 的一致 Roe 代数？

主要发现

• 对于任意具有有界几何的度量空间 X 和 p ∈ {0,1,∞}，ℓ^p(X,E) 上的所有拟局部算子都属于相应的 ℓ^p-Roe 代数。
• 当 X 具有 Property A 且 p ∈ (1,∞) 时，ℓ^p(X,E) 上的所有拟局部算子都属于 ℓ^p-Roe 代数，推广了 p=2 时的先前结果。
• 当 X 具有 Property A 且 p ∈ (1,∞) 时，一致 ℓ^p-Roe 代数在取逆下是封闭的，该结论通过交换子估计和谱控制得到证明。
• 建立了 Property A 的新表征：X 具有 Property A 当且仅当每个满足算子范数局部化性质的拟局部算子都属于 Roe 代数。
• 该证明依赖于如下事实：若算子 a 与 VL_∞(X) 中所有函数都可交换，则 a 属于 Roe 代数，该结论通过范数衰减和有限传播逼近得到。
• 在假设 Property A 成立的前提下，该结果将 Roe 代数的逆封闭性扩展到了 ℓ^p 设置，解决了带状主导算子理论中的一个关键问题。