[论文解读] On classification of non-unital simple amenable C*-algebras, I

Guihua Gong, Huaxin Lin|arXiv (Cornell University)|Nov 14, 2016

Advanced Operator Algebra Research被引用 9

一句话总结

本文建立了非单位元、稳定投影无、可分简单渐近阿贝尔 C*-代数在广义测度秩至多为一情况下的稳定唯一性定理。证明了当且仅当其带有尺度的测度锥同构时，两个此类 C*-代数同构，通过使用修改后的不变量和 KK-理论消失条件，将 Elliott 分类程序推广至非单位元情形。

ABSTRACT

We present a stable uniqueness theorem for non-unital C*-algebras. Generalized tracial rank one is defined for stably projectionless simple C*-algebras. Let $A$ and $B$ be two stably projectionless separable simple amenable C*-algebras with $gTR(A)\le 1$and $gTR(B)\le 1.$ Suppose also that $KK(A, D)=KK(B,D)=\{0\}$ for all C*-algebras $D.$ Then $A\cong B$ if and only if they have the same tracial cones with scales. We also show that every separable simple C*-algebra, $A$ with finite nuclear dimension which satisfies the UCT with non-zero traces must have $gTR(A)\le 1$ if $K_0(A)$ is torsion. In the next part of this research, we show similar results without the restriction on $K$-theory.

研究动机与目标

• 将 Elliott 分类程序推广至非单位元、稳定投影无、可分简单渐近阿贝尔 C*-代数。
• 在不依赖单位化或满射性条件的前提下，为非单位元 C*-代数建立稳定唯一性定理。
• 通过使用一维非交换有限紧算子作为模型，定义并研究稳定投影无 C*-代数的广义测度秩一（gTR ≤ 1）。
• 在 KK 消失性与有限核维数假设下，证明两个此类代数同构当且仅当其带有尺度的测度锥同构。
• 证明具有平凡 K-理论与非零测度的有限核维数 C*-代数，当 K₀ 为挠群时，满足 gTR ≤ 1。

提出的方法

• 提出一种新的非单位元 C*-代数稳定唯一性定理，无需要求映射为满射，避免依赖单位化构造。
• 通过使用稳定投影无的一维非交换有限紧算子作为模型，定义广义测度秩一（gTR ≤ 1）。
• 利用 C*-代数类 D₀（具有严格比较、近似可除性与稳定秩一）来刻画 gTR ≤ 1。
• 将迹态空间与带有尺度的下半连续迹锥作为不变量，替代非单位元情形下的 Elliott 不变量。
• 利用单位元的连续路径实现具有相同迹映射的同态之间的渐近单位等价性。
• 利用 A ⊗ ℤ ≅ A（当 A 属于该类时）的性质，并通过单位元共轭构造近似同态，以证明迹态近似可除性。

实验结果

研究问题

• RQ1 能否在不依赖单位化或满射性条件的前提下，为非单位元 C*-代数建立稳定唯一性定理？
• RQ2 对于稳定投影无 C*-代数，测度秩的适当推广是什么？
• RQ3 在何种条件下，两个非单位元、稳定投影无、可分简单渐近阿贝尔 C*-代数（满足 gTR ≤ 1）同构？
• RQ4 如何将 Elliott 不变量适配于分类具有平凡 K-理论与有限核维数的非单位元 C*-代数？
• RQ5 对于所有属于 UCT 类的 D，KK(A, D) = 0 在分类非单位元 C*-代数中起何作用？

主要发现

• 两个满足 gTR(A) ≤ 1 与 gTR(B) ≤ 1 的非单位元可分简单渐近阿贝尔 C*-代数 A 与 B 同构，当且仅当其带有尺度的测度锥之间存在同构。
• 若 A 是可分简单 C*-代数，具有有限核维数，满足 UCT，且 K-理论平凡而 K₀ 为挠群，则 gTR(A) ≤ 1。
• 对于此类代数，同构类型完全由对 (T̃(A), Σ_A) 的同构类决定，其中 T̃(A) 为下半连续迹的锥，Σ_A 为尺度。
• 本文证明：若 A 为有限、非单位元、可分、简单 C*-代数，具有有限核维数，且对所有属于 UCT 类的可分 D 满足 KK(A, D) = 0，则 A ∈ D₀。
• 稳定唯一性定理确保：若两个同态 φ₁, φ₂: A → B 诱导出相同的迹映射，则它们可通过单位元的连续路径实现渐近单位等价。
• 证明了对于此类代数，A ⊗ ℤ 是迹态近似可除的，这表明当 A 具有连续尺度时，有 gTR(A) ≤ 1。