[论文解读] A universal nuclear operator system

Martino Lupini|arXiv (Cornell University)|Nov 30, 2014

Advanced Operator Algebra Research参考文献 40被引用 6

一句话总结

本文引入了Gurarij算子系统（GS），这是一个具有近乎普遍位置的可分、1-精确、核型且齐次的算子系统，其在完全序同构意义下唯一。通过度量结构的Fraïssé理论，证明了GS可普遍嵌入所有可分1-精确算子系统，且不与任何单位元C*-代数完全序同构，从而解决了Oikhberg关于精确C*-代数嵌入的疑问。

ABSTRACT

By means of Fraïssé theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition. This means that whenever $E\subset F$ are finite-dimensional $1$-exact operator systems, $ϕ:E ightarrow \mathbb{GS}$ is a unital complete isometry, and $\varepsilon >0$, there is a linear extension $\widehat{ϕ}:F ightarrow \mathbb{GS}$ of $ϕ$ such that $||\widehat{ϕ}||_{cb}{}||\widehat{ϕ}^{-1}||_{cb}\leq 1+\varepsilon $. Such an operator system is unique up to complete order isomorphism. Furthermore it is nuclear, homogeneous, and any separable $1$-exact operator system admits a complete order embedding into $\mathbb{GS}$. The space $\mathbb{GS}$ can be regarded as the operator system analog of the Gurarij operator space $\mathbb{NG}$ introduced by Oikhberg, which is in turn a canonical operator space structure on the Gurarij Banach space. We also show that the canonical $\ast $-homomorphism from the universal C*-algebra of $\mathbb{GS}$ to the C*-envelope of $\mathbb{GS}$ is a $\ast $-isomorphism. This implies that $\mathbb{GS}$ does not admit any complete order embedding into a unital exact C*-algebra. In particular $\mathbb{GS}$ is not completely order isomorphic to a unital C*-algebra. With similar methods we show that the Gurarij operator space $\mathbb{NG}$ does not admit any completely isometric embedding into an exact C*-algebra, and in particular $\mathbb{NG}$ is not completely isometric to a C*-algebra. This answers a question of Timur Oikhberg.

研究动机与目标

• 在具有近乎普遍位置的可分1-精确算子系统范畴中构造一个普遍对象。
• 确立该普遍对象在完全序同构意义下的唯一性与齐次性。
• 解决Timur Oikhberg提出的问题：Gurarij算子空间或其算子系统对应物能否完全等距嵌入到一个精确C*-代数中。
• 证明该普遍算子系统的C*-包络同构于其普遍C*-代数，从而表明其不可嵌入到单位元精确C*-代数中。

提出的方法

• 将度量结构的Fraïssé理论应用于具有单位元完全等距的有限维1-精确算子系统范畴。
• 将Gurarij算子系统（GS）构造为该范畴的Fraïssé极限。
• 证明GS具有近乎普遍位置：任何从有限维1-精确算子系统到GS的单位元完全等距，均可几乎完全有界地延拓到任意有限维超系统。
• 利用GS的核型与齐次性，确立其在可分1-精确算子系统中的唯一性与普遍性。
• 分析GS的C*-包络，并证明其从普遍C*-代数到C*-包络的典范*-同态是一个*-同构。
• 将该方法扩展至Gurarij算子空间NG，证明NG同样不可完全等距嵌入到任何精确C*-代数中。

实验结果

研究问题

• RQ1 是否存在一个可分、1-精确的算子系统，具有近乎普遍位置，并能普遍嵌入所有可分1-精确算子系统？
• RQ2 这样的普遍算子系统在完全序同构意义下是否唯一？
• RQ3 Gurarij算子系统能否完全序同构地嵌入到一个单位元精确C*-代数中？
• RQ4 从Gurarij算子系统的普遍C*-代数到其C*-包络的典范*-同态是否为同构？
• RQ5 Gurarij算子空间NG能否完全等距嵌入到一个精确C*-代数中？

主要发现

• Gurarij算子系统GS是一个可分、1-精确、核型且齐次的算子系统，具有近乎普遍位置。
• 在具有近乎普遍位置的可分1-精确算子系统中，GS在完全序同构意义下唯一。
• 任何可分1-精确算子系统均可完全序同构地嵌入GS。
• 从GS的普遍C*-代数到其C*-包络的典范*-同态是一个*-同构，表明GS不与任何单位元C*-代数完全序同构。
• Gurarij算子空间NG不可完全等距嵌入到任何精确C*-代数中，从而回答了Oikhberg的问题。
• GS与NG均不完全等距同构于任何C*-代数，且GS不可嵌入到任何单位元精确C*-代数中。