Chain realization of differential modules with \(\infty\)-simplicial faces and the \(B\)-construction over \(A_\infty\)-algebras (Q887479)

A result by \textit{S. Novikov} [Dokl. Akad. Nauk SSSR 128, 893--895 (1959; Zbl 0127.38804)] states that there is an action of Steenrod operations on the second term of the Adams spectral sequence for the stable homotopy groups of spheres. This causes a possibility of constructing Steenrod operations in the cohomology of the \(B\)-construction over cocommutative Hopf \(A_\infty\)-algebras in such an Adams spectral sequence. The author considers the colored version of Koszul duality, to introduce the notion of a differential module with \(\infty\)-simplicial faces. Then relations between such differential modules and \(A_\infty\)-algebras [\textit{J. D. Stasheff}, Trans. Am. Math. Soc. 108, 275--292, 293--312 (1963; Zbl 0114.39402)] are studied. The main result shows that the chain realization of a tensor differential module with \(\infty\)-simplicial faces constructed from an \(A_\infty\)-algebra and the \(B\)-construction over this \(A_\infty\)-algebra are isomorphic differential coalgebras.