[论文解读] Nuclearity-related properties for nonselfadjoint algebras

David P. Blecher, Benton L. Duncan|ArXiv.org|Apr 1, 2008

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

一句话总结

本文引入并研究了非自伴算子代数对 $C^*$-代数性质（如核性、弱期望性质（WEP）、精确性及局部提升性质（LLP））的类比，利用 $C^*$-包络和生成的 $C^*$-代数将这些概念与经典理论联系起来。主要贡献在于证明：对于 Dirichlet 代数，这些非自伴变体与它们的 $C^*$-对应性质完全一致；同时构造了反例，表明 $C^*$-核性并不蕴含子精确性，且某些精确的算子代数无法嵌入到精确的 $C^*$-代数中。

ABSTRACT

In analogy with the C*-algebra theory, we study variants appropriate to nonselfadjoint algebras of nuclearity, the local lifting property, exactness, and the weak expectation property. In addition, we study the relationships between these notions, and how they are connected with the classical C*-algebra theory through the use of C*-algebras generated by the algebra.

研究动机与目标

• 将基本的 $C^*$-代数性质——核性、WEP、精确性及 LLP——推广至非自伴算子代数。
• 通过 $C^*$-包络和生成的 $C^*$-代数，厘清这些新性质与其经典 $C^*$-代数对应性质之间的关系。
• 研究这些非自伴变体是否有助于解决 $C^*$-代数理论中的开放问题，例如 Kirchberg 的猜想。
• 确定非自伴代数的 $C^*$-包络的 $Ext$ 是否构成一个群，这一条件与 LLP 相关。
• 通过构造反例，探索这些推广的局限性，即经典性质在非自伴代数中无法被提升的情形。

提出的方法

• 定义新性质：为非自伴算子代数定义 $C^*$-核性、$\mathbb{B}$-核性、代数弱期望性质（AWEP）、同态局部提升性质（HLLP）以及子精确性。
• 利用 $C^*$-包络 $C^*_{\rm e}(A)$ 和最大 $C^*$-扩张 $C^*_{\rm max}(A)$，将非自伴性质与经典 $C^*$-代数概念联系起来。
• 应用张量积技术，特别是最小与最大算子空间张量范数，分析这些性质的行为。
• 证明：对于 Dirichlet 代数，非自伴性质与其 $C^*$-对应性质完全一致，利用了 $C^*$-包络的刚性。
• 通过使用具有 $1$-OLLP 的算子空间和有限维精确空间构造反例，表明 $C^*$-核性并不蕴含子精确性。
• 利用算子空间理论和 $C^*$-代数扩张的结果，证明某些精确的算子代数无法嵌入到精确的 $C^*$-代数中。

实验结果

研究问题

• RQ1 在何种条件下，非自伴算子代数能通过其 $C^*$-包络继承 $C^*$-代数性质（如核性或 LLP）？
• RQ2 $C^*$-核性是否蕴含非自伴代数的子精确性？是否存在反例？
• RQ3 非自伴代数的 $C^*$-包络是否可能具有 LLP，而该代数本身却不具备 AWEP 或 HLLP？
• RQ4 是否存在一个非自伴算子代数是精确的，但无法嵌入到任何精确的 $C^*$-代数中？
• RQ5 这些 WEP 和 LLP 的新非自伴变体是否为证明 Kirchberg 的猜想提供了可能路径？

主要发现

• 对于 Dirichlet 算子代数，当且仅当其 $C^*$-包络具有相应的 $C^*$-代数性质时，$A$ 具有 $C^*$-核性、AWEP、HLLP、$\mathbb{B}$-核性或子精确性。
• 存在单位算子代数 $A$，使得 $C^*_{\rm e}(A)$ 是核的（因此具有 LLP），但 $A$ 既不是 $\mathbb{B}$-核的，也不是 $C^*$-核的，也无 AWEP。
• 当 $X$ 是具有 $1$-OLLP 的有限维算子空间时，代数 $\mathcal{U}(X)$ 是 $\mathbb{B}$-核的，但 $C^*$-核性要严格得多，对大多数有限维空间均不成立。
• 存在一个可分的精确算子空间，它不能完全等距嵌入到任何精确的 $C^*$-代数中，表明精确性无法被提升至 $C^*$-代数。
• 存在一个可分的单位精确算子代数，它不是子精确的，表明非自伴代数中的精确性并不蕴含子精确性。
• 本文表明 $C^*$-核性不蕴含子精确性，并提供了此类代数可能存在的证据，尽管未构造出显式例子。