Partial corepresentations of Hopf algebras (Q2662204): Difference between revisions

The first author et al. [J. Algebra 426, 137--187 (2015; Zbl 1370.16024)] introduced the notion of partial representations and modules over a Hopf algebra in a series of papers. This article deals with the dual notions of partial corepresentations and comodules. These objects are rather different from usual comodules: for example, this paper defines a partial comodule over the four-dimensional Sweedler's Hopf algebra, with no finite-dimensional subcomodule, leading to the notion of regular partial comodules. Links between partial comodules and partial corepresentations are studied, with again results which differs from the ones obtained for partial modules. A universal coalgebra \(H^{\mathrm{par}}\) factorizing partial corepresentations of \(H\) by coalgebra morphisms is constructed. It is shown to be a cosmash coproduct of \(H\) with another coalgebra denoted by \(C^{\mathrm{par}}\). It is finally proved that \(H^{\mathrm{par}}\) is a Hopf-coalgebroid over \(C^{\mathrm{par}}\) (a notion dual of Hopf algebroid and introduced in this paper) and that, as a consequence, that the category of regular partial comodules over \(H\) is a closed monoidal category, with a strict monoidal functor to the category of \(C^{\mathrm{par}}\)-comodules.