[论文解读] 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

一句话总结

本文通過算子系張量積與Riesz分解性質，提供了C*-代數弱期望性質（WEP）的新特徵化。透過將通用有限維算子系實現為矩陣代數的商，作者證明WEP等價於這些商的精確性或提升性質，從而透過C*-代數中的插值與分解條件，為Connes嵌入問題提供了新表述。

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*-代數中Riesz分解與插值性質的表述，將WEP與Connes嵌入問題聯繫起來。
• 證明在包含給定C*-代數的內射C*-代數中，WEP等價於完全n-Riesz分解性質。
• 展示有限維矩陣代數中某些提升存在的問題可簡化為求解線性約束，從而實現對WEP的有效分析。
• 統一並拓展先前使用算子系中張量積結構與商映射的WEP特徵化。

提出的方法

• 使用算子系張量積，特別是非交換立方體$NC(n)$，透過完全序同構來特徵化WEP。
• 將通用有限維算子系實現為有限維矩陣代數的商，從而將WEP簡化為提升問題。
• 應用Choi-Effros定理，將抽象算子系忠實表示於希爾伯特空間，以實現具體分析。
• 使用完全正性與擴張映射$\phi^{(n)}$來定義並研究完全序同構與商映射。
• 使用最大與最小張量積（$\otimes_{\max}$, $\otimes_{\min}$）比較嵌入，並透過張量積的重合來檢測WEP。
• 利用內射C*-代數（如$I(\mathcal{A})$或$\prod M_{n(k)}$）具有WEP的事實，將WEP條件簡化為這些代數中商映射的性質。

实验结果

研究问题

• RQ1 是否可以不依賴通用表示或弱期望，來特徵化弱期望性質（WEP）？
• RQ2 WEP與Connes嵌入問題如何透過Riesz分解與插值性質相互關聯？
• RQ3 在將C*-代數$\mathcal{A}$嵌入內射C*-代數時，何種條件可確保$\mathcal{A}$具有WEP？
• RQ4 C*-代數中的完全$n$-Riesz分解性質是否對所有$n$都等價於WEP？
• RQ5 有限維矩陣代數中提升存在的問題是否可簡化為求解線性約束系統？

主要发现

• 若且唯若對所有$n$，有$\mathcal{A} \otimes_{\max} NC(n) \subseteq_{\rm coi} \mathcal{B}(H) \otimes_{\max} NC(n)$，則單位C*-代數$\mathcal{A}$具有WEP，且等價於$n=3$時成立。
• WEP等價於在內射包$I(\mathcal{A})$中對所有$n \in \mathbb{N}$的完全$n$-Riesz分解性質。
• 若C*-代數$\mathcal{B}$具有WEP，則其單位C*-子代數$\mathcal{A} \subseteq \mathcal{B}$具有WEP，當且僅當$\mathcal{A}$在$\mathcal{B}$中具有完全$2$-Riesz分解性質。
• 每個單位C*-代數$\mathcal{A}$對所有$n \in \mathbb{N}$都具有$n$-Riesz分解性質於其二階對偶$\mathcal{A}^{**}$中。
• Connes嵌入問題有肯定解，當且僅當$C^*(\mathbb{F}_2)$在$\prod_{k=1}^\infty M_{n(k)}$中具有完全$2$-Riesz分解性質。
• 在$\mathcal{B}(H)$中，完全$2$-Riesz分解性質等價於完全TR$(2,3)$-性質，且等價於WEP，從而統一了Riesz插值與分解性質與WEP。