[论文解读] Crossed products by finite cyclic group actions with the tracial Rokhlin property

N. Christopher Phillips|ArXiv.org|Jun 28, 2003

Advanced Operator Algebra Research参考文献 38被引用 33

一句话总结

本文为在稳定有限、简单、单位元的C*-代数上，针对有限循环群作用引入了迹Rokhlin性质，证明了在该类作用下，迹秩为零的代数的交叉积仍保持迹秩为零。主要贡献在于通过归纳法证明了所有简单高维非交换环面均为AT代数，此外还得到了关于无理旋转代数的交叉积以及非交换环面上的Z₂对称作用的结论，表明其交叉积为具有实秩零的AF或AH代数。

ABSTRACT

We define the tracial Rokhlin property for actions of finite cyclic groups on stably finite simple unital C*-algebras. We prove that when the algebra is in addition simple and has tracial rank zero, then the crossed product again has tracial rank zero. Under a kind of weak approximate innerness assumption and one other technical condition, we prove that if the action has the the tracial Rokhlin property and the crossed product has tracial rank zero, then the original algebra has tracial rank zero. We give examples showing how the tracial Rokhlin property differs from the Rokhlin property of Izumi. We use these results, together with work of Elliott-Evans and Kishimoto, to give an inductive proof that every simple higher dimensional noncommutative torus is an AT algebra. We further prove that the crossed product of every simple higher dimensional noncommutative torus by the flip is an AF algebra, and that the crossed products of irrational rotation algebras by the standard actions of the cyclic groups of orders 3, 4, and 6 are simple AH algebras with real rank zero.

研究动机与目标

• 为稳定有限、简单、单位元的C*-代数（迹秩为零）定义有限循环群作用的较弱替代性质，作为Izumi严格Rokhlin性质的替代，
• 建立此类代数的交叉积保持迹秩为零的条件，以支持归纳分类论证。
• 证明每个简单高维非交换环面均为AT代数，扩展先前关于无理旋转代数及其高维类比的结果。
• 分析无理旋转代数上Z₃、Z₄和Z₆的标准作用，以及高维非交换环面上的Z₂对称作用，表明其交叉积为具有实秩零的AH代数。
• 探讨迹Rokhlin性质的局限性，并为非单、纯无穷或投影稀疏的C*-代数提出推广。

提出的方法

• 通过类比林的迹AF代数对AF代数的推广方式，将严格Rokhlin性质的定义进行调整，利用几乎与群作用交换的投影并满足迹条件，来定义迹Rokhlin性质。
• 证明若一个单位元C*-代数具有迹秩零且其作用满足迹Rokhlin性质，则其交叉积也具有迹秩零。
• 利用H.林对迹秩为零的简单C*-代数的分类定理，建立非交换环面的归纳结构定理。
• 应用定理8.2，通过迹和K-理论分析验证旋转代数上的标准作用及非交换环面上的对称作用满足迹Rokhlin性质。
• 计算交叉积的K-理论，表明当θ属于一个稠密的Gδ集时，C*(Z₄, Aθ)为AF代数，并利用实秩零和稳定秩一的结果将结论推广至所有无理θ。
• 使用对偶性和固定点代数技术分析对偶作用，并在特定情形下验证迹Rokhlin条件。

实验结果

研究问题

• RQ1 有限循环群作用于C*-代数时，若满足迹Rokhlin性质，是否意味着其交叉积保持迹秩为零？
• RQ2 若原C*-代数及其交叉积均具有迹秩为零，且作用及其对偶作用均为迹渐近内自同构，是否意味着该作用必然具有迹Rokhlin性质？
• RQ3 迹Rokhlin性质能否推广至非稳定有限、非单或纯无穷的C*-代数，特别是那些投影稀疏的代数？
• RQ4 是否存在适用于迹秩为零但具有多个迹态的简单单位元C*-代数上作用的迹Rokhlin性质版本？
• RQ5 在何种条件下自同构为迹渐近内自同构，特别是当其在K₀上平凡（模无穷小子群）时？

主要发现

• 在满足迹Rokhlin性质的作用下，稳定有限、简单、单位元的C*-代数（迹秩为零）的交叉积仍具有迹秩为零。
• 每个简单高维非交换环面均为AT代数，该结论通过利用迹Rokhlin性质的归纳论证得以证明。
• 无理旋转代数关于Z₄的交叉积在旋转参数θ属于一个稠密Gδ集时为AF代数，且通过实秩零和稳定秩一的结果，可推广至所有无理θ。
• 无理旋转代数关于Z₃或Z₆的交叉积为简单AH代数，且具有实秩零。
• 简单高维非交换环面关于对称自同构的交叉积为AF代数。
• 对于无理旋转代数上的Z₄作用，其交叉积对所有无理θ均具有实秩零和稳定秩一，该结论超越了Walters的Gδ集结果。