Monadic cointegrals and applications to quasi-Hopf algebras (Q2031553)

Let \(\mathcal C\) be a finite tensor category. \textit{A. Bruguiéres} and \textit{A. Virelizier} [Trans. Am. Math. Soc. 364, No. 3, 1225--1279 (2012; Zbl 1288.18004)] defined the central Hopf monad by the coend \(A_2(V) = \int^{X\in \mathcal C} X^\vee\otimes (V\otimes X)\) and showed its existence. This endofuntor \(A_2\) and three similar ones, \(A_3\), \(A_1\) and \(A_4\) (this last two when \(\mathcal C\) is pivotal), are studied in this paper. The authors define a monodic cointegral for \(A_i\) as an \(A_i\)-module morphism \(1\to A_i(D)\), where \(D\) is the distinguished invertible object of \(\mathcal C\) and show its existence and uniqueness up to scalar multiples. In Section 3, this concept is specialized to the category of modules over a quasi-Hopf algebra. Next, it is shown that the monadic cointegral for the different \(A_i\)'s correspond to different quasi-Hopf cointegrals considered by \textit{F. Hausser} and \textit{F. Nill} in [``Integral theory for quasi-Hopf algebras'', Preprint, \url{arXiv:math/9904164}]. Several examples of quasi-Hopf algebras and their cointegrals are presented in Section 5. When \(\mathcal C\) is a braided category, the coend \(\mathcal{L}= \int^{X\in\mathcal{C}}X^\vee\otimes X\) is an Hopf algebra internal in \(\mathcal C\), relations between the left and right integral for \(\mathcal L\) and right monadic cointegrals are obtained. The results are applied to finite dimensional quasi-triangular quasi-Hopf algebras. In the final section, a simplified expression of the Lyubashenko's action [J. Pure Appl. Algebra 98 (1995) 279--327] of the generators of \(SL(2,\mathbb Z)\) on \(\mathcal{C} (\mathcal{L},\mathbf{1})\) is given.