[论文解读] A Generalised uniqueness theorem and the graded ideal structure of Steinberg algebras

Lisa Orloff Clark, Ruy Exel+1 more|arXiv (Cornell University)|Sep 9, 2016

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

一句话总结

本文建立了关于紧致、豪斯多夫群胚的斯坦伯格代数的广义唯一性定理，并在群胚配备离散群值上循环时，刻画了这些代数中的分次理想。关键贡献在于建立了分次理想与底层布尔动力系统中遗传性、饱和子集之间的格同构，将已知的 $C^*$-代数结果推广至代数设定。

ABSTRACT

Given an ample, Hausdorff groupoid $\mathcal{G}$, and a unital commutative ring $R$, we consider the Steinberg algebra $A_R(\mathcal {G})$. First we prove a uniqueness theorem for this algebra and then, when $\mathcal{G}$ is graded by a cocycle, we study graded ideals in $A_R(\mathcal {G})$. Applications are given for two classes of ample groupoids, namely those coming from actions of groups on graphs, and also to groupoids defined in terms of Boolean dynamical systems.

研究动机与目标

• 建立关于紧致、豪斯多夫群胚的斯坦伯格代数的广义唯一性定理。
• 在群胚通过离散群值上循环进行分次时，刻画斯坦伯格代数中的分次理想。
• 将布尔动力系统 $C^*$-代数的已知结果推广至斯坦伯格代数的代数设定。
• 提供凯茨拉代数 $\mathcal{O}_{A,B}$ 的代数类比，并统一莱维特路径代数与库姆让-帕斯基代数的理想结构。

提出的方法

• 利用同伦丛的内部来表述斯坦伯格代数同态的唯一性条件。
• 应用唯一性定理，证明当同态在同伦群丛内部是单射时，其整体为单射。
• 通过分次群胚中单位空间的开不变子集来定义分次理想。
• 构造斯坦伯格代数中分次理想与布尔动力系统中遗传性、饱和子集之间的格同构。
• 利用紧致性与外覆盖关系，将理想包含性与布尔系统中的饱和性及遗传性联系起来。
• 将 $C^*$-代数理论中的技术（特别是来自 [7] 和 [16] 的方法）适应至斯坦伯格代数的代数设定。

实验结果

研究问题

• RQ1 在何种条件下，斯坦伯格代数之间的同态是单射的？其代数刻画为何？
• RQ2 在分次群胚上的斯坦伯格代数中，分次理想如何与单位空间的不变开子集相关联？
• RQ3 群作用在图上时，所得到的斯坦伯格代数的理想结构如何？
• RQ4 斯坦伯格代数在布尔动力系统下的理想结构与相应 $C^*$-代数的对应结构相比如何？
• RQ5 唯一性定理能否推广至更一般的群胚构造（如自相似作用或布尔系统）所生成的代数？

主要发现

• 斯坦伯格代数同态是单射当且仅当其在同伦群丛内部是单射，该结果推广了此前关于莱维特代数与库姆让-帕斯基代数的唯一性定理。
• 在分次群胚上的斯坦伯格代数中，分次理想恰好是由单位空间的开不变子集生成的。
• 对于图上的群作用，所得到的斯坦伯格代数包含莱维特路径代数，并提供了凯茨拉代数 $\mathcal{O}_{A,B}$ 的代数类比。
• 在布尔动力系统的情形下，斯坦伯格代数的分次理想与布尔系统的遗传性、饱和子集之间存在格同构。
• 斯坦伯格代数 $A_K(\mathcal{G}_{\text{tight}}(T))$ 的理想结构完全由其底层布尔动力系统的遗传性与饱和子集决定。
• 该结果将 [7, 定理 10.12] 从 $C^*$-代数推广至斯坦伯格代数，建立了分次理想与系统不变量之间的完全对应。