[论文解读] 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*-代数，其关于自由群的约化半群积是矩阵场（MF）当且仅当其为稳定有限，且这些代数上的所有迹都具有有限维近似。关键贡献在于通过K-理论动力学建立MF性质与自由群作用下K₀群中不存在非零正元素之间的联系，从而推广了关于AF代数的早期结果，并解决了C*-代数版本的Connes嵌入问题的一个特例。

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代数关于自由群的约化半群积何时为矩阵场（MF）代数。
• 通过K-理论动力学（特别是自由群对代数K₀群的作用）表征MF性质。
• 证明此类半群积上的所有迹都是MF，从而将迹近似框架扩展至非AF情形。
• 通过验证满足UCT的广泛类稳定有限、核C*-代数的MF性质，为Elliott分类程序做出贡献。
• 解决C*-代数版本的Connes嵌入问题中关于自由群半群积的一个特例。

提出的方法

• 使用分类技术和K-理论动力学分析自由群对ASH代数K₀群的作用。
• 应用Choi-Effros提升定理和Voiculescu的非交换Weyl-von Neumann定理，关联核情形下MF与拟对角性质。
• 利用与普遍UHF代数𝒬张量积下实秩为零及A𝕋代数结构的保持性。
• 利用Gauge不变唯一性定理和Kirchberg的Slice引理，证明张量积与Cuntz-Pimsner代数之间的同构。
• 建立MF性质与在群作用下固定的K₀群中不存在非零正元素的等价性。
• 应用分类程序的最新成果，包括Tikuisis-White-Winter关于满足UCT的核C*-代数上迹的拟对角性结果。

实验结果

研究问题

• RQ1 实秩为零的ASH代数关于自由群的约化半群积何时为MF？
• RQ2 自由群作用下，何种精确的K-理论条件可表征此类半群积中MF性质？
• RQ3 这些半群积上的所有迹是否都具有有限维近似（即是否为MF）？
• RQ4 能否通过分类理论技术和K-理论动力学建立这些半群积的MF性质？
• RQ5 该类代数MF性质的解决是否证实了C*-代数版本Connes嵌入问题的一个特例？

主要发现

• 当$ A $为实秩为零的ASH代数时，约化半群积$ A \rtimes_\lambda \mathbb{F}_r $是MF当且仅当其为稳定有限。
• MF性质等价于：由$ \{x - \alpha_s(x) \mid x \in \mathrm{K}_0(A), s \in \mathbb{F}_r \} $生成的$ \mathrm{K}_0(A) $的子群中不包含非零正元素。
• 在$ A \rtimes_\lambda \mathbb{F}_r $上的每个迹都是MF，即其可有限维近似地保迹嵌入到普遍UHF代数的超幂中。
• 若$ A $是满足UCT的分离、简单、单位元、核、单迹C*-代数，则对任意$ \mathbb{F}_r $作用，$ A \rtimes_\lambda \mathbb{F}_r $均为MF。
• 作为主结果与Ozawa、Rørdam、Sato结果的推论，形如$ G \rtimes \mathbb{F}_r $的离散群（$ G $为阿贝尔群）具有MF约化群C*-代数。