[论文解读] Corners of Cuntz-Krieger algebras

Sara E. Arklint, Efren Ruiz|arXiv (Cornell University)|Sep 19, 2012

Advanced Operator Algebra Research参考文献 8被引用 4

一句话总结

该论文证明了与陈-克里格代数稳定同构的单位化C*-代数本身也是陈-克里格代数，从而证明了陈-克里格代数的角落同样是陈-克里格代数。关键结果基于陈-克里格代数被表征为不包含汇点或源点的有限图的单位化图C*-代数，通过K-理论秩相等来识别它们，从而通过稳定同构关系实现识别。

ABSTRACT

We show that if $A$ is a unital $C^*$-algebra and $B$ is a Cuntz-Krieger algebra for which $A\otimes\mathbb{K} \cong B\otimes\mathbb{K}$, then $A$ is a Cuntz-Krieger algebra. Consequently, corners of Cuntz-Krieger algebras are Cuntz-Krieger algebras.

研究动机与目标

• 通过外在性质（特别是K-理论秩和单位化）来表征陈-克里格代数。
• 解决关于陈-克里格代数的角落是否继承陈-克里格性质的开放问题。
• 建立稳定同构于陈-克里格代数意味着同构的结论，从而证明角落下的不变性。
• 使用不包含汇点或源点的有限图提供陈-克里格代数的组合模型。
• 支持关于全角落的半投影C*-代数的角落仍是半投影的猜想，特别针对陈-克里格代数的情形。

提出的方法

• 利用图C*-代数理论，将陈-克里格代数建模为由满足陈-克里格关系的偏等距生成的普遍C*-代数。
• 将陈-克里格代数表征为来自不包含汇点或源点的有限有向图的单位化图C*-代数。
• 应用K-理论，证明一个单位化图C*-代数是陈-克里格代数，当且仅当其$K_0$-群的秩等于其$K_1$-群的秩。
• 证明若$A \rtimes \text{K} \to B \rtimes \text{K}$是同构且$B$是陈-克里格代数，则$A$同构于一个陈-克里格代数。
• 利用圈不变理想和图顶点的遗传饱和子集分析$C^*(E)$中由投影生成的理想。
• 利用稳定同构和莫里塔等价性，证明$A$或$A \rtimes \text{K}$的角落与陈-克里格代数稳定同构，因此根据主定理，它们同构于陈-克里格代数。

实验结果

研究问题

• RQ1 陈-克里格代数能否通过外在不变量（如K-理论秩和单位化）来表征？
• RQ2 陈-克里格代数的角落是否仍为陈-克里格代数？
• RQ3 与陈-克里格代数稳定同构是否足以推出一个单位化C*-代数同构于陈-克里格代数？
• RQ4 陈-克里格代数在角落运算下是否满足半投影性？
• RQ5 尽管在更广泛的图C*-代数类中该性质不成立，陈-克里格类在角落运算下是否仍保持不变？

主要发现

• 一个单位化图C*-代数是陈-克里格代数，当且仅当其$K_0$-群的秩等于其$K_1$-群的秩。
• 若一个单位化C*-代数$A$满足$A \rtimes \text{K} \to B \rtimes \text{K}$，其中$B$是陈-克里格代数，则$A$同构于一个陈-克里格代数。
• 陈-克里格代数的角落同构于陈-克里格代数，如推论4.10所示。
• 稳定化的陈-克里格代数是半投影的，其单位化角落也是半投影的，如推论4.11所确立。
• 陈-克里格代数类在取单位化角落下是封闭的，尽管更广泛的图C*-代数类并非如此。
• 该结果证实了布莱克达勒关于半投影C*-代数的全角落仍为半投影的猜想的一个特例。