[論文レビュー] Simple nuclear $C^*$-algebras of tracial topological rank one

Huaxin Lin|ArXiv.org|Jan 19, 2004

Advanced Operator Algebra Research参考文献 43被引用数 5

ひとこと要約

本稿は、トレーシング的位相的ランクが1以下の単位的分離可能核的単純C*-代数について、完全な分類定理を確立している。このような代数が同型であるための必要十分条件は、K-理論的データ—K₀、K₁、正の錐、単位類、トレーシング状態空間—が順序および単位を保存する同型であることにかかっている。この結果は、C*-代数の分類プログラムをAFおよびTAF代数にとどまらず、C([0,1])上の行列代数によるトレーシング的近似によって得られる「ランク1」の代数へと拡張するものである。

ABSTRACT

We give a classification theorem for unital separable nuclear simple \CA s with tracial rank no more than one. Let $A$ and $B$ be two unital separable simple nuclear \CA s with $TR(A), TR(B)\le 1$ which satisfy the universal coefficient theorem. We show that $A\cong B$ if and only if $$ (K_0(A), K_0(A)_+, [1_A], K_1(A), T(A)) \cong (K_0(B), K_0(B)_+, [1_B], K_1(B), T(B)). $$

研究の動機と目的

• トレーシング的位相的ランク0（すなわちTAF代数）にとどまらない、核的単純C*-代数の分類プログラムをランク1へと拡張すること。
• トレーシング的位相的ランク ≤ 1の単位的分離可能核的単純C*-代数について、K理論とトレーシングデータを用いて完全な不変量を確立すること。
• 以前のバージョンの分類定理にあった技術的仮定を除去し、より洗練され一般性の高い同型基準を得ること。
• TAI（トレーシング的に近似的に区間型）C*-代数のクラスが、AF代数のランク1への自然な一般化を捉えていることを示すこと。これには、クローズド積や非常に遅い次元成長を示すAH代数といった重要な例が含まれる。
• このような代数が準対角的であり、K₀が弱く非分解的であり、Rieszの補間性および比較性を満たすことを示すことにより、構造的整合性を確認すること。

提案手法

• 有限部分集合が、有限次元C*-代数およびC([0,1])上の行列代数の有限直和によるトレーシング的近似が可能なC*-代数として、TAI（トレーシング的に近似的に区間型）C*-代数の概念を導入する。
• 単純なTAI C*-代数が安定的ランク1であり、準対角的であり、K₀が弱く非分解的であり、Rieszの補間性を満たすことを証明する。
• 普遍係数定理（UCT）を用いてK-理論的不変量と同型類を結びつけ、不変量が分類に十分であることを保証する。
• トレーシング状態空間T(A)とK₀(A)のユニタリ双対の間のトレーシングを保存する同型写像を構成し、極端なトレーシングがK₀の状態空間における極端な状態に対応することを示す。
• Krein-Milmanの定理とトレーシングとK₀上の状態の双対性を用いて、T(A)からK₀(A)のユニタリ状態空間への写像が極端点上で全射であることを証明する。
• 2つの代数のK-理論的データ（K₀、K₁、単位、正の錐、トレーシング状態空間）の間で、順序および単位を保存する同型写像を用いて一対一対応を確立し、トレーシングの整合性はγ₂⁻¹(τ)(x) = τ(γ₀(x))で定義される。

実験結果

リサーチクエスチョン

• RQ1 トレーシング的位相的ランクが1以下の単位的分離可能核的単純C*-代数について、完全な分類を確立できるか？
• RQ2 UCTのもとで、K-理論的データ（特に(K₀, K₀₊, [1], K₁, T)）がこのような代数の完全不変量であるか？
• RQ3 TAI C*-代数は、TAF代数のランク1への自然な一般化を形成するか？ また、安定的ランク1や準対角性といった主要な構造的性質を共有するか？
• RQ4 以前の分類結果にあった技術的仮定を除去することで、より洗練された同型基準が得られるか？
• RQ5 クローズド積のような、インダクティブ極限でない、トレーシングランク1の単純C*-代数の例は存在するか？

主な発見

• トレーシング的位相的ランク ≤ 1の単純核的C*-代数は、K-理論的不変量（K₀、K₀₊、[1]、K₁、T）が順序および単位を保存する同型であるときかつそのときに限り同型であり、トレーシングの整合性条件γ₂⁻¹(τ)(x) = τ(γ₀(x))を満たす。
• TAI C*-代数のクラスは、トレーシング的位相的ランク ≤ 1の単純C*-代数のクラスと一致し、構造的特徴付けを提供する。
• すべてのこのような代数は安定的ランク1であり、準対角的であり、K₀群は弱く非分解的であり、Rieszの補間性を満たす。
• トレーシング状態空間T(A)からK₀(A)のユニタリ状態空間への写像は極端点上で全射であり、∂ₑ(T(A))のλによる像は∂ₑ(Sᵤ(K₀(A)))に一致する。
• このクラスに属する無限次元代数について、K₀(A)/tor(K₀(A))はℤに同型でないため、AFやTAFの場合よりも豊かなK-理論的構造を有することが示唆される。
• この結果は、非常に遅い次元成長を示す単純なAH代数や、Rokhlin性を持つある種のクローズド積といった重要な例を含んでおり、これらがトレーシングランク1を有することが新たに明らかになった。