[论文解读] A dynamical characterization of diagonal preserving $*$-isomorphisms of graph $C^*$-algebras

Sara E. Arklint, Søren Eilers+1 more|arXiv (Cornell University)|May 4, 2016

Advanced Operator Algebra Research参考文献 9被引用 7

一句话总结

该论文证明了图 C∗-代数 C∗(E) 与 C∗(F) 之间的对角保持 ∗-同构完全由其边界路径空间的连续轨道等价性所刻画，其中引入了一种改进的定义以保留最终周期点。关键结果表明，即使在不满足条件 (L) 的情况下，这种等价性依然成立，从而将先前的结果推广，并通过动力不变量完全解决了对角保持同构下的图 C∗-代数的分类问题。

ABSTRACT

We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorphism between the graph $C^*$-algebras $C^*(E)$ and $C^*(F)$.

研究动机与目标

• 通过改进轨道等价性的概念，将图 C∗-代数的分类结果推广至不满足条件 (L) 的情形。
• 建立图 C∗-代数之间对角保持 ∗-同构的完全动力刻画。
• 解决可数移位空间中轨道等价性与流等价性之间的关系。
• 统一并推广 Matsumoto、Matui 以及 Brownlowe–Carlsen–Whittaker 的结果，通过引入周期点保持机制。

提出的方法

• 引入一种改进的连续轨道等价性概念，以保留最终周期点。
• 利用 ERRS16 中的“插入”与“拔出”技术，将一般情形约化为满足条件 (L) 的情形。
• 构造图广群 GE 与 GF 之间的同构，从而诱导出 C∗(E) 与 C∗(F) 上的对角保持 ∗-同构。
• 利用图 C∗-代数的普遍性质，将广群同构提升为保持对角子代数的 ∗-同构。
• 以 [BCW14] 中关于满足条件 (L) 的图的结果作为基础情形。
• 通过稳定化与紧算子的稳定化，建立对角保持同构与保持周期点的轨道等价性之间的等价关系。

实验结果

研究问题

• RQ1 在什么条件下，两个图 C∗-代数会存在对角保持 ∗-同构？
• RQ2 边界路径空间上的何种动力条件恰好对应于此类同构？
• RQ3 如何将图 C∗-代数的分类结果推广至不满足条件 (L) 的图？
• RQ4 是否存在一种轨道等价性的改进形式，能够在环无出口时仍捕捉到对角保持同构？
• RQ5 保持周期点的轨道等价性与移位空间的流等价性之间存在何种关系？

主要发现

• C∗(E) 与 C∗(F) 之间存在对角保持 ∗-同构，当且仅当 E 与 F 的边界路径空间之间存在保持最终周期点的连续轨道等价。
• 即使在不满足条件 (L) 的情况下，该改进的轨道等价性（保持周期点）也是对角保持 ∗-同构的必要且充分条件。
• 对于无源点的有限图，经典轨道等价性恰好对应于对角保持 ∗-同构。
• C∗(E) ⊗ K 与 C∗(F) ⊗ K 的稳定化版本在保持对角子代数的意义下 ∗-同构，当且仅当其稳定化后的边界路径空间之间存在保持周期点的轨道等价。
• 本研究解决了可数移位空间中轨道等价性与流等价性之间的关系：稳定化图 SE 与 SF 的轨道等价性，等价于原始移位空间 XE 与 XF 的流等价性。
• 本文证实，即使在非单情形下，对角子代数正是从 C∗-代数中恢复原始移位空间所缺失的关键不变量。