Cohomology and coquasi-bialgebra extensions associated to a matched pair of bialgebras (Q1867213)

One of the main procedures to construct non-trivial Hopf algebras is from matched pairs of groups, or equivalently exact factorizations of groups. Namely, let \((F,G)\) be a pair of finite groups provided with compatible actions \(\triangleright\colon G\times F\to F\), \(\triangleleft\colon G\times F\to G\); and let \(F\bowtie G\) be the corresponding group with exact factorization. Let \(k\) be a field. Then the semidirect algebra and semidirect coproduct coalgebra \(k^G\#kF\) is a Hopf algebra. Furthermore, one can deform the product with a cocycle \(\sigma\) and the coproduct with a cocycle \(\tau\); if \(\sigma\) and \(\tau\) are compatible, then \(k^{G \tau}\#{_\sigma kF}\) is again a Hopf algebra. The computation of pairs of compatible cocycles \((\sigma,\tau)\) can be done by means of the Kac exact sequence. Recently, Schauenburg has shown that, relaxing the compatibility condition on \((\sigma,\tau)\) one gets co-quasi-bialgebras -- the product being associative up to a ``coassociator'' -- which can be also interpreted in terms of the Kac exact sequence. Thus co-quasi-bialgebras are the dual version of quasi-bialgebras introduced by Drinfeld. See [\textit{P. Schauenburg}, Adv. Math. 165, No. 2, 194-263 (2002; Zbl 1006.16054)]; results are presented there in a more general non-commutative setting. In another direction, let \((F,G_1)\), \((F,G_2)\) be matched pairs with \(F\bowtie G_1\simeq F\bowtie G_2\). It was shown in [\textit{J.-H. Lu, M. Yan, Y. Zhu}, Contemp. Math. 267, 339-356 (2000; Zbl 0978.16034)] that the corresponding Hopf algebras \(k^{G_1}\#kF\) and \(k^{G_2}\#kF\) are quasi-isomorphic, i.e., their categories of modules are monoidally equivalent. In the paper under review, the author extends the preceding ideas to the context of matched pairs of cocommutative bialgebras. First, the cohomology associated to a matched pair \((H,K)\) of cocommutative bialgebras is recovered via braid diagrams. This enables the author to give a direct proof of the generalized Kac exact sequence of Schauenburg. Also, an Abelian group \(\text{Opext}''(H,K)\) is introduced, which classifies co-quasi-bialgebra extensions up to co-quasi-equivalence, under suitable finiteness. A generalization and interpretation of the result of Lu, Yan and Zhu is given in this line, and also a generalized Kac exact sequence involving \(\text{Opext}''(H,K)\).