[论文解读] Nuclear dimension and n-comparison

Leonel Robert|arXiv (Cornell University)|Feb 10, 2010

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

一句话总结

该论文证明，有限核维数为 $n$ 的 C*-代数具有满足 $n$-比较性质的 Cuntz 一半群，这是一种通过迹对正元素进行比较的结构性条件。该结果表明，具有有限核维数（或核维数至多为 $\omega$）的 $\sigma$-无单元 C*-代数是稳定的，当且仅当其不存在非零的无单元商代数且不存在非零有界迹，从而解决了分类程序中的一个关键稳定性准则。

ABSTRACT

It is shown that if a C*-algebra has nuclear dimension $n$ then its Cuntz semigroup has the property of $n$-comparison. It then follows from results by Ortega, Perera, and Rordam that $σ$-unital C*-algebras of finite nuclear dimension (and even of nuclear dimension at most $ω$) are stable if and only if they have no non-zero unital quotients and no non-zero bounded traces.

研究动机与目标

• 建立 C*-代数的核维数与 Cuntz 半群中 $n$-比较性质之间的结构性联系。
• 将 $\sigma$-无单元 C*-代数的稳定性准则从 $n$-比较推广到具有有限核维数的代数。
• 通过 0 型映射的极限构造，将稳定性条件推广至核维数至多为 $\omega$ 的 C*-代数。
• 证明 Cuntz 半群中的 $n$-比较性质在无非零无单元商代数和有界迹的条件下蕴含稳定性。

提出的方法

• 通过 c.p.c. 映射的网 $\psi_\lambda^i: A \to F_\lambda^i$ 和 $\phi_\lambda^i: F_\lambda^i \to A$ 定义核维数，其中 $F_\lambda^i$ 为有限维代数，且 $\phi_\lambda^i$ 为 0 型映射。
• 应用以下半连续 2-迹表示的 $n$-比较性质的刻画：若对所有 $i=0,\dots,n$ 有 $[a] <_\tau [b_i]$，则 $[a] \leq \sum_{i=0}^n [b_i]$。
• 通过渐近分解构造元素的提升，利用 0 型映射并证明和式 $\sum_{i=0}^n \phi^i \psi^i(a) = \iota(a)$ 的范数收敛性。
• 应用 Ortega、Perera 和 Rørdam 提出的稳定性准则，即 $\sigma$-无单元 C*-代数是稳定的当且仅当其不存在非零无单元商代数且不存在非零有界 2-迹。
• 通过考虑具有范数收敛性的 c.p.c. 0 型映射的无穷和，将论证扩展至核维数至多为 $\omega$ 的情形。
• 将 $\omega$-比较性质应用于 $A \otimes \mathcal{K}$ 的遗传子代数，证明在相同条件下其为稳定代数。

实验结果

研究问题

• RQ1 有限核维数为 $n$ 的 C*-代数是否具有满足 $n$-比较性质的 Cuntz 半群？
• RQ2 基于无非零无单元商代数和有界迹的 $\sigma$-无单元 C*-代数的稳定性准则，是否可推广至具有有限核维数的代数？
• RQ3 在核维数至多为 $\omega$ 的极限构造下，$n$-比较性质是否保持不变？
• RQ4 Cuntz 半群中的 $\omega$-比较性质是否蕴含与有限 $n$ 情况下相同的稳定性准则？
• RQ5 能否为核维数至多为 $\omega$ 的 $\sigma$-无单元 C*-代数建立余子因子化性质？

主要发现

• 若 C*-代数 $A$ 的核维数为 $n$，则其 Cuntz 半群 $Cu(A)$ 满足 $n$-比较性质：若对所有 $i=0,\dots,n$ 有 $[a] <_\tau [b_i]$，则 $[a] \leq \sum_{i=0}^n [b_i]$。
• 对于具有有限核维数的 $\sigma$-无单元 C*-代数，其稳定性等价于不存在非零无单元商代数且不存在非零有界迹。
• 对于核维数至多为 $\omega$ 的 C*-代数，其 $Cu(A)$ 中的 $n$-比较性质成立，该性质通过具有范数收敛性的 c.p.c. 0 型映射的无穷和来定义。
• 此类代数的 Cuntz 半群满足 $\omega$-比较性质：若对所有 $i \in \mathbb{N}$ 有 $x \leq_s y_i$，则 $x \leq \sum_{i=0}^\infty y_i$。
• 若 $A \otimes \mathcal{K}$ 的遗传 $\sigma$-无单元子代数的核维数至多为 $\omega$，则其为稳定代数当且仅当其不存在非零无单元商代数且不存在非零有界迹。
• 作为推论，此类代数具有余子因子化性质，即若 $M_n(B)$ 稳定，则 $B \otimes \mathcal{K}$ 的每个全遗传子代数均为稳定代数。