[論文レビュー] Classification of simple $C^*$-algebras of tracial topological rank zero

Huaxin Lin|ArXiv.org|Nov 13, 2000

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

ひとこと要約

この論文は、ユニタリで可分で単純かつ核となるC*-代数で、トレーシング的トポロジカルランクが0であり、ユニバーサル係数定理（UCT）を満たすものについて、分類定理を確立する。近似的に乗法的な*-準同型に関する一意性定理を用いて、2つのこのような代数が同型であるための必要十分条件を示し、それはスケーリングされた順序付きK₀群とK₁群が同型であることである。これは、単純なインダクティブ・リミットの構造を持たないstably finite C*-代数への分類プログラムの拡張を実現する。

ABSTRACT

We give a classification theorem for unital separable simple nuclear $C^*$-algebras with tracial topological rank zero which satisfy the Universal Coefficient Theorem. We prove that if $A$ and $B$ are two such $C^*$-algebras and $$ (K_0(A), K_0(A)_+, [1_A], K_1(A)) $$ $$ \cong (K_0(B), K_0(B)_+, [1_B], K_1(B)), $$ then $A\cong B.$

研究の動機と目的

• 核となるC*-代数の分類プログラムを、必ずしも単純な構築ブロックのインダクティブ・リミットでないstably finite、単純なC*-代数へ拡張すること。
• トレーシング的トポロジカルランクが0であるユニタリで可分で単純かつ核となるC*-代数のK理論的分類を確立すること。
• ユニバーサル係数定理（UCT）が成り立つ場合、同型がスケーリングされた順序付きK₀群とK₁群にのみ依存することを証明すること。
• 純粋に無限大や実ランク0の代数にとどまらず、トレーシング的トポロジカルランクが0の代数を含むように、分類フレームワークを一般化すること。
• キルヒバーグ＝フィリップスおよびエリオット＝ゴンの定理に類似した、このクラスのC*-代数を完全に分類するK理論的不変量を提供すること。

提案手法

• トレーシング的トポロジカルランクが0で実ランク0のC*-代数間の近似的に乗法的な*-準同型に関する一意性定理を用いる。
• 一意性結果を適用して、有限個の射影上で同じK理論的写像を誘導する2つの*-準同型が近似的にユニタリ同値であることを示す。
• UCTを用いて、K理論が同型である代数の間で*-準同型の存在を保証する。
• 有限次元のC*-部分代数と射影の構造を用いて、トレースに類する意味で代数内の要素を近似する。
• K₀とK₁の写像を保存するように準同型を構成し、その後ユニタリ共役を用いて近似的に同値にすることを達成する。
• 安定ランク1および実ランク0の性質により、K理論的写像が*-準同型に引き上げられることに依存する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリで可分で単純かつ核となるC*-代数で、トレーシング的トポロジカルランクが0であり、UCTを満たすものについて、K理論によって分類可能か？
• RQ2 このクラスのC*-代数について、スケーリングされた順序付きK₀群とK₁群が同型であることこそが、同型を決定するのに十分か？
• RQ3 近似的に乗法的な準同型に関する一意性定理をstably finiteの場合の分類に適用可能か？
• RQ4 トレーシング的トポロジカルランク0は、stably finite C*-代数の分類プログラムにおいて、実ランク0の代替として適切か？
• RQ5 UCTが、このクラスにおいてK理論的同型がC*-代数の同型を示すのにどの程度保証するか？

主な発見

• トレーシング的トポロジカルランクが0でUCTを満たす2つのユニタリで可分で単純かつ核となるC*-代数は、スケーリングされた順序付きK₀群とK₁群が同型であることと同型であることの必要十分条件である。
• この分類結果は、インダクティブ・リミット構造や特定の形を仮定しないで成り立ち、従来のAH代数やインダクティブ・リミットに関する結果を一般化する。
• 一意性定理（定理5.1）により、有限個の射影上で一致し、同じK理論的写像を誘導する2つの*-準同型は、近似的にユニタリ同値であることが保証される。
• 証明は、安定ランク1および実ランク0がK理論的データを*-準同型に引き上げられることに依存する。
• トレーシング的トポロジカルランクが0であるC*-代数のクラスには、スローディメンジョン成長を示す単純なAH代数や特定のクローズド積が含まれ、分類の適用範囲を広げる。
• この結果により、トレーシング的トポロジカルランク0が、stably finiteな状況下でのK理論的分類に自然かつ十分な条件であることが確認された。