[论文解读] Equivariant semiprojectivity

N. Christopher Phillips|arXiv (Cornell University)|Dec 20, 2011

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

一句话总结

本文引入了紧致群作用下C*-代数的等变半投影性，证明了有限维C*-代数、具有拟自由作用的Cuntz代数$\mathcal{O}_d$与$E_d$，以及具有有限群拟自由作用的$\mathcal{O}_\infty$均为等变半投影。证明了对于有限群，等变半投影性等价于生成元与关系的等变稳定性，并表明在自然分次下$C^*(G)$是分次半投影。

ABSTRACT

We define equivariant semiprojectivity for C*-algebras equipped with actions of compact groups. We prove that the following examples are equivariantly semiprojective: arbitrary finite dimensional C*-algebras with arbitrary actions of compact groups; the Cuntz algebras ${\mathcal{O}}_d$ and extended Cuntz algebras $E_d,$ for finite $d,$ with quasifree actions of compact groups; the Cuntz algebra ${\mathcal{O}}_{\infty}$ with any quasifree action of a finite group. For actions of finite groups, we prove that equivariant semiprojectivity is equivalent to a form of equivariant stability of generators and relations. We also prove that if $G$ is finite, then $C^* (G)$ is graded semiprojective.

研究动机与目标

• 定义并发展紧致群作用下C*-代数的等变半投影性理论。
• 证明任意紧致群作用下的有限维C*-代数均为等变半投影。
• 证明对于有限$d$和有限群，$\mathcal{O}_d$、$E_d$与$\mathcal{O}_\infty$上的拟自由作用均为等变半投影。
• 证明对于有限群，等变半投影性等价于生成元与关系的等变稳定性。
• 证明在自然$G$-分次下，$C^*(G)$是分次半投影。

提出的方法

• 使用迭代方法证明紧致群上的近似等变同态接近于真正的同态，利用单位元上的函数演算。
• 对$\mathcal{O}_d$与$E_d$上的拟自由作用应用基于上链的迭代构造，借鉴Blackadar的技术。
• 对单位元取值的映射$\rho_m: G \to U(C/J_n)$使用极限过程，构造真正的群同态$\rho: G \to U(C/J_n)$。
• 利用$C^*(G)$的普遍性质，将构造的同态提升为分次*$-同态$\psi: C^*(G) \to C/J_n$。
• 应用带有$\varepsilon$-界约束的扰动论证，确保构造的映射保持在所需范数控制范围内以实现收敛。
• 依赖于存在一个统一的$\varepsilon_0$，使得$\|a - u\| < \varepsilon$蕴含$\|a(a^*a)^{-1/2} - u\| < \varepsilon_0$，从而保证迭代过程的收敛。

实验结果

研究问题

• RQ1 哪些具有紧致群作用的C*-代数是等变半投影的？
• RQ2 对于有限群作用，等变半投影性是否等价于生成元与关系的等变稳定性？
• RQ3 有限群作用在$\mathcal{O}_\infty$上的拟自由作用是否为等变半投影？
• RQ4 在自然$G$-分次下，$C^*(G)$是否为分次半投影？
• RQ5 Rokhlin性质能否被强化为要求群精确置换投影？

主要发现

• 任意紧致群作用在有限维C*-代数上均为等变半投影。
• 紧致群作用在有限$d$的$\mathcal{O}_d$与$E_d$上的拟自由作用均为等变半投影。
• 有限群作用在$\mathcal{O}_\infty$上的拟自由作用均为等变半投影。
• 对于有限群，等变半投影性等价于生成元与关系的等变稳定性。
• 在自然$G$-分次下，群C*-代数$C^*(G)$是分次半投影。
• 在Rokhlin性质与迹Rokhlin性质中，可要求Rokhlin投影被群精确置换。