[论文解读] Graph inverse semigroups, groupoids and their C*-algebras

Alan L. T. Paterson|ArXiv.org|Apr 23, 2003

Advanced Operator Algebra Research参考文献 20被引用 81

一句话总结

本文通过引入图反演半群并构造一个通用广群，将图 C*-代数的广群方法推广至非局部有限图，其广群的约化得到一个包含无限路径及特定有限路径的路径广群。关键贡献是通过广群方法证明了 W. Szymański 的图 C*-代数单纯性定理，表明单纯性成立当且仅当图满足条件 (K)，是共终的，并且从每个顶点到每个无限发射点都存在路径。

ABSTRACT

We develop a theory of graph C*-algebras using path groupoids and inverse semigroups. Row finiteness is not assumed so that the theory applies to graphs for which there are vertices emitting a countably infinite set of edges. We show that the path groupoid is amenable, and give a groupoid proof of a recent theorem of Szymanski characterizing when a graph C*-algebra is simple.

研究动机与目标

• 将图 C*-代数的广群实现推广至任意可数有向图，去除局部有限性的假设。
• 定义由顶点和边生成的图反演半群，满足类似 Cuntz 的关系，以支持通用广群的构造。
• 构造一个路径广群，其单位元包含无限路径及终止于 $ V_\infty $（具有无限多条外出边的顶点）的特定有限路径，推广局部有限情形。
• 证明路径广群的可约性，并建立图 C*-代数单纯性的广群理论表征。
• 通过广群极小性与条件 (K) 提供 W. Szymański 单纯性定理的新证明。

提出的方法

• 将图反演半群 $ S_{\mathcal{E}} $ 定义为由 $ \mathcal{E} $ 的顶点和边生成的反演半群，满足编码路径复合与正交性的类似 Cuntz 的关系。
• 利用反演半群的通用广群构造，为 $ S_{\mathcal{E}} $ 关联一个通用 r-离散广群 $ H $，使得 $ C^*(S_{\mathcal{E}}) \cong C^*(H) $。
• 将路径广群 $ G $ 构造为 $ H $ 的约化，其中单位元包括所有无限路径以及终止于 $ V_\infty $ 中顶点的有限路径（即具有无限多条外出边的顶点）。
• 证明 $ G $ 总是可约的，因此 $ C^*(G) = C^*_{\text{red}}(G) $，从而可应用约化 C*-代数技术。
• 通过单位空间的闭不变子集的拓扑论证，证明 $ G $ 本质上是正则的当且仅当 $ \mathcal{E} $ 满足条件 (K)。
• 建立 $ C^*(\mathcal{E}) \cong C^*(G) $，并利用本质上正则广群中单纯性与极小性的等价性，证明单纯性定理。

实验结果

研究问题

• RQ1 如何将图 C*-代数的广群模型推广至非局部有限图？
• RQ2 在一般情形下，路径广群背后的反演半群结构是什么？它与 C*-代数有何关系？
• RQ3 为何路径广群的单位空间包含终止于无限发射点的有限路径？它们在广群结构中起什么作用？
• RQ4 在何种条件下路径广群 $ G $ 是极小的？这与 $ C^*(\mathcal{E}) $ 的单纯性有何关联？
• RQ5 能否通过可约性与本质正则性，给出 W. Szymański 单纯性定理的广群理论证明？

主要发现

• 路径广群 $ G $ 总是可约的，因此其全 C*-代数与约化 C*-代数一致。
• 图反演半群 $ S_{\mathcal{E}} $ 同构于包含顶点（零长度路径）的路径对的反演半群。
• 路径广群 $ G $ 本质上是正则的当且仅当图 $ \mathcal{E} $ 满足条件 (K)。
• C*-代数 $ C^*(\mathcal{E}) $ 同构于 $ C^*(G) $，推广了局部有限情形。
• 图 C*-代数 $ C^*(\mathcal{E}) $ 是单纯当且仅当 $ \mathcal{E} $ 满足条件 (K)，是共终的，并且从每个顶点到每个无限发射点都存在路径。
• 本文通过广群方法证明了 W. Szymański 的单纯性定理，将 $ G $ 的极小性作为关键条件。