[论文解读] Stable rank of graph algebras. Type I graph algebras and their limits

Klaus Deicke, Jeong Hee Hong+1 more|ArXiv.org|Nov 8, 2002

Advanced Operator Algebra Research被引用 7

一句话总结

本文确定了任意可数有向图对应的陈-克里格代数的稳定秩，表明其值只能为 1、2 或 ∞。文中给出了每种情况的明确判别准则，刻画了类型 I 图代数以及作为类型 I 代数归纳极限的代数，并证明图代数中的伽马不变理想本身同构于图代数——这些关键结果使得通过结构分解与逼近技术实现稳定秩的分类成为可能。

ABSTRACT

For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algebra is itself isomorphic to a graph algebra.

研究动机与目标

• 确定任意可数有向图对应的陈-克里格代数的稳定秩可能取值。
• 刻画类型 I 图代数以及作为类型 I C*-代数归纳极限的图代数。
• 建立图代数中每个伽马不变理想都同构于另一个图代数，从而实现结构分解。
• 基于图论性质，提供稳定秩为 1、2 或 ∞ 的明确判别准则。

提出的方法

• 利用伽马作用和图 C*-代数的普遍性质来定义并分析代数结构。
• 应用 [13] 中的逼近方法，将无限图代数表示为有限图代数的递增极限。
• 构造一个稳定且伽马不变的理想，其商代数同构于具有孤立环路的图代数，从而支持归纳推理。
• 运用恰当序列，并利用 Rieffel 的结果 [14]，特别是引理 4.12，证明稳定秩在扩张下保持不变。
• 对有限子图中孤立顶点-简单环路的数量进行归纳论证，利用这些子图的稳定秩 ≤2 的事实。
• 利用递增 C*-代数列的极限的稳定秩受其稳定秩的下极限有界的事实，应用 [14] 中的定理 5.1。

实验结果

研究问题

• RQ1 任意可数有向图的 C*-代数的稳定秩可能取值为何？
• RQ2 在何种情况下图 C*-代数的稳定秩等于 1、2 或 ∞？
• RQ3 哪些图代数属于类型 I，哪些是类型 I C*-代数的归纳极限？
• RQ4 图代数中的伽马不变理想如何进行代数刻画？
• RQ5 图的何种结构条件可保证其关联的 C*-代数具有稳定秩 1 或 2？

主要发现

• 图 C*-代数的稳定秩总是 1、2 或 ∞，不存在中间值。
• 稳定秩为 1 当且仅当图中不存在带有出口的环路，依据 [13, 命题 5.5]。
• 稳定秩为 2 当且仅当图中至少存在一个带有出口的环路，且不存在单位的、纯无穷的、单的商代数。
• 稳定秩为 ∞ 当且仅当图代数允许一个单位的、纯无穷的、单的商代数。
• 图代数中的每个伽马不变理想都同构于一个图代数，该结果作为引理 1.5 证明并贯穿全文使用。
• 由于同构结果与已知的理想结构，图代数类在取伽马不变理想与商代数下是封闭的。