\(D_{\infty}\)-differentials and \(A_{\infty}\)-structures in spectral sequences (Q2487397)

The paper under review is a summary of the author's three papers [Sb. Math. 192, No. 11, 1639--1659 (2001; Zbl 1026.55018), Sb. Math. 193, No. 1, 119--142 (2002; Zbl 1026.55023) and Izv. Math. 66, No. 3, 543--568 (2002; Zbl 1055.55017)]. The objects of study are the so-called \(D_\infty\)-modules which by definition are modules \(X\) (over some ring) equipped with a \(D_\infty\)-differential, i.e. a sequence \((d^i)\) of endomorphisms of \(X\) satisfying the identities \(\sum_{i+j=k} d^id^j =0\) for all integers \(k\geq 0\). It follows from these identities that \(d^0\) is a differential on \(X\), and that the expression \(D= \sum_{i\geq 0} d^i\) formally can be regarded as a differential on \(X\); hence \(T= \sum_{i\geq 1} d^i\) formally can be thought of as a perturbation of the differential \(d^0\). The first main result discussed in the paper under review is that formal perturbations \(T\) as above can be lifted via homotopy equivalences of differential modules. Furthermore the author explains the link between \(D_{\infty}\)-modules on the one hand and spectral sequences on the other and refers to his result that the homotopy category of \(D_\infty\)-modules over a field is equivalent to the homotopy category of spectral sequences over the field. All these aspects and results originally have been established by the author in [Sb. Math. 192, No. 11, 1639--1659 (2001; Zbl 1026.55018)]. In the remaining part of the paper additional structures on \(D_{\infty}\)-modules are discussed. In particular the author explains what it means for a \(D_\infty\)-differential to be compatible with a (co)algebra structure, an \(A_\infty\)-(co)algebra structure or a (co)module structure on the module. The main results here are again that one can lift such structures via suitable homotopy equivalences, and that one has a corresponding link to the theory of spectral sequences. As an example of the latter the author emphasizes that the Adams spectral sequence converging to the \(p\)-primary part of the stable homotopy group of spheres for a prime \(p\) can be viewed as a \(D_{\infty}\)-\(A_{\infty}\)-coalgebra, and that the Adams spectral sequence converging to the \(p\)-primary part of the homotopy groups of an arbitrary spectrum can be regarded as a \(D_{\infty}\)-\(A_{\infty}\)-comodule over this \(D_\infty\)-\(A_{\infty}\)-coalgebra. The material on \(D_\infty\)-modules with additional structure as well as the Adams spectral sequence example originally have been treated in [Sb. Math. 193, No. 1, 119--142 (2002; Zbl 1026.55023) and Izv. Math. 66, No. 3, 543--568 (2002; Zbl 1055.55017)], respectively.