[论文解读] Purely infinite C*-algebras arising from crossed products

Mikael Rørdam, Adam Sierakowski|arXiv (Cornell University)|Jun 7, 2010

Advanced Operator Algebra ResearchMathematics被引用 19

一句话总结

该论文建立了C*-代数的交叉积为纯无穷的充分条件，特别是当离散的精确群作用于交换C*-代数时。证明了每个可数的非阿贝尔精确群都存在一个自由、阿贝尔、极小的作用于康托集，使得所得的交叉积是UCT类中的基尔伯格代数。

ABSTRACT

We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is a Kirchberg algebra in the UCT class.

研究动机与目标

• 确定离散精确群作用于C*-代数的约化交叉积为纯无穷的条件。
• 研究阿贝尔C*-代数谱中的悖论性在决定交叉积的纯无穷性中的作用。
• 为任意可数的非阿贝尔精确群构造一个自由、阿贝尔、极小的作用于康托集，使得关联的交叉积是UCT类中的基尔伯格代数。
• 通过聚焦于非单情形和代数中的投影，扩展已知关于由动力系统产生的纯无穷C*-代数的结果。

提出的方法

• 使用理想性质（IP）确保投影在C*-代数中分离理想，从而能够分析交叉积中的理想结构。
• 应用群作用在阿贝尔C*-代数谱上的本质自由性概念，以控制交叉积的结构。
• 通过以下性质刻画纯无穷性：在精确性和可分性假设下，C*-代数中每个非零正元素在交叉积中都是正规无穷的。
• 利用谱的G-悖论子集的概念，证明此类集合的特征函数在交叉积中成为正规无穷的投影。
• 构造ℓ∞(G)的一个可分、G-不变的C*-子代数，由投影生成，包含特定集合M和M′，以模拟动力系统。
• 利用交叉积中的理想与C*-代数中G-不变理想之间的双射对应关系，将问题简化为在紧致豪斯多夫空间（即康托集）上具有无孤立点的极小、自由、阿贝尔作用。

实验结果

研究问题

• RQ1 在什么条件下，离散精确群作用于C*-代数的约化交叉积是纯无穷的？
• RQ2 阿贝尔C*-代数谱中一个闭开子集的G-悖论性如何与该子集特征函数在交叉积中的正规无穷性相关？
• RQ3 每个可数的非阿贝尔精确群是否都能存在一个自由、阿贝尔、极小的作用于康托集，使得交叉积是UCT类中的基尔伯格代数？
• RQ4 C*-代数和群作用的哪些结构性质能确保每个非零投影在交叉积中成为正规无穷的？
• RQ5 在构造中，这类交叉积的K-理论在多大程度上可以被控制？

主要发现

• 若G是离散且精确的，A是可分且具有理想性质的，且作用在\widehat{A}上是本质自由的，则约化交叉积$ A \rtimes_r G $是纯无穷的，当且仅当A中每个非零正元素在交叉积中都是正规无穷的。
• 当$ A = C(X) $且X为康托集时，在相同假设下，$ A \rtimes_r G $是纯无穷的，当且仅当A中每个非零投影在交叉积中都是正规无穷的。
• 若闭开子集$ E \subset X $在保持闭开集的方式下是G-悖论的，则$ 1_E $是$ C(X) \rtimes_r G $中的正规无穷投影，且存在一个部分逆命题。
• 每个可数的离散非阿贝尔精确群都存在一个自由、阿贝尔、极小的作用于康托集，使得交叉积是UCT类中的基尔伯格代数。
• $ C(X) \rtimes_r G $是核的，且属于UCT类，因为其源于一个阿贝尔广群作用，且其单性由作用的极小性得出。
• 该交叉积的K-理论未被计算，但很可能可设计为平凡的，从而根据基尔伯格–菲利普斯分类定理，其同构于$ \mathcal{O}_2 $。