Projections of weak braided Hopf algebras. (Q544853): Difference between revisions

In the paper under review, the authors generalize the results of \textit{D. E. Radford} [J. Algebra 92, 322-347 (1985; Zbl 0549.16003)] on projections of Hopf algebras and of \textit{J. N. Alonso Álvarez, R. González Rodríguez, J. M. Fernández Vilaboa, M. P. López López} and \textit{E. Villanueva Novoa} [J. Algebra 269, No. 2, 701-725 (2003; Zbl 1042.16020)], \textit{J. N. Alonso Álvarez} and \textit{R. González Rodríguez} [J. Algebra 281, No. 2, 731-752 (2004; Zbl 1073.16027)], \textit{J. N. Alonso Álvarez, J. M. Fernández Vilaboa} and \textit{R. González Rodríguez} [J. Algebra 320, No. 5, 2101-2143 (2008; Zbl 1163.16024)] on projections of weak Hopf algebras to the weak braided Hopf algebra setting. Let \(\mathcal C\) denote a strict monoidal category which admits split idempotents. Let \(D\) be a weak braided Hopf algebra (WBHA for short) in \(\mathcal C\) with weak Yang-Baxter operator \(t_{DD}\colon D\otimes D\to D\otimes D\). In the second section, the authors introduce the category of WBHA-projections of \(D\), denoted by \(\mathcal Proj(D)\), whose objects are triples \((B,f,g)\) where \(B\) is WBHA, \(f\colon D\to B\) and \(g\colon B\to D\) are WBHA-morphisms such that \(g\circ f=id_D\), satisfying the following equalities: (1) \((id_B\otimes f\circ g)\circ t_{BB}=t_{BB}\circ(f\circ g\otimes id_B)\), (2) \((f\circ g\otimes id_B)\circ t_{BB}=t_{BB}\circ(id_B\otimes f\circ g)\). They show that for every object \((B,f,g)\) in \(\mathcal Proj(D)\) it is possible to define an object \(B_D\) in \(\mathcal C\) which admits an algebra-coalgebra structure. Next, they define the category of left-left Yetter-Drinfeld modules over \(D\), denoted by \(^D_D\mathcal{YD}\). They show that \(B_D\) is an object in \(^D_D\mathcal{YD}\) and then there exists a functor \(F\colon\mathcal Proj(D)\to{^D_D\mathcal{YD}}\) sending a WBHA-projection \((B,f,g)\) to the left-left Yetter-Drinfeld module \(B_D\). The third section is focused on the description of the WBHA-structure for \(B_D\). In the fourth section, the authors focus their attention on the case where \(\mathcal C\) is a strict braided monoidal category. They prove that for a weak Hopf algebra \(H\) in \(\mathcal C\) with invertible antipode there exists a categorical equivalence between the category \(\mathcal Proj(H)\) and the category of Hopf algebras in \(^H_H\mathcal{YD}\).