[论文解读] Cuntz-like algebras

Jean Renault|ArXiv.org|May 29, 1999

Advanced Operator Algebra Research参考文献 12被引用 46

一句话总结

本论文将Cuntz型C*-代数定义为由单生成伪群导出的广群C*-代数，该伪群由部分局部同胚定义，推广了无限矩阵的Cuntz-Krieger代数。在动力学条件下，证明了这些代数具有核性、单性或纯无穷性，并通过拓扑动力系统与广群技巧，为图代数和Exel-Laca代数提供了统一的框架。

ABSTRACT

The usual crossed product construction which associates to the homeomorphism $T$ of the locally compact space $X$ the C$^*$-algebra $C^*(X,T)$ is extended to the case of a partial local homeomorphism $T$. For example, the Cuntz-Krieger algebras are the C$^*$-algebras of the one-sided Markov shifts. The generalizations of the Cuntz-Krieger algebras (graph algebras, algebras $O_A$ where $A$ is an infinite matrix) which have been introduced recently can also be described as C$^*$-algebras of Markov chains with countably many states. This is useful to obtain such properties of these algebras as nuclearity, simplicity or pure infiniteness. One also gives examples of strong Morita equivalences arising from dynamical systems equivalences.

研究动机与目标

• 将交叉积构造从全局同胚推广到部分局部同胚，从而涵盖更广泛的C*-代数类。
• 在单一动力学框架下统一描述无限矩阵的Cuntz-Krieger代数、图代数及其相关推广。
• 利用拓扑广群技巧与动力系统性质，建立这些代数的核性、单性和纯无穷性。
• 通过动力系统等价性（特别是移位等价性）实现强莫里塔等价，揭示此类C*-代数之间的强莫里塔等价关系。
• 为Exel与Laca关于无限(0,1)-矩阵的C*-代数提供广群理论实现，澄清其结构与唯一性。

提出的方法

• 在拓扑空间X上定义一个部分局部同胚T，生成全伪群G(X,T)。
• 构造广群的芽G = Germ(X, G(X,T))，其为本质上主的、局部紧致的、豪斯多夫的广群。
• 将C*-代数C*(X,T)定义为G的广群C*-代数，采用广群理论中的标准构造方法。
• 利用广群的可约性与本质主性，通过已知结果（如[22]中的定理4.3）推导出核性与唯一性定理。
• 应用动力学条件（如不可约性与(L)条件：每个环路均有外出边）来刻画单性与纯无穷性。
• 通过由移位等价性导出的广群等价性，建立C*-代数之间的同构关系。

实验结果

研究问题

• RQ1 如何利用拓扑动力系统将Cuntz-Krieger代数构造推广至无限矩阵与图代数？
• RQ2 在部分同胚T满足何种动力学条件时，关联的C*-代数C*(X,T)是单的或纯无穷的？
• RQ3 C*-代数的谱与底层移位空间之间的确切关系为何，特别是关于点(∅;∅)？
• RQ4 强莫里塔等价如何从动力系统等价性（如移位等价性）中产生？
• RQ5 在何种情况下，C*-代数C*(X,T)与酉C*-代数O_A或其非酉版本重合？

主要发现

• 对于无全零行的(0,1)-矩阵A，与之关联的C*-代数C*(X_A, T_A)在∅ ∉ J_A时同构于Cuntz-Krieger代数O_A；若∅ ∈ J_A，则在X_A ∖ {(∅;∅)}上的限制同构于O_A。
• 若A不可约且满足(L)条件，则C*(X_A, T_A)是单的，因为其关联广群本质上自由且系统具有拓扑传递性。
• 若A满足(L)条件且每个顶点均位于具有外出边的环路上，则C*(X_A, T_A)是纯无穷的，因为每个非空开集均存在一个子集，其在T下的迭代像真包含于其像中。
• 在满足Cuntz-Krieger关系(CK1–CK4)的希尔伯特空间上的C*(X_A, T_A)表示是忠实的，从而保证了C*-代数在保持生成元的同构意义下的唯一性。
• 若关联广群可约，则C*(X_A, T_A)是核的，此条件在(L)条件与不可约性下成立。
• C*(X_A, T_A)与C*(X_B, T_B)之间的强莫里塔等价关系，源于底层动力系统之间移位等价性所诱导的广群等价性。