[论文解读] Subalgebras of Graph C*-Algebras

Alan Hopenwasser, Jurtin R. Peters+1 more|ArXiv.org|Sep 5, 2004

Advanced Algebra and Logic被引用 8

一句话总结

本文建立了图 C*-代数中双模的谱定理，表明一个双模被其谱决定当且仅当它由其所含的陈-克里格部分等距算子生成，或在规范自同构下不变。主要贡献是通过群胚同构，对规范不变、生成的三角代数进行了谱分类。

ABSTRACT

We prove a spectral theorem for bimodules in the context of graph C*-algebras. A bimodule over a suitable abelian algebra is determined by its spectrum (i.e., its groupoid partial order) iff it is generated by the Cuntz-Krieger partial isometries which it contains iff it is invariant under the gauge automorphisms. We study 1-cocycles on the Cuntz-Krieger groupoid associated with a graph C*-algebra, obtaining results on when integer valued or bounded cocycles on the natural AF subgroupoid extend. To a finite graph with a total order, we associate a nest subalgebra of the graph C*-algebra and then determine its spectrum. This is used to investigate properties of the nest subalgebra. We give a characterization of the partial isometries in a graph C*-algebra which normalize a natural diagonal subalgebra and use this to show that guage invariant generating triangular subalgebras are classified by their spectra.

研究动机与目标

• 将双模的谱定理从 AF C*-代数推广至图 C*-代数，由于非主群胚的存在，群胚技巧在此至关重要。
• 刻画图 C*-代数对角子代数上的双模何时被其谱完全决定，解决与 AF 情况的关键差异。
• 研究陈-克里格群胚上的 1-上循环，特别是整数值和有界上循环，及其扩张性质。
• 通过有限图上的全序定义并研究图 C*-代数的嵌套子代数，并确定其谱。
• 通过谱对图 C*-代数的规范不变、生成的三角子代数进行分类，推广 AF 代数的分类结果。

提出的方法

• 使用 r-离散、可约群胚来建模图 C*-代数，利用路径空间群胚总是可约的这一事实。
• 在对角 C*-子代数（由部分等距的初始和终投影生成）上定义双模，并通过群胚的偏序将其与谱关联。
• 应用来自 AF 代数的谱双模定理（由 Muhly 和 Solel 提出），证明两个条件等价：双模由陈-克里格部分等距算子生成，且在规范自同构下不变。
• 引入并分析陈-克里格群胚上的 1-上循环，特别关注有界和整数值上循环，采用从 AF 群胚理论改编的技术。
• 从带有全序的有限图构造一个嵌套子代数，并使用谱定理计算其谱。
• 利用正规化部分等距的范数刻画，从两个三角子代数之间的等距同构诱导出其谱之间的群胚同构，从而将代数同构与群胚结构联系起来。

实验结果

研究问题

• RQ1 图 C*-代数对角子代数上的双模在何种条件下被其谱完全决定？
• RQ2 陈-克里格群胚上的 1-上循环性质与 AF 群胚上的有何不同，特别是对于有界和整数值上循环？
• RQ3 图 C*-代数的嵌套子代数能否被其谱完全刻画，其谱如何从图的全序计算得出？
• RQ4 图 C*-代数的规范不变、生成的三角子代数在多大程度上继承了其 AF 类似物的分类性质？
• RQ5 两个三角子代数之间的等距同构与它们谱的群胚同构之间存在何种精确关系？

主要发现

• 图 C*-代数对角子代数上的双模被其谱决定当且仅当它由其所含的陈-克里格部分等距算子生成。
• 双模被其谱决定当且仅当它在图 C*-代数的规范自同构下不变。
• 图 C*-代数中双模的谱定理需要额外条件，而不仅仅是谱本身，这与主群胚（AF）情形不同。
• 对于带有全序的有限图，其对应的嵌套子代数的谱可以显式计算，并与图中的有限路径集之间存在双射。
• 图 C*-代数的规范不变、生成的三角子代数通过群胚同构，按其谱在等距同构下被分类。
• 两个规范不变、生成的三角子代数之间的等距同构诱导出其谱之间的群胚同构，反之亦然。