[论文解读] On the K-theory of higher rank graph C*-algebras

D. Gwion Evans|ArXiv.org|Jun 23, 2004

Advanced Operator Algebra Research参考文献 27被引用 54

一句话总结

本文利用同调谱序列和顶点矩阵的史密斯标准形，为高秩图 C*-代数的 K-理论建立了显式公式，特别针对 2-图和 3-图代数。研究证明，对于单位元 k-图 C*-代数，$K_0$ 和 $K_1$ 的挠自由秩相等，并对具体例子（包括与 Cuntz 代数同构的情形）完成了完整的 K-群计算。

ABSTRACT

Given a row-finite $k$-graph $Λ$ with no sources we investigate the $K$-theory of the higher rank graph $C^*$-algebra, $C^*(Λ)$. When $k=2$ we are able to give explicit formulae to calculate the $K$-groups of $C^*(Λ)$. The $K$-groups of $C^*(Λ)$ for $k>2$ can be calculated under certain circumstances and we consider the case $k=3$. We prove that for arbitrary $k$, the torsion-free rank of $K_0(C^*(Λ))$ and $K_1(C^*Λ))$ are equal when $C^*(Λ)$ is unital, and for $k=2$ we determine the position of the class of the unit of $C^*(Λ)$ in $K_0(C^*(Λ))$.

研究动机与目标

• 通过同调方法计算高秩图 C*-代数的 K-理论，特别是针对 $k=2$ 和 $k=3$ 的情形。
• 确定 $k$-图 C*-代数的 K-群可显式计算的条件。
• 证明当 $C^*(\Lambda)$ 为单位元时，$K_0(C^*(\Lambda))$ 与 $K_1(C^*(\Lambda))$ 的挠自由秩相等。
• 为具体例子（包括与 Cuntz 代数同构的情形）提供显式的 K-群计算。
• 应用 Kirchberg-Phillips 分类定理，通过 K-理论对 $k$-图 C*-代数进行分类。

提出的方法

• 利用收敛于 $K_*(C^*(\Lambda))$ 的同调谱序列，其中 $E^2_{p,q} \cong H_p(\mathbb{Z}^k, K_q(B))$，$B$ 为 AF 代数。
• 依赖 Kumjian 和 Pask（2000）建立的 $C^*(\Lambda)$ 与 $\mathbb{Z}^k$ 作用于 AF 代数的半直积之间的稳定同构。
• 通过 $k$-图 $\Lambda$ 的顶点矩阵计算群上同调 $H_*(\mathbb{Z}^k, K_0(B))$，这些矩阵编码了范畴的结构。
• 对链复形中微分的矩阵应用史密斯标准形，以计算余核与核。
• 利用谱序列和史密斯标准形，为 $k=2$ 和 $k=3$ 的情形推导出 $K_0(C^*(\Lambda))$ 与 $K_1(C^*(\Lambda))$ 的显式公式。
• 当 K-理论匹配时，应用 Kirchberg-Phillips 分类定理，得出 $k$-图 C*-代数与已知 Cuntz 代数同构的结论。

实验结果

研究问题

• RQ1 对于 2-图 C*-代数 $C^*(\Lambda)$，其 K-理论群 $K_0(C^*(\Lambda))$ 与 $K_1(C^*(\Lambda))$ 的显式公式是什么？
• RQ2 在更强的结构假设下，如何计算 3-图 C*-代数的 K-理论？
• RQ3 当 $C^*(\Lambda)$ 为单位元时，$K_0(C^*(\Lambda))$ 与 $K_1(C^*(\Lambda))$ 的挠自由秩之间有何关系？
• RQ4 在何种条件下，$k$-图 C*-代数的 K-理论可确定其同构类？
• RQ5 K-理论计算能否用于证明 $k$-图 C*-代数同构于已知的 Cuntz 代数？

主要发现

• 对于 2-图 $\Lambda$，$K_0(C^*(\Lambda))$ 与 $K_1(C^*(\Lambda))$ 的 K-群完全由顶点矩阵 $M_1$ 与 $M_2$ 的史密斯标准形决定。
• 在 $k=3$ 的情形下，可在更强的假设下计算 K-群，例如当相关链复形微分的余核与核可通过史密斯标准形计算时。
• 对于单位元 $k$-图 C*-代数，$K_0(C^*(\Lambda))$ 的挠自由秩等于 $K_1(C^*(\Lambda))$ 的挠自由秩。
• 对于特定的 2-图 $\Lambda$，$K_0(C^*(\Lambda))$ 是一个阶为 16 的群，满足 $K_0(C^*(\Lambda)) \cong \mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$，且 $K_1(C^*(\Lambda)) \cong \mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$。
• 对于通过函子 $c: \mathbb{Z}_2 \times \mathcal{O}_3 \times \mathcal{O}_3 \times \mathcal{O}_3 \to \mathbb{Z}_2$ 定义的 3-图 $\Lambda$，K-群为平凡群，即 $K_0(C^*(\Lambda)) \cong 0$ 且 $K_1(C^*(\Lambda)) \cong 0$，根据 Kirchberg-Phillips 定理，这意味着 $C^*(\Lambda) \cong \mathcal{O}_2$。
• 本文确认，当满足 Kumjian 和 Pask（2000）以及 Robertson 和 Steger（1999）的假设时，$C^*(\Lambda)$ 是单位元 Kirchberg 代数，从而可通过 K-理论实现分类。