Cleft extensions of weak Hopf algebras (Q2285247)

The main motivation of this paper is to investigate the notion of clef extension for a weak Hopf algebra in a symmetric monoidal category with split idempotents. In Section 2, Definition 2.30, the authors introduce a notion of cleft extension for a weak Hopf algebra in the following way: Let \(H\) be a weak Hopf algebra, let \(B\) be a right \(H\)-comodule algebra and let \(j : A\rightarrow B\) be an algebra monomorphism. The pair \((B, j)\) is an extension of \(A\) by \(H\) if \(j\) is the equalizer of \(\rho_{B}\) and \((B \otimes \Pi^{L})\circ \rho_{B}\) and we say that an extension \((B, j)\) is \(H\)-cleft if there exists a convolution invertible total integral \(\gamma:H\rightarrow B\). In this setting \(\rho_{B}\) denotes the coaction, \(\Pi^{L}\) the target morphism of \(H\) and for \(\gamma\) ``convolution invertible total integral'' means that \(\gamma\) is a morphism of right \(H\)-comodules, \(\gamma\circ \eta=\eta\) and there exists a morphism \(\gamma^{-1}\) satisfying the following identities: \[\gamma^{-1}\ast \gamma=\gamma\circ \Pi^{R}, \;\; \gamma\ast \gamma^{-1}=\gamma\circ \Pi^{L}, \;\; \gamma^{-1}\ast \gamma\ast \gamma^{-1}=\gamma^{-1}.\] This definition improves the one introduced in [\textit{J. N. Alonso Álvarez} et al., Chin. Ann. Math., Ser. B 35, No. 2, 161--190 (2014; Zbl 1301.18010)] and in the cocommutative setting are the same. The paper is organized as follows: in Section 1 and 2 the authors recall and review the basic properties of weak crossed products, introduced in [\textit{J. N. Alonso Álvarez} et al., Appl. Categ. Struct. 18, No. 3, 231--258 (2010; Zbl 1205.16025)] (see also [\textit{J. M. Fernández Vilaboa} et al., J. Pure Appl. Algebra 213, No. 12, 2244--2261 (2009; Zbl 1200.18002)]), and introduce the notion of cleft extension for a weak Hopf algebra. In Section 3, they extend the concept of equivalence of crossed products, introduced in [Alonso Álvarez et al. Zbl 1301.18010] for cocommutative Hopf algebras, to the setting of arbitrary weak bialgebras with a cocycle not invertible in general. In Section 4, the authors continue the study started in Section 2 about weak H-module algebras and in the fifth section they prove that each weak crossed product of a weak H-module algebra \(A\) by a weak Hopf algebra \(H\) with invertible cocycle, is an H-cleft extension of \(A\). In Section 6, for a weak Hopf algebra \(H\), they obtain that each \(H\)-cleft extension is isomorphic to a weak crossed product with invertible cocycle by a weak \(H\)-module algebra. Finally, under these conditions, the authors prove that the category of unitary weak crossed products of \(A\) by \(H\) with invertible cocycle, such that \(A\) is a weak \(H\)-module algebra, is equivalent to the category of \(H\)-cleft extensions of \(A\).