[論文レビュー] On classification of simple non-unital amenable C*-algebras, II

Guihua Gong, Huaxin Lin|arXiv (Cornell University)|Feb 3, 2017

Advanced Operator Algebra Research参考文献 50被引用数 13

ひとこと要約

本稿は、UCT および有限核次元を満たす、一般化されたトレース的ランク1で、トレース上での K₀ が消える分離可能で、アーベルで、単純な安定的に射影的でない C*-代数について、分類定理を確立する。この条件下で、2つのこのような代数が同型であるための必要十分条件は、それらのエリオット不変量が同型であることである。さらに、K₀ = ℤ かつ K₁ = 0 を満たす普遍的な Z-安定 C*-代数 Z₀ を導入し、A ⊗ Z₀ ≅ B ⊗ Z₀ が成り立つための必要十分条件が Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀）であること、すなわち Z₀-安定性を用いて、非単位的かつ安定的に射影的でない状況へ分類を拡張することを示した。

ABSTRACT

We present a classification theorem for amenable simple stably projectionless C*-algebras with generalized tracial rank one whose $K_0$ vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by ${\cal Z}_0$ which has a unique tracial state and $K_0({\cal Z}_0)=\mathbb{Z}$ and $K_1({\cal Z}_0)=\{0\}.$ Let $A$ and $B$ be two separable simple $C^*$-algebras satisfying the UCT and have finite nuclear dimension. We show that $A\otimes {\cal Z}_0\cong B\otimes {\cal Z}_0$ if and only if ${ m Ell}(B\otimes {\cal Z}_0)={ m Ell}(B\otimes {\cal Z}_0).$ A class of simple separable $C^*$-algebras which are approximately sub-homogeneous whose spectra having bounded dimension is shown to exhaust all possible Elliott invariant for $C^*$-algebras of the form $A\otimes {\cal Z}_0,$ where $A$ is any finite separable simple amenable $C^*$-algebras. Suppose that $A$ and $B$ are two finite separable simple $C^*$-algebras with finite nuclear dimension satisfying the UCT such that traces vanishe on $K_0(A)$ and $K_0(B)$ (but arbitrary $K_1$). One consequence of the main results in this situation is that $A\cong B$ if and only if $A$ and $B$ have the isomorphic Elliott invariant.

研究の動機と目的

• 非単位的で、安定的に射影的でない C*-代数へのエリオット分類プログラムの拡張を、従来の K-理論的手法が失敗する状況において行う。
• K₀ における正の錐が自明で、非ゼロの射影を持たない単純 C*-代数の分類の課題に取り組む。
• K₀ = ℤ かつ K₁ = 0 を満たす、分類をテンソル積で可能にする普遍的モデル Z₀ を確立する。
• Z₀-安定代数がエリオット不変量によって分類可能であることを証明し、UCT 分類を非単位的状況へ拡張する。
• A ⊗ Z₀ の形をとる代数のすべての可能なエリオット不変量が、スペクトル次元が有界な近似的に部分ホモジニアス C*-代数によって実現可能であることを示す。

提案手法

• 安定的に射影的でない C*-代数に対して、一般化されたトレース的ランク1（gTR ≤ 1）を構造的条件として導入する。
• 一意なトレース的状態、K₀(Z₀) = ℤ、K₁(Z₀) = 0、および Z₀ ⊗ Z₀ ≅ Z₀ を満たす普遍的 C*-代数 Z₀ を使用する。
• Kunneth 公式を用いて、任意の A に対して Ki(A ⊗ Z₀) ≅ Ki(A) および T(A ⊗ Z₀) ≅ T(A) を示す。
• 中心列および除去技術を用いて、性質 (SI) と連続的スケールを活用し、クラス D の代数における Z-安定性を証明する。
• Z₀-安定代数の構造論を用いて、A ⊗ Z₀ ≅ B ⊗ Z₀ が成り立つための必要十分条件が Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀）であること、すなわちエリオット不変量の同型であることを示す。
• スレート次元 ≤ 3 を持つ部分ホモジニアス C*-代数の帰納的極限として、クラス D に安定同型な代数のモデルを構成する。

実験結果

リサーチクエスチョン

• RQ1 UCT を満たし、有限核次元を持つ非単位的で、安定的に射影的でない C*-代数へ、エリオット分類プログラムを拡張できるか？
• RQ2 Z₀ は、安定的に射影的でない C*-代数の分類を安定化するために果たす役割は何か？
• RQ3 A ⊗ Z₀ の形をとる代数のすべての可能なエリオット不変量が、スレート次元が有界な近似的に部分ホモジニアス C*-代数によって実現可能か？
• RQ4 Z₀-安定性が、有限核次元をもつ UCT クラスの C*-代数に対して、A ⊗ Z₀ ≅ B ⊗ Z₀ が成り立つための必要十分条件が Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀）であることであると示せるか？
• RQ5 すべての分離可能でアーベルな C*-代数がクラス D に属する Z-安定性を示せるか？また、中心列および除去の構造とどのように関係するか？

主な発見

• すべての分離可能で単純な C*-代数 A および B について、有限核次元をもち UCT を満たす場合、A ⊗ Z₀ ≅ B ⊗ Z₀ が成り立つための必要十分条件は、Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀）であることである。
• Z₀ は、K₀(Z₀) = ℤ、K₁(Z₀) = 0、および Z₀ ⊗ Z₀ ≅ Z₀ を満たす普遍的な Z-安定 C*-代数である。
• すべての分離可能でアーベルな C*-代数がクラス D に属する場合、中心列の除去および性質 (SI) を用いて Z-安定性が示された。
• A ⊗ Z₀ のエリオット不変量は、スレート次元が 3 以下の近似的に部分ホモジニアス C*-代数によって実現可能なすべての不変量を網羅する。
• 有限な分離可能で単純な C*-代数 A および B について、トレース上での K₀ が自明で、有限核次元を満たす場合、A ≅ B が成り立つための必要十分条件は Ell(A) ≅ Ell(B）であることである。
• D に安定同型な代数のクラスは、スレート次元 ≤ 3 を持つ部分ホモジニアス C*-代数の帰納的極限として正確に特徴づけられる。