Homotopy properties of differential modules with simplicial \(F_\infty\)-faces and \(D_\infty\)-differential modules (Q897459)

By a result of \textit{V. A. Smirnov} [Math. Notes 66, No. 6, 754--759 (1999; Zbl 0965.55003); translation from Mat. Zametki 66, No. 6, 913--919 (1999)] the structure of an \(A_\infty\)-topological group on a based topological space \(X\) is equivalent to an \(A_\infty\)-simplicial structure on the presimplicial object \(B_\ast(X)=\{B_n(X)\}\), where \(B_n(X)=X^n\) for \(n\geq 1\). The author considers the notion of differential module with simplicial \(F_\infty\)-faces and shows that this is a homotopy analogue of a differential module with simplicial faces [\textit{J. P. May}, Simplicial objects in algebraic topology. Princeton, N.J.-Toronto-London-Melbourne: D. van Nostrand Company, Inc. VI, 161 p. (1968; Zbl 0165.26004)]. Connections between differential modules with simplicial \(F_\infty\)-faces and differential \(A_\infty\)-algebras [\textit{J. D. Stasheff}, Trans. Am. Math. Soc. 108, 275--292, 293--312 (1963; Zbl 0114.39402)], and \(D_\infty\)-differential modules [\textit{S. V. Lapin}, Sb. Math. 192, No. 11, 1639--1659 (2001; Zbl 1026.55018); translation from Mat. Sb. 192, No. 11, 55--76 (2001)] are studied. Then, differential modules with simplicial \(F_\infty\)-faces are applied to describe singular homologies of the realization of a simplicial topological space. This generalizes \textit{T. V. Kadeishvili}'s result [Russ. Math. Surv. 35, No. 3, 231--238 (1980; Zbl 0521.55015); translation from Usp. Mat. Nauk 35, No. 3(213), 183--188 (1980)].