Dual entwining structures and dual entwined modules. (Q816645)

Let \(A\) (resp. \(C\)) be an algebra (resp. coalgebra) over a commutative Noetherian ring \(R\). Let \(C^*\) denote the dual convolution \(R\)-algebra. Under suitable assumptions, the finite dual \(A^\circ\) is an \(R\)-coalgebra. Consider an entwining structure \((A,C,\psi)\) as defined by \textit{T. Brzeziński} and \textit{S. Majid} [in Commun. Math. Phys. 191, No. 2, 467-492 (1998; Zbl 0899.55016)]. The author shows that given an \(R\)-subalgebra \(\widetilde A\subseteq C^*\), and an \(R\)-subcoalgebra \(\widetilde C\subseteq A^\circ\) such that \(\psi^*(\widetilde C\otimes_R\widetilde A)\subseteq\widetilde A\otimes_R\widetilde C\), the restriction \(\varphi\) of the dual map \(\psi^*\) to \(\widetilde C\otimes_R\widetilde A\) provides an entwining structure \((\widetilde A,\widetilde C,\varphi)\), called a dual entwining structure of \((A,C,\psi)\). The categories of (right-right) entwined modules over \((A,C,\psi)\) and \((\widetilde A,\widetilde C,\varphi)\) are connected by a pair of right adjoint contravariant functors (Theorem 2.4). The existence of a dual entwining structure is studied in the particular and relevant case of entwining structures coming from Doi-Koppinen structures.