[论文解读] Deformation of algebras associated with group cocycles

Makoto Yamashita|arXiv (Cornell University)|Jul 13, 2011

Advanced Operator Algebra Research参考文献 17被引用 7

一句话总结

本文引入了一种针对配备有约化群 C*-代数 $ C^*_r(\Gamma) $ 的共作用的 C*-代数的形变程序，该程序由连续的 $ \mathrm{U}(1) $-值群 2-上循环参数化。利用带系数的 Baum–Connes 猜想，作者证明了形变代数的 K-理论同构于原始代数的 K-理论，推广了 Rieffel 的 $ \theta $-形变，并扩展了近期关于扭曲群代数的 K-理论不变性结果。

ABSTRACT

We study deformation of algebras with coaction symmetry of reduced algebra of discrete groups, where the deformation parameter is given continuous family of group $2$-cocycles. When the group satisfies the Baum-Connes conjecture with coefficients, we obtain isomorphism of K-groups of the deformed algebras. This extends both the $θ$-deformation of Rieffel on $\mathbb T^n$-actions, and a recent result of Echterhoff, Lück, Phillips, and Walters on the K-groups on the twisted group algebras.

研究动机与目标

• 统一 Rieffel 的环面作用 $ \theta $-形变与近期关于扭曲群代数的 K-理论不变性结果。
• 研究在离散群 $ \Gamma $ 上连续的 $ \mathrm{U}(1) $-值 2-上循环族下，具有共作用对称性的 C*-代数的形变。
• 当 $ \Gamma $ 满足带系数的 Baum–Connes 猜想时，建立原始代数与形变代数之间的 K-理论同构。
• 将框架扩展至具有 $ C^*_r(\Gamma) $-共作用的等谱形变的谱三元组。
• 在形变量化、Fell 拓扑丛理论与紧致量子群共作用之间建立概念性联系。

提出的方法

• 使用离散群 $ \Gamma $ 上的 Fell 拓扑丛框架，将形变代数识别为这类拓扑丛的截面 C*-代数。
• 通过上同调的长正合列，将形变参数化为连续的 $ \mathrm{U}(1) $-值 2-上循环，这些上循环由 $ \mathbb{R} $-值 2-上循环提升而来。
• 应用带系数的 Baum–Connes 猜想，推导出原始与形变 C*-代数之间的 K-理论同构。
• 利用 Fell 拓扑丛的逼近性质与完全正映射，分析其核性与张量积行为。
• 当 Dirac 算子在 $ C^*_r(\Gamma) $-共作用下是等变时，构造谱三元组的等谱形变。
• 使用强莫里塔等价与完全有界映射的空间实现，比较最大与最小张量积。

实验结果

研究问题

• RQ1 当 $ \Gamma $ 满足带系数的 Baum–Connes 猜想时，配备 $ C^*_r(\Gamma) $-共作用的 C*-代数在由 $ \Gamma $ 上连续的 $ \mathrm{U}(1) $-值 2-上循环族参数化的形变下，其 K-理论是否保持不变？
• RQ2 Rieffel 的 $ \theta $-形变与扭曲群代数的 K-理论不变性能否在统一框架下统一？
• RQ3 带系数的 Baum–Connes 猜想在确保此类形变下的 K-理论不变性中起什么作用？
• RQ4 当 Dirac 算子在共作用下是等变时，形变程序如何与谱三元组相互作用？
• RQ5 等谱形变能否在形变诱导的 K-理论同构模下保持谱三元组的特征？

主要发现

• 当 $ \Gamma $ 满足带系数的 Baum–Connes 猜想时，形变代数的 K-群同构于原始代数的 K-群。
• 该形变程序推广了 Rieffel 对 $ \mathbb{T}^n $-作用的 $ \theta $-形变至具有共作用对称性的任意离散群。
• 当 Dirac 算子在 $ C^*_r(\Gamma) $-共作用下是等变时，谱三元组的等谱形变在形变诱导的 K-理论同构模下保持了原始三元组的特征。
• 证明依赖于 Fell 拓扑丛的逼近性质与相关紧算子的核性，从而能够比较最大与最小张量积。
• 该构造在形变量化、扭曲群代数与紧致量子群共作用之间建立了概念性桥梁。
• 该结果将 Echterhoff、Lück、Phillips 与 Walters 的先前 K-理论不变性结果扩展至由连续上循环族参数化的更广泛形变类。