[論文レビュー] Ghostbusting and property A

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

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

ひとこと要約

この論文は、有界幾何の距離空間が性質Aを有するための必要十分条件として、その均一ループ代数内のすべてのゴースト作用素がコンパクトであることであることを確立している。著者らは、一様局所アメニタリティ（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を欠く空間における非コンパクトゴースト射影の存在を調査すること。
• ゴースト射影が粗いバーム＝コンヌ予想の反例において果たす役割を明確にすること。

提案手法

• Sakoによって確立された、性質Aと作用素ノルム局所化（ONL）の性質との同値性を利用する。
• 弱拡張空間から導かれるブロック対角作用素を用いて、スペクトル計算により非コンパクトゴースト作用素を構成する。
• 自己共役作用素Δ（スペクトルが[0,1]に含まれる）に対してボレル関数計算を適用し、1に近いところで1に、他では0に値をとる関数fに写像する。
• 多項式近似と伝搬制御を用いて、行列成分が無限遠で一様に減衰することを示し、結果として得られる作用素f(Δ)がゴーストであることを証明する。
• δx が p(Tn) に対して有界なサポートをもち、T′_n が小さいノルムを持つことを利用して、p(Tn)δx のノルムを評価する。
• スペクトル定理とノルム推定を用いて、f(T) が非コンパクトであるにもかかわらずゴーストであることを示す。

実験結果

リサーチクエスチョン

• RQ1 有界幾何距離空間において、すべてのゴースト作用素がコンパクトであるという条件と性質Aは同値か？
• RQ2 性質Aを欠く空間に非コンパクトゴーストが存在しうるか。その構成法は何か？
• RQ3 ヒルベルト空間への粗い埋め込みが可能だが性質Aを欠く空間において、非コンパクトゴースト射影は存在するか？
• RQ4 均一ループ代数におけるゴーストイデアルとコンパクト作用素との関係は何か？
• RQ5 ULAまたはONLの不成立は、非コンパクトゴーストの存在を意味するか？

主な発見

• 有界幾何距離空間が性質Aを有するための必要十分条件は、その均一ループ代数内に存在するすべてのゴースト作用素がコンパクトであることである。
• 一様局所アメニタリティ（ULA）の不成立は、非コンパクトゴースト作用素の存在を意味する。
• 作用素ノルム局所化（ONL）の不成立も、非コンパクトゴーストの存在を意味する。これにより、ONLと性質Aの同値性が確認された。
• アージャンツェヴァ、ゲンツナー、シュパクーラが構成したボックス空間では、非コンパクトゴーストが存在するが、すべてのゴースト射影はコンパクトである。
• ゴーストイデアルG*(X)がコンパクト作用素を真に含むとき、非可算個の互いに距離1のゴースト射影が存在することから、G*(X)は非分離であることが示された。