[論文レビュー] Crossed products of nuclear C*-algebras by free groups and their traces

Timothy Rainone, Christopher Schafhauser|arXiv (Cornell University)|Jan 22, 2016

Advanced Operator Algebra Research参考文献 22被引用数 6

ひとこと要約

この論文は、実ランクがゼロである近似的に部分単一的（ASH）C*-代数の自由群による縮小交叉積が、Matricial Field（MF）であるための必要十分条件を確立している。その条件は、それらが安定的に有限であること、およびこれらの代数上のすべてのトレースが有限次元近似をもつことと同値である。主な貢献は、自由群の作用下でK₀群に非ゼロの正の元が存在しないこととMF性を結びつけるK理論的特徴付けであり、これはAF代数に関する先行結果を拡張し、C*-代数版のコンヌの埋め込み問題の特殊ケースを解決する。

ABSTRACT

We study the matricial field (MF) property for certain reduced crossed product C*-algebras and their traces. Using classification techniques and induced K-theoretic dynamics, we show that reduced crossed products of ASH-algebras of real rank zero by free groups are MF if and only if they are stably finite. We also examine traces on these crossed products and show they always admit certain finite dimensional approximation properties. Combining these results with recent progress in Elliott's Classification Program, it follows that if $A$ is a separable, simple, unital, nuclear, monotracial C*-algebra satisfying the UCT, then $A times_λ \mathbb{F}_r$ is MF for any action $α$. Appealing to a result of Ozawa, Rørdam, and Sato, we show that discrete groups of the form $G times \mathbb{F}_r$ with $G$ amenable admit MF reduced group C*-algebras In the process, some new permanence properties of MF algebras are obtained which are of independent interest. In particular, minimal tensor products of MF algebras are again MF provided one of the factors is exact.

研究の動機と目的

• 自由群による実ランクゼロの近似的に部分単一的（ASH）C*-代数の縮小交叉積がMatricial Field（MF）代数である条件を特定すること。
• 自由群が代数のK₀群に作用する際のK理論的ダイナミクスを用いてMF性を特徴付けること。
• このような交叉積上のすべてのトレースが有限次元近似をもつこと（すなわちMFであること）を示すこと。
• UCTを満たす安定的に有限で核となるC*-代数の広いクラスに対してMF性を確認することで、エリオット分類プログラムに貢献すること。
• 自由群による交叉積に対して、C*-代数版のコンヌの埋め込み問題の特殊ケースを解決すること。

提案手法

• 分類理論的手法とK理論的ダイナミクスを用いて、自由群がASH代数のK₀群に作用する様子を分析すること。
• チョイ-エフロスのリフト定理とボイクルスキーの非可換ウェイル＝フォン・ノイマンの定理を適用し、核となる設定においてMF性と準対角性の関係を確立すること。
• 普遍UHF代数𝒬とのテンソル積による実ランクゼロおよびA𝕋代数構造の不変性を活用すること。
• ゲージ不変性の一意性定理とキルヒブルグのスライス補題を用いて、テンソル積とカントツ・ピンスナー代数との同型を証明すること。
• MF性と、群作用の下で固定されるK₀群内の非ゼロ正の元を含まないという条件が同値であることを確立すること。
• ティクイシス＝ホワイト＝ウィンターによる、UCTを満たす核となるC*-代数上のトレースの準対角性に関する最近の結果を応用すること。

実験結果

リサーチクエスチョン

• RQ1 自由群による実ランクゼロのASH代数の縮小交叉積がMFであるのはいつか？
• RQ2 このような交叉積におけるMF性を特徴付ける、自由群作用のK理論的条件は何か？
• RQ3 これらの交叉積上のすべてのトレースは有限次元近似をもつ（すなわちMFである）か？
• RQ4 分類理論的技法とK理論的ダイナミクスを用いて、これらの交叉積のMF性を確立できるか？
• RQ5 このクラスの代数におけるMF性の解決は、C*-代数版のコンヌの埋め込み問題の特殊ケースを確認するものか？

主な発見

• Aを実ランクゼロのASH代数とするとき、縮小交叉積$ A \rtimes_\lambda \mathbb{F}_r $は、MFであるための必要十分条件は、それが安定的に有限であることである。
• MF性は、$ \mathrm{K}_0(A) $ の部分群で、$ \{x - \alpha_s(x) \mid x \in \mathrm{K}_0(A), s \in \mathbb{F}_r \} $ によって生成されるものに非ゼロの正の元が含まれないことと同値である。
• 任意の$ A \rtimes_\lambda \mathbb{F}_r $上のトレースはMFであり、すなわち、普遍UHF代数の超冪へのトレースを保存する有限次元近似をもつ。
• Aが分離可能で単純かつ単位的で核となる、一意トレースをもつC*-代数でUCTを満たすならば、任意の$ \mathbb{F}_r $の作用に対して$ A \rtimes_\lambda \mathbb{F}_r $はMFである。
• Gが可解群であるとき、$ G \rtimes \mathbb{F}_r $の形をした離散群は、主結果およびオザワ、ロールダム、サトの結果から、その縮小群C*-代数がMFである。