[論文レビュー] 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

ひとこと要約

本稿では、Kirchberg代数上の多項式-$\mathbb{Z}$群の外部作用の位相的分類を確立し、問題を分類空間 $BG$ 上の連続的場のKirchberg代数の分類に還元する。主な結果は、Cuntz代数上の外部 $\mathbb{Z}^n$-作用のコサイクル同値類の完全分類であり、このような作用が $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.

研究の動機と目的

• Kirchberg代数上の多項式-$\mathbb{Z}$群の外部作用のための位相的分類フレームワークを確立すること。
• このような作用のコサイクル同値類の分類を、分類空間 $BG$ 上のKirchberg代数の連続的場の分類に還元すること。
• Cuntz代数上の外部 $\mathbb{Z}^n$-作用のコサイクル同値類の数を特定すること。
• 適切な条件下で、写像 $\mathcal{B}: \mathcal{OA}(G,A)/\sim_{\text{cocycle}} \to [BG, B\operatorname{Aut}(A)]$ が双対写像であることを証明し、解析的 $C^*$-力学系と代数的位相幾何学を結びつけること。

提案手法

• 群作用に伴う第一および第二コホモロジー群の消滅を示すために、ホモトピー固定点技術を用いる。
• 一般化されたマッピングトーラス $M_\alpha$ を、関連するバンドル $\mathcal{P}_\alpha \times_{\operatorname{Aut}(A)} A$ の連続的切断の $C^*$-代数として構成する。
• 適切な $BG$ の位相的条件の下で、動的実現定理を適用し、$BG$ 上の主 $\operatorname{Aut}(A)$-バンドルが $G$-作用によって生じることを実現する。
• $BG$ が有限CW複体とホモトピー同値であることを用いて、分類問題を $BG$ 上の連続的場の $C^*$-代数として再定式化し、位相的分類を可能にする。
• 分類空間 $BG$ の普遍的性質を活用し、主バンドルの同型類をホモトピー類 $[X, BG]$ に結びつけることで、分類問題を位相的問題に還元する。
• ユニタリ群と自己同型群のループ空間の間の弱ホモトピー同値を用い、$KK$-自明なコサイクル同値とホモトピー類の分類写像の間の対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 Kirchberg代数上の外部 $\mathbb{Z}^n$-作用の分類は、分類空間 $BG$ を含む位相的問題に還元可能か？
• RQ2 $G$ が多項式-$\mathbb{Z}$ 群であるとき、外部 $G$-作用のコサイクル同値類からホモトピー類 $[BG, B\operatorname{Aut}(A)]$ への写像 $\mathcal{B}$ は双対写像か？
• RQ3 Cuntz代数 $\mathcal{O}_\infty$ 上の外部 $\mathbb{Z}^n$-作用のコサイクル同値類はいくつ存在するか？
• RQ4 $BG$ 上の任意の主 $\operatorname{Aut}(A)$-バンドルは、安定なKirchberg代数 $A$ 上の外部 $G$-作用から生じるか？
• RQ5 $\mathcal{O}_\infty$ 上の $\mathbb{Z}^n$-作用の $KK$-自明なコサイクル同値類を分類する正確な位相的不変量は何か？

主な発見

• 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$-作用のコサイクル同値類の数は、ホモトピー類 $[B\mathbb{Z}^n, B\operatorname{Aut}(\mathcal{O}_\infty)]$ の数に等しく、これは $BG$ のコホモロジーを用いて有限かつ計算可能である。
• $\mathcal{B}$ がコサイクル同値類からホモトピー類の分類写像への写像であるとき、$BG$ が有限CW複体とホモトピー同値である限り、これは双対写像であり、このような作用の位相的分類が確立される。
• 作用 $\alpha$ に関連する一般化されたマッピングトーラス $M_\alpha$ は、バンドル $\mathcal{P}_\alpha \times_{\operatorname{Aut}(A)} A$ の連続的切断の $C^*$-代数であり、その $KK$-類が恒等写像の $KK$-類に一致するのは、作用が $KK$-自明にコサイクル同値に自明な作用であるときである。
• $A$ の安定化におけるユニタリ $U(A_\flat)$ の空間は、$\Omega \operatorname{Aut}(A \otimes \mathbb{K})$ と弱ホモトピー同値であり、このことにより、ユニタリ群から自己同型群のループ空間への写像 $\Pi_{A,X}$ を実現する弱ホモトピー同値が構成可能である。
• $G = \pi_1(BG)$ の基本群の自己同型群 $\operatorname{Aut}(G)$ は、外部作用の集合に作用し、その $\operatorname{Aut}(G)$-軌道の数はコサイクル同値類の数に一致する。$G = \mathbb{Z}^n$ の場合、明示的な公式が導出される。