[論文レビュー] A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

N. Christopher Phillips|ArXiv.org|Jul 1, 1995

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

ひとこと要約

この論文は、KK同値性が同型を意味することを示すことによって、非単位的で分離可能かつ純粋に無限大な単純なC*-代数の分類定理を確立する。キルヒバーグの定理を応用し、ユニタリな分離可能かつ純粋に無限大な単純なC*-代数がユニバーサル係数定理を満たす場合、K-理論群が順序付き同型であり、恒等クラスが一致するならば、それらは同型であることを示す。

ABSTRACT

Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that KK-equivalence implies isomorphism for nonunital separable nuclear purely infinite simple C*-algebras. It follows that if A and B are unital separable nuclear purely infinite simple C*-algebras which satisfy the Universal Coefficient Theorem, and if there is a graded isomorphism from K_* (A) to K_* (B) which preserves the class of the identity, then A is isomorphic to B. Our main technical results are, we believe, of independent interest. We say that two asymptotic morphisms t ---> ϕ_t and t ---> ψ_t from A to B are asymptotically unitarily equivalent if there exists a continuous unitary path t ---> u_t in the unitization B^+ such that || u_t ϕ_t (a) u_t^* - ψ_t (a) || ---> 0 for all a in A. Let A be separable, nuclear, unital, and simple, and let D be unital. We prove that any asymptotic morphism from A to K tensor O_infinity tensor D is asymptotically unitarily equivalent to a homomorphism, and two homotopic homomorphisms from A to K tensor O_infinity tensor D are asymptotically unitarily equivalent.

研究の動機と目的

• 非単位的で分離可能かつ核的な純粋に無限大な単純なC*-代数をKK理論を用いて分類すること。
• キルヒバーグの同型定理をより広範な分類枠組みに拡張すること。
• 純粋に無限大の設定において、KK同値性が同型を意味する条件を確立すること。
• K ⊗ O_∞ ⊗ D への漸近的ホモオモルフィズムの漸近的ユニタリ同値性を証明すること。
• ユニタリな代数がユニバーサル係数定理を満たす場合のK-理論的分類基準を提供すること。

提案手法

• 漸近的ホモオモルフィズムを用い、ユニタリゼーションにおける連続的ユニタリ経路を介して漸近的ユニタリ同値性を定義する。
• 任意のユニタリな分離可能かつ核的な単純なC*-代数AからK ⊗ O_∞ ⊗ Dへの任意の漸近的ホモオモルフィズムが、ホモオモルフィズムに漸近的にユニタリ同値であることを証明する。
• AからK ⊗ O_∞ ⊗ Dへの2つのホモトープなホモオモルフィズムが、漸近的にユニタリ同値であることを確立する。
• これらの結果を応用し、非単位的で分離可能かつ核的な純粋に無限大な単純なC*-代数においてKK同値性が同型を意味することを示す。
• キルヒバーグのO_2およびO_∞テンソル積に関する定理を活用し、分類問題をK-理論不変量に還元する。
• ユニバーサル係数定理を用いてKK理論の同型とC*-代数の同型を結びつける。

実験結果

リサーチクエスチョン

• RQ1 非単位的で分離可能かつ核的な純粋に無限大な単純なC*-代数において、KK同値性が同型を意味する条件は何か？
• RQ2 K ⊗ O_∞ ⊗ D への漸近的ホモオモルフィズムは、ホモオモルフィズムに漸近的にユニタリ同値にできるか？
• RQ3 核的な単純なC*-代数からK ⊗ O_∞ ⊗ D への2つのホモトープなホモオモルフィズムが、いつ漸近的にユニタリ同値になるか？
• RQ4 どのようなK-理論的条件が、ユニタリな分離可能かつ核的な純粋に無限大な単純なC*-代数の同型性を保証するか？
• RQ5 ユニバーサル係数定理は、このようなC*-代数をK-理論を用いてどのように分類できるか？

主な発見

• 非単位的で分離可能かつ核的な純粋に無限大な単純なC*-代数において、KK同値性は同型を意味する。
• ユニタリな分離可能かつ核的な単純なC*-代数AからK ⊗ O_∞ ⊗ D への任意の漸近的ホモオモルフィズムは、ホモオモルフィズムに漸近的にユニタリ同値である。
• このような代数からK ⊗ O_∞ ⊗ D への2つのホモトープなホモオモルフィズムは、漸近的にユニタリ同値である。
• ユニタリな分離可能かつ核的な純粋に無限大な単純なC*-代数がユニバーサル係数定理を満たすならば、そのK_*-群が順序付き同型であり、恒等クラスが一致する場合、それらは同型である。
• 分類結果は、代数が核的かつ純粋に無限大であるという仮定のもとで成り立ち、主な不変量はK-理論と恒等クラスである。
• 「局所的漸近的ホモオモルフィズム」を必要としないことで、従来の手法よりも証明を簡略化している。