[论文解读] A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras I, fundamental results

Takeshi Katsura|ArXiv.org|Jul 26, 2002

Advanced Operator Algebra Research参考文献 20被引用 14

一句话总结

本文引入了一类新的C*-代数，通过将C*-代数与拓扑图——四元组 (E⁰, E¹, d, r)，其中 d 是局部同胚且 r 是连续映射——相关联，从而统一了图C*-代数与同胚C*-代数。该文建立了基本结果，包括一个规范不变唯一性定理和一个Cuntz-Krieger唯一性定理，并提供了一个用于K-理论计算的六项式精确序列，构建了一个统一框架，既恢复了图代数已知的K-理论计算结果，又证明了所有此类代数的核性与UCT性质。

ABSTRACT

We introduce a new class of C^*-algebras, which is a generalization of both graph algebras and homeomorphism C^*-algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem, and compute the K-groups of our algebras.

研究动机与目标

• 在统一框架下统一研究图C*-代数与同胚C*-代数。
• 通过拓扑图 (E⁰, E¹, d, r) 定义一类新的C*-代数，其中 d 是局部同胚且 r 是连续映射。
• 为这一推广类建立基本结构定理——规范不变唯一性定理与Cuntz-Krieger唯一性定理。
• 通过KK-理论推导出的六项式精确序列，系统地计算 O(E) 的K-理论，为图代数K-理论提供新证明。
• 证明所有此类代数均为核代数且满足统一系数定理（UCT），确保其在分类理论中的可处理性。

提出的方法

• 从拓扑图构造C*-对应，允许左作用非单射，推广Cuntz-Pimsner代数。
• 将C*-代数 O(E) 定义为与拓扑图生成的C*-对应相关的相对Cuntz-Pimsner代数。
• 利用Fock空间表示，具体实现C*-代数 O(E)。
• 通过分析Toeplitz代数及其商代数的结构，建立规范不变唯一性定理。
• 通过KK-理论对理想结构与商映射的分析，证明Cuntz-Krieger唯一性定理。
• 从KK-理论推导出 O(E) 的六项式精确序列，该序列在可分性与第二可数性条件下退化为K-理论精确序列。

实验结果

研究问题

• RQ1 图C*-代数与同胚C*-代数能否被统一于一类C*-代数之下？
• RQ2 表示 O(E) 的C*-代数的忠实性所需且足够的条件是什么？该条件推广了Cuntz-Krieger与规范不变唯一性定理。
• RQ3 如何对任意拓扑图系统地计算 O(E) 的K-理论？
• RQ4 所有此类代数是否均为核代数？是否满足UCT，从而确保其在分类理论中的可处理性？
• RQ5 在动力系统背景下，d（定义域）与r（值域）映射在定义 O(E) 的代数与拓扑结构中起何作用？

主要发现

• 对于任意拓扑图 E 关联的C*-代数 O(E)，规范不变唯一性定理成立，确保尊重规范作用的表示是忠实的。
• Cuntz-Krieger唯一性定理在 O(E) 上成立，其保证在范围投影满足特定条件且不存在某些理想时，表示为忠实。
• 代数 O(E) 总是核代数且满足统一系数定理（UCT），使其可通过K-理论进行分类。
• 通过KK-理论推导出K-理论的六项式精确序列，该序列以 C₀(E⁰) 与 C₀(E⁰_rg) 的K-群表达 K₀(O(E)) 与 K₁(O(E))。
• 对于离散图，K-理论被恢复为 K₀(O(E)) ≅ coker(Δ) 与 K₁(O(E)) ≅ ker(Δ)，其中 Δ 是由 [δᵥ] − ∑[δ_{d(e)}]（e ∈ r⁻¹(v)）定义的矩阵，通过新方法确认了已知结果。
• 通过拓扑图的构造，统一了图代数（当 E⁰ 为离散空间时）与同胚代数（当 d 与 r 是空间上的映射时），表明二者均为 O(E) 的特例。