[論文レビュー] 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 が性質 A を持ち、p ∈ (1,∞) である場合、距離空間 X が有界幾何を備えるとき、ℓ^p(X,E) 上の擬局所作用素が ℓ^p-Roe代数に属することを確立する。主な貢献は、擬局所作用素に対する作用素ノルム局所化を用いた性質 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.

研究の動機と目的

• 距離空間 X が有界幾何を備えるとき、ℓ^p(X,E) 上の擬局所作用素が ℓ^p-Roe代数に属する条件を特定すること。
• 既存の擬局所作用素とRoe代数に関する結果を、一般の p ∈ [1,∞] および性質 A を持つ空間へと拡張すること。
• X が性質 A を持ち、p ∈ (1,∞) である場合、一様 ℓ^p-Roe代数が逆元について閉じていることを確立すること。
• 既知の p=2 の場合の結果を拡張し、擬局所作用素に対する作用素ノルム局所化を用いた性質 A の新たな特徴付けを提供すること。
• ℓ^p設定における擬局所作用素が有限伝搬作用素によって近似可能であるために性質 A が必要かどうかという未解決の問題を解消すること。

提案手法

• 作用素の非対角成分の均等な減衰（‖χ_A a χ_B‖ < ε が d(A,B) ≥ R のとき）を特徴とする擬局所作用素の定義を用い、Roeに類する代数への属する条件を特徴付ける。
• 特に VL_∞(X) と呼ばれるゆっくりと消える関数の空間を用いて、ℓ^p 空間における作用素の無限遠での性質とスペクトル的性質を応用する。
• 定理 3.3 を用いて、擬局所性と VL_∞(X) に属する関数との可換性の同値性を確立し、作用素ノルムとスペクトル挙動を結びつける。
• 有限伝搬作用素と有限部分集合 F ⊆ X に対する射影 P_F を用いた切り捨てによる近似を用い、交換子のノルムを制御する。
• 作用素 a が VL_∞(X) 全体の関数と可換ならば、その作用素はRoe代数に属することを、ノルム推定とコンパクト摂動の議論により示す。
• Sako [26] の結果を応用し、作用素ノルム局所化と性質 A の関係を示し、有界幾何の仮定のもとで p ∈ (1,∞) へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 有界幾何を備えた距離空間 X に対して、ℓ^p(X,E) 上のすべての擬局所作用素が ℓ^p-Roe代数に属する条件は何か？
• RQ2 作用素ノルム局所化による性質 A の特徴付けを、p=2 から一般の p ∈ [1,∞) へと拡張できるか？
• RQ3 p ∈ (1,∞) の ℓ^p 空間において、擬局所作用素が有限伝搬作用素によって近似可能であるために性質 A が必要であるか？
• RQ4 X が性質 A を持ち、p ∈ (1,∞) である場合、一様 ℓ^p-Roe代数は逆元について閉じているか？
• RQ5 有界幾何を備えるが性質 A を持たない空間 X に対して、ℓ^2(X) 上に存在するが一様Roe代数に属さない擬局所作用素の反例は存在するか？

主な発見

• 任意の有界幾何を備えた距離空間 X と p ∈ {0,1,∞} に対して、ℓ^p(X,E) 上のすべての擬局所作用素が対応する ℓ^p-Roe代数に属する。
• X が性質 A を持ち、p ∈ (1,∞) である場合、ℓ^p(X,E) 上のすべての擬局所作用素が ℓ^p-Roe代数に属する。これは、p=2 の場合の既存結果を一般化する。
• X が性質 A を持ち、p ∈ (1,∞) である場合、一様 ℓ^p-Roe代数は交換子推定とスペクトル制御を用いて逆元について閉じていることが示された。
• 性質 A の新たな特徴付けが確立された：X が性質 A を持つことと、作用素ノルム局所化を満たすすべての擬局所作用素がRoe代数に属することとは同値である。
• 証明は、作用素 a が VL_∞(X) 全体の関数と可換ならば、ノルム減衰と有限伝搬近似を用いてRoe代数に属することを示すことに依拠している。
• 性質 A の仮定のもとで、Roe代数の逆元閉包性が ℓ^p 環へと拡張され、バンド優勢作用素理論における重要な問題が解決された。