Turaev bicategories and generalized Yetter-Drinfel'd modules in 2-categories (Q2022782)

\textit{V. Turaev} [``Homotopy field theory in dimension 2 and group-algebras'', Preprint, \url{arXiv:math/9910010I}] introduced \(2\)-dimensional and \(3\)-dimensional homotopy quantum field theories (HQFT), which are a version of topological quantum field theory (TQFT) for manifolds \(M\) endowed with homotopy classes of maps \[ M\rightarrow K\left( G,1\right) \] where \(K\left( G,1\right) \)\ is the Eilenberg-MacLane space determined by a group \(G\)\ and the homotopy classes of maps classify principal \(G\)-bundles over \(M\). \textit{V. Turaev} [``Homotopy field theory in dimension 3 and crossed group-categories'', Preprint, \url{arXiv:math/0005291}] introduced the notion of crossed group categories and modular crossed group categories yielding \(3\)-dimensional HQFTs. A crossed group category is a \(k\)-additive rigid monoidal category which is a disjoint union of categories indexed by a group \(G\) satisfying certain mild condtions. \textit{M. Zunino} [``Yetter-Drinfeld modules for Turaev crossed structures'', Preprint, \url{arXiv:math/0212252}] investigated T-categories, generalizing Turaev's definition to categories which are just monoidal but the linearity, additivity and rigidity conditions. This paper uses the term Turaev categories in the sense of T-categories. \textit{F. Panaite} and \textit{M. D. Staic} [Isr. J. Math. 158, 349--365 (2007; Zbl 1128.16026)] introduced generalized Yetter-Drinfel'd modules over a Hopf algebra \(H\), showing that they form a braided Turaev category. The Yetter-Drinfel'd condition in a generalized Yetter-Drinfel'd module is twisted by two elements of the group \(G\) of automorphisms of \(H\), say, \(\left( \alpha,\beta\right) \) with \(\alpha,\beta\in G\). If \(\alpha\) and \(\beta\) are trivial, one recovers the usual Yetter-Drinfel'd condition. When \(\alpha=S^{2}\) and \(\beta=\mathrm{id}_{H}\) with \(S\) being the antipode of \(H\), one recovers the anti-Yetter-Drinfel'd modules [\textit{P. M. Hajac} et al., C. R., Math., Acad. Sci. Paris 338, No. 8, 587--590 (2004; Zbl 1060.16037); C. R., Math., Acad. Sci. Paris 338, No. 9, 667--672 (2004; Zbl 1064.16006)] as coefficients for the cyclic homology of Hopf algebras [\textit{A. Connes} and \textit{H. Moscovici}, Commun. Math. Phys. 198, No. 1, 199--246 (1998; Zbl 0940.58005)]. \textit{S. Caenepeel} et al. [Trans. Am. Math. Soc. 349, No. 9, 3737--3771 (1997; Zbl 0912.16015)] constructed a group anti-homomorphism \[ \mathrm{Aut}\left( H\right) \rightarrow\mathrm{BQ}\left( k;H\right) \] from the Hopf automorphism group of a finite-dimensional Hopf algebra to the quantum Brauer group of \(H\), together with an \(\left( \mathrm{id}_{H} ,\beta\right) \)-Yetter-Drinfel'd module. The author [J. Algebra Appl. 12, No. 6, 1250224, 41 p. (2013; Zbl 1272.18004)] generalized this group anti-homomorphism to braided monoidal categories. The author [J. Pure Appl. Algebra 223, No. 4, 1472--1513 (2019; Zbl 1423.18015)] introduced bimonads in \(2\)-categories and the \(2\)-category \textrm{Bimnd}\(\left( \mathcal{K}\right) \) of bimodules in a \(2\)-category \(\mathcal{K}\), showing that, given a braided monoidal category \(\mathcal{C}\), a bimonad in the induced \(2\)-category \(\underline {\underline{\mathcal{C}}}\)\ with a suitably chosen distributive law is a bialgebra in \(\mathcal{C}\)\ , and \(1\)-cells over \(0\)-cell \(F\)\ in \textrm{Bimnd}\(\left( \underline{\underline{\mathcal{C}}}\right) \) are Yetter-Drinfel'd modules over the bialgebra \(F\) in \(\mathcal{C}\), while the composition of \(1\)-endocells is no other than the tensor product in the monoidal category of Yetter-Drinfel'd modules over the bialgebra \(F\) in \(\mathcal{C}\), which lead to Yetter-Drinfel'd modules in \(2\)-categories (\(1\)-cells in \textrm{Bimnd}\(\left( \mathcal{K}\right) \) are called \textit{strong} Yetter-Drinfel'd modules in \(\mathcal{K}\)). This paper introduces Turaev bicategories and group braided Turaev bicategories, the former generalizing the notion of bicategories while the latter generalizing the notion of braided Turaev categories originally called braided crossed group categories. The author introduces generalized Yetter-Drinfel'd modules in \(2\)-categories, generalizing the generalized Yetter-Drinfel'd modules over a field of Panaite and Staic and in particular the anti Yetter-Drinfel'd modules [\textit{P. M. Hajac} et al., C. R., Math., Acad. Sci. Paris 338, No. 8, 587--590 (2004; Zbl 1060.16037)] as coefficients for the cyclic cohomology of Hopf algebras of Connes and Moscovici. The author constructs a Turaev \(2\)-category for bimonads in \(2\)-categories as a Turaev extension of the \(2\)-category of bimonads, generalizing the corresponding Turaev category of Panaite and Staic. Their results on pairs in involution, going back to modular pairs in involution of Connes and Moscovici, are also established within the \(2\)-categorical setting.