Yetter-Drinfeld modules and projections of weak Hopf algebras. (Q2456189)

Let \(H\) be a Hopf algebra over a field \(K\), \(A\) a \(K\)-algebra. \textit{D. E. Radford} gave equivalent conditions for \(A\otimes H\) with smash product algebra and coalgebra structure to be a Hopf algebra, using bialgebra projections [J. Algebra 92, 322-347 (1985; Zbl 0549.16003)]. \textit{S. Majid} interpreted this via Yetter-Drinfeld modules, and gave a correspondence between Hopf algebras in the category of \(H\)-Yetter-Drinfeld modules and Hopf algebras \(B\) with morphisms \(f\colon H\to B\) and \(g\colon B\to H\) with \(gf=id_H\) [J. Algebra 163, No. 1, 165-190 (1994; Zbl 0807.16036)]. \textit{Yu. N. Bespalov} proved the same result for braided categories with split idempotents [Appl. Categ. Struct. 5, No. 2, 155-204 (1997; Zbl 0881.18010)]. The key ingredient is the algebra \(B_H\) of coinvariants, i.e., all \(h\in H\) with \((id\otimes g)(\coprod h)=h\otimes 1\). \(B_H\) is a Hopf algebra in the \(H\)-Yetter-Drinfeld module category, and \(B\) is isomorphic to the smash (co)product of \(B_H\) and \(H\). The authors generalized these ideas to weak Hopf algebras in a strict symmetric monoidal category with split idempotents, including the construction of \(B_H\) [J. Algebra 269, No. 2, 701-725 (2003; Zbl 1042.16020)], and defined weak smash product and coproduct [J. Algebra 281, No. 2, 731-752 (2004; Zbl 1073.16027)]. In the paper under review, they complete these results in the category of \(H\)-Yetter-Drinfeld modules for a weak Hopf algebra \(H\). They prove that if \(g\colon B\to H\) is a morphism of weak Hopf algebras which is split as an algebra-coalgebra morphism, then \(B_H\) is a Hopf algebra in the category of \(H\)-Yetter-Drinfeld modules, and \(B\) is isomorphic to the smash (co)product of \(B_H\) and \(H\).