[论文解读] Classification theorems for circle actions on Kirchberg algebras, I

Eusebio Gardella|arXiv (Cornell University)|May 10, 2014

Advanced Operator Algebra Research参考文献 12被引用 6

一句话总结

该论文证明了在Kirchberg代数上具有Rokhlin性质的圆作用是对偶作用，并且在共轭意义下被 $\ mathrm{Ext}(K_*(A^\ mathbb{T}), K_{*+1}(A^\ mathbb{T}))$ 中的一个Ext类完全分类。对于满足UCT的Kirchberg代数，该Ext类构成一个完全不变量；更一般地，此类作用由其预对偶自同构的KK类唯一确定。

ABSTRACT

We investigate basic properties of circle actions with the Rokhlin property. Using equivariant semiprojectivity and partial automorphisms, we show that every circle action with the Rokhlin property is a dual action. We also prove that Kirchberg algebras are preserved under formation of crossed products by such actions. It is shown that the Rokhlin property implies severe $K$-theoretical constraints on the algebra it acts on. We explain how circle actions with the Rokhlin property have an $\mathrm{Ext}(K_\ast(A^{\mathbb{T}}),K_{\ast+1}(A^{\mathbb{T}}))$-class naturally associated to them. If $A$ is a Kirchberg algebra satisfying the UCT, this Ext-class is shown to be a complete invariant for such actions up to conjugacy. More generally, we show that circle actions with the Rokhlin property on Kirchberg algebras are uniquely determined by the $KK$-class of their predual automorphisms.

研究动机与目标

• 在共轭意义下对Kirchberg代数上具有Rokhlin性质的圆作用进行分类。
• 利用等变半投影性与部分自同构，确定此类作用是否为对偶作用。
• 识别此类作用的完全不变量，特别是在满足UCT条件时。
• 探讨Rokhlin性质对固定点代数施加的K-理论约束。
• 证明在一般情况下，预对偶自同构的KK类完全决定了该作用。

提出的方法

• 利用等变半投影性分析具有Rokhlin性质的圆作用的结构。
• 应用部分自同构理论，将作用与其对偶联系起来。
• 为每个此类作用构造一个自然的 $\ mathrm{Ext}(K_*(A^\u005C mathbb{T}), K_{*+1}(A^\u005C mathbb{T}))$-类。
• 利用KK-理论通过预对偶自同构的KK类比较作用。
• 利用UCT确保在分类中Ext类为完全不变量。
• 证明Kirchberg代数在这些作用的交叉积下保持不变。

实验结果

研究问题

• RQ1 Kirchberg代数上具有Rokhlin性质的圆作用是否必然为对偶作用？
• RQ2 固定点代数的K-理论是否会对作用施加强约束？
• RQ3 在共轭意义下，$\ mathrm{Ext}(K_*(A^\u005C mathbb{T}), K_{*+1}(A^\u005C mathbb{T}))$-类是否为这些作用的完全不变量？
• RQ4 在不满足UCT的情况下，预对偶自同构的KK类是否仍能分类该作用？
• RQ5 此类作用的交叉积如何影响原代数的类？

主要发现

• 每个在Kirchberg代数上具有Rokhlin性质的圆作用都是对偶作用。
• Kirchberg代数在这些作用的交叉积下保持不变。
• Rokhlin性质对固定点代数施加了严重的K-理论约束。
• 对于满足UCT的Kirchberg代数，$\ mathrm{Ext}(K_*(A^\u005C mathbb{T}), K_{*+1}(A^\u005C mathbb{T}))$-类在共轭意义下是完全不变量。
• 在一般情况下，Kirchberg代数上具有Rokhlin性质的圆作用由其预对偶自同构的KK类唯一确定。
• 每个此类作用自然关联一个显式的 $\ mathrm{Ext}$-类，提供了一个结构不变量。