[论文解读] Envelope Algebras of Partial Actions as Groupoid C*-Algebras

R. Exel, Thierry Giordano+1 more|ArXiv.org|Jun 19, 2008

Advanced Operator Algebra Research参考文献 10被引用 9

一句话总结

该论文证明了在可数离散群作用于局部紧空间上的部分作用（特别是 ℤ 在康托集上的部分作用）的包络 C*-代数，可被实现为由等价关系导出的广群 C*-代数。利用这一描述，作者证明了在较弱条件下（即该部分作用可作为全局作用的限制），包络 C*-代数为 AF-代数，从而对包络空间为豪斯多夫的空间上的此类部分作用提供了完整刻画。

ABSTRACT

We describe the envelope C*-algebra associated to a partial action of a countable discrete group on a locally compact space as a groupoid C*-algebra (more precisely as a C*-algebra from an equivalence relation) and we use our approach to show that, for a large class of partial actions of Z on the Cantor set, the envelope C*-algebra is an AF-algebra. We also completely characterize partial actions of a countable discrete group on a compact space such that the envelope action acts in a Hausdorff space.

研究动机与目标

• 将可数离散群在局部紧空间上的部分作用的包络 C*-代数描述为广群 C*-代数。
• 刻画在紧空间上满足包络空间为豪斯多夫的部分作用。
• 证明对于 ℤ 在康托集上的大量部分作用，其包络 C*-代数为 AF-代数。
• 通过等价关系与广群 C*-代数，为豪斯多夫与非豪斯多夫包络空间提供统一框架。

提出的方法

• 包络 C*-代数被构造为由部分作用诱导的等价关系相关的约化广群 C*-代数。
• 等价关系 R 被分解为可数递增的子等价关系族 R_k，每一项对应于在紧开子集上的部分作用。
• 证明 R 上的归纳极限拓扑与乘积拓扑一致，从而可将 C_r^*(R) 识别为 C_r^*(R_k) 的归纳极限。
• 证明每个 R_k 为近似正则，且通过 AF 代数的局部刻画方法，证明 C_r^*(R_k) 为 AF-代数。
• 由于 AF 性质在归纳极限下保持不变，因此 C_r^*(R) 被证明为 AF-代数。
• 该构造依赖于康托集为完全不连通空间，且存在一个递增的紧开集序列，其并集覆盖部分作用的定义域。

实验结果

研究问题

• RQ1 在何种条件下，ℤ 在康托集上的部分作用的包络 C*-代数为 AF-代数？
• RQ2 当包络空间为非豪斯多夫时，如何将部分作用的包络 C*-代数描述为广群 C*-代数？
• RQ3 哪些特征可刻画可数离散群在紧空间上的部分作用，使得其包络空间为豪斯多夫？
• RQ4 在康托集上的部分作用设定下，包络 C*-代数能否被实现为 AF C*-代数的归纳极限？
• RQ5 在较弱假设下，康托集上部分作用所导出的等价关系的约化广群 C*-代数是否总是 AF-代数？

主要发现

• 当部分作用为全局作用的限制时，ℤ 在康托集上的部分作用的包络 C*-代数为 AF-代数。
• 包络 C*-代数同构于 ℤ × X 上等价关系 R 的约化广群 C*-代数。
• 证明等价关系 R 为近似正则，使得 C*-代数可表示为 C_r^*(R_k) 的归纳极限。
• R 上的归纳极限拓扑与乘积拓扑一致，确保 C*-代数结构良好。
• 每个 R_k 为 AF 等价关系，因此 C_r^*(R_k) 为 AF C*-代数，且归纳极限保持 AF 性质。
• 本文对包络空间为豪斯多夫的紧空间上的部分作用提供了完整刻画。