[論文レビュー] On Local AH algebras

Huaxin Lin|arXiv (Cornell University)|Apr 4, 2011

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

ひとこと要約

この論文は、次元成長のない局所的AH型で単位的・分離的・単純なC*-代数が、次元成長のない単位的単純AH代数と同型であることを確立する。さらに、有限なトレース的ランクをもちUCTを満たすアーメンブルな分離的単純C*-代数がトレース的ランク1以下であることを証明し、また次元成長が遅い局所的AH代数はZ-安定であることを示し、C*-代数のエリオット分類プログラムにおける主要な未解決問題を解決する。

ABSTRACT

We show that every unital amenable separable simple $C^*$-algebra with finite tracial rank which satisfies the UCT has in fact tracial rank at most one. We also show that unital separable simple $C^*$-algebrass which are "tracially" locally AH with slow dimension growth are ${\cal Z}$-stable. As a consequence, unital separable simple $C^*$-algebras which are locally AH with no dimension growth are isomorphic to a unital simple AH-algebra with no dimension growth.

研究の動機と目的

• 単位的・分離的・単純なC*-代数が有限なトレース的ランクをもちUCTを満たすとき、トレース的ランクが1以下であるかどうかという未解決問題を解消すること。
• 次元成長のない局所的AH代数が、次元成長のないAH代数と同型であるかどうかを特定すること。
• 次元成長が遅いトレース的に局所的AH型の単位的・分離的・単純なC*-代数について、Z-安定性を確立すること。
• トレース的ランクが0の場合に限らない、分類の道具立てをトレース的ランク1の場合にまで拡張すること。
• 標準的なAH代数の構造に基づいて、次元成長のない局所的AH代数を完全に特徴づけること。

提案手法

• 遅い次元成長をもつトレース的に局所的AH代数のクラス $\mathcal{C}_1$ を中心的な枠組みとして用いる。
• ウィンターのトレース的近似法とマツイ・サトのZ-安定性に関する技術を応用し、$\mathcal{Z}$-安定性を証明する。
• ユニタリ群および $C(X, M_n)$ の交換子部分群に関する精密な解析を伴う基本ホモトピー補題を用いる。
• クラス $\mathcal{C}_1$ に属するC*-代数における任意の準トレースがトレースに拡張可能であり、極端なトレースが $K_0$ の極端な点へ写像されることを確立する。
• 準同型写像の上限に関する一意性に関する記述を用いて、商群からの有限群のデータを上に持ち上げる。
• ユニタリの上への持ち上げに関する存在定理の $\delta$-${\cal G}$-乗法的写像の文脈におけるバージョンを適用し、ユニタリの像を制御する。

実験結果

リサーチクエスチョン

• RQ1 すべての単位的・分離的・単純なC*-代数が有限なトレース的ランクをもちUCTを満たすとき、トレース的ランクが1以下であるか？
• RQ2 次元成長のない局所的AH型の単位的・分離的・単純なC*-代数は、次元成長のないAH代数と同型であるか？
• RQ3 次元成長が遅いトレース的に局所的AH型の単位的・分離的・単純なC*-代数は、すべて $\mathcal{Z}$-安定であるか？
• RQ4 単位的・分離的・単純なC*-代数のトレース的ランクは、その局所的AH構造と次元成長のみによって決定可能か？
• RQ5 トレース的ランクが0の場合に限らない分類の道具立てを、トレース的ランク1の場合にまで拡張可能か？

主な発見

• 次元成長のない局所的AH型の単位的・分離的・単純なC*-代数は、すべて次元成長のない単位的単純AH代数と同型である。
• 有限なトレース的ランクをもちUCTを満たすアーメンブルな単位的・分離的・単純なC*-代数は、トレース的ランクが1以下である。
• クラス $\mathcal{C}_1$ に属する単位的・分離的・単純なC*-代数は $\mathcal{Z}$-安定である。すなわち $A \cong A \otimes \mathcal{Z}$ が成り立つ。
• クラス $\mathcal{C}_1$ に属する単位的・分離的・単純なC*-代数における任意の準トレースはトレースに拡張可能である。
• トレース的状態空間から $K_0(A)$ の状態空間へのアフィン写像は、極端な点を極端な点へ写像する。
• クラス $\mathcal{C}_1$ に属するC*-代数は安定な位数1であり、正の元についての厳密比較を満たす。