Weak projections onto a braided Hopf algebra. (Q2468528)

Let \(\mathcal M\) be a semisimple Abelian and coabelian braided monoidal category. Let \(A\) be a bialgebra in \(\mathcal M\) and let \(B\) be a subbialgebra of \(A\) with an antipode. The authors show that if \(B\) is formally smooth as a coalgebra and the \(B\)-adic coalgebra filtration on \(A\) is exhaustive, then the inclusion \(\sigma\colon B\to A\) has a retraction \(\pi\colon A\to B\) which is a right \(B\)-linear coalgebra morphism (i.e. \(\pi\) is a right weak projection onto \(B\)). If \(\mathcal M\) is an Abelian and coabelian braided monoidal category, \(A\) is an algebra in \(\mathcal M\), and \(B\) is a subbialgebra of \(A\) with an antipode such that there exists a right weak projection onto \(B\), then \(A\) is proved to be isomorphic to a cross product bialgebra. If, moreover, \(A\) is cocommutative and a certain cocycle associated to the weak projection is trivial, then \(A\) is a double cross product.