[论文解读] Finite cyclic group actions with the tracial Rokhlin property

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

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

一句话总结

本文研究了在 C*-代数上有限循环群作用的迹性 Rokhlin 性质，特别是 AF 代数和 AT 代数，表明此类作用可产生非 AF 的交叉积，即使在 K₀ 中存在挠或 K₁ 非平凡时亦然。本文提供了反例，表明迹性 Rokhlin 性质并不蕴含严格 Rokhlin 性质，且迹性近似表示性也不保证在 K₀ 或 K₁ 上平凡，从而挑战了该领域早期结果的潜在强化版本。

ABSTRACT

We give examples of actions of Z/2Z on AF algebras and AT algebras which demonstrate the differences between the (strict) Rokhlin property and the tracial Rokhlin property, and between (strict) approximate representability and tracial approximate representability. Specific results include the following. We determine exactly when a product type action of Z/2Z on a UHF algebra has the tracial Rokhlin property; in particular, unlike for the strict Rokhlin property, every UHF algebra admits such an action. We prove that Blackadar's action of Z/2Z on the 2^{\infty} UHF algebra, whose crossed product is not AF because it has nontrivial K_1-group, has the tracial Rokhlin property, and we give an example of an action of Z/2Z on a simple unital AF algebra which has the tracial Rokhlin property and such that the K_0-group of the crossed product has torsion. In particular, the crossed product of a simple unital AF algebra by an action of Z/2Z with the tracial Rokhlin property need not be AF. We give examples of a tracially approximately representable action of Z/2Z on a simple unital AF algebra which is nontrivial on K_0, and of a tracially approximately representable action of Z/2Z on a simple unital AT algebra with real rank zero which is nontrivial on K_1.

研究动机与目标

• 澄清 C*-代数上群作用中严格 Rokhlin 性质与迹性 Rokhlin 性质之间的区别。
• 研究有限群作用背景下严格与迹性近似表示性之间的差异。
• 构造 AF 代数和 AT 代数上具有迹性 Rokhlin 性质的显式作用示例，其产生的交叉积为非 AF 且具有挠或非平凡 K₁。
• 检验在具有迹性 Rokhlin 性质的交叉积下，结构性质（如实秩零、稳定秩一）保持性的鲁棒性。
• 研究对偶作用的行为以及在迹性设定下对偶性的失效，特别是在 K-理论和近似内自同构的背景下。

提出的方法

• 基于谱投影与迹控制提出迹性 Rokhlin 性质的新判据，适用于类型为乘积的作用。
• 通过在 UHF 代数、AF 代数和 AT 代数上显式构造作用，特别关注 Z/2Z 作用。
• 应用 K-理论工具（K₀ 和 K₁ 群）分析交叉积的结构，尤其用于检测挠和非平凡性。
• 构造 Blackadar 的 UHF 代数示例的修改版本，以在交叉积中实现特定的 K-理论结果。
• 分析对偶作用，并与原始作用比较其性质，尤其关注 Rokhlin 性质和近似表示性。
• 采用基于迹的投影比较与稳定性条件，评估交叉积的结构性质。

实验结果

研究问题

• RQ1 迹性 Rokhlin 性质是否蕴含 UHF 代数上作用的严格 Rokhlin 性质？
• RQ2 一个简单单位 AF 代数在迹性 Rokhlin 作用下的交叉积是否可能不是 AF，即使 K₀ 中存在挠？
• RQ3 迹性近似表示性作用是否可能在 K₀ 或 K₁ 上非平凡？
• RQ4 一个迹性 Rokhlin 作用的对偶是否必然具有迹性 Rokhlin 性质？
• RQ5 即使原始作用具有严格 Rokhlin 性质，迹性近似内自同构是否可能在 K₀ 或 K₁ 上非平凡？

主要发现

• 每个 UHF 代数都存在 Z/2Z 的乘积型作用，满足迹性 Rokhlin 性质，而严格 Rokhlin 性质则更为严格。
• Blackadar 在 2^∞ UHF 代数上的 Z/2Z 作用，其交叉积中 K₁ 非平凡，但满足迹性 Rokhlin 性质。
• 在具有迹性 Rokhlin 性质的简单单位 AF 代数上定义的作用，可产生 K₀ 中包含 Z/2ⁿZ 扭的交叉积。
• 在简单单位 AF 代数上具有迹性近似表示性的作用，可在 K₀ 上非平凡；在实秩零的 AT 代数上，可在 K₁ 上非平凡。
• 一个具有迹性 Rokhlin 性质的作用的对偶，其本身未必具有迹性 Rokhlin 性质，即使原始作用和交叉积均为简单 AF 代数。
• 存在在简单 AF 代数上具有迹性 Rokhlin 性质的作用，其交叉积仍为 AF，但该作用不满足迹性 Rokhlin 性质，表明该性质对 AF 交叉积并非必要。