[论文解读] $C^*$-algebras of self-similar graphs over arbitrary graphs

Ruy Exel, Enrique Pardo Espino+1 more|arXiv (Cornell University)|Jul 4, 2018

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

一句话总结

本文通过使用去奇异化过程将自相似图的 $C^*$-代数构造从有限图推广到任意可数图，从而将问题约化为无源的行有限情形。该文以群作用和存在带入口的 $G$-回路来刻画所得 $C^*$-代数的单性，推广了早期关于有限图的结果，并为将 Kirchberg 代数实现为全群胚 $C^*$-代数提供了关键步骤。

ABSTRACT

In this note we extend the construction of a $C^*$-algebra associated to a self-similar graph to the case of arbitrary countable graphs. We reduce the problem to the row-finite case with no sources, by using a desingularization process. Finally, we characterize simplicity in this case.

研究动机与目标

• 将自相似图的 $C^*$-代数理论从有限图推广至任意可数图。
• 通过去奇异化过程，填补文献中从 [8] 的结果推广至一般图的空白。
• 以群作用和带入口的 $G$-回路的存在性来刻画 $C^*$-代数 $\mathcal{O}_{G,E}$ 的单性。
• 建立 $C^*$-代数为纯无穷单的条件，特别是当群为阿美布且紧致群胚为豪斯多夫时。

提出的方法

• 使用去奇异化过程将任意可数图变换为无源的行有限图，同时保持 $C^*$-代数结构不变。
• 从三元组 $(G,E,\varphi)$ 构造逆半群 $\mathcal{S}_{G,E}$，其元素为满足自相似条件的有限路径与群元素。
• 在无限路径空间 $E^\infty$ 上定义芽群胚 $\mathcal{G}_{\text{tight}}^{(G,E)}$，该空间同胚于幂等元半格的紧滤子空间。
• 通过带入口的 $G$-回路的存在性，利用逆半群技巧与拓扑群胚理论刻画紧致群胚为局部收缩。
• 应用 [7] 和 [8] 的结果，将群胚的局部收缩性与 $C^*$-代数的单性和纯无穷性联系起来。
• 利用去奇异化后的三元组 $(G,F,\widehat{\varphi})$，将行有限情形下的单性和纯无穷性结果转移至一般情形。

实验结果

研究问题

• RQ1 如何将自相似图的 $C^*$-代数构造从有限图推广至任意可数图？
• RQ2 何种去奇异化技术可使一般情形约化为行有限且无源的情形？
• RQ3 群作用与图结构的何种条件可保证 $C^*$-代数 $\mathcal{O}_{G,E}$ 的单性？
• RQ4 带入口的 $G$-回路的存在性如何与紧致群胚的局部收缩性及 $C^*$-代数的单性相关联？
• RQ5 在何种条件下 $C^*$-代数为纯无穷单，特别是当群为阿美布且紧致群胚为豪斯多夫时？

主要发现

• 任意可数图上的自相似图的 $C^*$-代数 $\mathcal{O}_{G,E}$ 同构于无源行有限图的 $C^*$-代数。
• $\mathcal{O}_{G,E}$ 的单性等价于标准作用 $\theta: G \curvearrowright E^\infty$ 为局部收缩，且逆半群 $\mathcal{S}_{G,E}$ 为局部收缩。
• 紧致群胚 $\mathcal{G}_{\text{tight}}^{(G,E)}$ 为局部收缩，当且仅当图中每个顶点均连接至一个带入口的 $G$-回路。
• 对每个顶点 $x$，存在一条有限路径 $\alpha_x$ 满足 $r(\alpha_x) = x$，以及一个带入口的 $G$-回路 $(g,\gamma)$ 满足 $s(\alpha_x) = r(\gamma)$，这是 $\mathcal{O}_{G,E}$ 单性的充要条件。
• 若 $G$ 为阿美布群，且去奇异化图 $F$ 的 $\mathcal{G}_{\text{tight}}^{(F)}$ 为豪斯多夫，则 $\mathcal{O}_{G,E}$ 的单性蕴含其纯无穷性。