[论文解读] The ideal structure of reduced crossed products

Adam Sierakowski|ArXiv.org|Apr 23, 2008

Advanced Operator Algebra Research参考文献 23被引用 47

一句话总结

该论文证明了：对于C*-代数上的离散群作用，代数A在约化半直积中的包含映射分离理想，当且仅当该作用在谱上是精确的且本质上自由的。主要贡献在于通过精确性与本质自由性对理想分离进行了刻画，推广了关于拓扑自由性与Rokhlin性质的早期结果。

ABSTRACT

Let (A,G) be a C*-dynamical system with G discrete. In this paper we investigate the ideal structure of the reduced crossed product C*-algebra and in particular we determine sufficient - and in some cases also necessary - conditions for A to separate the ideals in Ax_rG. When A separates the ideals in Ax_rG, then there is a one-to-one correspondence between the ideals in Ax_rG and the invariant ideals in A. We extend the concept of topological freeness and present a generalization of the Rokhlin property. Exactness properties of (A,G) turns out to be crucial in these investigations.

研究动机与目标

• 确定C*-代数$A$在约化半直积$A\rtimes_r G$中分离理想的充分必要条件。
• 将拓扑自由性与Rokhlin性质推广至更广泛的群作用和C*-代数类别。
• 阐明精确性在半直积理想结构中的作用，特别是与交集性质的关系。
• 研究典范映射$\pi^A: A\rtimes G \to A\rtimes_r G$为同构的条件，将精确性与理想分离联系起来。
• 通过谱条件与动力学条件，将阿贝尔代数与GCR代数的结果推广至一般C*-代数。

提出的方法

• 引入群作用在C*-代数上的'精确性'概念，定义为在约化半直积层面上保持短正合序列的性质。
• 将作用在谱$\widehat{A}$上的'本质自由性'定义为：在每个闭的$G$-不变子集中，无稳定子点的集合是稠密的。
• 使用超幂技巧与Rokhlin*性质分析双对偶代数与中心序列代数中投影的结构。
• 应用5-引理与全半直积函子的正合性，将$\pi^A$的单射性与作用的精确性联系起来。
• 将Rokhlin性质推广为Rokhlin*性质，使其能对自同构及其由酉算子实现施加更强的控制。
• 建立拓扑自由性、Rokhlin*性质与正规外性之间的蕴含关系，尤其在阿贝尔情形下。

实验结果

研究问题

• RQ1 在何种条件下，包含映射$A \hookrightarrow A\rtimes_r G$在半直积的理想与$A$中的不变理想之间诱导出一一对应？
• RQ2 作用在$\widehat{A}$上的本质自由性是否足以使$A$在$A\rtimes_r G$中分离理想？还需要哪些额外条件？
• RQ3 作用在$A$上的精确性是否蕴含$A$在$A\rtimes_r G$中分离理想？是否为必要条件？
• RQ4 Rokhlin*性质与正规外性如何与理想分离及交集性质相关联？
• RQ5 在何种情况下，典范映射$\pi^A: A\rtimes G \to A\rtimes_r G$为同构，可推出理想分离？

主要发现

• 群$G$在$A$上的作用在$A\rtimes_r G$中分离理想，当且仅当该作用在$\widehat{A}$上是精确的且本质上自由的。
• 即使作用是本质上自由的，作用的精确性也是$A$在$A\rtimes_r G$中分离理想的必要条件。
• Rokhlin*性质蕴含正规外性；在阿贝尔情形下，拓扑自由性蕴含Rokhlin*性质。
• 对于分离的$A$与可数的$G$，当$A$为阿贝尔代数时，拓扑自由性、Rokhlin*性质与正规外性三者等价。
• 若作用是精确的，且对所有非平凡的$G$-不变理想$I$，商作用$\alpha_t|_{A/I}$均为正规外，则$A$在$A\rtimes_r G$中分离理想。
• 典范映射$\pi^A: A\rtimes G \to A\rtimes_r G$是同构，当且仅当作用是精确的且$\pi^A$是单射的，从而将精确性与理想结构联系起来。