[论文解读] The tracial Rokhlin property for actions of finite groups on C*-algebras

N. Christopher Phillips|ArXiv.org|Sep 28, 2006

Advanced Operator Algebra Research参考文献 13被引用 5

一句话总结

本文引入了C*-代数上有限群作用的迹性Rokhlin性质、近似可表示性及迹性殆内自同构的类比。研究证明，具有迹性Rokhlin性质的有限群作用下，迹秩为零的简单单位C*-代数的交叉积仍具有迹秩为零的性质，并建立了关于对偶性、迹性近似可表示性与迹性殆内自同构之间联系的刻画，尤其针对有限阿贝尔群与循环群。

ABSTRACT

We define "tracial" analogs of the Rokhlin property for actions of finite groups, approximate representability of actions of finite abelian groups, and of approximate innerness. We prove four analogs of related "nontracial" results. First, the crossed product of an infinite dimensional simple separable unital C*-algebra with tracial rank zero by an action of a finite group with the tracial Rokhlin property again has tracial rank zero. Second, an outer action of a finite abelian group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property if and only if its dual is tracially approximately representable, and is tracially approximately representable if and only if its dual has the tracial Rokhlin property. Third, if a strongly tracially approximately inner action of a finite cyclic group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property, then it is tracially approximately representable. Fourth, an automorphism of an infinite dimensional simple separable unital C*-algebra A with tracial rank zero is tracially approximately inner if and only if it is the identity on K_0 (A) mod infinitesimals.

研究动机与目标

• 将Rokhlin性质推广至适用于迹秩为零C*-代数的‘迹性’版本。
• 通过引入更弱、更灵活的迹性变体，弥补严格Rokhlin性质作用的稀缺性。
• 建立有限阿贝尔群下迹性近似可表示性与迹性Rokhlin性质之间的对偶性结果。
• 通过其在K₀模无穷小量上的作用刻画迹性殆内自同构。
• 证明具有迹性Rokhlin性质的强迹性殆内自同构作用必为迹性近似可表示。

提出的方法

• 利用在迹上很小且近似中心化的投影，定义C*-代数上有限群作用的迹性Rokhlin性质。
• 运用迹逼近框架，构造满足等变性与几乎不变性条件的投影与酉算子。
• 借助矩阵代数的结构及矩阵单位的存在性，构建具有受控迹行为的有限秩逼近。
• 应用K-理论与迹态的结果，将K₀上的作用与C*-代数的迹结构联系起来。
• 在稳定秩一与实秩零的假设下，确保投影的Murray-von Neumann等价性与酉等价性。
• 通过傅里叶变换建立作用与其对偶之间的对偶性，证明迹性Rokhlin性质与迹性近似可表示性之间的等价性。

实验结果

研究问题

• RQ1 在具有迹秩为零的C*-代数上，若有限群作用具有迹性Rokhlin性质，则其交叉积是否仍保持迹秩为零？
• RQ2 对于有限阿贝尔群的外作用，迹性Rokhlin性质是否等价于其对偶作用为迹性近似可表示？
• RQ3 若有限循环群的强迹性殆内自同构作用具有迹性Rokhlin性质，则其是否必为迹性近似可表示？
• RQ4 在迹秩为零的简单单位C*-代数上，何种条件下自同构为迹性殆内自同构？
• RQ5 在强迹性近似内自同构的刻画中，有限阶假设是否可被弱化？

主要发现

• 一个迹秩为零的简单、单位、分次C*-代数在具有迹性Rokhlin性质的有限群作用下的交叉积，其迹秩仍为零。
• 一个有限阿贝尔群在简单单位C*-代数上的外作用具有迹性Rokhlin性质，当且仅当其对偶作用为迹性近似可表示。
• 具有迹性Rokhlin性质的有限循环群的强迹性殆内自同构作用必为迹性近似可表示。
• 一个迹秩为零的简单单位C*-代数的自同构为迹性殆内自同构，当且仅当其在K₀模无穷小量上作用为恒等映射。
• 在给定的K-理论条件下，对于有限阶自同构，迹性近似内自同构蕴含强迹性近似内自同构。
• 迹性Rokhlin性质严格弱于严格Rokhlin性质，且在非交换环面与无理旋转代数等关键例子中成立。