[论文解读] Stable isomorphism and strong Morita equivalence of operator algebras

George Eleftherakis|arXiv (Cornell University)|Apr 14, 2014

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

一句话总结

本文引入了强Δ-等价性，这是一种基于三元算子环（TROs）的算子代数的莫里塔型等价关系，证明了具有可数近似单位的两个算子代数当且仅当它们是强Δ-等价时，彼此强稳定同构。关键贡献在于通过与紧算子代数的几何张量积，精确建立了强Δ-等价性与稳定同构之间的联系，将C*-代数理论中的结果推广至非自伴算子代数。

ABSTRACT

We introduce a Morita type equivalence: two operator algebras $A$ and $B$ are called strongly $Δ$-equivalent if they have completely isometric representations $α$ and $β$ respectively and there exists a ternary ring of operators $M$ such that $α(A)$ (resp. $β(B)$) is equal to the norm closure of the linear span of the set $M^*β(B)M, $ (resp. $Mα(A)M^*$). We study the properties of this equivalence. We prove that if two operator algebras $A$ and $B,$ possessing countable approximate identities, are strongly $Δ$-equivalent, then the operator algebras $A\otimes \cl K$ and $B\otimes \cl K$ are isomorphic. Here $\cl K$ is the set of compact operators on an infinite dimensional separable Hilbert space and $\otimes $ is the spatial tensor product. Conversely, if $A\otimes \cl K$ and $B\otimes \cl K$ are isomorphic and $A, B$ possess contractive approximate identities then $A$ and $B$ are strongly $Δ$-equivalent.

研究动机与目标

• 通过TROs定义非自伴算子代数的新莫里塔型等价关系——强Δ-等价性。
• 在算子代数背景下，建立强Δ-等价性与强稳定同构之间的精确联系。
• 利用基于TRO的等价关系，将布朗-格林-里费尔的C*-代数结果推广至非自伴算子代数。
• 阐明强Δ-等价性与现有概念（如BMP-强莫里塔等价）之间的关系。
• 证明强Δ-等价性严格强于BMP-强莫里塔等价，并提供反例。

提出的方法

• 通过完全等距表示和TROs定义强Δ-等价性，使得每个代数均为TRO生成的双线性张量的范数闭包。
• 利用与紧算子代数𝒦的几何张量积定义强稳定同构。
• 应用三元算子环（TROs）理论，构造生成所需同构的等价双模。
• 利用TROs中有限秩算子的网逼近单位元并证明范数闭包性质。
• 利用嵌套代数及其二阶对偶的结构构造显式例子并验证等价条件。
• 应用算子空间理论与对偶算子代数理论的结果，包括弱*拓扑与范数闭包技术。

实验结果

研究问题

• RQ1 在何种条件下，具有可数近似单位的算子代数的强Δ-等价性与强稳定同构等价？
• RQ2 强Δ-等价性与现有莫里塔等价概念（特别是BMP-强莫里塔等价）有何关系？
• RQ3 强Δ-等价性能否通过与紧算子张量积用于算子代数的稳定同构分类？
• RQ4 强Δ-等价性是否严格强于BMP-强莫里塔等价？若是，能否构造出反例？
• RQ5 TROs在生成非自伴算子代数之间的稳定同构中起何种作用？

主要发现

• 具有可数近似单位的两个算子代数当且仅当它们是强Δ-等价时，彼此强稳定同构。
• 强Δ-等价性蕴含强稳定同构，即A⊗𝒦与B⊗𝒦作为算子空间同构。
• 反之，若A⊗𝒦与B⊗𝒦同构且A与B具有压缩近似单位，则A与B是强Δ-等价的。
• 强Δ-等价性严格强于BMP-强莫里塔等价，如Blecher、Muhly与Paulsen提供的反例所示。
• 对于嵌套代数，其紧子代数的强稳定同构等价于其双交换子之间存在将一个嵌套映射到另一个的*-同构。
• TRO理论为构造非自伴算子代数中的稳定同构及证明等价性结果提供了稳健的框架。