[論文レビュー] Decomposition rank and Z-stability

Wilhelm Winter|ArXiv.org|Jun 18, 2008

Advanced Operator Algebra Research参考文献 24被引用数 12

ひとこと要約

本稿は、分離可能で単純かつ非初等的で単位的である C*-代数が有限の分解ランクを持つならば、Z-安定であることを確立している。すなわち、それらはジャンス・スー代数をテンソル積で吸収する。この結果により、唯一的エルゴード的で滑らかで最小の力学系から生じる C*-代数の分類が、順序付き K-群によって完全に達成され、Z-安定性が核となる C*-代数のエリオットプログラムにおける正規性性質であることが裏付けられる。

ABSTRACT

We show that separable, simple, unital C*-algebras with finite decomposition rank absorb the Jiang-Su algebra Z tensorially. This has a number of consequences for Elliott's program to classify nuclear C*-algebras by their K-theory data. In particular, it completes the classification of C*-algebras associated to uniquely ergodic, smooth, minimal dynamical systems by their ordered K-groups.

研究の動機と目的

• 分離可能で単純かつ非初等的で単位的な C*-代数において、有限の分解ランクと Z-安定性との間の関係を確立すること。
• 有限の分解ランクが Z-安定性を示すことを示すことにより、エリオットの分類プログラムにおける重要なギャップを解消し、特定の分類定理において追加の仮定を必要としなくなるようにすること。
• 唯一的エルゴード的で滑らかで最小の力学系から生じる C*-代数の分類を、順序付き K-群によって完全に達成すること。
• 前記の Z-安定性および KK-理論に関する結果を一般化し、ジャンス・スー代数が、有限の分解ランク、一意的なトレース状態、UCT、および ℂ と KK-同値である、分離可能で単純かつ非初等的な単位的 C*-代数として一意に特徴づけられることを示すこと。
• Z-安定性という強い構造的性質を示す有限次元的正規性条件（有限の分解ランク）を提供し、C*-代数分類の広範な予想と整合性を持たせること。

提案手法

• 必要となる写像および要素を構成するために、c.p.c. 0次写像および c.p.c. 近似を用いる。
• 分解ランクを制御し、適切な写像および等長写像の存在を導くために、m-分解可能 c.p.c. 近似の概念を適用する。
• 補題 3 を用いて、特定のノルムおよび像の条件を満たす c.p.c. 0次写像 Φ: M_{m+1} ⊗ M_n ⊗ M_2 → A を構成する。
• 順序 0 写像および等長写像の文脈において、近似解を正確な解に持ち上げるために、命題 2 に依存する。
• 分解ランクの条件と [43] および [23] の既知の分類結果を組み合わせ、UCT およびトレース分離を用いて分類問題を K-理論に還元する。
• 有限の分解ランクが、与えられた許容誤差内での適切な c.p.c. 近似の存在を示すという事実を用い、Z-安定性に必要な構造の構築を可能にする。

実験結果

リサーチクエスチョン

• RQ1 分離可能で単純かつ非初等的で単位的な C*-代数において、有限の分解ランクは Z-安定性を示すか？
• RQ2 唯一的エルゴード的で滑らかで最小の力学系から生じる C*-代数の分類は、順序付き K-群のみを用いて完全に達成可能か？
• RQ3 有限の分解ランク、一意的なトレース状態、UCT、および ℂ と KK-同値であるという条件下で、ジャンス・スー代数 ℤ は、分離可能で単純かつ非初等的な単位的 C*-代数として一意に特徴づけられるか？
• RQ4 有限の分解ランクは、Cuntz 半群における比較性や非穿孔性といった正規性性質とどのように関係するか？
• RQ5 分解ランクは、エリオット分類プログラムの広範な文脈において、有限次元的正規性条件として果たす役割は何か？

主な発見

• 分離可能で単純かつ非初等的で単位的な C*-代数において、有限の分解ランクは Z-安定性を示す。
• 有限の分解ランク、UCT を満たし、射影がトレースを分離するような、単純で分離可能で非初等的な単位的 C*-代数のクラスは、エリオット予想を満たす。
• コンパクトで有限次元的で滑らかな多様体を伴う、唯一的エルゴード的で滑らかで最小の力学系に付随する C*-代数は、その順序付き K-群によって分類可能である。
• ジャンス・スー代数 ℤ は、有限の分解ランク、一意的なトレース状態、UCT、および ℂ と KK-同値である、分離可能で単純かつ非初等的な単位的 C*-代数として一意に特徴づけられる。
• 従来、Z-安定でないと知られていた例（例えば、[36]、[32]、[31] より）は、すべて無限の分解ランクを持つ必要があることが示され、これにより有限の分解ランクに対する新たな障害が得られた。
• C(S³) ⋊_α ℤ の形をした交叉積は、主定理と [25] の結果を組み合わせることで Z-安定であることが示された。