arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0812.2443math.QAmath.CT
收藏

Hopf单子的二重

The double of a Hopf monad

Alain Bruguières, Alexis Virelizier

摘要:

自治范畴C的中心Z(C)是C上的一元(如果C中存在某些余元)。如果我们试图用单子Z来重建Z(C)的结构,那么自然会出现Hopf单子的概念:我们证明了Z是C上的拟三角Hopf单子,并且Z(C)同构于Z-模的辫子范畴Z-C。更一般地,设T是自治范畴C上的一个Hopf单子。我们构造了T的中心化子C上的一个Hopf单子Z_T和Z_T上T的一个标准分配律.根据贝克的理论,这有两个后果。一方面,D_T=Z_T T是C上的拟三角Hopf单子,称为T的二重,Z(T-C)= D_T-C是辫子范畴。作为一个例子,我们在辫子自治范畴中定义了霍普夫代数A的double D(A),使得A-模范畴的中心是D(A)-模的辫子范畴(推广了Drinfeld double).另一方面,正则分配律也将Z_T提升为T-C上的一个Hopf单子,给出了T-C的余端。因此,对于T=Z,用C的结构态射给出了Z(C)余端的霍普夫代数结构的一个显式描述,这在量子拓扑学中是有用的.

英文摘要:

The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a quasitriangular Hopf monad on C and Z(C) is isomorphic to the braided category Z-C of Z-modules. More generally, let T be a Hopf monad on an autonomous category C. We construct a Hopf monad Z_T on C, the centralizer of T, and a canonical distributive law of T over Z_T. By Beck's theory, this has two consequences. On one hand, D_T=Z_T T is a quasitriangular Hopf monad on C, called the double of T, and Z(T-C)= D_T-C as braided categories. As an illustration, we define the double D(A) of a Hopf algebra A in a braided autonomous category in such a way that the center of the category of A-modules is the braided category of D(A)-modules (generalizing the Drinfeld double). On the other hand, the canonical distributive law also lifts Z_T to a Hopf monad on T-C which gives the coend of T-C. Hence, for T=Z, an explicit description of the Hopf algebra structure of the coend of Z(C) in terms of the structural morphisms of C, which is useful in quantum topology.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑