[论文解读] Double categories and quantum groupoids

Nicolás Andruskiewitsch, Sonia Natale|arXiv (Cornell University)|Aug 25, 2003

Algebraic structures and combinatorial models参考文献 19被引用 32

一句话总结

本文利用双范畴理论，从配对的广群构造弱霍普夫代数（即量子群胚）。研究发现，空双广群——其中每个方框由任意一对相邻边唯一确定——通过广群代数与余代数结构可生成量子群胚，推广了Kac的构造方法，并通过Kac型正合序列与上同调数据建立联系。

ABSTRACT

We give the construction of a class of weak Hopf algebras (or quantum groupoids) associated to a matched pair of groupoids and certain cocycle data. This generalizes a now well-known construction for Hopf algebras, first studied by G. I. Kac in the sixties. Our approach is based on the notion of double groupoids, as introduced by Ehresmann.

研究动机与目标

• 将G. I. Kac从配对群构造霍普夫代数的方法推广到弱霍普夫代数（即量子群胚），利用双广群结构。
• 通过引入复合法则的充分条件，识别出能生成弱霍普夫代数的双广群的确切类别。
• 利用双复形与总复形建立上同调框架，描述量子群胚的扩张与自同构。
• 提供双范畴解释标准双半直积的基，实现构造的图示化与代数统一。
• 通过分析Opext与Aut群，为分类由这些量子群胚产生的张量范畴奠定基础。

提出的方法

• 使用双范畴作为框架，建模方框（态射）的复合，其水平与垂直结构源自广群作用。
• 将双广群定义为小范畴范畴中的范畴对象，具有可逆的水平与垂直复合。
• 引入“空”双广群的概念，即每个方框由任意一对相邻边唯一确定，确保与弱霍普夫代数结构的相容性。
• 从垂直与水平广群的广群上同调构造双复形，微分分别为 $ d_H $ 与 $ d_V $，并形成总复形 $ \operatorname{Tot}A^{\cdot\cdot} $。
• 应用符号技巧，通过 $ (-1)^s d_V^{r,s} $ 定义总复形，从而在上同调中构造长正合序列。
• 通过分析双复形的短正合序列 $ 0 \to A^{\cdot\cdot} \to D^{\cdot\cdot} \to E^{\cdot\cdot} \to 0 $，推导出上同调中的Kac型正合序列，导出涉及 $ H^n({\mathcal{D}}, \Bbbk^\times) $ 的主正合序列。

实验结果

研究问题

• RQ1 哪些双广群在赋予广群代数与余代数结构时，能生成弱霍普夫代数？
• RQ2 双广群总复形的上同调如何与对角广群及其子群的上同调相关联？
• RQ3 空双广群条件在确保弱霍普夫代数公理成立中起什么作用？
• RQ4 如何通过双范畴理论将Kac正合序列推广到量子群胚的设定中？
• RQ5 Opext与Aut群在分类量子群胚的扩张与对称性中具有何种意义？

主要发现

• 空双广群（即每个方框由任意一对相邻边唯一确定）等价于配对的广群，且为构造弱霍普夫代数提供了充分条件。
• 该构造在由方框张成的向量空间上赋予弱霍普夫代数结构，乘法来自垂直广群，余乘法来自水平广群。
• 建立了上同调中的长正合序列：$ 0 \to H^1({\mathcal{D}}, \Bbbk^\times) \to H^1({\mathcal{H}}, \Bbbk^\times) \oplus H^1({\mathcal{V}}, \Bbbk^\times) \to \operatorname{Aut}(\Bbbk{\mathcal{T}}) \to \cdots $，推广了Kac的序列。
• 总复形 $ \operatorname{Tot}A^{\cdot\cdot}({\mathcal{T}}, \Bbbk^\times) $ 的上同调同构于 $ H^n({\mathcal{D}}, \Bbbk^\times) $，将双复形与对角广群的上同调联系起来。
• 群 $ \operatorname{Opext}(\Bbbk{\mathcal{V}}, \Bbbk{\mathcal{H}}) $ 与 $ \operatorname{Aut}(\Bbbk{\mathcal{T}}) $ 被解释为分类量子群胚的扩张与自同构。
• 该框架提供了一种新的上同调工具，用于分析何时两个此类量子群胚会生成等价的张量范畴。