[论文解读] Simple stably projectionless C*-algebras with generalized tracial rank one

George A. Elliott, Guihua Gong+2 more|arXiv (Cornell University)|Nov 3, 2017

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

一句话总结

本文引入并研究了简单稳定无投影 C*-代数的广义测度秩一的非单位元类比，建立了严格比较、稳定秩一、拟对角性以及 ${\cal Z}$-稳定性等结构性质。关键贡献在于证明了具有有限核维数和平凡 K-理论的可分、简单、可温、稳定无投影 C*-代数，其分类由 Elliott 不变量通过 ${\cal D}_0$ 类实现，从而将分类程序扩展至非单位元情形。

ABSTRACT

We study a class of stably projectionless simple C*-algebras which may be viewed as having generalized tracial rank one in analogy with the unital case. Some structural question concerning these simple C*-algebras are studied. The paper also serves as a technical support for the classification of separable stably projectionless simple amenable Jiang-Su stable C*-algebras.

研究动机与目标

• 将广义测度秩一的概念从单位元情形推广至非单位元、稳定无投影 C*-代数。
• 为这类代数建立结构性质，如严格比较、稳定秩一、拟对角性以及 ${\cal Z}$-稳定性。
• 证明具有有限核维数和平凡 K-理论的可分、简单、可温、稳定无投影 C*-代数属于 ${\cal D}_0$ 类，从而可通过 Elliott 不变量实现分类。
• 证明此类代数在与 Jiang-Su 代数 ${\cal W}$ 张量后成为 ${\cal D}_0$ 类，从而在非单位元情形下完整实现分类图景。

提出的方法

• 通过在 Pedersen 理想上的逐点收敛拓扑与稠密理想上的迹，引入广义测度秩一的非单位元版本。
• 使用迹空间 $\widetilde{T}(A)$ 及其弱*-紧化 $\overline{T(A)}^w$ 定义维数-秩比并比较正元素。
• 应用 Brown 定理将 $A$ 表示为 $A_1 \otimes {\cal K}$ 的遗传 C*-子代数，其中 $A_1 = \overline{aAa}$，$a$ 为严格正元素，并利用 $A_1 = \mathrm{Ped}(A_1)$ 简化迹分析。
• 使用完全正定收缩映射 $\varphi_n: A \to {\cal W}$，满足 $\varphi_n(a_0)$ 严格正，且 $\tau(a) = \lim_n \tau_{\cal W}(\varphi_n(a))$，以逼近迹。
• 利用 $\mathrm{K}_0({\cal W}) = 0$ 与 ${\cal W}$ 的稳定秩一性质，证明 $\mathrm{M}_k({\widetilde{\cal W}})$ 中的投影若迹相同则等价，从而在命题 12.2 的证明中导出矛盾。
• 应用 [44]、[25] 与 [42] 的结果，构造同态 $h_n: B_n \to {\cal W}$，使得 $h_n(b_n)$ 严格正，从而实现迹逼近。

实验结果

研究问题

• RQ1 广义测度秩一的概念能否有意义地推广至非单位元、稳定无投影 C*-代数？
• RQ2 此类代数是否表现出如严格比较、稳定秩一、拟对角性及 ${\cal Z}$-稳定性等正则性性质？
• RQ3 每个具有有限核维数和平凡 K-理论的可分、简单、可温、稳定无投影 C*-代数是否属于 ${\cal D}_0$ 类？
• RQ4 将此类代数与 Jiang-Su 代数 ${\cal W}$ 张量是否能确保其属于 ${\cal D}_0$ 类，从而实现分类？

主要发现

• 广义测度秩一的非单位元类比定义良好，所得到的代数对正元素具有严格比较性质。
• 所有此类代数均具有稳定秩一，且为拟对角代数，所有拟迹均为迹。
• 每个具有有限核维数和平凡 K-理论的可分、简单、可温、稳定无投影 C*-代数均为 ${\cal Z}$-稳定。
• 若此类代数具有连续尺度，且每个遗传子代数均为迹近似可除，则其满足 $A \in {\cal D}_0$。
• 与 ${\cal W}$ 张量可确保任意具有有限核维数、非空迹空间的可分、简单、可温、稳定无投影 C*-代数满足 $A \otimes {\cal W} \in {\cal D}_0$。
• 迹空间 $\overline{T(A)}^w$ 是弱*-紧的，且与 $A^*$ 中 $T(A)$ 的弱*-闭包同胚，从而可通过映射序列进入 ${\cal W}$ 实现迹逼近。