[論文レビュー] Property A for coarse spaces

Hiroki Sako|arXiv (Cornell University)|Mar 28, 2013

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

ひとこと要約

この論文は、一般に距離空間でない場合を含む一様局所有限な粗空間において、性質Aと作用素ノルム局在化（ONL）性質の同値性を確立する。これは、既存のメトリック空間における結果を一般化したものであり、粗幾何学における基礎的事実について完全で厳密な証明を提供する。特に、ヒルベルト空間表現による特徴づけと、一様ルーズ代数の核となる性質についても拡張されている。

ABSTRACT

Property A introduced by Guoliang Yu is an amenability-type property for metric spaces. In this article, we study property A for uniformly locally finite coarse spaces. Main examples of coarse spaces are a metric space, a set equipped with a discrete group action, and a sequence of finitely generated groups. The purpose of this article is to give complete proofs to related basic facts.

研究の動機と目的

• 一様局所有限な粗空間（一般に距離空間でない場合を含む）における性質Aを明確に定式化すること。
• 粗幾何学の文脈において、性質Aに関する基礎的事実について完全で厳密な証明を提供すること。
• 一様局所有限な粗空間の一般設定において、性質Aと作用素ノルム局在化（ONL）性質の同値性を確立すること。
• 性質Aがヒルベルト空間表現および一様ルーズ代数の核となる性質によって特徴づけられることを示すこと。
• 作用素代数および幾何的群論の文脈において、特に距離構造が存在しない状況でも、これらの結果の広範な適用可能性を支援すること。

提案手法

• Yuの元々のメトリック空間における定義を一般化し、$X \times \mathbb{N}$ 上でのFølner型条件を用いて性質Aを定義する。
• 一様ルーズ代数と有限ランク近似を関連付けるために、単位的完全正値写像 $\Phi_S$ と $\Psi$ を適用する。
• 解析的鍵的ツールとして作用素ノルム局在化（ONL）性質を用い、制御された部分集合への制限のノルムによって定義する。
• ONL 条件と Følner 型条件を結びつけるために、制御された集合 $S$ 上に台を持つ正定値核 $k$ を構成する。
• 制限写像 $\Phi_S|_{E_T}$ の逆写像を用いてノルム推定を行い、非可換バナッハ空間論を適用する。
• 作用素代数の結果、特に写像の完全有界ノルムを用いて、性質AとONLの同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 一様局所有限な粗空間の一般設定において、性質Aは距離空間に限らず作用素ノルム局在化（ONL）性質と同値であるか？
• RQ2 粗空間において、性質Aはヒルベルト空間表現および一様ルーズ代数の核となる性質によって特徴づけられるか？
• RQ3 性質AのFølner型条件は、メトリック空間から非距離的粗空間へどのように拡張されるか？
• RQ4 制御集合の役割および一様ルーズ代数の構造は、粗幾何学におけるアメニタリティ的性質を特徴づける上で果たす役割は何か？
• RQ5 基礎となる空間に距離構造を仮定しないで、性質AとONLの同値性を証明することは可能か？

主な発見

• すべての一様局所有限な粗空間において、性質Aは作用素ノルム局在化（ONL）性質と同値であり、これはメトリック空間における既知の結果を一般化する。
• 同値性の証明は、制御された集合 $S$ 上に台を持つ正定値核 $k$ の構成によりなされ、$(x,y) \in T$ に対して $|1 - k(x,y)| < \epsilon$ が成り立つ。
• 証明により、$X$ が ONL を持てば、Følner 型条件を満たす単位ベクトルの族 $\{\eta_x\}$ が存在することが示され、これにより性質Aが導かれる。
• 制限写像 $\Phi_S|_{E_T}$ の逆写像のノルムは $1 + \epsilon/2$ で有界であり、これは完全正値近似の存在を保証する。
• 一様局所有限な粗空間の uniform Roe 代数は、その空間が性質Aを持つ場合に限り核となる。
• 以降の研究 [Sak12b] で示されるように、一般同値性を証明するには、粗空間の枠組みがメトリック空間よりも本質的かつ適切である。