The cohomology structure of an algebra entwined with a coalgebra (Q1840613)

An entwining of an algebra \(A\) and a coalgebra \(C\) over a field \(k\) is a \(k\)-linear map \(\psi\) of \(C\otimes A\) into \(A\otimes C\) satisfying necessary and sufficient conditions for \(A\otimes C\) to become a right \(A\)-module by using \(\psi\) to map \(A\otimes A\otimes C\) to \(A\otimes C\) and for \(C\otimes A\) to become a right \(C\)-comodule by using the comultiplication of \(C\) to map \(C\otimes A\) to \(C\otimes C\otimes A\) and \(\psi\) to map \(C\otimes C\otimes A\) to \(C\otimes A\otimes C\). The bar resolution of the right \(A\)-module \(A\otimes C\) is a resolution of the \(A\)-bimodule \(A\otimes C\) by projective \(A\)-bimodules, and it may be used to calculate \(\text{Ext}^n(A\otimes C,M)\) for any \(A\)-bimodule \(M\) and nonnegative integer \(n\). The author proves by direct computation with \(\psi\) results which are consequences of the theory of projective resolutions. Taking \(M=A\), there are two wedge products, related by an anticommutation rule, from \(\text{Ext}^m(A\otimes C,A)\otimes\text{Ext}^n(A\otimes C,A)\) to \(\text{Ext}^{m+n}((A\otimes C)\otimes_A(A\otimes C),A\otimes_AA)\). Identifying \((A\otimes C)\otimes_A(A\otimes C)\) with \(A\otimes C\otimes C\) and \(A\otimes_AA\) with \(A\) and using the comultiplication of \(C\) to map \(\text{Ext}^{m+n}(A\otimes C\otimes C,A)\) to \(\text{Ext}^{m+n}(A\otimes C,A)\), one obtains ``cup'' products which the author derives from a theory of weak comp algebras, a generalization of a notion due to \textit{M. Gerstenhaber} [Ann. Math. (2) 78, 267-288 (1963; Zbl 0131.27302)]. The author sketches a dual construction of a cobar resolution which is an injective resolution of \(C\otimes A\) in the category of \(C\)-bicomodules. The indicated proof of Proposition 3.3, however, leads to the identification of the zero-dimensional cohomology under the given hypotheses with a subspace of the \(k\)-linear dual of the \(C\)-bicomodule \(V\), rather than the subspace \(V_B\) of \(V\) given in the statement of the proposition. The bifunctor Hom is applied to the bar resolution of \(A\otimes C\) and the cobar resolution of \(C\otimes A\) to obtain a bicomplex. The elements of the second cohomology group of the total complex associated with a slightly modified bicomplex are identified with isomorphism classes of infinitesimal deformations of the entwined algebra \(A\) and coalgebra \(C\).