[论文解读] Tracially Z-absorbing C*-algebras

Ilan Hirshberg, Joav Orovitz|arXiv (Cornell University)|Aug 12, 2012

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

一句话总结

本文引入了迹性 𝒵-吸收 C*-代数，这是 𝒵-吸收的一个迹性变体，用 Cuntz 子等价替代了基于投影的条件，以处理 c.p.c. 零阶映射的补集。证明了这类代数具有几乎无穿孔的 Cuntz 半群，并且对于简单、单位元、分划、核的 C*-代数，迹性 𝒵-吸收蕴含完全 𝒵-吸收。本文进一步表明，迹性 𝒵-吸收在满足广义迹性 Rokhlin 性质的有限群作用和某些自同构下被保持。

ABSTRACT

We study a tracial notion of Z-absorption for simple, unital C*-algebras. We show that if A is a C*-algebra for which this property holds then A has almost unperforated Cuntz semigroup, and if in addition A is nuclear and separable we show this property is equivalent to having A being Z-absorbing. We furthermore show that this property is preserved under forming certain crossed products by actions satisfying a tracial Rokhlin type property.

研究动机与目标

• 为简单、单位元 C*-代数定义并研究一种迹性 𝒵-吸收的概念，其动机源于 Winter 与 Matui-Sato 在 𝒵-吸收与有限核维数方面工作的技术需求。
• 证明迹性 𝒵-吸收 C*-代数具有几乎无穿孔的 Cuntz 半群，推广 Rørdam 关于 𝒵-吸收的结果。
• 证明对于简单、单位元、分划、核的 C*-代数，迹性 𝒵-吸收蕴含完全 𝒵-吸收。
• 为有限群作用定义一种无投影的迹性 Rokhlin 性质，并证明在满足此类条件的交叉积下，迹性 𝒵-吸收得以保持。
• 将此保持性结果推广至整数作用（自同构），条件是该自同构的某个幂在迹态空间上作用平凡。

提出的方法

• 通过要求：对任意有限集 F、ε > 0、非零正元 a ∈ A 和 n ∈ ℕ，存在一个 c.p.c. 零阶映射 φ: M_n → A，使得 1 - φ(1) ≼ a，且 φ 与 F 中元素的交换子误差不超过 ε，来定义迹性 𝒵-吸收。
• 使用 Cuntz 子等价（≼）替代投影，以推广 Rokhlin 性质，避免在 Rokhlin 类型条件中依赖投影。
• 从满足 Rokhlin 类型条件的有限个元素 e_i 构造修改后的元素 f_i，利用分段线性缩放控制范数与交换子估计。
• 利用零阶映射的提升性质，将 A_∞ 中的映射 ψ̂: M_n → A_∞ 提升为 A 中的一系列 c.p.c. 零阶映射，以确保所需的逼近性质。
• 应用 Matui 与 Sato 的技术，证明在核、分划、简单情形下，Cuntz 半群中的严格比较与几乎无穿孔蕴含完全 𝒵-吸收。
• 证明若 α^m 在 T(A) 上作用平凡，则在满足广义迹性 Rokhlin 性质的自同构下，交叉积 A ⋊_α ℤ 仍保持迹性 𝒵-吸收。

实验结果

研究问题

• RQ1 在简单、单位元 C*-代数中，迹性 𝒵-吸收是否蕴含 Cuntz 半群的几乎无穿孔？
• RQ2 在简单、单位元、分划、核的 C*-代数中，迹性 𝒵-吸收是否与完全 𝒵-吸收等价？
• RQ3 在满足迹性 Rokhlin 类型条件（无投影）的有限群作用下，迹性 𝒵-吸收是否在交叉积中保持？
• RQ4 在自同构满足广义迹性 Rokhlin 性质且其某个幂在迹态空间上作用平凡的条件下，迹性 𝒵-吸收是否在交叉积中保持？
• RQ5 在交叉积中迹性 𝒵-吸收保持性的背景下，条件 α^m 在 T(A) 上作用平凡是否可被放宽？

主要发现

• 迹性 𝒵-吸收 C*-代数具有几乎无穿孔的 Cuntz 半群，这意味着正元素之间具有严格比较性质。
• 对于简单、单位元、分划、核的 C*-代数，迹性 𝒵-吸收蕴含完全 𝒵-吸收，即 A ≅ A ⊗ 𝒵。
• 对于满足广义迹性 Rokhlin 性质的有限群作用，迹性 𝒵-吸收在交叉积中保持，即使无投影存在。
• 对于满足广义迹性 Rokhlin 性质且其某个幂在 T(A) 上作用平凡的自同构，交叉积 A ⋊_α ℤ 仍保持迹性 𝒵-吸收。
• 当 α 的某个幂是近似内自同构，或 T(A) 仅有有限个极端点时，条件 α^m 在 T(A) 上作用平凡会自动满足。