Realizing modules over the homology of a DGA (Q2477643)

Let \(A\) be a differentiable graded algebra over a field and let \(H_*(A)\) be its homology. Fix an \(A_\infty\)-structure (i.e. a bilinear multiplication together with a sequence of higher associating homotopies satisfying certain conditions) on \(H_*(A)\) making it quasi-isomorphic to \(A\). The problem is whether a given \(H_*(A)\)-module \(X\) is realizable as a differentiable graded module \(M\) over \(A\) with \(H_*(M)\simeq X\). This paper deals with two obstruction theories for answering this question and proves that these two obstruction theories coincide. The \(H_*(A)\)-module on \(X\) gives rise to a structure of \(A_2\)-module over the \(A_\infty\)-algebra \(H_*(A)\). So the problem of realizability is naturally broken down into the problem of extending an \(A_n\)-module structure on \(X\) to an \(A_{n+1}\)-module structure. Given an \(A_n\)-structure on \(X\), the authors prove that the obstruction to extending the underlying \(A_{n-1}\)-structure to an \(A_{n+1}\)-structure lies in \(\text{ Ext}^{n,n-2}(X,X)\). In [Trans. Am. Math. Soc. 356, No. 9, 3621--3668 (2004; Zbl 1070.20060)], \textit{D. Benson, H. Krause} and \textit{S. Schwede} described a general obstruction theory for realizability based on the notion of a Postnikov system. The authors prove that these two obstruction theories coincide by constructing a functor from \(A_n\)-modules over \(H_*(A)\) to filtered differentiable graded \(A\)-modules. This filtration gives rise to an \((n-1)\)-Postnikov system for \(X\) and the main result is that this functor induces an equivalence of categories.