[论文解读] C*-equivalences of graphs

D. Drinen, Nándor Sieben|ArXiv.org|Oct 15, 1998

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

一句话总结

本文研究了有向图上的等价关系——原始等价、反向原始等价、爆发等价与强移位等价，并证明这些关系通过图广群构造保持关联图 C*-代数的同构或莫里塔等价类。主要贡献在于表明此类图运算在 C*-代数中诱导结构不变性，为图 C*-代数的分类及规范形式的探索提供了工具。

ABSTRACT

Several relations on graphs, including primitive equivalence, explosion equivalence and strong shift equivalence, are examined and shown to preserve either the graph groupoid, a construction of Kumjian, Pask, Raeburn, and Renault, or the groupoid of a pointed version of the graph. Thus these relations preserve either the isomorphism class or the Morita equivalence class of the graph C*-algebra, as defined by Kumjian, Pask, and Raeburn.

研究动机与目标

• 确定哪些图变换能保持图 C*-代数的同构或莫里塔等价类。
• 将原始等价从有限图推广到可数的行有限图，并考察其在更高顶点数下的局限性。
• 定义并分析反向原始等价与爆发等价作为图广群与 C*-代数的不变量。
• 阐明强移位等价与广群同构之间的关系，提供库恩茨-克里格莫里塔等价结果的替代证明。
• 研究爆发-原始等价是否能完全刻画图广群同构，识别出算法验证中的开放问题。

提出的方法

• 使用库姆让、帕斯克、罗布恩与雷诺尔的图广群构造，将图结构与 C*-代数不变量关联起来。
• 应用矩阵运算——行与列置换、矩阵爆发（将顶点展开为路径）——来定义图等价关系。
• 分析这些运算对图广群的影响，表明爆发保持广群同构类型。
• 证明反向爆发保持广群至多在基点同构意义下，从而暗示 C*-代数的莫里塔等价性。
• 运用强移位等价与初等强移位等价，将矩阵等价关系与 C*-代数的莫里塔等价关联起来。
• 使用反例与计算验证表明，如原始等价这样的关系并不蕴含反向原始等价或爆发等价。

实验结果

研究问题

• RQ1 图的原始等价是否蕴含其 C*-代数的同构？这一条件在所有情况下是否为同构的必要条件？
• RQ2 反向原始等价是否能在不保持同构的情况下保持图 C*-代数的莫里塔等价类？
• RQ3 爆发等价是否保持图广群的同构类，从而保持 C*-代数的同构类？
• RQ4 是否存在通过爆发与原始等价对图广群同构的完全刻画？
• RQ5 初等强移位等价的图是否总是产生同构的 C*-代数，还是仅产生莫里塔等价的代数？

主要发现

• 原始等价在可数行有限图上保持图 C*-代数的同构类，推广了早期结果。
• 反向原始等价保持 C*-代数的莫里塔等价类，但不一定保持同构类。
• 爆发等价保持图广群的同构类型，因此也保持 C*-代数的同构类。
• 反向爆发等价不保持广群同构，但在点化修改后保持，从而暗示 C*-代数的莫里塔等价性。
• 初等强移位等价蕴含 C*-代数的莫里塔等价，为库恩茨与克里格的结果提供了替代证明。
• 反例表明，原始等价并不蕴含反向原始等价，爆发等价也不蕴含原始等价，即使在小规模情况下亦然。