[論文レビュー] The Cuntz semigroup, the Elliott conjecture, and dimension functions on C*-algebras

Nathanial P. Brown, Francesc Perera+1 more|ArXiv.org|Sep 6, 2006

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

ひとこと要約

本稿では、特定の単純・単位的・Z-安定または遅い次元成長を示すAH C*-代数 A について、Cuntz 細分 W(A) がエリオット不変量 Ell(A) から関手的に回復可能であることを確立し、ブラックダーとハンデルマンの次元関数に関する2つの長年の予想を解決した。主な結果は、このような代数における次元関数の空間がチョケット単体をなすことであり、1980年代に提唱された下位連続次元関数の稠密性および単体構造の予想を裏付けた。

ABSTRACT

We prove that the Cuntz semigroup is recovered functorially from the Elliott invariant for a large class of C*-algebras. In particular, our results apply to the largest class of simple C*-algebras for which K-theoretic classification can be hoped for. This work has three significant consequences. First, it provides new conceptual insight into Elliott's classification program, proving that the usual form of the Elliott conjecture is equivalent, among Z-stable algebras, to a conjecture which is in general substantially weaker and for which there are no known counterexamples. Second and third, it resolves, for the class of algebras above, two conjectures of Blackadar and Handelman concerning the basic structure of dimension functions on C*-algebras. We also prove in passing that the Cuntz-Pedersen semigroup is recovered functorially from the Elliott invariant for a large class of unital simple C*-algebras.

研究の動機と目的

• 単純・単位的・有限・Z-安定または遅い次元成長を示すAH代数を含む広範な C*-代数のクラスについて、Cuntz 細分 W(A) がエリオット不変量 Ell(A) から関手的に回復可能であることを確立すること。
• C*-代数における次元関数の構造に関して、ブラックダーとハンデルマンが提起した2つの予想を解消すること。
• Z-安定または遅い次元成長を示すAH代数に対して、次元関数の空間がチョケット単体であることを示すこと。
• Z-安定な状況下で、Cuntz 細分がエリオット分類プログラムにおける役割を明確にし、W(A) を含むより弱くより頑健な予想に等価であることを示すこと。

提案手法

• 著者らは、A の K-理論、トレース、および Murray-von Neumann 細分 V(A) から W(A) を再構成する関手を定義した。
• Z-安定かつ遅い次元成長を示す代数では、正の元の厳密比較が成り立つことを利用した。これは Cuntz 細分とトレースを結びつける。
• K₀*(A) と W(A)₊ のグロテンディーク群との順序同型を用いることで、関数解析的道具を適用可能にした。
• 特に、T(A) 上の有界下位連続アフィン関数の空間 LAff_b(T(A))++ に関する理論的結果を応用し、Cuntz 細分をモデル化した。
• T(A) 上の下位連続アフィン関数の半群におけるリースの補間性質を用いて、チョケット単体構造を確立した。
• 鍵となる技術的ステップは、自然な写像 φ: W(A) → W̃(A) が順序埋め込みであることを示したことであり、これは下位連続次元関数の稠密性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 Z-安定または遅い次元成長を示すAH代数に対して、Cuntz 細分 W(A) はエリオット不変量 Ell(A) から関手的に回復可能か？
• RQ2 このような代数における次元関数の空間は、ブラックダーとハンデルマンが予想したようにチョケット単体か？
• RQ3 これらの代数で厳密比較が成り立つならば、下位連続次元関数はすべての次元関数の空間において稠密であるか？
• RQ4 通常のエリオット予想は、Z-安定 C*-代数における W(A) を含むより弱い予想と同値か？
• RQ5 K-理論的分類定理を用いて、次元関数に関する構造的予想を確認できるか？

主な発見

• すべての単純・単位的・有限・Z-安定または遅い次元成長を示すAH代数について、Cuntz 細分 W(A) はエリオット不変量 Ell(A) から関手的に回復可能である。
• このような代数における次元関数の空間 DF(A) はチョケット単体であり、ブラックダー＝ハンデルマンの予想を確認した。
• 下位連続次元関数は DF(A) において稠密であり、これはブラックダー＝ハンデルマン予想 (i) の主要な要素である。
• DF(A) の単体構造は、T(A) 上の下位連続アフィン関数の半群におけるリースの補間性質から導かれる。
• 証明は、Z-安定かつ遅い次元成長を示す代数で成り立つ厳密比較性質に依存しており、これは W(A) 上の順序がトレースによって決定されることを保証する。
• この結果により、分類における Cuntz 細分の必要性と、標準的不変量に存在しないことの矛盾を解消し、このクラスでは K-理論とトレースによって Cuntz 細分が決定されることを示した。