[论文解读] Poly-$\mathbb{Z}$ group actions on Kirchberg algebras II

Masaki Izumi, Hiroki Matui|arXiv (Cornell University)|Jun 10, 2019

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

一句话总结

本文通过将问题约化为对分类空间 $BG$ 上连续的 Kirchberg 代数丛的分类，建立了多-$\mathbb{Z}$ 群在 Kirchberg 代数上的外作用的拓扑分类。关键结果是对 Cuntz 代数上外 $\mathbb{Z}^n$-作用的 cocycle 同构类的完全分类，表明此类作用由从 $B\mathbb{Z}^n$ 到 $B\operatorname{Aut}(A)$ 的映射的同伦类分类，且类的数量由 $BG$ 的上同调决定。该方法利用同伦固定点和动力系统实现定理，将解析的 $C^*$-代数问题与拓扑不变量联系起来。

ABSTRACT

This is the second part of our serial work on the classification of poly-$\mathbb{Z}$ group actions on Kirchberg algebras. Based on technical results obtained in our previous work, we completely reduce the problem to the classification of continuous fields of Kirchberg algebras over the classifying spaces. As an application, we determine the number of cocycle conjugacy classes of outer $\mathbb{Z}^n$-actions on the Cuntz algebras.

研究动机与目标

• 建立多-$\mathbb{Z}$ 群在 Kirchberg 代数上的外作用的拓扑分类框架。
• 将此类作用的 cocycle 同构类的分类约化为对分类空间 $BG$ 上连续 Kirchberg 代数丛的分类。
• 确定 Cuntz 代数上外 $\mathbb{Z}^n$-作用的 cocycle 同构类的数量。
• 在适当条件下证明映射 $\mathcal{B}: \mathcal{OA}(G,A)/\sim_{\text{cocycle}} \to [BG, B\operatorname{Aut}(A)]$ 是双射，从而将解析的 $C^*$-动力系统与代数拓扑联系起来。

提出的方法

• 使用同伦固定点技术，证明与群作用在 $C^*$-代数上相关的第一和第二上同调群的消失性。
• 将广义映射环 $M_\alpha$ 构造为与丛 $\mathcal{P}_\alpha \times_{\operatorname{Aut}(A)} A$ 相关的连续截面的 $C^*$-代数。
• 应用动力系统实现定理，在 $BG$ 具有适当的拓扑条件时，将 $\operatorname{Aut}(A)$-主丛实现为来自 $G$-作用在 $A$ 上的结果。
• 利用 $BG$ 同伦同胚于有限 CW 复形的事实，将分类重新表述为 $BG$ 上连续 $C^*$-代数丛的分类，从而实现拓扑分类。
• 利用分类空间 $BG$ 的普遍性质，将主丛的同构类与同伦类 $[X, BG]$ 关联，从而将分类问题约化为一个拓扑问题。
• 利用单位元空间与自同构群的环路空间之间的弱同伦等价，建立 $KK$-平凡 cocycle 同构与分类映射的同伦类之间的对应关系。

实验结果

研究问题

• RQ1 Kirchberg 代数上外 $\mathbb{Z}^n$-作用的分类能否约化为涉及分类空间 $BG$ 的拓扑问题？
• RQ2 对于多-$\mathbb{Z}$ 群，将外 $G$-作用的 cocycle 同构类映射到同伦类 $[BG, B\operatorname{Aut}(A)]$ 的映射 $\mathcal{B}$ 是否为双射？
• RQ3 Cuntz 代数 $\mathcal{O}_\infty$ 上外 $\mathbb{Z}^n$-作用的 cocycle 同构类有多少个？
• RQ4 每个 $\operatorname{Aut}(A)$-主丛是否都能实现为来自稳定 Kirchberg 代数 $A$ 上外 $G$-作用的结果？
• RQ5 对 $\mathcal{O}_\infty$ 上 $\mathbb{Z}^n$-作用的 $KK$-平凡 cocycle 同构类的精确拓扑不变量是什么？

主要发现

• Cuntz 代数 $\mathcal{O}_\infty$ 上外 $\mathbb{Z}^n$-作用的分类完全由同伦类 $[B\mathbb{Z}^n, B\operatorname{Aut}(\mathcal{O}_\infty)]$ 决定，且与 $B\mathbb{Z}^n$ 上 Kirchberg 代数连续丛的同构类集合之间存在双射。
• 当 $G = \mathbb{Z}^n$ 时，$\mathcal{O}_\infty$ 上外 $G$-作用的 cocycle 同构类的数量等于同伦类 $[B\mathbb{Z}^n, B\operatorname{Aut}(\mathcal{O}_\infty)]$ 的数量，该数量为有限且可通过 $BG$ 的上同调计算得出。
• 当 $BG$ 同伦同胚于有限 CW 复形时，将 cocycle 同构类映射到分类映射同伦类的映射 $\mathcal{B}$ 是双射，从而建立了此类作用的拓扑分类。
• 与作用 $\alpha$ 相关的广义映射环 $M_\alpha$ 是丛 $\mathcal{P}_\alpha \times_{\operatorname{Aut}(A)} A$ 的连续截面的 $C^*$-代数，且其 $KK$-类恢复为恒等映射的 $KK$-类，当且仅当该作用是 $KK$-平凡地 cocycle 同构于平凡作用。
• $A$ 的稳定化中单位元空间 $U(A_\flat)$ 与 $\Omega \operatorname{Aut}(A \otimes \mathbb{K})$ 之间存在弱同伦等价，从而可构造一个弱同伦等价，以实现从单位元群到自同构群环路空间的映射 $\Pi_{A,X}$。
• $BG$ 的基本群 $G = \pi_1(BG)$ 的自同构群 $\operatorname{Aut}(G)$ 作用于外作用的集合，此类作用的 $\operatorname{Aut}(G)$-轨道数量对应于 cocycle 同构类的数量，并为 $G = \mathbb{Z}^n$ 推导出显式公式。