[論文レビュー] Characterisations of the weak expectation property

Douglas Farenick, Ali S. Kavruk+2 more|Research Portal (Queen's University Belfast)|Jul 3, 2013

Advanced Operator Algebra Research参考文献 22被引用数 43

ひとこと要約

この論文は、作用素系テンソル積とリーマン分解性質を用いて、C*-代数の弱期待値性質（WEP）の新たな特徴づけを提供する。有限次元の普遍的作用素系を行列代数の商として実現することで、著者たちは、WEPがこれらの商における厳密性またはリフト性質と同値であることを示し、C*-代数における補間および分解条件を通じて、コンヌの埋め込み問題の新たな定式化を提示する。

ABSTRACT

We use representations of operator systems as quotients to deduce various characterisations of the weak expectation property (WEP) for C?*-algebras. By Kirchberg's work on WEP, these results give new formulations of Connes' embedding problem.

研究の動機と目的

• 作用素系理論を用いて、代表的表現や弱期待値に依存しない、C*-代数の弱期待値性質（WEP）の新たな特徴づけを提供すること。
• C*-代数におけるリーマン分解と補間性質を用いて、WEPをコンヌの埋め込み問題に結びつけること。
• 与えられたC*-代数を含む注入的C*-代数における完全n-リーマン分解性質がWEPと同値であることを確立すること。
• 有限次元の行列代数における特定のリフトの存在が、線形制約の解法に帰着されることを示し、WEPの有効な解析を可能にすること。
• 作用素系におけるテンソル積構造と商写像を用いて、既存のWEPの特徴づけを統合的かつ拡張すること。

提案手法

• 非可換立方体$NC(n)$を用いた作用素系テンソル積、特に完全順序同型を用いてWEPを特徴づける。
• 有限次元の行列代数の商として、有限次元の普遍的作用素系を実現し、WEPをリフト問題に還元する。
• チョイ-エフロスの定理を用いて、抽象的作用素系をヒルベルト空間に忠実に表現し、具体的な解析を可能にする。
• 完全正値性および拡大写像$\phi^{(n)}$を用いて、完全順序同型および商写像を定義・研究する。
• 最大および最小テンソル積（$\otimes_{\max}$, $\otimes_{\min}$）を用いて埋め込みを比較し、テンソル積の一致を通じてWEPを検出する。
• 注入的C*-代数（例えば、$I(\mathcal{A})$ または $\prod M_{n(k)}$）がWEPを有することを活用し、これらの代数における商写像にWEP条件を還元する。

実験結果

リサーチクエスチョン

• RQ1 弱期待値性質（WEP）は、普遍的表現や弱期待値に依存せずに特徴づけられるか？
• RQ2 リーマン分解と補間性質を通じて、WEPとコンヌの埋め込み問題はどのように関連しているか？
• RQ3 注入的C*-代数への埋め込みの観点から、C*-代数$\mathcal{A}$がWEPを有するための条件は何か？
• RQ4 C*-代数における完全n-リーマン分解性質が、すべての$n$に対してWEPと同値であるか？
• RQ5 有限次元の行列代数におけるリフトの存在は、線形制約系の解法に帰着可能か？

主な発見

• 単位元をもつC*-代数$\mathcal{A}$は、すべての$n$に対して$\mathcal{A} \otimes_{\max} NC(n) \subseteq_{\rm coi} \mathcal{B}(H) \otimes_{\max} NC(n)$であるときかつそのときに限りWEPを有する。同値に、$n=3$のときにも成り立つ。
• WEPは、すべての$n \in \mathbb{N}$に対して、注入的包絡$I(\mathcal{A})$における完全n-リーマン分解性質と同値である。
• C*-代数$\mathcal{B}$がWEPを有するならば、単位元をもつC*-部分代数$\mathcal{A} \subseteq \mathcal{B}$がWEPを有するのは、$\mathcal{B}$における完全2-リーマン分解性質を有するときかつそのときに限りである。
• すべての単位元をもつC*-代数$\mathcal{A}$は、すべての$n \in \mathbb{N}$に対して、その双対双対$\mathcal{A}^{**}$においてn-リーマン分解性質を有する。
• コンヌの埋め込み問題が肯定的に解かれるのは、$C^*(\mathbb{F}_2)$が$\prod_{k=1}^\infty M_{n(k)}$において完全2-リーマン分解性質を有するときかつそのときに限りである。
• $\mathcal{B}(H)$における完全2-リーマン分解性質は、完全TR$(2,3)$-性質と同値であり、WEPとも同値である。これにより、リーマン補間と分解がWEPと統合される。