[論文レビュー] The Weak Expectation Property and Riesz Interpolation

Ali S. Kavruk|arXiv (Cornell University)|Jan 25, 2012

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

ひとこと要約

この論文は、C*-代数におけるLanceの弱期待値性質（WEP）と、作用素系におけるタイトなRiesz補間性質の間の深い関係を確立する。unital C*-代数がWEPを有するための必要十分条件として、その環境B(H)における完全な(2,3)-タイトRiesz補間性質が成り立つこと、およびテンソル積の等式 A ⊗_min (C^5/J) = A ⊗_max (C^5/J)（ここで J = span{(1,1,−1,−1,−1)}）によるWEPの新たな特徴づけを示す。この結果により、Kirchbergの予想が有限次元的形に再定式化可能であることが明らかになる。

ABSTRACT

We show that Lance's weak expectation property is connected to tight Riesz interpolations in lattice theory. More precisely we first prove that if A \subset B(H) is a unital C*-subalgebra, where B(H) is the bounded linear operators on a Hilbert space H, then A has (2,2) tight Riesz interpolation property in B(H) (defined below). An extension of this requires an additional assumption on A: A has (2,3) tight Riesz interpolation property in B(H) at every matricial level if and only if A has the weak expectation property. Let $J = span{(1,1,-1,-1,-1)}$ in $C^5$ . We show that a unital C*-algebra A has the weak expectation property if and only if $A \otimesmin (C^5/J) = A \otimesmax (C^5/J)$ (here \otimesmin and \otimesmax are the minimal and the maximal operator system tensor products, respectively, and $C^5/J$ is the operator system quotient of $C^5$ by $J$). We express the Kirchberg conjecture (KC) in terms of a four dimensional operator system problem. We prove that KC has an affirmative answer if and only if $C^5/J$ has the double commutant expectation property if and only if $C5/J \otimesmin C5/J = C5/J \otimesc C5/J$ (here \otimesc represents the commuting operator system tensor product).

研究の動機と目的

• C*-代数における弱期待値性質（WEP）と作用素系におけるタイトなRiesz補間性質との間の構造的関係を確立すること。
• 環境B(H)における完全な(2,3)-タイトRiesz補間性質を用いた、WEPの新たな内在的特徴づけを提供すること。
• Kirchbergの予想を、4次元作用素系C^5/Jを含む有限次元作用素系問題に再定式化すること。
• 核的性関連性質（WEP, DCEP, LLP）を作用素系テンソル積の枠組み内で統一的かつ拡張的に扱うこと。

提案手法

• J = span{(1,1,−1,−1,−1)} である作用素系商C^5/Jを導入し、これがC*(Z2*Z3)に単位的かつ完全順序埋め込みとして含まれることを特定する。
• 最小および最大の作用素系テンソル積（⊗_min および ⊗_max）を用いて、WEPの新たな基準を定義する：A が WEP を持つことと、A ⊗_min (C^5/J) = A ⊗_max (C^5/J) が同値であること。
• 最近の作用素系理論の発展、特に商系、テンソル積構造、および (el,max)-核的性や (min,er)-核的性といった核的性概念を応用する。
• WEPとB(H)における完全なTR(2,3)-性質の同値性を確立し、この性質が忠実なヒルベルト空間表現に依存しないことを示す。
• 交換するテンソル積（⊗_c）を用いてKirchbergの予想を再定式化する：KCが成り立つことと、(C^5/J) ⊗_min (C^5/J) = (C^5/J) ⊗_c (C^5/J) が同値であること。
• 双対性、C*-被覆、および単射包を用いて、C*-代数とその部分代数の間でWEPの継承に関する含意を導出する。

実験結果

リサーチクエスチョン

• RQ1 C*-代数の環境C*-代数B(H)において、弱期待値性質（WEP）は完全な(2,3)-タイトRiesz補間性質と同値か？
• RQ2 Kirchbergの予想は、作用素系C^5/Jを含む有限次元問題に還元可能か？
• RQ3 任意の単位的C*-代数Aに対して、等式 A ⊗_min (C^5/J) = A ⊗_max (C^5/J) がWEPを特徴づけるか？
• RQ4 C^5/Jの二重可換期待値性質（DCEP）は、Kirchbergの予想の正当性と同値か？
• RQ5 C*-部分代数が大きなC*-代数からWEPをどのように継承するか、そしてその条件は補間性質にどのように反映されるか？

主な発見

• 単位的C*-代数AがWEPを有することは、A ⊗_min (C^5/J) = A ⊗_max (C^5/J) と同値であり、WEPの新たな内在的テンソル積基準を提供する。
• Kirchbergの予想が肯定的であることは、4次元作用素系C^5/Jが二重可換期待値性質（DCEP）を有することと同値である。
• Kirchbergの予想は、(C^5/J) ⊗_min (C^5/J) = (C^5/J) ⊗_c (C^5/J) が完全順序同型であることと同値であり、ここで ⊗_c は交換するテンソル積を表す。
• すべての単位的C*-部分代数A ⊂ B(H)に対して完全なTR(2,2)-性質が成り立つが、(2,3)-バージョンはWEPを要請する。
• すべての忠実な表現において一様に成り立つように、B(H)における完全なTR(k,m)-性質がすべてのk ≥ 2, m ≥ 3に対して成り立つことと、AがWEPを有することは同値である。
• AがWEPを有するならば、Aを含む任意の単位的C*-代数Bにおいて、すべてのk,m ≥ 1に対して完全なTR(k,m)-性質を継承する。