[论文解读] Graphs, groups and self-similarity

Ruy Exel, Enrique Pardo|arXiv (Cornell University)|Jul 3, 2013

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

一句话总结

本文引入了一种统一的 C*-代数构造，记为 $\mathcal{O}_{G,E}$，用于通过一个一阶上循环 $\varphi$ 作用于有限图 $E$ 的路径空间上的群作用，该构造同时推广了 Katsura 代数 $\mathcal{O}_{A,B}$ 和 Nekrashevych 代数 $\mathcal{O}_{(G,X)}$。关键结果是 $\mathcal{O}_{G,E}$ 同构于一个对应关系的 Cuntz-Pimsner 代数，且当 $G$ 为可约群时，$\mathcal{O}_{G,E}$ 是核的，从而扩展了群胚 C*-代数与自相似动力系统理论中的已知结果。

ABSTRACT

We study a family of C*-algebras generalizing both Katsura algebras and certain algebras introduced by Nekrashevych in terms of self-similar groups.

研究动机与目标

• 在统一框架下整合两类不同的 C*-代数——Katsura 代数 $\mathcal{O}_{A,B}$ 与 Nekrashevych 代数 $\mathcal{O}_{(G,X)}$。
• 将自相似群作用从根树推广至有限图的路径空间，通过上循环 $\varphi$ 允许非忠实作用。
• 从群 $G$、有限图 $E$ 及其带有上循环 $\varphi$ 的 $G$-作用出发，构造满足路径上自相似性条件的 C*-代数 $\mathcal{O}_{G,E}$。
• 证明 $\mathcal{O}_{G,E}$ 同构于一个对应关系的 Cuntz-Pimsner 代数，从而将其与已建立的 C*-代数构造联系起来。
• 在 $G$ 为可约群时，建立 $\mathcal{O}_{G,E}$ 的核性，扩展群胚 C*-代数理论中的已知结果。

提出的方法

• 在 $G$ 对路径空间 $E^*$ 的作用上定义自相似性条件：$g(\alpha\beta) = (g\alpha)(\varphi(g,\alpha)\beta)$，其中 $\varphi$ 是 $G$ 在 $E^1$ 上作用的一阶上循环。
• 通过由群作用与上循环导出的生成元与关系构造 C*-代数 $\mathcal{O}_{G,E}$，推广 Katsura 与 Nekrashevych 的构造。
• 将 $\mathcal{O}_{G,E}$ 实现为 $C^*$-对应关系 $M$ 在 $C(E^0)$ 上的 Cuntz-Pimsner 代数，使用表示 $\theta_M$ 与 $*$-同态 $\theta_A$。
• 证明该对应关系的普遍表示可因子化为 $\mathcal{O}_M$，从而得到 $*$-同构 $\Theta: \mathcal{O}_M \to \mathcal{O}_{G,E}$。
• 使用群胚模型 $\mathcal{G}_{G,E}$，其单位空间为图 $E$ 的无限路径空间，其结构由取值于半直积群的拉格朗日函数决定。
• 通过 $G$ 的可约性证明 $\mathcal{O}_{G,E}$ 的核性，利用 $C(E^0) \rtimes G$ 在 $G$ 可约时为核代数，且核性在商与 Cuntz-Pimsner 构造下保持不变。

实验结果

研究问题

• RQ1 Katsura 代数 $\mathcal{O}_{A,B}$ 与 Nekrashevych 代数 $\mathcal{O}_{(G,X)}$ 能否通过群作用于图路径空间的统一构造实现统一？
• RQ2 自相似群作用如何从根树上的忠实作用推广至有限图路径空间上的作用？
• RQ3 一阶上循环 $\varphi: G \times E^1 \to G$ 在定义路径上一致的自相似性条件中起什么作用？
• RQ4 $\mathcal{O}_{G,E}$ 这类广义作用生成的 C*-代数是否同构于已知类别的 C*-代数，如 Cuntz-Pimsner 代数？
• RQ5 在何种条件下 $\mathcal{O}_{G,E}$ 是核的，且 $G$ 的可约性如何与该性质相关？

主要发现

• C*-代数 $\mathcal{O}_{G,E}$ 通过 $*$-同构 $\Theta$ 同构于 $C^*$-对应关系 $M$ 的 Cuntz-Pimsner 代数 $\mathcal{O}_M$，该同构将生成元 $q_x$、$t_e$ 与 $v_g$ 分别映射为 $p_x$、$s_e$ 与 $u_g$。
• 当 $G$ 为可约群时，$\mathcal{O}_{G,E}$ 是核的，因为系数代数 $C(E^0) \rtimes G$ 是核的，且核性在 Cuntz-Pimsner 构造与商映射下保持不变。
• 当 $G = \mathbb{Z}$，$E$ 为边矩阵为 $A$ 的图，且 $\varphi$ 通过 $mB_{ij} + n$ 对 $A_{ij}$ 取模的欧几里得除法定义时，该构造恢复了 Katsura 代数 $\mathcal{O}_{A,B}$。
• 当 $E$ 为一个顶点、$X$ 条边的圆环束（bouquet of circles），且 $\varphi(g,x) = g|_x$（自相似群意义下的限制）时，该构造恢复了 Nekrashevych 代数 $\mathcal{O}_{(G,X)}$。
• 与 $\mathcal{O}_{G,E}$ 关联的群胚 $\mathcal{G}_{G,E}$ 的单位空间与图群胚相同，其结构由取值于半直积群的拉格朗日函数描述，推广了 Kumjian-Pask-Raeburn-Renault 的构造。
• 若 $G$ 可约且 $(G,E,\varphi)$ 为剩余自由，则 $\mathcal{G}_{\text{tight}}(\mathcal{S}_{G,E})$ 与 $\mathcal{G}_{G,E}$ 均为可约群胚，扩展了 Nekrashevych 关于芽群胚可约性的结果。