[论文解读] Equivariant Poincaré duality for quantum group actions

Ryszard Nest, Christian Voigt|ArXiv.org|Feb 23, 2009

Advanced Operator Algebra Research参考文献 41被引用 9

一句话总结

本文提出了一种新的框架，用于在配备局部紧量子群协作用的C*-代数上推广KK-理论中的庞加莱对偶性，通过辫子张量积来推广经典对偶性。关键结果是标准Podle's球面在$SU_q(2)$作用下自对偶，其对称群为Drinfeld双代数（即量子洛伦兹群），且该对偶性完全决定了其等变K-同调。

ABSTRACT

We extend the notion of Poincaré duality in KK-theory to the setting of quantum group actions. An important ingredient in our approach is the replacement of ordinary tensor products by braided tensor products. Along the way we discuss general properties of equivariant KK-theory for locally compact quantum groups, including the construction of exterior products. As an example, we prove that the standard Podleś sphere is equivariantly Poincaré dual to itself.

研究动机与目标

• 将KK-理论中的庞加莱对偶性推广至局部紧量子群协作用的设定，其中传统张量积无法保持协作用结构。
• 为局部紧量子群构建等变KK-理论框架，包括通过辫子张量积构造外积。
• 建立尊重量子群协作用对称性的KK-理论对偶性，尤其在非交换几何设定中。
• 证明标准Podle's球面在$SU_q(2)$作用下自对偶，以$SU_q(2)$的Drinfeld双代数作为对称群。
• 利用该对偶性框架确定Podle's球面的等变K-同调。

提出的方法

• 用辫子张量积替代普通张量积，以在量子群对称性下保持协作用结构。
• 利用局部紧量子群的Drinfeld双代数来定义等变KK-理论设定中的辫子张量积结构。
• 通过辫子积在$KK^G$-理论中构造外积，克服标准张量积无法继承协作用的缺陷。
• 应用$T$-等变KK-理论的通用系数定理，比较连续家族的量子群之间的$KK$-类。
• 使用$[q,1]$上的连续场在经典情形（$q=1$）与量子情形（$q<1$）之间插值，通过形变技术证明对偶性。
• 通过$KK^{ϵ(G_q)}$-理论中的单位与余单位映射验证对偶性，表明狄拉克算子与其对偶的复合为恒等映射。

实验结果

研究问题

• RQ1 能否将KK-理论中的庞加莱对偶性推广至配备局部紧量子群协作用的C*-代数？
• RQ2 当标准张量积无法保持协作用时，如何利用辫子张量积在等变KK-理论中定义外积？
• RQ3 标准Podle&#39;s球面在$SU_q(2)$作用下是否自对偶？
• RQ4 在量子群对称性下，标准Podle&#39;s球面的等变$K$-同调结构如何？
• RQ5 能否以$SU_q(2)$的Drinfeld双代数作为对称群，建立Podle&#39;s球面与其对偶之间的对偶性？

主要发现

• 标准Podle&#39;s球面$C(G_q/T)$在$SU_q(2)$作用下自对偶，对称群为Drinfeld双代数（即量子洛伦兹群）。
• 标准Podle&#39;s球面的等变$K$-同调为$KK^{G_q}_0(C(G_q/T), χ) ≅ R(G_q) \oplus R(G_q)$且$KK^{G_q}_1(C(G_q/T), χ) = 0$。
• Podle&#39;s球面在$KK^{G_q}$中同构于$\mathbb{C} \oplus \mathbb{C}$，意味着它在等变范畴中是平凡代数的直和项。
• 对偶性通过$KK^{ϵ(G_q)}$-理论中的单位与余单位映射建立，满足$(\operatorname{id} \boxtimes \eta_q) \circ ([D_q] \boxtimes \operatorname{id}) = \operatorname{id}$与$(\eta_q \boxtimes \operatorname{id}) \circ (\operatorname{id} \boxtimes [D_q]) = \operatorname{id}$。
• 证明依赖于使用$[q,1]$上连续场的形变技术，其中$q=1$与$q<1$时的$KK$-类通过通用系数定理关联。
• 该构造表明，量子洛伦兹群的离散部分所编码的额外对称性在经典情形下不可见，但对对偶性至关重要。