[论文解读] The Operator System Generated by Cuntz Isometries

Da Wei Zheng|arXiv (Cornell University)|Oct 25, 2014

Advanced Operator Algebra Research参考文献 7被引用 7

一句话总结

本文证明了由 $ n $ 个 Cuntz 同构等距生成的算子系统 $\mathcal{S}_n$ 与特定算子子系统 $\mathcal{E}_n \subseteq M_{n+1}$ 的商系统完全序同构，从而通过分块矩阵条件对 $ M_p(\mathcal{S}_n) $ 中的正元素给出了明确刻画。该结果利用了 Cuntz 同构等距的泛性质以及算子系统理论中的商结构。

ABSTRACT

In this paper we consider the operator system $\cl{S}_n$ generated by $n$ Cuntz isometries, i.e. the span of the generators of the Cuntz algebra $\cl{O}_n$ together with their adjoints and the identity. We define an operator subsystem $\cl{E}_n\subseteq M_{n+1}$ and then prove that $\cl{S}_n$ is completely order isomorphic to a quotient of $\cl{E}_n$. This result implies a characterization of positive elements in $M_p(\cl{S}_n)$.

研究动机与目标

• 研究由 $ n $ 个 Cuntz 同构等距生成的算子系统 $\mathcal{S}_n$，这些等距是满足特定关系的泛等距。
• 通过证明 $\mathcal{S}_n$ 与 Toeplitz-Cuntz 同构等距生成的算子系统完全序同构，建立 $\mathcal{S}_n$ 的泛性质。
• 定义算子子系统 $\mathcal{E}_n \subseteq M_{n+1}$，并构造从 $\mathcal{E}_n$ 到 $\mathcal{S}_n$ 的单位元完全正映射。
• 证明 $\mathcal{S}_n$ 完全序同构于 $\mathcal{E}_n$ 的某个商系统，从而刻画 $M_p(\mathcal{S}_n)$ 中的正性。
• 通过其关联的算子系统 $\mathcal{S}_n$ 为研究 Cuntz 代数 $\mathcal{O}_n$ 提供新框架，可能实现对 $C^*$-代数类别的新刻画。

提出的方法

• 将 $\mathcal{S}_n$ 定义为在 Cuntz 代数 $\mathcal{O}_n$ 中由 $ n $ 个 Cuntz 同构等距及其伴随元生成的单位元 $*$-闭线性张。
• 引入 $\mathcal{E}_n \subseteq M_{n+1}$ 作为由特定矩阵单位和单位元生成的具体算子子系统，捕捉 Cuntz 关系的代数结构。
• 通过将 $\mathcal{E}_n$ 的生成元映射到 $\mathcal{S}_n$ 中对应的 Cuntz 同构等距，构造从 $\mathcal{E}_n$ 到 $\mathcal{S}_n$ 的单位元完全正映射 $\phi$。
• 利用 $\mathcal{S}_n$ 的泛性质及行压缩结构，证明 $\mathcal{S}_n$ 完全序同构于 $\mathcal{E}_n / J$（$ J $ 为某核）。
• 利用 Choi-Effros 定理及矩阵代数中的正性判别准则，通过 $M_{n+1}(M_p)$ 中的分块矩阵条件刻画 $M_p(\mathcal{S}_n)$ 中的正性。
• 利用如下事实：当且仅当分块矩阵 $\begin{pmatrix} I & T^* \\ T & I \end{pmatrix} \geq 0$ 时，有 $\|T\| \leq 1$，以分析商系统中的正性。

实验结果

研究问题

• RQ1 由 $ n $ 个 Cuntz 同构等距生成的算子系统 $\mathcal{S}_n$ 是否能完全序同构地嵌入有限维矩阵代数？
• RQ2 是否存在有限维算子系统 $\mathcal{E}_n \subseteq M_{n+1}$，使得 $\mathcal{S}_n$ 完全序同构于 $\mathcal{E}_n$ 的某个商系统？
• RQ3 如何利用矩阵分块结构精确刻画 $M_p(\mathcal{S}_n)$ 中正元素的性质？
• RQ4 Cuntz 同构等距的泛性质如何促成对 Cuntz 代数 $\mathcal{O}_n$ 唯一性的新证明？
• RQ5 $\mathcal{S}_n$ 的结构是否能为重要 $C^*$-代数类（如具有弱期望性质（WEP）的代数）提供新刻画？

主要发现

• 由 $ n $ 个 Cuntz 同构等距生成的算子系统 $\mathcal{S}_n$ 完全序同构于算子子系统 $\mathcal{E}_n \subseteq M_{n+1}$ 的商系统，从而为 $\mathcal{S}_n$ 建立了有限维模型。
• 存在从 $\mathcal{E}_n$ 到 $\mathcal{S}_n$ 的单位元完全正映射，且该映射诱导出从 $\mathcal{E}_n / J$ 到 $\mathcal{S}_n$ 的完全序同构（$ J $ 为某核）。
• $ M_p(\mathcal{S}_n) $ 中的正元素由如下条件刻画：对某个 $ B \in M_p $，分块矩阵 $$\begin{pmatrix} A_0 & 2A_1^* & \cdots & 2A_n^* \\ 2A_1 & A_0 & & \\ \vdots & & \ddots & \\ 2A_n & & & A_0 \end{pmatrix} + \begin{pmatrix} B & & \\ & -B & \\ & & \ddots & \\ & & & -B \end{pmatrix}$$ 在 $ M_{n+1}(M_p) $ 中为正。
• 该结果意味着 $\mathcal{S}_n$ 继承了 Cuntz 同构等距的泛性质，任意两个此类系统均单位元完全序同构，这可能促成对 Cuntz 代数 $\mathcal{O}_n$ 唯一性的新证明。
• 该构造为通过其算子系统 $\mathcal{S}_n$ 研究 $\mathcal{O}_n$ 提供了新框架，可能实现对具有弱期望性质等 $C^*$-代数类别的新刻画。
• 证明依赖于如下等价关系：$\|T\| \leq 1$ 当且仅当分块矩阵 $\begin{pmatrix} I & T^* \\ T & I \end{pmatrix}$ 为正，该关系用于验证 $\mathcal{E}_n$ 在映射到 $\mathcal{S}_n$ 下的像构成一个行压缩。