[论文解读] Ext classes and embeddings for C*-algebras of graphs with sinks

Mark Tomforde|ArXiv.org|Mar 8, 2001

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

一句话总结

本文建立了有向图 $G$ 的 1-汇点扩张与 $∟ext(C^*(G))$ 的元素之间的对应关系，表明一个含汇点的图的 $C^*$-代数可被 $C^*(G)$-嵌入到另一个中，当且仅当它们对应的 Ext 类相等。关键结果在每个环在 $G$ 中均有出口的条件下，推广了含汇点图 $C^*$-代数的分类定理。

ABSTRACT

We consider directed graphs E which have been obtained by adding a sink to a fixed graph G. We associate an element of Ext(C*(G)) to each such E, and show that the classes of two such graphs are equal in Ext(C*(G)) if and only if the associated C*-algebra of one can be embedded as a full corner in the C*-algebra of the other in a particular way. If every loop in G has an exit, then we are able to use this result to generalize some of the classification theorems of Raeburn, Tomforde, and Williams for C*-algebras of graphs with sinks.

研究动机与目标

• 理解包含汇点的有向图所生成的 $C^*$-代数的结构，这些结构在早期的 Cuntz-Krieger 和图代数框架中被排除。
• 通过将它们与 Ext 群联系起来，推广含汇点图的 $C^*$-代数的分类定理。
• 为一个含汇点图的 $C^*$-代数能否通过 $C^*(G)$-嵌入作为另一个的全角嵌入，提供图论上的判别准则。
• 分析边界顶点、路径以及 Wojciech 向量在决定 Ext 类和嵌入关系中的作用。

提出的方法

• 利用 Wojciech 向量和路径结构，将每个图 $G$ 的 1-汇点扩张 $E$ 关联到 $\operatorname{Ext}(C^*(G))$ 中的一个类。
• 通过向量 $\omega_E^1 + Xn_E$ 在 $A_F - I$ 的余核中的像来定义 $E$ 的 Ext 类，其中 $F$ 是一个有限顶点集，$A_F$ 是限制在 $F$ 上的邻接矩阵。
• 利用最大尾巴的结构以及从汇点可达的顶点，定义决定相关同调数据的集合 $H$ 和 $F^0$。
• 应用对向量对的 CK-等价关系，刻画何时两个此类扩张产生等价的 Ext 类。
• 将 $C^*(E_1)$ 嵌入 $C^*(E_2)$ 的问题归约为检查两个 Ext 类是否相等，利用余核条件 $[\omega_{E_1}^1 + Xn_{E_1}] = [\omega_{E_2}^1 + Xn_{E_2}]$ 在 $\operatorname{coker}(A_F - I)$ 中成立。
• 使用线性代数方法检验方程组是否有解，从而确定类的相等性。

实验结果

研究问题

• RQ1 在什么条件下，图 $G$ 的 1-汇点扩张的 $C^*$-代数可以通过 $C^*(G)$-嵌入作为另一个此类代数的全角？
• RQ2 Wojciech 向量和 $H$ 中可达顶点的边界边计数如何影响含汇点图的 Ext 类？
• RQ3 两个 $G$ 的 1-汇点扩张在 $\operatorname{Ext}(C^*(G))$ 中产生同一类的精确条件是什么？
• RQ4 从 $F^0$ 到 $H$ 中边界顶点是否存在路径，如何影响扩展图的 $C^*$-代数之间的嵌入关系？
• RQ5 在什么条件下 Ext 类相等关系是平凡满足的，这与完全无意义扩张有何关联？

主要发现

• 两个图 $G$ 的 1-汇点扩张 $E_1$ 和 $E_2$ 在 $C^*(G)$-嵌入下具有同构的 $C^*$-代数，当且仅当它们在 $\operatorname{Ext}(C^*(G))$ 中对应的 Ext 类相等。
• 1-汇点扩张的 Ext 类由向量 $\omega_E^1 + Xn_E$ 模 $\operatorname{im}(A_F - I)$ 决定，其中 $F$ 是一个有限顶点集，$A_F$ 是 $F$ 上的邻接矩阵。
• 如果 $G$ 中每个环都有出口，则 Ext 类条件完全刻画了 $C^*(E_1)$ 和 $C^*(E_2)$ 之间存在 $C^*(G)$-嵌入的条件，从而推广了已知的分类定理。
• 对于完全无意义的扩张（即 $G$ 中无顶点能到达汇点），Ext 类条件自动满足，且一个 $C^*$-代数总能被 $C^*(G)$-嵌入到另一个中。
• 若 $H$ 中对应的边界顶点不可从 $F^0$ 到达，则 $\omega_E^2$ 的值对 Ext 类无影响，即仅可达的边界边影响嵌入条件。
• 在双无限线图 $G$ 的例子中，所有本质的 1-汇点扩张具有相同的 Ext 类，因为 $A_G - I$ 是满射，因此嵌入成立当且仅当两个扩张均为本质的或均为完全无意义的。