[論文レビュー] The classification of simple separable KK-contractible C*-algebras with finite nuclear dimension

George A. Elliott, Zhuang Niu|arXiv (Cornell University)|Nov 16, 2016

Advanced Operator Algebra Research参考文献 53被引用数 8

ひとこと要約

本稿では、トレースの錐 $\mathrm{T}^{+}A$（定密に定義された下半連続トレースの錐）とトレースの単位球 $\Sigma A$ からなる不変量 $(\mathrm{T}^{+}A, \Sigma A)$ を用いて、有限核次元をもつ単純で分離可能なKK-収縮的C*-代数の分類を確立する。主な結果は、このような代数がトレース不変量によって分類可能であり、またRazak代数の帰納的極限であることを示しており、トレース的近似と安定的一意性を用いて、Elliott分類プログラムを非単位的かつKK-収縮的状況に拡張する。

ABSTRACT

The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $\mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.

研究の動機と目的

• 非単位的で単純かつ分離可能なC*-代数のElliott分類プログラムを、KK-収縮的かつ有限核次元をもつ場合に拡張すること。
• このクラスのC*-代数に対する完全な分類不変量を確立し、単位的の場合を一般化すること。
• $A \otimes \mathcal{W}$ が、有限核次元をもつ任意の単純で分離可能なC*-代数 $A$ に対して分類可能であることを示すこと。ここで $\mathcal{W}$ はJiang-Su安定C*-代数である。
• このような代数のクラスが、Razak代数の単純な帰納的極限のクラスと一致することを示すこと。

提案手法

• 有限集合 $\mathcal{F} \subset A$、$\varepsilon > 0$、$n \in \mathbb{N}$ に対して、$\widetilde{A} \otimes Q$ 内の射影 $q, p_1, \dots, p_n$ を構成し、$q + \sum p_i = 1$、$q \sim p_i$ を満たし、$p_i$ が$\varepsilon$-近似的に可換かつRazak代数に圧縮可能であるようにする。
• Corollary 8.16 の安定的一意性定理を応用し、不変量の一致から同型を導出する。
• トレースが有界で、$\mathrm{T}^{+}A$ 上のノルム関数が連続であるような還元クラス $\mathcal{R}$ への還元を、安定的同型を用いて行う。
• Brownの定理を用いて、$A \otimes \mathcal{K}$ を形態 $\overline{h(A \otimes \mathcal{K})h}$ の部分C*-代数と関連づけ、これらがすべて $\mathcal{R}$ に属することを示す。
• $\mathcal{W}$ が一意的トレースをもつRazak代数の単純な帰納的極限であり、KK-収縮的であることから、$A \otimes \mathcal{W}$ が有限核次元とKK-収縮性を引き継ぐことを利用する。
• Cuntz半群と正の元のクラスを用いて不変量を回復し、$\mathrm{Cu}(D)$-安定性と安定的スカラー1を用いて同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 Elliott分類プログラムを、非単位的で単純かつ分離可能なKK-収縮的C*-代数、かつ有限核次元をもつ場合に拡張できるか。
• RQ2 このようなC*-代数を完全に分類する不変量は何か。また、トレース空間とCuntz半群との関係は何か。
• RQ3 任意の単純で分離可能なC*-代数 $A$ に対して、$A \otimes \mathcal{W}$ は分類可能か。
• RQ4 このような代数はすべてRazak代数の帰納的極限として得られるか。
• RQ5 トレース不変量 $(\mathrm{T}^{+}A, \Sigma A)$ は、有限および純粋無限の場合におけるCuntz半群とMurray-von Neumann半群とどのように関係するか。

主な発見

• 単純で分離可能なKK-収縮的C*-代数のクラスで有限核次元をもつものは、トレースの錐 $\mathrm{T}^{+}A$（定密に定義された下半連続トレースの錐）とトレースの単位球 $\Sigma A$ からなる不変量 $(\mathrm{T}^{+}A, \Sigma A)$ によって分類可能である。
• 任意のこのようなC*-代数 $A$ はRazak代数の単純な帰納的極限であり、このような代数のクラスはRazak代数の単純な帰納的極限のクラスと一致する。
• 任意の単純で分離可能なC*-代数 $A$ で有限核次元をもつものに対して、$A \otimes \mathcal{W}$ は分類可能であり、特に $\mathcal{W} \otimes \mathcal{W} \cong \mathcal{W}$ が成り立つ。
• 分類は純粋無限の場合にも成立する：$\mathrm{T}^{+}A = \{0\}$ ならば、$A$ はMurray-von Neumann半群と射影のクラスによって分類され、Kirchberg-Phillips分類と整合的である。
• トレース的近似構造により、$\varepsilon$-近似的に可換かつRazak代数への圧縮が可能となり、安定的一意性定理の適用が可能になる。
• $A$ がJiang-Su安定かつ核的であるとき、不変量 $\mathrm{V}(A) \setminus \{0\} \sqcup \mathrm{LAff}(\mathrm{T}^{+}A)$ は、有限と無限の両ケースを統合する1つの不変量をなす。これは $A$ が核的かつJiang-Su安定であるとき、Cuntz半群と同型である。