[论文解读] Topological higher-rank graphs and the $C^*$-algebras of topological 1-graphs

Trent Yeend|ArXiv.org|Sep 20, 2005

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

一句话总结

本文引入了拓扑高秩图作为统一框架，同时推广了高秩图与拓扑图。通过广群技巧，为这些结构定义了Toeplitz代数与Cuntz-Krieger代数，并证明该构造在限制到1-图情形时，能恢复已知的$C^*$-代数，且在高秩设定下理论扩展一致。

ABSTRACT

We introduce the notion of a topological higher-rank graph, a unified generalization of the higher-rank graph and the topological graph. Using groupoid techniques, we define the Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs, and show that the $C^*$-algebras defined are coherent with the existing theory.

研究动机与目标

• 将高秩图$C^*$-代数理论与拓扑图$C^*$-代数理论统一到一个单一框架中。
• 通过在顶点集与边集上引入拓扑结构，推广高秩图的概念。
• 从拓扑高秩图$\Lambda$构造路径广群$G_{\bar{\Lambda}}$，在紧致对齐条件下确保其局部紧致性与$r$-离散性。
• 通过广群$C^*$-代数构造方法，构建$\Lambda$的Toeplitz代数与Cuntz-Krieger代数。
• 验证当限制到1-图情形时，该构造能恢复拓扑图的标准$C^*$-代数。

提出的方法

• 将拓扑高秩图$\Lambda$定义为带有度数函子$d: \Lambda \to \mathbb{N}^k$的范畴，并在其态射上赋予局部紧致的豪斯多夫拓扑。
• 将路径空间$X_\Lambda$定义为$\Lambda$中所有无限路径的集合，并赋予由柱集诱导的拓扑。
• 定义路径广群$G_\Lambda$，其单位空间为$X_\Lambda$，其中元素为三元组$(x, m, y)$，满足$x, y \in X_\Lambda$且$m \in \mathbb{Z}^k$，使得$\sigma^m x = y$。
• 引入紧致对齐的拓扑高秩图概念，以确保$G_\Lambda$是局部紧致且$r$-离散的，且范围与源映射连续。
• 为$G_\Lambda$配备计数测度的哈尓系统，从而定义全广群$C^*$-代数$C^*(G_\Lambda)$，称为$\Lambda$的Toeplitz代数。
• 识别出一个闭的$G_\Lambda$-不变子集$\partial\Lambda \subset X_\Lambda$，并定义边界路径广群$\mathcal{G}_\Lambda = G_\Lambda|_{\partial\Lambda}$，其$C^*$-代数即为Cuntz-Krieger代数。

实验结果

研究问题

• RQ1 能否通过广群方法，发展一个统一框架，同时推广高秩图与拓扑图？
• RQ2 图的何种拓扑条件可使路径广群成为局部紧致且$r$-离散的？
• RQ3 拓扑高秩图的Toeplitz代数与Cuntz-Krieger代数如何与文献中既有的构造相关联？
• RQ4 当限制到1-图情形时，拓扑高秩图的广群$C^*$-代数构造是否能恢复拓扑图的标准$C^*$-代数？
• RQ5 何种条件能保证$C^*$-代数上存在一个规范作用，从而可应用规范不变唯一性定理？

主要发现

• 紧致对齐的拓扑高秩图$\Lambda$的路径广群$G_\Lambda$是一个局部紧致、$r$-离散的拓扑广群，且具有计数测度的哈尓系统。
• 全广群$C^*$-代数$C^*(G_\Lambda)$是良好定义的，称为$\Lambda$的Toeplitz代数。
• 边界路径广群$\mathcal{G}_\Lambda = G_\Lambda|_{\partial\Lambda}$是一个局部紧致、$r$-离散的拓扑广群，且可配备计数测度系统。
• Cuntz-Krieger代数定义为$C^*(\mathcal{G}_\Lambda)$，且该构造与现有的拓扑图$C^*$-代数理论一致。
• 当限制到拓扑1-图情形时，Cuntz-Krieger代数$C^*(\mathcal{G}_\Lambda)$与文献中定义的关联拓扑图的$C^*$-代数一致。
• 由规范不变唯一性定理，同态$\Phi_0 \times_{\mathcal{O}} \Phi_1: \mathcal{O}(E_\Lambda) \to C^*(\mathcal{G}_\Lambda)$既是满射也是单射，因此是同构。