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

Andrew S. Toms|ArXiv.org|Sep 5, 2005

Advanced Operator Algebra ResearchMathematics参考文献 8被引用数 22

ひとこと要約

この論文は、単純で、分離可能で、核型なC*-代数に対するElliottの分類予想に対して反例を構成する。そのために、同一のElliott不変量とすべての標準的連続ホモトピー不変量を持つが、非同型である二つの代数を提示する。Cuntz半群がそれらを区別するために必要であることが示され、従来の不変量が不十分であり、Z-安定性のようなより強い正則性条件が分類に必要であることが証明される。

ABSTRACT

We construct a simple, unital AH algebra which is shape equivalent to its tensor product with any infinite-dimensional UHF algebra, has the same tracial simplex as the said tensor product, and yet is not isomorphic to it. An analogous result for automorphisms is also proved.

研究の動機と目的

• 単純で、分離可能で、核型なC*-代数を分類するためのElliott不変量の完全性を挑戦すること。
• 既存の不変量（実ランク、安定ランク、連続ホモトピー函手など）が非同型な代数を区別できないことを示すこと。
• Elliott不変量を超えて分類を達成するために必要な最小の不変量がCuntz半群であることの証明。
• 分類プログラムが不変量の拡張ではなく、新たな正則性条件（例：Z-安定性）を採用すべきであるという主張。
• 現在の分類手法の限界を明確にし、より強い構造的仮定の必要性を明らかにすること。

提案手法

• 非同型なAとA ⊗ Uをもつ単純で、単位的で、分離可能で、核型なAH代数Aを構成する。ここでUはUHF代数である。
• AとA ⊗ Uが、Fに属するすべての不変量（Elliott不変量、実ランク、安定ランク、連続ホモトピー函手）において同一であることを示す。
• Cuntz半群W(·)を用いてAとA ⊗ Uを区別し、それがFに含まれるいかなる不変量にも記録されないことを証明する。
• 周期2の自己同型αを、C*-代数B上で構成し、すべてのF_Rに属する不変量上で自明に作用するが、局所的内自己同型ではないことを示す。
• 球面の直積から立方体への連続写像を用いて射影のプッシュダウンを用い、Cuntz同値とMurray-von Neumann同値を関連付ける。
• ベクトル束の空間D(Y)からW(C([0,1]^N))への順序埋め込みιを確立し、球面の直積上のベクトル束とCuntz半群を結びつける。

実験結果

リサーチクエスチョン

• RQ1 非同型な単純で、分離可能で、核型なC*-代数が、同一のElliott不変量とすべての標準的連続ホモトピー不変量を持つことは可能か？
• RQ2 Cuntz半群はそれらの代数を区別するために必要であり、かつ既存の不変量で記録可能か？
• RQ3 すべての標準的不変量上で自明に作用する自己同型が、局所的内自己同型でないことはあり得るか？これは一意性の失敗を示唆するか？
• RQ4 Z-安定性は核型C*-代数の分類において果たす役割は何か？そして、遅い次元成長とどのように関係するか？
• RQ5 Cuntz半群は分類定理において有効に使えるか？それともその範囲の問題は解けないほど困難か？

主な発見

• 単純で、単位的で、分離可能で、核型なAH代数Aが存在し、AとA ⊗ Uは同型でないが、すべてのF ∈ Fに対してF(A) ≅ F(A ⊗ U)である。
• Cuntz半群がAとA ⊗ Uを区別することを示し、それがElliott不変量やFに属するいかなる連続ホモトピー不変量にも記録されないことを証明する。
• C*-代数B上の周期2の自己同型αは、すべてのF_Rに属する不変量上で恒等的に作用するが、局所的内自己同型ではない。これは一意性の失敗を示している。
• Cuntz半群はElliott予想を修復するために必要な最小の不変量であり、Fが記録できない情報を捉えている。
• 単純で単位的AH代数の既存の分類結果（Elliott不変量によるもの）は最適であり、連続ホモトピー不変量を追加しても改善できない。
• 結果から、完全な分類プログラムには不変量の拡張ではなく、Z-安定性が正しい正則性条件であると示唆される。