[論文レビュー] Unitary groups and augmented Cuntz semigroups of separable simple Z-stable C*-algebras

Huaxin Lin|arXiv (Cornell University)|Nov 23, 2020

Advanced Operator Algebra Research参考文献 33被引用数 4

ひとこと要約

本稿では、可分単純Z安定C*-代数のunitizationのユニタリ群がキャンセレーションを満たし、連続的スケールのもとでは、unitizationの拡張Cuntz半群が厳密比較および弱キャンセレーションを示すことを確立する。拡張Cuntz半群における自己準同型の新たな近似結果を用いて、非単位的可分アメーブル単純Z安定C*-代数がUCTクラスに属する場合、安定的スケール1の仮定を外して、有理数的一般化トレースランクが1以下であることを証明する。

ABSTRACT

Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${ ilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $ ilde A$ has the strict comparison property and a weak cancellation property. Let $C$ be a 1-dimensional non-commutative CW complex with $K_1(C)=\{0\}.$ Suppose that $λ: { m Cu}^\sim(C) o { m Cu}^\sim(A)$ is a morphism in Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms $ϕ_n: C o A$ such that $\lim_{n o\infty}{ m Cu}^\sim(ϕ_n)=λ.$ This result leads to the proof that every separable amenable simple $C^*$-algebra in the UCT class has rationally generalized tracial rank at most one.

研究の動機と目的

• 可分単純Z安定C*-代数のunitizationのユニタリ群および拡張Cuntz半群におけるキャンセレーションおよび比較性の確立。
• 非単位的可分アメーブル単純Z安定C*-代数がUCTクラスに属する分類結果において、安定的スケール1の仮定を外すこと。
• UCTクラスに属する任意の可分アメーブル単純Z安定C*-代数が、有理数的一般化トレースランクが1以下であることを証明すること。
• Robertによる自己準同型のCuntz半群分類結果を、安定的スケール1を要件としない非単位的代数へと拡張すること。

提案手法

• 可分単純Z安定C*-代数$A$のunitization$\tilde{A}$のユニタリ群を分析し、$U(\tilde{A})/U_0(\tilde{A}) = K_1(A)$を示す。
• 連続的スケールの仮定の下でCuntz半群$\mathrm{Cu}(\tilde{A})$を検討し、厳密比較および弱キャンセレーションの性質を証明する。
• 新たな近似結果を適用：1次元非可換CW複体$C$で$K_1(C)=0$を満たすとき、$\mathrm{Cu}^\sim(C) \to \mathrm{Cu}^\sim(A)$への自己準同型$\lambda$に対して、$\mathrm{Cu}^\sim(\varphi_n) \to \lambda$を満たすホモモーフィズムの列$\varphi_n: C \to A$が存在する。
• trace関数の弱収束およびCuntz半群収束を用いて、$\mathbf{Cu}$における厳密正の自己準同型$\lambda$から近似ホモモーフィズムを構成する。
• $C = \lim_{n\to\infty}(C_n, \iota_n)$で$C_n \in \mathcal{I}_0$である場合に適用し、$L_n: C \to A$および$h_n: C_n \to A$の列を構成し、ノルムおよびtrace収束を満たす。
• 同型$\Gamma: (K_0(C), T(C), r_C) \cong (K_0(A), T(A), r_A)$を用いて自己準同型$\lambda$を引き上げ、近似結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 可分単純Z安定C*-代数$A$のunitizationのユニタリ群$U(\tilde{A})$はキャンセレーション性質を満たすか？
• RQ2 可分単純Z安定C*-代数$A$が連続的スケールを持つとき、Cuntz半群$\mathrm{Cu}(\tilde{A})$は厳密比較および弱キャンセレーションを満たすか？
• RQ3 1次元非可換CW複体$C$で$K_1(C)=0$を満たすとき、任意の厳密正の自己準同型$\lambda: \mathrm{Cu}^\sim(C) \to \mathrm{Cu}^\sim(A)$は、ホモモーフィズム$\varphi_n: C \to A$の列によって近似可能か？
• RQ4 非単位的Z安定C*-代数の分類結果は、$A$が安定的スケール1を持たない場合にも拡張可能か？
• RQ5 UCTクラスに属する任意の可分アメーブル単純Z安定C*-代数は、安定的スケール1を仮定せずとも、有理数的一般化トレースランクが1以下であるか？

主な発見

• 任意の可分単純Z安定C*-代数$A$に対して、$U(\tilde{A})/U_0(\tilde{A}) = K_1(A)$が成り立ち、安定的スケール1の有無にかかわらず成り立つ。
• 可分単純Z安定C*-代数$A$が連続的スケールを持つとき、$\mathrm{Cu}(\tilde{A})$は厳密比較および弱キャンセレーションの両方の性質を満たす。
• 任意の厳密正の自己準同型$\lambda: \mathrm{Cu}^\sim(C) \to \mathrm{Cu}^\sim(A)$に対して、$\mathrm{Cu}^\sim(\varphi_n) \to \lambda$を満たすホモモーフィズムの列$\varphi_n: C \to A$が存在する。
• trace関数は、すべての$a \in C$に対して$\lim_{n\to\infty} \sup_{\tau \in T(A)} |\tau(L_n(a)) - \lambda_T(\tau)(a)| = 0$を満たし、traceの弱収束を保証する。
• 写像列$L_n: C \to A$は、すべての$a,b \in C$に対して$\|L_n(ab) - L_n(a)L_n(b)\| \to 0$を満たし、乗法性の近似を示す。
• その結果、UCTクラスに属し、連続的スケールを持つ可分アメーブル単純Z安定C*-代数$A$は、$A \otimes Q$が一般化トレースランク1を持つことを示す。安定的スケール1の仮定は不要である。