[論文レビュー] On the classification of simple amenable $C*$-algebras with finite decomposition rank, II

George A. Elliott, Guihua Gong+2 more|arXiv (Cornell University)|Jul 13, 2015

Advanced Operator Algebra Research被引用数 11

ひとこと要約

本稿では、有限の分解ランクをもち、ユニバーサル係数定理（UCT）を満たす単位的・単純・可分・アメーブルなC*-代数が、Elliott不変量により分類可能であることを確立している。このような代数をユニバーサルUHF代数とテンソル積にとったものについて、一般化されたトレース的ランクが1以下であることを示すことで、このクラスの分類プログラムを完成させ、それらがクラス $\mathcal{N}_1$ に属し、次元成長のない部分単位的C*-代数の帰納的極限であることを示している。

ABSTRACT

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where $Q$ is the universal UHF-algebra. Consequently, $A$ is classifiable in the sense of Elliott.

研究の動機と目的

• 有限の分解ランクをもち、UCTを満たす単位的・単純・可分・アメーブルC*-代数の分類を完成させ、それらがすべてクラス $\mathcal{N}_1$ に属することを示す。
• このような代数をユニバーサルUHF代数 $Q$ とテンソル積にとったものについて、一般化されたトレース的ランクが1以下であることを示す。
• Elliott不変量が、このクラスのC*-代数を完全に分類可能であることを確立し、先行研究を一般の有限分解ランクの場合にまで拡張する。
• $K_0$ の torsion-free 性といった追加仮定を不要にするために、UCTと有限の分解ランクのもとで一般性を保った状態で結果を示す。
• 有限および純粋無限C*-代数の分類をElliott不変量の枠組みで統一する。

提案手法

• 単位的・単純・可分・アメーブルなC*-代数 $A$ が有限の分解ランクをもち、UCTを満たすとき、$A \otimes Q$ が一般化されたトレース的ランクが1以下であることを証明する。
• 次元成長のない部分単位的C*-代数の帰納的極限の構造を用いて、$\mathcal{N}_1$ を特徴付ける。
• 一般化されたトレース的ランクが1以下のC*-代数の分類定理を適用し、トレース的状態の準対角性とUCTに依存する。
• Tikuisis, White, and Winterの最近の結果（UCTを満たすアメーブルC*-代数上のすべてのトレース的状態が準対角的である）を活用し、別個の準対角性仮定を排除する。
• アメーブルな状況では有限核次元が有限の分解ランクを含むこと、およびUCTのもとで $\mathcal{N}_1$ はまさにこのような代数から成ることを用いる。
• 文献[23]および[9]におけるトレース的ランクが1以下のC*-代数の分類結果を適用し、$A \otimes Q$ が円代数の帰納的極限であることを示し、したがって分類可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限の分解ランクをもち、UCTを満たす単位的・単純・可分・アメーブルC*-代数は、すべてクラス $\mathcal{N}_1$ に属するか？
• RQ2 このような代数について、$A \otimes Q$ の一般化されたトレース的ランクが1以下に抑えられるか？ これにより分類が保証されるか？
• RQ3 UCTおよび有限核次元の仮定のもとで、トレース的状態の準対角性は不要であると示せるか？
• RQ4 $K$-理論的仮定を追加せずに、有限の分解ランクをもつC*-代数の分類を完成させられるか？
• RQ5 一般化されたトレース的ランクと核次元に関する結果は、有限および純粋無限C*-代数の分類をどのように統一するか？

主な発見

• 有限の分解ランクをもち、UCTを満たす単位的・単純・可分・アメーブルC*-代数は、すべてクラス $\mathcal{N}_1$ に属する。これは、次元成長のない部分単位的C*-代数の帰納的極限であることを意味する。
• このような代数について、$A \otimes Q$ は一般化されたトレース的ランクが1以下である。これは、アメーブル性のもとで準対角性および $\mathcal{Z}$-安定性を示唆する。
• Elliott不変量は、このクラスのC*-代数を完全に分類可能である：$A \cong B$ であるための必要十分条件は、$K$-理論、トレース的状態空間、およびスケーリング写像が同型であることである。
• Tikuisis, White, and Winterの結果により、UCTおよび有限核次元のもとで、トレース的状態の準対角性は不要であることが示された。
• すべての単位的・単純・可分・アメーブルC*-代数で、有限核次元をもちUCTを満たすものは、Elliott不変量により分類可能である。
• 結果として、有限および純粋無限C*-代数の分類が、同じ不変量によって統一された。