[論文レビュー] Z-stability of crossed products by strongly outer actions

Hiroki Matui, Yasuhiko Sato|arXiv (Cornell University)|Dec 24, 2009

Advanced Operator Algebra Research被引用数 12

ひとこと要約

この論文は、単位的で、単純で、可分で、Z-安定なC*-代数の、Z^N または有限群による強外的作用による交叉積が、弱い条件下でもZ-安定性を保つことを確立している。弱ロフルン性質とコycle共役性の技法を用いて、交叉積のZ-安定性を証明し、江蘇代数Z上のすべての強外的Z^2作用が互いにコycle共役であることを示し、重要な分類問題を解決した。

ABSTRACT

We consider a certain class of unital simple stably finite C^*-algebras which absorb the Jiang-Su algebra Z tensorially. Under a mild assumption, we show that the crossed product of a C^*-algebra in this class by a strongly outer action of Z^N or a finite group is Z-stable. As an application, we also prove that all strongly outer actions of Z^2 on Z are mutually cocycle conjugate.

研究の動機と目的

• 強外的群作用による交叉積構成におけるZ-安定性の永続性を調査すること。
• Z-安定性の交叉積に関する既存の結果を、より広いクラスのC*-代数および群作用へと拡張すること。
• 江蘇代数Z上の強外的Z^2作用をコycle共役性に関して分類すること。
• UHF代数またはZ上のコycle作用が真の作用と同値である条件を特定すること。
• Z-安定なC*-代数の交叉積がZ-安定性および分類可能であることを保証する条件を確立すること。

提案手法

• 投影を含まないロフルン性質の変種である弱ロフルン性質を導入し、それらを用いる。これは、豊富な射影を持たないC*-代数に適している。
• Z-安定なC*-代数上の強外的作用が、トレーシング的ランクがゼロである条件を満たす場合、弱ロフルン性質を有することを証明する。
• エリオットの分類定理およびUCTを用いて、弱ロフルン性質を有する作用が、A ⊗ Z上のα ⊗ idとコycle共役であることを示す。
• ほとんど可換なユニタリのホモトピー補題を適用し、可換なユニタリ族を近似する連続的経路を構成する。
• 無限型UHF代数におけるZ^2作用の一意性および自明作用の吸収性を活用し、Z上での一意性を証明する。
• 2-コycleのトレースの消滅条件を用いて、コycle作用が真の作用と同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 Z-安定なC*-代数の、強外的Z^Nまたは有限群作用による交叉積が、どのような条件下で再びZ-安定になるか？
• RQ2 江蘇代数Z上のすべての強外的Z^2作用は、互いにコycle共役であるか？
• RQ3 UHF代数またはZ上のZ^2のコycle作用が真の作用と同値であるのはいつか？
• RQ4 射影が存在しない状況において、弱ロフルン性質はZ-安定性およびコycle共役性とどのように関係するか？
• RQ5 2-コycleのトレース不変量Δω(u(g,h)) = 0は、コycle作用が真の作用と同値である条件において果たす役割は何か？

主な発見

• 単位的で、単純で、可分で、トレーシング的ランクがゼロのZ-安定なC*-代数は、任意のUHF代数とテンソル積を取った後、Z^Nまたは有限群による強外的作用による交叉積においてもZ-安定性を保つ。
• G = Z^N または有限群によるそのようなC*-代数上の任意の強外的作用は、弱ロフルン性質を有する。
• 弱ロフルン性質を有する作用は、A ⊗ Z上のα ⊗ idとコycle共役であり、これにより交叉積のZ-安定性が保証される。
• 江蘇代数Z上のすべての強外的Z^2作用は、互いにコycle共役であり、コycle共役性に関して一意的であることが示された。
• Z上のZ^2のコycle作用(α, u)が真の作用と同値であるための必要十分条件は、Δω(u(ξ₁,ξ₂)u(ξ₂,ξ₁)*) = 0である。
• 2-コycleにおけるトレース不変量Δωの消滅は、Z上でのコycle作用が真の作用と同値であることを保証する。