\(A_\infty\)-modules over \(A_\infty\)-algebras and Hochschild cohomology for modules over algebras. (Q2473678)

It is well known that if \(A\) is an algebra and \(M\) is an \(A\)-module, then \(\Hom(M,M)\) has an \(A\)-\(A\)-bimodule structure and therefore one can take the Hochschild cochain complex\break \(C^*(A,\Hom(M,M))\) and by the classical result of Cartan and Eilenberg it computes the ext-groups \(\text{Ext}^*_A(M,M)\). The author modifies this construction in \(A_\infty\)-algebra framework by introducing a cochain complex \(S^*(A,M)\), where \(M\) is a graded module over a graded algebra \(A\). It should be noticed that \(S^*(A,M)\) coincides with \(C^*(A,\Hom(M,M))\) in the case of finite dimensional \(A\). The vector space \(S^n(A,M)\) is simply \(\Hom(A^{\otimes n}\otimes M,M)\). Then he proves analogues of the results of Kadeishvili on relationship between \(A_\infty\)-structures on \(A\) and the Hochschild cohomology \(H^*(A,A)\) in the context when one considers \(A_\infty\)-module structures on \(M\). Namely he proves that if \(H^{n,1-n}(S^*(A,M))=0\) for \(n>1\), then any \(A_\infty\)-module structure on \(M\) is equivalent to the trivial one. Finally he introduces Berikashvili's \(D\)-functor \(D(A,M)\) and shows that it can be computed using the set of equivalence classes of \(A_\infty\)-module structures on \(M\)