[論文レビュー] Classification of finite simple amenable ${\cal Z}$-stable $C^*$-algebras

Guihua Gong, Huaxin Lin+1 more|arXiv (Cornell University)|Dec 31, 2014

Advanced Operator Algebra Research参考文献 71被引用数 73

ひとこと要約

この論文は、Elliott不変量を用いて、単位的、単純、可分、アーベル、Z-安定なC*-代数の分類定理を確立する。Z-安定な代数が同型な不変量を持つならば、写像の漸近的ユニタリ同値性を介して同型であることを示すことで、有限な有理数トレース的ランクおよび有限な分解ランクを持つC*-代数を含む広範なクラスのC*-代数を、UCT条件のもとで分類する。

ABSTRACT

We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. Moreover, it contains all unital simple separable amenable $C^*$-alegbras which satisfy the UCT and have finite rational tracial rank.

研究の動機と目的

• 単位的、単純、可分、アーベル、Z-安定なC*-代数の広範なクラスをElliott不変量を用いて分類すること。
• 一般のアーベルな設定において、Elliott不変量による分類のためにはZ-安定性が必要条件であることを確立すること。
• 有限な有理数トレース的ランクまたは有限な分解ランクを持つ代数へ分類結果を拡張すること。
• 誘導極限構造を仮定しないでC*-代数を分類する枠組みを提供することを、漸近的ユニタリ同値性を用いて行うこと。

提案手法

• A ⊗ Z を A ⊗ Q におけるパス代数の定常的帰納的極限として見る、Winterの枠組みを用いる。
• C*-代数間の写像に関する存在および一意性定理を、近似的ユニタリ同値性ではなく漸近的ユニタリ同値性に適応する。
• KK理論および全K理論を用いて、K理論的データをC*-代数の写像に持ち上げる。
• 連続的なユニタリの経路を構成して、写像間の強い漸近的ユニタリ同値性を実現する。
• Z-安定代数の文脈において、相互に同型な不変量の同型を元の代数の同型に持ち上げるために、入れ子の議論を適用する。
• UHF代数とのテンソル積におけるK1およびK0が可除であるという事実を用いて、漸近的ユニタリ持ち上げの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 Elliott不変量は、単位的、単純、可分、アーベル、Z-安定なC*-代数を分類できるか？
• RQ2 アーベルな設定において、Elliott不変量による分類のためにはZ-安定性が必要条件か？
• RQ3 有限な有理数トレース的ランクまたは有限な分解ランクを持つ代数へ分類結果を拡張できるか？
• RQ4 構成要素間の写像の漸近的ユニタリ同値性は、元のC*-代数の同型を意味するか？
• RQ5 誘導極限形でない代数へも分類結果を拡張できるか？

主な発見

• 有限な有理数トレース的ランクを持つすべての単位的、単純、可分、アーベル、Z-安定なC*-代数は、Elliott不変量によって分類される。
• 本研究で扱う代数のクラスは、単位的、安定的に有限な単純、可分、アーベル、Z-安定なC*-代数のElliott不変量のすべての可能な値を網羅する。
• N0に属する代数A, Bについて、A ⊗ Z ≅ B ⊗ Z であるための必要十分条件は、Ell(A ⊗ Z) ≅ Ell(B ⊗ Z) である。
• A と B が N0 に属し、Elliott不変量が同型ならば、A ⊗ Z ≅ B ⊗ Z である。
• この結果により、UCTを満たし、有限な分解ランクを持つすべての単位的、可分、単純なC*-代数は、Elliott不変量によって分類される。
• 証明は、写像の強い漸近的ユニタリ同値性が、スパーンされたユニタリ経路を介して元の代数の同型に持ち上がることを示している。