[論文レビュー] Simple stably projectionless C*-algebras with generalized tracial rank one

George A. Elliott, Guihua Gong+2 more|arXiv (Cornell University)|Nov 3, 2017

Advanced Operator Algebra Research参考文献 34被引用数 7

ひとこと要約

本稿は、単位元を持たない単純かつ安定的に投影的でないC*-代数に対する一般化されたトレース的ランク1の非単位元版を導入し、その性質を研究している。これにより、厳密比較、安定的スカラー1、擬似対角性、および${\cal Z}$-安定性といった構造的性質が確立される。主な貢献は、分離可能で単純かつアーベルで、安定的に投影的でないC*-代数が有限核次元と自明なK理論を持つ場合、そのElliott不変量による分類が${\cal D}_0$類を用いて拡張可能であることを示したことである。これにより、分類プログラムが非単位元の設定へと拡張された。

ABSTRACT

We study a class of stably projectionless simple C*-algebras which may be viewed as having generalized tracial rank one in analogy with the unital case. Some structural question concerning these simple C*-algebras are studied. The paper also serves as a technical support for the classification of separable stably projectionless simple amenable Jiang-Su stable C*-algebras.

研究の動機と目的

• 非単位元かつ安定的に投影的でないC*-代数への一般化されたトレース的ランク1の概念を、単位元の設定から拡張すること。
• このクラスの代数に対して、厳密比較、安定的スカラー1、擬似対角性、および${\cal Z}$-安定性といった構造的性質を確立すること。
• 分離可能で単純かつアーベルで、安定的に投影的でないC*-代数が有限核次元かつ自明なK理論を持つ場合、そのElliott不変量による分類が可能であることを示し、${\cal D}_0$類に属することを証明すること。
• このような代数が江崎代数${\cal W}$とテンソル積をとることで${\cal D}_0$に属することを示し、非単位元設定における分類図式を完成させること。

提案手法

• ペデルスン理想上の点別収束位相と、安定的に稠密な理想上のトレースを用いて、一般化されたトレース的ランク1の非単位元版を定義する。
• トレース空間$\widetilde{T}(A)$とその弱*-コンact化$\overline{T(A)}^w$を用いて、次元-スカラー比を定義し、正の元を比較する。
• ブラウンの定理を用いて、$A$を$A_1 \otimes {\cal K}$の遺伝的C*-部分代数として実現する。ここで$A_1 = \overline{aAa}$であり、$a$は正の正則元である。$A_1 = \mathrm{Ped}(A_1)$を用いてトレース解析を簡略化する。
• 完全正値線形コンパクト写像$\varphi_n: A \to {\cal W}$を用い、$\varphi_n(a_0)$が正の正則元であり、$\tau(a) = \lim_n \tau_{\cal W}(\varphi_n(a))$を満たすようにトレースを近似する。
• $\mathrm{K}_0({\cal W}) = 0$および${\cal W}$の安定的スカラー1の性質を用いて、$\mathrm{M}_k({\widetilde{\cal W}})$内の射影がトレース値が一致する場合に同値であることを示し、命題12.2の証明における矛盾を導く。
• 文献[44]、[25]、[42]の結果を応用し、$h_n(b_n)$が正の正則元であるようなホモモーフィズム$h_n: B_n \to {\cal W}$の構成を行い、トレースの近似を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般化されたトレース的ランク1の概念は、非単位元かつ安定的に投影的でないC*-代数へ意味的に拡張可能か？
• RQ2 このような代数は、厳密比較、安定的スカラー1、擬似対角性、および${\cal Z}$-安定性といった正規性を示すか？
• RQ3 分離可能で単純かつアーベルで、安定的に投影的でないC*-代数が有限核次元かつ自明なK理論を持つ場合、常に${\cal D}_0$類に属するか？
• RQ4 このような代数が江崎代数${\cal W}$とテンソル積をとることで${\cal D}_0$に属することを保証できるか？これにより非単位元設定における分類が完成するか？

主な発見

• 一般化されたトレース的ランク1の非単位元版は適切に定義されており、正の元に対する厳密比較を満たす代数を導く。
• すべてのこのような代数は安定的スカラー1であり、擬似対角的であり、すべての擬似トレースがトレースに一致する。
• 分離可能で単純かつアーベルで、安定的に投影的でないC*-代数が有限核次元かつ自明なK理論を持つ場合、すべて${\cal Z}$-安定である。
• このような代数は、連続的スケールを持ち、すべての遺伝的C*-部分代数がトレース的近似的に可除である場合、$A \in {\cal D}_0$を満たす。
• ${\cal W}$とテンソル積をとることで、分離可能で単純かつアーベルで、安定的に投影的でないC*-代数が有限核次元かつ空でないトレース空間を持つ場合、$A \otimes {\cal W} \in {\cal D}_0$が保証される。
• トレース空間$\overline{T(A)}^w$は弱*-コンパクトであり、$A^*$における$T(A)$の弱*-閉包と位相的に同相である。これにより、${\cal W}$への写像列によるトレースの近似が可能になる。