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

Takeshi Katsura|ArXiv.org|May 14, 2004

Advanced Operator Algebra Research参考文献 15被引用 4

一句话总结

本文将C*-代数的构造从拓扑图推广，统一了图C*-代数与同胚C*-代数。它引入了生成新拓扑图的操作，建立了相关C*-代代数之间的$*$-同态，并通过表示理论刻画C*-代数，表明其包含所有已知的可分类C*-代数，且与半群胚动力系统（SGDS）的C*-代数等价。

ABSTRACT

We show that the method to construct C^*-algebras from topological graphs, introduced in our previous paper, generalizes many known constructions. We give many ways to make new topological graphs from old ones, and study the relation of C^*-algebras constructed from them. We also prove that our C^*-algebras have a certain characterization. This gives us another definition of our C^*-algebras.

研究动机与目标

• 将C*-代数的构造从拓扑图推广，统一图代数与同胚代数。
• 开发从已有拓扑图生成新拓扑图的操作，保持其相关C*-代数中结构关系的保真性。
• 通过表示理论刻画从拓扑图导出的C*-代数，而无需依赖辅助空间如$E^0_{\text{rg}}$。
• 证明所有可分类C*-代数——特别是来自半群胚动力系统（SGDS）的——均可实现为拓扑图C*-代数。
• 在相关拓扑图的C*-代数之间建立强莫代尔等价性，以支持结构比较。

提出的方法

• 定义拓扑图之间的因子映射，其诱导出相关C*-代数之间的$*$-同态。
• 在C*-代数中使用Toeplitz对$(T^0, T^1)$生成普遍Toeplitz代数${\mathcal{T}}(E)$，并通过表示理论刻画Cuntz-Krieger代数${\mathcal{O}}(E)$。
• 构造拓扑图的投影系统及其极限，关联相应的$\mathcal{T}(E)$与$\mathcal{O}(E)$代数。
• 引入如图并集、拉回与拓扑余极限等操作，生成新的拓扑图，其C*-代数与原代数强莫代尔等价。
• 应用拓扑图C*-代数的普遍性质，证明半群胚动力系统$(X,\sigma)$的$C^*(X,\sigma)$同构于某个合适拓扑图$E$的$\mathcal{O}(E)$。
• 利用局部同胚与上循环作用，证明相关$*$-同态的满射性与单射性，从而确立$\mathcal{O}(E)$与$C^*(X,\sigma)$之间的同构关系。

实验结果

研究问题

• RQ1 如何系统地从已有拓扑图构造新拓扑图，同时保持其C*-代数中结构关系的保真性？
• RQ2 在何种条件下，从拓扑图导出的C*-代数同构于半群胚动力系统（SGDS）的C*-代数？
• RQ3 能否在不引用辅助空间如$E^0_{\text{rg}}$的情况下，完全通过表示理论刻画拓扑图的C*-代数？
• RQ4 拓扑图C*-代数在多大程度上包含所有已知的可分类C*-代数，特别是来自图与同胚构造的那些？
• RQ5 在何种条件下，不同拓扑图关联的C*-代数是强莫代尔等价的？

主要发现

• 拓扑图$E$的C*-代数$\mathcal{O}(E)$同构于半群胚动力系统（SGDS）的C*-代数$C^*(X,\sigma)$，建立了完全的对应关系。
• 所有已知的可分类C*-代数——特别是来自图代数、同胚代数与SGDS的——均可实现为拓扑图C*-代数。
• 通过Toeplitz对构造$\mathcal{O}(E)$的方法允许在不使用空间$E^0_{\text{rg}}$的情况下进行刻画，从而简化了结构分析。
• 拓扑图之间的因子映射诱导出其相关C*-代数之间的$*$-同态，从而支持结构比较。
• 如拉回与并集等操作生成的新拓扑图，其C*-代数与原代数强莫代尔等价。
• 当且仅当关联的SGDS$(X,\sigma)$是本质自由的时，拓扑图$E$是拓扑自由的，从而将拓扑自由性与动力系统的自由性条件联系起来。