Monoidal ring and coring structures obtained from wreaths and cowreaths. (Q458392): Difference between revisions

If \(A\) is an algebra and \(C\) is a coalgebra forming an entwining structure, then the vector space \(A\otimes C\) has a coring structure, and the category of entwined modules is isomorphic to the category of comodules over this coring. Typical examples of entwining structures come from Doi-Koppinen data over a bialgebra, which can be also defined over a quasi-bialgebra. Even though in the quasi-bialgebra case \(C\) is no longer a coalgebra, \(A\otimes C\) still has a coring structure. Based on this observation, the authors consider a monoidal category \(\mathcal C\), an algebra \(A\) in \(\mathcal C\) and an object \(X\) in \(\mathcal C\), then try to describe all \(A\)-(co)ring structures on \(A\otimes X\). These correspond to (co)algebra structures in \(EM(\mathcal C)(A)\), the Eilenberg-Moore category associated to \(\mathcal C\) and \(A\). The ring structures are in a bijective correspondence to wreaths in \(\mathcal C\), and their category of representations is the category of representations over the induced wreath product. The coring structures are in a bijective correspondence to cowreaths in \(\mathcal C\), and their category of corepresentations is the category of generalized entwined modules. Several examples coming from (co)actions of Hopf algebras and their generalizations are presented, and various notions of smash products that have appeared in the literature appear as special cases of the construction in this paper.