[论文解读] The Rohlin property for inclusions of $C^*$-algebras with a finite Watatani index

Hiroyuki Osaka, Kazunori Kodaka+1 more|arXiv (Cornell University)|Jan 25, 2010

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

一句话总结

本文引入了具有有限 Watatani 指数的酉 $C^*$-代数包含关系的 Rohlin 性质与近似可表示性，建立了这两个概念之间的对偶性。证明了此类包含关系保持关键的结构性质——AF、AI、AT、稳定秩一以及实秩零代数，将关于具有 Rohlin 性质的群作用的结果推广至一般包含关系。

ABSTRACT

We introduce notions of the Rohlin property and the approximate representability for inclusions of unital $C^*$-algebras. We investigate a dual relation between the Rohlin property and the approximate representability. We prove that a number of classes of unital $C^*$-algebras are closed under inclusions with the Rohlin property, including: AF algebras, AI algebras, AT algebras, and related classes characterized by direct limit decomposition using semiprojective building blocks. $C^*$-algebras with stable rank one. $C^*$-algebras with real rank zero.

研究动机与目标

• 将 Rohlin 性质与近似可表示性的概念从有限群作用推广至具有有限 Watatani 指数的酉 $C^*$-代数的一般包含关系。
• 在 $C^*$-包含系统背景下，建立 Rohlin 性质与近似可表示性之间的对偶关系。
• 研究在具有 Rohlin 性质的包含关系下，哪些 $C^*$-代数类保持不变。
• 证明 Rohlin 性质蕴含条件期望的唯一性，且该性质属于包含关系本身，而非仅依赖于期望。

提出的方法

• 利用准基与 Watatani 指数理论，为 $C^*$-包含关系中的条件期望引入 Rohlin 性质。
• 定义条件期望的近似可表示性，并通过对偶包含构造建立其与 Rohlin 性质之间的对偶关系。
• 利用有限群作用 $\alpha$ 的典范条件期望 $E: A \to A^\alpha$，证明 $\alpha$ 具有 Rohlin 性质当且仅当 $E$ 具有 Rohlin 性质。
• 构造一个具有 Rohlin 性质但不是任何具有 Rohlin 性质的有限群作用的不动点代数的包含关系示例。
• 应用半项目性与近似提升技术，证明包含关系保持诸如具有半项目块的直极限分解等结构性质。
• 利用由 Rohlin 投影诱导的渐近同态 $\beta: A \to P^\infty$，实现可逆元的提升，并证明拓扑秩与实秩性质的稳定性。

实验结果

研究问题

• RQ1 如何将 Rohlin 性质与近似可表示性从有限群作用推广至具有有限 Watatani 指数的 $C^*$-代数包含关系？
• RQ2 在 $C^*$-包含系统背景下，Rohlin 性质与近似可表示性之间的对偶关系是什么？
• RQ3 在具有 Rohlin 性质的包含关系下，哪些 $C^*$-代数类保持不变？
• RQ4 是否存在一个具有 Rohlin 性质的包含关系，其不与任何具有 Rohlin 性质的有限群作用的不动点代数同构？
• RQ5 拓扑秩与实秩性质在何种程度上在这些包含关系下保持不变？

主要发现

• 酉 $C^*$-代数的包含关系具有 Rohlin 性质，当且仅当其对偶包含关系是近似可表示的。
• Rohlin 性质蕴含条件期望的唯一性，使其成为包含关系本身的性质。
• AF、AI、AT 以及由半项目块构建的直极限类在具有 Rohlin 性质的包含关系下保持不变。
• 若 $A$ 具有拓扑稳定秩一，则任意具有 Rohlin 性质的包含关系 $A \supset P$ 也使得 $P$ 具有拓扑稳定秩一。
• 若 $A$ 具有实秩零，则任意具有 Rohlin 性质的包含关系 $A \supset P$ 也使得 $P$ 具有实秩零。
• 存在一个具有 Rohlin 性质的包含关系，其不与任何具有 Rohlin 性质的有限群作用的不动点代数同构，表明新框架的普遍性。