[论文解读] Zappa-Szep products of semigroups and their C*-algebras

Nathan Brownlowe, Jacqui Ramagge+2 more|arXiv (Cornell University)|Sep 2, 2013

semigroups and automata theory参考文献 23被引用 6

一句话总结

本文提出了一种统一框架，通过李氏半群 C*-代数构造法，从半群的扎帕-泽普积构造 C*-代数。该文给出了全 C*-代数及其边界商代数的显式生成元与关系表示，表明已知类群——包括拟格序群、自相似群作用及鲍姆斯拉格-索利斯特定群——均为其特例。主要贡献在于将库恩茨-皮姆斯纳代数与尼卡的 C*-代数统一于单一代数结构之下。

ABSTRACT

Zappa-Szép products of semigroups encompass both the self-similar group actions of Nekrashevych and the quasi-lattice-ordered groups of Nica. We use Li's construction of semigroup $C^*$-algebras to associate a $C^*$-algebra to Zappa-Szép products and give an explicit presentation of the algebra. We then define a quotient $C^*$-algebra that generalises the Cuntz-Pimsner algebras for self-similar actions. We indicate how known examples, previously viewed as distinct classes, fit into our unifying framework. We specifically discuss the Baumslag-Solitar groups, the binary adding machine, the semigroup $\mathbb{N} times\mathbb{N}^ imes$, and the $ax+b$-semigroup $\mathbb{Z} times\mathbb{Z}^ imes$.

研究动机与目标

• 将来自拟格序群与自相似群作用的各类 C*-代数统一于单一框架之下。
• 将李氏半群 C*-代数构造法扩展至具有单位元的左可消去半群的扎帕-泽普积。
• 定义并分析一个边界商 C*-代数，该代数推广了自相似作用下的库恩茨-皮姆斯纳代数。
• 为全 C*-代数及其边界商代数提供显式的生成元与关系表示，以增强可处理性。

提出的方法

• 构造两个具有单位元的左可消去半群的扎帕-泽普积，确保所得半群同样为左可消去且右 LCM。
• 应用李氏构造法，通过索引于右理想上的等距表示与投影，为扎帕-泽普积关联一个全 C*-代数。
• 通过商去由半群中基集相关投影生成的理想，引入边界商 C*-代数。
• 通过验证普遍关系，建立所得 C*-代数与已知代数（如库恩茨-皮姆斯纳代数、尼卡的 C*(G,P)）之间的同构。
• 利用归纳法与基集的性质，证明商代数中某些投影乘积为零，从而识别边界商代数。
• 通过显式同态与满射性论证，验证已知代数（如 Q2、O(G,X)）的普遍关系与所构造 C*-代数的关系一致。

实验结果

研究问题

• RQ1 扎帕-泽普积的半群能否作为统一框架，涵盖来自拟格序群与自相似群作用等不同 C*-代数构造？
• RQ2 如何将李氏半群 C*-代数构造法适配于扎帕-泽普积，以获得具有显式表示的全 C*-代数？
• RQ3 在此背景下，边界商 C*-代数的结构如何？其与库恩茨-皮姆斯纳代数有何关系？
• RQ4 已知例子如 2-adic 环 C*-代数 Q2 与库恩茨-皮姆斯纳代数 O(G,X) 是否自然地作为扎帕-泽普积全 C*-代数的商代数出现？
• RQ5 该框架能否扩展至自相似作用的积？可推导出哪些性质（如单性）？

主要发现

• 具有左可消去性且带单位元的扎帕-泽普积的全 C*-代数，可通过生成元与关系显式表示，推广了李氏构造。
• 边界商 C*-代数同构于任意自相似群作用 (G,X) 的库恩茨-皮姆斯纳代数 O(G,X)，统一了该类代数。
• 2-adic 环 C*-代数 Q2 同构于扎帕-泽普积 X* ✨ N 的边界商代数，其中 X={0,1} 且 N 为加法机。
• 对于半群 N ✨ N*，其全 C*-代数同构于尼卡的 C*(BS(1,2), BS(1,2)+)，其边界商代数同构于库恩茨-皮姆斯纳代数 O(Z,X)。
• 该框架可推广至自相似作用的积：当半群 F+_θ 为右 LCM 时，C*-代数 C*(F+_θ ✨ G) 是满足自相似关系的 Toeplitz-Cuntz-Krieger 家族与酉表示的普遍代数。
• 边界商代数与 O(G,X) 同构的证明依赖于：通过词长的归纳法，证明由 1 - ∑x∈X vtxv*x 生成的理想，等于由基集上投影乘积 (1 - t_w t*_w) 生成的理想。