[论文解读] The Rohlin property for automorphisms on simple C*-algebras

Huaxin Lin|arXiv (Cornell University)|Feb 23, 2006

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

一句话总结

该论文证明，若一个单个的、具有零迹维数的单位可分简单 C*-代数 A 上的自同构 α 满足迹 Rokhlin 性质，且其在 K₀(A) 上的诱导作用固定一个在 Aff(T(A)) 中稠密的子群，则其半直积 A ⋊ₐℤ 也具有迹维数零。该结果解决了具有缓慢维数增长和实维数零的 AH-代数的 Kishimoto 猜想的推广版本。

ABSTRACT

We study a general Kishimoto's problem for automorphisms on simple C*-algebras with tracial rank zero. Let $A$ be a unital separable simple C*-algebra with tracial rank zero and let $α$ be an automorphism. Under the assumption that $α$ has certain Rokhlin property, we present a proof that $A times_α\Z$ has tracial rank zero. We also show that if the induced map $α_{*0}$ on $K_0(A)$ fixes a "dense" subgroup of $K_0(A)$ then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.

研究动机与目标

• 研究迹维数零在单个 C*-代数上的自同构半直积下的保持性。
• 解决具有实维数零的 A𝕋-代数的半直积的 Kishimoto 猜想的推广版本。
• 建立当 A 具有迹维数零时，半直积 A ⋊ₐℤ 保持迹维数零的条件。
• 提供关于自同构 α 的充分条件，涉及其在 K₀(A) 上的作用，以确保满足迹循环 Rokhlin 性质。
• 通过 K-理论和迹 Rokhlin 条件，将约化内情况的结果推广到更广泛的自同构类。

提出的方法

• 将迹 Rokhlin 性质用作 C*-代数自同构的类经典 Rokhlin 塔的推广。
• 应用通过渐近同态和投影的中心序列定义的迹循环 Rokhlin 性质。
• 利用条件：αʳ*₀ 固定一个子群 G ⊂ K₀(A)，使得 ρ_A(G) 在 Aff(T(A)) 中稠密，以推导出更强的 Rokhlin 类行为。
• 利用统一系数定理 (UCT) 和可约性，以确保分类理论性质。
• 构造投影和部分等距的中心序列，以模拟 α 的动力学并控制渐近行为。
• 使用序列渐近同态和逼近技术，以控制半直积中的迹和 K-理论。

实验结果

研究问题

• RQ1 在什么条件下，单位可分简单 C*-代数 A 满足 TR(A) = 0 时，其半直积 A ⋊ₐℤ 也满足 TR(A ⋊ₐℤ) = 0？
• RQ2 当 αʳ*₀ 固定 K₀(A) 的一个在 Aff(T(A)) 中稠密的子群时，迹 Rokhlin 性质能否被加强为迹循环 Rokhlin 性质？
• RQ3 若 αʳ 在 KL(A,A) 中同伦于恒等映射，是否意味着 A ⋊ₐℤ 具有迹维数零？
• RQ4 α 在 K₀(A) 上的作用如何影响半直积代数的结构性质？
• RQ5 Kishimoto 猜想在约化内情况之外，能在多大程度上被推广？

主要发现

• 若 α 满足迹 Rokhlin 性质，且 αʳ*₀ 固定一个子群 G ⊂ K₀(A)，使得 ρ_A(G) 在 Aff(T(A)) 中稠密，则 α 满足迹循环 Rokhlin 性质。
• 在这些条件下，半直积 A ⋊ₐℤ 具有迹维数零，即 TR(A ⋊ₐℤ) = 0。
• 该结果适用于满足 UCT 的单位可分简单渐近阿贝尔 C*-代数，且 TR(A) = 0。
• 对于具有缓慢维数增长和实维数零的 AH-代数，若 α 满足迹 Rokhlin 性质，且 [αʳ] = [id_A] 在 KL(A,A) 中，则 A ⋊ₐℤ 仍是具有缓慢维数增长和实维数零的 AH-代数。
• 证明依赖于构造模拟 α 动力学并满足渐近交换性和迹控制的投影和部分等距的中心序列。
• 关键技术步骤是用基于 ρ_A(G) 在 Aff(T(A)) 中稠密性的新论证，替代 [22] 中的引理 6.1，以生成具有受控 K-理论和迹行为的投影。