[论文解读] The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

Joan Bosa, James Gabe+2 more|arXiv (Cornell University)|Jun 5, 2019

Advanced Operator Algebra Research参考文献 50被引用 5

一句话总结

该论文证明了每个分离的、核的、$\mathcal{O}_\infty$-稳定的 $C^*$-代数的核维数恰好为 1，从而解决了长期存在的一个开放问题。此外，该论文通过拟对角性与本原理想结构刻画了此类代数中的有限分解秩，并证明了全的、$\mathcal{O}_2$-稳定的 $*$-同态的核维数为 0 当且仅当其定义域是拟对角的。

ABSTRACT

We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0.

研究动机与目标

• 确定分离的、核的 $\mathcal{O}_\infty$-稳定 $C^*$-代数的核维数。
• 刻画 $\mathcal{O}_\infty$-稳定 $C^*$-代数具有有限分解秩的条件。
• 基于拟对角性与核性，对全的、$\mathcal{O}_2$-稳定的 $*$-同态的核维数进行分类。
• 解决 $\mathcal{O}_\infty$-稳定 $C^*$-代数中核维数的开放问题，特别是回应了 Szabó（2017）给出的核维数上界为 3 的结果。

提出的方法

• 利用 $\mathcal{O}_\infty$-稳定性的结构，通过张量吸收构造近似，从而降低核维数。
• 应用 Kirchberg 的嵌入定理与渐近酉等价来比较 $\mathcal{O}_2$-稳定的映射。
• 采用拟对角性与 Cuntz 比较技术分析理想结构并生成全投影。
• 利用分解秩与核维数的层级关系，特别是有限分解秩蕴含拟对角性的事实。
• 利用正规无穷元素与 Cuntz 关系的概念，构造生成相同理想的投影。
• 应用 Matui 与 Sato 在 UCT 无关分类与核维数计算方面的结果，将结论推广至非 UCT 设置。

实验结果

研究问题

• RQ1 分离的、核的 $\mathcal{O}_\infty$-稳定 $C^*$-代数的精确核维数是多少？
• RQ2 在何种条件下，$\mathcal{O}_\infty$-稳定 $C^*$-代数具有有限分解秩？
• RQ3 全的、$\mathcal{O}_2$-稳定的 $*$-同态在何种情况下具有核维数零？
• RQ4 拟对角性与 $\mathcal{O}_\infty$-稳定 $C^*$-代数中的核维数如何相互作用？
• RQ5 能否仅通过理想结构与拟对角性来完全刻画 $\mathcal{O}_2$-稳定映射的核维数零？

主要发现

• 每个分离的、核的 $\mathcal{O}_\infty$-稳定 $C^*$-代数的核维数恰好为 1。
• $\mathcal{O}_\infty$-稳定 $C^*$-代数具有有限分解秩当且仅当其为拟对角的，并且其本原理想结构与拟对角性相容。
• 全的、$\mathcal{O}_2$-稳定的 $*$-同态的核维数为 0 当且仅当其定义域 $C^*$-代数是拟对角的。
• 若一个 $\mathcal{O}_2$-稳定的 $*$-同态不是核的，则其核维数为无穷。
• 核维数 0 蕴含分解秩为 0，因此对于 $\mathcal{O}_2$-稳定映射，其定义域必为拟对角的。
• 证明依赖于 $\theta \oplus 0$ 与 $\iota \circ \phi \oplus 0$ 的渐近酉等价，以将核维数性质从 $\phi$ 传递到 $\theta$。