Morita theory for corings and cleft entwining structures. (Q1883057)

The authors study Morita contexts and generalize and unify results of Chase and Sweedler, of Doi and of Cohen, Fischman and Montgomery. Let \(A\) and \(R\) be rings with \(i\colon A\to R\) a ring morphism, and \(\chi\colon R\to A\) a map satisfying conditions necessary and sufficient for \(A\) to be a right module over \(R\) via \(a\leftharpoonup r=\chi(ar)\). For any right \(R\)-module \(M\), \(M^R=\{m\in M:m\cdot r=m\chi(r)\}\). Then there is a Morita context \((B,R,A,Q,\tau,\mu)\) where \(B=A^R\), \(Q=R^R\), \(\tau\colon A\otimes_RQ\to B\) is given by \(\tau(a\otimes_Rq)=\chi(aq)\), and \(\mu\colon Q\otimes_BA\to R\) is given by \(\mu(q\otimes_Ba)=qa\). Indeed this context is the Morita context associated to the right \(R\)-module \(A\) in the usual way. If, furthermore, \(R/A\) is Frobenius, then \((B,R,A,A,\tau,\mu)\) is a Morita context as above with \(A\cong Q\) as \((R,B)\) modules. Next the authors consider the situation where \(A\) is a ring and \(({\mathcal C},x)\) is an \(A\)-coring with \(x\) a fixed grouplike element. In other words, \(\mathcal C\) is a coalgebra in the monoidal category of \((A,A)\)-bimodules; \(x\) grouplike means that \(\triangle_{\mathcal C}(x)=x\otimes_Ax\) and \(\varepsilon(x)=1\). Then \(\chi\colon R={^*{\mathcal C}}\to A\) defined by \(\chi(f)=f(x)\) satisfies the assumptions above, and a Morita context can be constructed. Also there is a Morita context connecting \(R={^*{\mathcal C}}\) and \(B'=A^{co\,{\mathcal C}}\), namely \(\{B',R,A,Q',\tau ',\mu'\}\) with a morphism between the two contexts. If \(\tau '\) is surjective or if \(\mathcal C\) is finitely generated and projective as a left \(A\)-module, the two contexts coincide. In the next section, the authors look at the particular situation where the coring \({\mathcal C}=A\otimes C\), i.e. \(\mathcal C\) arises from an entwining structure \((A,C,\psi)\). In the fifth section, the authors consider factorization structures and the Morita context of Cohen, Fischman and Montgomery. In the final section, cleft factorization structures are defined and discussed.