[论文解读] C*-algebras of separated graphs

Pere Ara, K. R. Goodearl|arXiv (Cornell University)|Feb 21, 2011

Advanced Operator Algebra Research参考文献 17被引用 3

一句话总结

本文引入并分析了分离图 $(E,C)$ 的 C*-代数，将图 C*-代数理论扩展至包含基于顶点的边划分。本文构造了全 C*-代数 $C^*(E,C)$ 与约化 C*-代数 $C^*_{\text{red}}(E,C)$，利用邻接矩阵建立 K-理论公式，并证实了 McClanahan 对 $U^{ ext{nc}}_{m,n}$ K-理论的猜想。一个关键结果是通过邻接矩阵定义的映射的余核与核，完整描述了 $K_0$ 与 $K_1$。

ABSTRACT

The construction of the C*-algebra associated to a directed graph $E$ is extended to incorporate a family $C$ consisting of partitions of the sets of edges emanating from the vertices of $E$. These C*-algebras $C^*(E,C)$ are analyzed in terms of their ideal theory and K-theory, mainly in the case of partitions by finite sets. The groups $K_0(C^*(E,C))$ and $K_1(C^*(E,C))$ are completely described via a map built from an adjacency matrix associated to $(E,C)$. One application determines the K-theory of the C*-algebras $U^{ ext{nc}}_{m,n}$, confirming a conjecture of McClanahan. A reduced C*-algebra $\Cstred(E,C)$ is also introduced and studied. A key tool in its construction is the existence of canonical faithful conditional expectations from the C*-algebra of any row-finite graph to the C*-subalgebra generated by its vertices. Differences between $\Cstred(E,C)$ and $C^*(E,C)$, such as simplicity versus non-simplicity, are exhibited in various examples, related to some algebras studied by McClanahan.

研究动机与目标

• 通过分离图 $(E,C)$ 将基于顶点的边划分纳入图 C*-代数的推广。
• 为有限分离图发展全 C*-代数 $C^*(E,C)$ 与约化 C*-代数 $C^*_{\text{red}}(E,C)$ 的理论。
• 通过由邻接矩阵导出的映射，完整描述 $C^*(E,C)$ 的 $K_0$ 与 $K_1$。
• 通过新框架计算 $U^{\text{nc}}_{m,n}$ 的 K-理论，解决 McClanahan 的猜想。
• 研究全 C*-代数与约化 C*-代数之间的区别，特别是关于单性与理想结构。

提出的方法

• 将分离图 $(E,C)$ 定义为一个有向图 $E$，其每个顶点的出边被一族 $C$ 划分。
• 构造勒维特路径代数 $L(E,C)$，作为由图与划分关系生成的泛 *-代数。
• 将 $C^*(E,C)$ 定义为 $L(E,C)$ 的泛 C*-包络，而 $C^*_{\text{red}}(E,C)$ 通过约化范数构造。
• 引入一个典范的忠实条件期望 $\Phi_E: C^*(E) \to C_0(E^0)$，适用于行有限图，从而实现约化代数的构造。
• 利用并置自由积理论分析 $C^*(E,C)$ 与 $C^*_{\text{red}}(E,C)$ 的结构，特别是在有限分离情形。
• 通过 $\text{id} - A$ 的余核与核推导出 $K_0$ 与 $K_1$，其中 $A$ 是分离图 $(E,C)$ 的邻接矩阵，从而实现 K-理论的完整描述。

实验结果

研究问题

• RQ1 如何通过分离图将图 C*-代数推广至包含基于顶点的边划分？
• RQ2 $C^*(E,C)$ 与 $C^*_{\text{red}}(E,C)$ 的理想结构是什么？它与 $E^0$ 的遗传 $C$-饱和子集有何关联？
• RQ3 $C^*(E,C)$ 的 K-理论能否通过图与划分导出的矩阵映射完全描述？
• RQ4 当全代数不单时，约化 C*-代数 $C^*_{\text{red}}(E,C)$ 是否在某些情形下表现出单性？
• RQ5 从单群 $M(E,C)$ 到 $\mathcal{V}(C^*(E,C))$ 的自然映射是否为同构，如所猜想的那样？

主要发现

• 根据定理 5.2，$C^*(E,C)$ 的 K-理论完全由映射 $\text{id} - A$ 的余核与核决定，其中 $A$ 是分离图 $(E,C)$ 的邻接矩阵。
• 计算并确认了 $U^{\text{nc}}_{m,n}$ 的 C*-代数的 K-理论，结果与 McClanahan 的猜想一致，其中 $K_0$ 是由 $[e_{11}]$ 生成的无限循环群。
• 对于某些有限分离图，包括与 Brown 和 McClanahan 的例子相关的图，约化 C*-代数 $C^*_{\text{red}}(E,C)$ 是单的。
• 存在例子使得 $C^*_{\text{red}}(E,C)$ 是单的，但 $C^*(E,C)$ 不是单的，原因在于存在非平凡的遗传 $C$-饱和子集格。
• 对于所有行有限图，典范的忠实条件期望 $\Phi_E: C^*(E) \to C_0(E^0)$ 存在，从而支持 $C^*_{\text{red}}(E,C)$ 的构造。
• 从单群 $M(E,C)$ 到 $\mathcal{V}(C^*(E,C))$ 的自然映射被猜想为同构，扩展了对非分离图已知的结果。