[论文解读] The ordered K_0-group of a graph C*-algebra

Mark Tomforde|ArXiv.org|Apr 8, 2002

Advanced Operator Algebra Research参考文献 12被引用 6

一句话总结

本文通过将图 C*-代数的有序 K₀-群识别为源自图的顶点矩阵的矩阵的余核，计算了其有序 K₀-群，确立了正锥对应于投影的整数值非负组合。主要贡献在于对有序 K₀-群的完整表征，及其在分类 AF-代数、K₀ 上的状态以及在满足条件 (K) 时通过图迹实现的迹态上的应用。

ABSTRACT

We calculate the ordered K_0-group of a graph C*-algebra and mention applications of this result to AF-algebras, states on the K_0-group of a graph algebra, and tracial states of graph algebras.

研究动机与目标

• 通过图的结构计算图 C*-代数的有序 K₀-群。
• 使用投影的非负整数组合表征 K₀(C*(E)) 的正锥。
• 将 K₀ 计算应用于通过其有序 K₀-群分类 AF-代数。
• 在 K₀(C*(E)) 上的状态与底层图上的图迹之间建立规范对应关系。
• 当图满足条件 (K) 时，将 C*(E) 上的迹态与图迹联系起来，实现通过 K₀ 理论的分类。

提出的方法

• 本文使用行有限图 E 的顶点矩阵 A_E 定义矩阵 (B^t - I; C^t)，其中 B 和 C 基于非奇异顶点和奇异顶点对矩阵进行划分。
• 通过将 [p_v]_0 映射到余核中的 δ_v，将 K₀(C*(E)) 识别为 (B^t - I; C^t) 的余核。
• 证明正锥 (K₀(C*(E)))⁺ 对应于余核映射下 ℕ^V ⊕ ℕ^W 的像。
• 通过取有限逼近 E×₁[−∞,n] 上的极限，利用 K-理论的连续性将方法推广至无限图，得到 ℤ^V ⊕ ℤ^W ⊕ ⋯ 的直和。
• 建立状态空间 S(K₀(C*(E))) 与图迹空间 T(E) 之间的同胚，映射为 f ↦ (v ↦ f([p_v]_0))。
• 对于满足条件 (K) 的图，证明映射 r_{C*(E)}: T(C*(E)) → S(K₀(C*(E))) 是同胚，从而将迹态与图迹建立规范的一一对应关系。

实验结果

研究问题

• RQ1 如何从图的结构显式计算图 C*-代数的有序 K₀-群？
• RQ2 图代数 K₀(C*(E)) 中正锥的精确描述是什么？
• RQ3 K₀(C*(E)) 上的状态与底层图 E 上的图迹之间有何关系？
• RQ4 在何种条件下，从 C*(E) 上的迹态到 K₀(C*(E)) 上的状态的映射是同胚？
• RQ5 能否使用其有序 K₀-群对无环图生成的 AF-代数进行分类？

主要发现

• 图 C*-代数 C*(E) 的有序 K₀-群同构于矩阵 (B^t - I; C^t) 的余核，其中 B 和 C 基于非奇异与奇异顶点对顶点矩阵进行划分。
• 正锥 (K₀(C*(E)))⁺ 恰好对应于余核中 ℕ^V ⊕ ℕ^W 的像，从而被识别为投影的非负整数组合。
• 对于无环图，有序 K₀-群完全分类了 C*-代数的同构类，推广了 Elliott 对 AF-代数的分类结果。
• 状态空间 S(K₀(C*(E))) 与图 E 上归一化的图迹空间 T(E) 之间存在仿射同胚，同胚映射为 f ↦ (v ↦ f([p_v]_0))。
• 当 E 满足条件 (K) 时，映射 r_{C*(E)}: T(C*(E)) → S(K₀(C*(E))) 是同胚，因此 C*(E) 上的迹态与 E 上的图迹之间存在规范的一一对应关系。
• 该结果将 Blackadar 和 Rørdam 的提升结果推广至具有可数投影近似单位的非单位 C*-代数，确保每个 K₀(C*(E)) 上的状态均可提升为拟迹。