[论文解读] Rank-two graphs whose C^*-algebras are direct limits of circle algebras

David Pask, Iain Raeburn+2 more|ArXiv.org|Dec 13, 2005

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

一句话总结

该论文构建了一类称为秩-2布拉特eli图的秩-2图，其C*-代数为AT代数——即圆代数的直接极限——为具有非平凡K₁的AT代数提供了具体的实现。论文计算了这些C*-代数的K-理论，刻画了其单性与实秩零性质，并确定了哪些代数包含与非交换旋转代数及邦斯-德丁斯代数同构的全角。

ABSTRACT

We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as full corners the irrational rotation algebras and the Bunce-Deddens algebras.

研究动机与目标

• 构建一类C*-代数为AT代数（即圆代数的直接极限）的秩-2图。
• 计算此类图的C*-代数的K-理论，特别是已知的秩-2布拉特eli图子类。
• 利用K-理论与动力学条件，刻画这些C*-代数为单代数且实秩为零的条件。
• 识别出哪些此类C*-代数包含与非交换旋转代数或邦斯-德丁斯代数同构的全角。
• 描述迹单纯形，并在附加假设下建立迹与圆上概率测度之间的同胚关系。

提出的方法

• 通过一个为布拉特eli图（无环）的蓝色图与一个由不相交环组成的红色图，定义一个2-图，并满足因子化规则。
• 将C*-代数构造为同构于C(𝕋)上有限个矩阵代数直和的子代数的递增并集，从而证明其为AT代数。
• 使用基本的K-理论计算确定C*-代数的K₀与K₁，表明K₁嵌入K₀且商群的秩为零。
• 在K₀的维数群中的序理想与广义不变理想之间建立双射。
• 引入“大置换因子化”条件，以确保投影能分离迹，从而实现实秩零结果。
• 应用艾略特对AT代数的分类定理，刻画K-不变量，并识别实秩零与单C*-代数。

实验结果

研究问题

• RQ1 哪些秩-2图产生C*-代数，使其为圆代数的直接极限？
• RQ2 秩-2布拉特eli图的C*-代数的K-理论是什么？它与底层图结构有何关系？
• RQ3 在何种条件下，秩-2布拉特eli图的C*-代数是单代数且实秩为零？
• RQ4 哪些由秩-2布拉特eli图产生的C*-代数包含与非交换旋转代数或邦斯-德丁斯代数同构的全角？
• RQ5 此类C*-代数的迹单纯形与圆上的概率测度之间有何关系？

主要发现

• 秩-2布拉特eli图的C*-代数总是AT代数，且K₁非平凡，因此既非纯无限也非AF代数。
• K₀群同构于若干个ℤ的直和，K₁同构于K₀的子群G，使得K₀/G的秩为零。
• 单性的充要条件是2-图是共终的，并满足大置换因子化性质。
• 若所有红色环的长度均为1，则迹单纯形与圆上概率测度空间同胚，且从测度到迹的映射是仿射且连续的。
• 当关联的动力系统满足某些稠密性与极小性条件时，C*-代数包含与非交换旋转代数同构的全角。
• 当环长序列满足其倒数之和的可 summability 条件时，C*-代数包含与邦斯-德丁斯代数同构的全角。