[论文解读] Simplicity of UHF and Cuntz algebras on $L^p$~spaces

N. Christopher Phillips|arXiv (Cornell University)|Aug 31, 2013

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

一句话总结

本文通过引入并分析空间 $L^p$ UHF 代数——即 $L^p$ 空间上 UHF C*-代数的巴拿赫代数类比——建立了 $1 \leq p < \infty$，$d \geq 2$ 时 $L^p$-类比 Cuntz 代数 $\mathcal{O}_d^p$ 的简洁性、纯无穷性与可约性。关键贡献在于证明 $\mathcal{O}_d^p$ 是一个纯无穷的简洁可约巴拿赫代数，其同构类由 $p$ 和广义数唯一确定。

ABSTRACT

We prove that, for $p \in [1, \infty),$ and integers $d$ at least 2, the $L^p$ analog ${\mathcal{O}}_d^p$ of the Cuntz algebra ${\mathcal{O}}_d$ is a purely infinite simple amenable Banach algebra. The proof requires what we call the spatial $L^p$ UHF algebras, which are analogs of UHF algebras acting on $L^p$ spaces. As for the usual UHF C*-algebras, they have associated supernatural numbers. For fixed $p \in [1, \infty),$ we prove that any spatial $L^p$ UHF algebra is simple and amenable, and that two such algebras are isomorphic if and only if they have the same supernatural number (equivalently, the same scaled ordered $K_0$-group). For distinct $p_1, p_2 \in [1, \infty),$ we prove that no spatial $L^{p_1}$ UHF algebra is isomorphic to any spatial $L^{p_2}$ UHF algebra.

研究动机与目标

• 为 $p \neq 2$ 的 $L^p$-类比 $\mathcal{O}_d^p$ 建立简洁性与纯无穷性，扩展 $p=2$ 时 C*-代数情形的结果。
• 定义并研究空间 $L^p$ UHF 代数，作为 UHF C*-代数的巴拿赫代数类比，证明其简洁性、归一化迹的唯一性以及可约性。
• 利用广义数对空间 $L^p$ UHF 代数的同构类进行分类，并证明同构要求 $p$ 和广义数完全相同。
• 通过推广 Rosenberg 的可约性准则，证明 $\mathcal{O}_d^p$ 作为巴拿赫代数是可约的。
• 证明当 $p \neq 2$ 时，$\mathcal{O}_d^p$ 的简洁性与迹的唯一性无法相互推出，因此需要超越标准 C*-代数技术的新方法。

提出的方法

• 将空间 $L^p$ UHF 代数定义为与有限维矩阵代数相关的 $L^p$-算子代数的归纳极限，利用 $L^p$ 空间上的空间表示。
• 应用条件期望理论与巴拿赫代数上的等距群作用理论，分析空间 $L^p$ UHF 代数的结构。
• 使用广义数作为 $L^p$ UHF 代数的不变量，推广 C*-代数中 $K_0$-群的分类方法。
• 采用原始 Cuntz 代数简洁性证明（通过商代数中元素的可逆性）的变体，并将其适配于巴拿赫代数框架。
• 应用定理 5.17（巴拿赫代数可约性准则）证明 $\mathcal{O}_d^p$ 的可约性，依赖于由 $s_1, t_1$ 生成的子代数 $A$ 及其关系。
• 依赖文献 [16] 中关于空间表示与最小 $L^p$ 张量积的结果，以定义并分析 $\mathcal{O}_d^p$ 作为巴拿赫代数。

实验结果

研究问题

• RQ1 对于 $p \neq 2$，$L^p$-类比 $\mathcal{O}_d^p$ 的 Cuntz 代数是否简洁且纯无穷？
• RQ2 能否在不依赖唯一性定理或 C*-代数技术的前提下建立 $\mathcal{O}_d^p$ 的简洁性？
• RQ3 空间 $L^p$ UHF 代数作为巴拿赫代数是否可约？其分类不变量是什么？
• RQ4 空间 $L^p$ UHF 代数之间的同构是否仅取决于 $p$ 和广义数？
• RQ5 能否通过广义的 Rosenberg 型定理，从其子代数的可约性推导出 $\mathcal{O}_d^p$ 的可约性？

主要发现

• 对于 $1 \leq p < \infty$ 且 $d \geq 2$，$L^p$-类比 $\mathcal{O}_d^p$ 的 Cuntz 代数是一个纯无穷的简洁可约巴拿赫代数。
• 空间 $L^p$ UHF 代数是简洁的、可约的，并且存在唯一的归一化迹，其简洁性通过商代数中可逆性论证证明。
• 两个空间 $L^p$ UHF 代数同构当且仅当它们具有相同的 $p$ 和相同的广义数（等价于相同的缩放有序 $K_0$-群）。
• 对于不同的 $p_1, p_2 \in [1, \infty)$，任一空间 $L^{p_1}$ UHF 代数都不与任何空间 $L^{p_2}$ UHF 代数同构。
• $\mathcal{O}_d^p$ 的可约性通过定理 5.17 证明，该定理将 Rosenberg 的可约性准则推广至满足特定生成与范数条件的巴拿赫代数。
• $\mathcal{O}_d^p$ 的 $K_0$-群同构于在运算 $[e] + [f] = [s_1 e s_1^* + s_2 f s_2^*]$ 下的非零幂等元的代数 Murray-von Neumann 等价类群。