[论文解读] A classification of inductive limit $C^{*}$-algebras with ideal property

Guihua Gong, Chunlan Jiang+1 more|arXiv (Cornell University)|Jul 26, 2016

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

一句话总结

本文利用结合了缩放有序总 $K$-理论、下剪代数的迹态空间以及单位群关于其换位子子群闭包商的新不变量，对具有理想性质且无维数增长的归纳极限 $C^*$-代数进行了分类。该结果统一并推广了此前对实秩零和简单 $AH$ 代数的分类，完成了 Elliott 分类程序在非单 $C^*$-代数中的关键一步。

ABSTRACT

Let $A$ be an $AH$ algebra $A=\lim\limits_{n o \infty}(A_{n}=\bigoplus\limits_{i=1}\limits^{t_{n}}P_{n,i}M_{[n,i]}(C(X_{n,i}))P_{n,i}, ϕ_{n,m})$, where $X_{n,i}$ are compact metric spaces, $t_{n}$ and $[n,i]$ are positive integers, and $P_{n,i}\in M_{[n,i]}(C(X_{n,i}))$ are projections. Suppose that $A$ has the ideal property: each closed two-sided ideal of $A$ is generated by the projections inside the ideal, as a closed two sided ideal. In this article, we will classify all $AH$ algebras with ideal property of no dimension growth---that is, $sup_{n,i}dim(X_{n,i})

研究动机与目标

• 通过分类具有理想性质且无维数增长的 $AH$ 代数，将 Elliott 分类程序扩展至非单 $C^*$-代数。
• 在单一不变量框架下统一实秩零 $AH$ 代数与简单 $AH$ 代数的分类结果。
• 识别并纳入一个新不变量——$U(pAp)/\overline{DU(pAp)}$——该不变量被证明是分类所必需的，其必要性由 [GJL] 中的反例所证实。
• 证明所有具有理想性质的此类 $AH$ 代数均为 $A\mathcal{HD}$ 代数，从而可通过特定一类构造块的归纳极限实现分类。

提出的方法

• 分类使用一个改进的不变量，结合缩放有序总 $K$-群 $(\underline{K}(A), \underline{K}(A)_+, \Sigma A)$、满足相容性条件的下剪代数迹态空间 $T(pAp)$，以及商式 $U(pAp)/\overline{DU(pAp)}$。
• 证明依赖于形状等价性和谱分布性质，以在具有同构不变量的 $C^*$-代数之间构造近似交织。
• 存在性定理通过 $KK$-理论和近似酉等价性，构造保持不变量至小误差的 $*$-同态。
• 唯一性定理表明，任意两个诱导相同不变量的 $*$-同态均近似酉等价，其证明基于几乎交换图的递归构造。
• 构造过程通过在归纳极限各阶段之间迭代构建几乎交换图实现，各步误差可和，从而确保近似交织。
• 关键技术步骤是利用 [GJL] 中的反例，证明新不变量 $U(pAp)/\overline{DU(pAp)}$ 是必要且不可省略的。

实验结果

研究问题

• RQ1 能否将 $AH$ 代数的分类从单代数和实秩零情形扩展至具有理想性质的非单代数？
• RQ2 在标准 $K$-理论与迹态数据之外，分类具有理想性质的非单 $AH$ 代数还需要哪些额外不变量？
• RQ3 $U(pAp)/\overline{DU(pAp)}$ 不变量是否为分类所必需，还是可由其他不变量导出？
• RQ4 所有具有理想性质且无维数增长的 $AH$ 代数是否均可表示为 $\mathcal{HD}$ 类代数的归纳极限？
• RQ5 理想性质在 Elliott 程序中如何促进非单 $C^*$-代数的分类？

主要发现

• 本文通过包含商式 $U(pAp)/\overline{DU(pAp)}$ 的改进不变量，建立了具有理想性质且无维数增长的 $AH$ 代数的完整分类。
• 新不变量 $U(pAp)/\overline{DU(pAp)}$ 被证明对分类是必要的，[GJL] 中的反例表明：若省略该不变量，将导致具有相同其他不变量但非同构的代数。
• 所有具有理想性质且无维数增长的 $AH$ 代数均被证明为 $A\mathcal{HD}$ 代数——即 $\mathcal{HD}$ 类代数的归纳极限——从而可采用统一框架进行分类。
• 该分类统一并推广了此前关于实秩零 $AH$ 代数与简单 $AH$ 代数的分类结果，完成了 [EGL1] 中提出的两项关键推广之一。
• 证明通过递归构造一系列误差可和的几乎交换图，实现了 $C^*$-代数之间的近似交织，从而保证了 $*$-同构。
• 该不变量结构映射了非单实秩零情形下总 $K$-理论上序的出现，凸显了分类理论中的深层类比。