[論文レビュー] On the classification of nuclear C*-algebras

Marius Dădărlat, Søren Eilers|ArXiv.org|Sep 16, 1998

Advanced Operator Algebra Research被引用数 58

ひとこと要約

本稿は、$K'K$-理論と擬対角性を用いて、単位的核となる$C^*$-代数間の$*$-ホモモーフィズムの一般化された存在および一意性定理を確立し、帰納的極限ではなく局所近似によって定義される広範な類の擬対角$C^*$-代数の分類を可能にする。主な貢献は、普遍係数定理に依存しない、擬対角表現による吸収を前提とした安定的一意性結果と、完全正規化写像に関連する部分$K'K$-要素を定義する枠組みである。

ABSTRACT

The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the classification program -- which for many years parted ways with only moderate interaction. But recent years have seen a fruitful interaction which has been one of the main engines behind rapid progress in the classification program. In the present paper we take this interaction even further. We prove general existence and uniqueness results using KK-theory and a concept of quasidiagonality for representations. These results are employed to obtain new classification results for certain classes of quasidiagonal C*-algebras introduced by H. Lin. An important novel feature of these classes is that they are defined by a certain local approximation property, rather than by an inductive limit construction. Our existence and uniqueness results are in the spirit of classical Ext-theory. The main complication overcome in the paper is to control the stabilization which is necessary when one works with finite C*-algebras. In the infinite case, where programs of this type have already been successfully carried out, stabilization is unnecessary. Yet, our methods are sufficiently versatile to allow us to reprove, from a handful of basic results, the classification of purely infinite nuclear C*-algebras of Kirchberg and Phillips. Indeed, it is our hope that this can be the starting point of a unified approach to classification of nuclear C*-algebras.

研究の動機と目的

• 単位的核となる$C^*$-代数間の$*$-ホモモーフィズムの一般化された存在および一意性結果を、古典的な$AF$や純粋に無限大のケースを超えて得ること。
• 有限次元の像を含む分類において安定化の複雑さを制御する課題を克服するため、出発代数に擬対角吸収表現を導入すること。
• $K'K$-理論と完全正規化写像に関連する部分$K'K$-要素の新しい枠組みを用いて、分類技法を統一すること。
• 普遍係数定理に依存しないより一般的で概念的なアプローチを用いて、KirchbergとPhillipsによる純粋に無限大の核となる$C^*$-代数の分類を再証明すること。
• 帰納的極限ではなく局所近似によって定義される擬対角$C^*$-代数に適用可能な統一的分類計画の基盤を提供すること。

提案手法

• 完全正規化写像に対して部分$K'K$-要素を定義するため、$K'K$-理論と普遍多重係数定理を用いる。これは$*$-ホモモーフィズムの$K'K$-類の一般化である。
• 安定化の制御を目的として、$\gamma: A \to M(\mathcal{K}(H) \otimes B)$ における擬対角吸収表現の概念を導入する。
• $\delta$-乗法的完全正規化写像と$K$-三重対（$K_0$、$K_1$、$K_*$）を用いて、摂動下での$K$-理論的データの近似を行う。
• $\underline{\mathbf{K}}$-三重対枠組みを用いて、スペクトル射影およびユニタリの関数計算を通じて、写像に$K$-理論的不変量を関連付ける。
• 回転行列を介した$K_0(A)$から$K_1(SA)$への標準的写像を用いて、$K_*$-三重対の構成において$K_0$と$K_1$不変量を関連付ける。
• 補題により、$K$-理論的整合性が小さな三重対で成立すれば、摂動および合成の下で大きな集合に対しても成立することを示し、安定性および近似性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 $K'K$-理論を用いて、$AF$および純粋に無限大の代数を超えて$*$-ホモモーフィズムの存在および一意性定理を一般化できるか？
• RQ2 有限次元の像を含む分類定理において、安定化の複雑さをどのように制御できるか？
• RQ3 帰納的極限ではなく局所近似によって定義される擬対角$C^*$-代数を統一的に分類する枠組みを構築できるか？
• RQ4 非$*$-ホモモーフィズムである完全正規化写像に対しても、$K'K$-類に類似した不変量を関連付けることができるか？
• RQ5 普遍係数定理に依存せず、より一般的で概念的な方法で、純粋に無限大の核となる$C^*$-代数の分類を再証明できるか？

主な発見

• 定理3.4.1により、$A$が$M(\mathcal{K}(H) \otimes B)$に擬対角吸収表現を有する場合、二つの$*$-ホモモーフィズム$\varphi, \psi: A \to B$が同じ$K'K$-類を誘導するならば、それらは安定的に近似的にユニタリ同値であると示された。
• 完全正規化写像に対して部分$K'K$-要素を$K$-三重対と関数計算を用いて関連付けることにより、定理4.1.4で完全正規化写像のための一意性結果を証明した。
• $K$-三重対の構成により、$K$-理論的不変量が$\delta$-乗法的写像の下で保存され、有限個の射影およびユニタリの集合によって近似可能であることが保証された。
• 補題A.2.7は、有限個の射影で$K$-理論的整合性が成立すれば、写像が有限生成集合上で十分にノルムで近接している場合、全体の三重対に対しても整合性が成立することを示している。
• この枠組みにより、普遍係数定理に依存せず、基本的な$K'K$-理論的道具のみを用いて、純粋に無限大の核となる$C^*$-代数の分類を再証明できるようになった。
• これらの結果は、すべての擬対角$C^*$-代数を含む十分に一般であり、従来の分類定理で用いられた古典的ブロッククラスを超えて拡張可能である。