[论文解读] 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插值性质之间的深刻联系。证明了单态C*-代数具有WEP当且仅当其在B(H)中表现出完全的(2,3)-紧致Riesz插值性质，并通过张量积等式给出了WEP的新刻画：A ⊗_min (C^5/J) = A ⊗_max (C^5/J)，其中J = span{(1,1,−1,−1,−1)}。该结果使得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猜想重新表述为一个涉及四维算子系统C^5/J的有限维算子系统问题。
• 在算子系统张量积框架下，统一并拓展与核性相关的性质——WEP、DCEP、LLP。

提出的方法

• 引入算子系统商C^5/J，其中J = span{(1,1,−1,−1,−1)}，并将其识别为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 弱期望性质（WEP）是否等价于在环境C*-代数B(H)中完全的(2,3)-紧致Riesz插值性质？
• RQ2 Kirchberg猜想是否可被简化为涉及算子系统C^5/J的有限维问题？
• RQ3 等式A ⊗_min (C^5/J) = A ⊗_max (C^5/J)是否对任意单态C*-代数A刻画了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猜想成立当且仅当四维算子系统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)-性质。