Abstract:We exploit a uniform recursive procedure using preferred contractions of targets $C_*$ to construct morphisms $B_* \to C_*$ between chain complexes in a wide variety of situations. Examples include classical Alexander-Whitney and Eilenberg-Zilber maps, chain maps related to homology and cohomology operations, operad structure maps for various chain complex operads, and chain maps that define morphisms between operads. The procedure includes functorial chain maps $F_*(X_i) \to K_*(X_i)$, using models for generators of the domain and contractions of $K_*$ applied to these models. Various uniqueness theorems characterize the chain maps produced by our procedures. We give unified extended treatments of the operads known as the Barratt-Eccles operad and the surjection operads. In a subsequent paper we plan to use the results and methods of this paper to establish properties of the Steenrod algebra of mod p cohomology operations at the cochain level. Classical treatments of Steenrod operations used less explicit acyclic model methods to deduce properties of operations at the cohomology level. Our paper is comprehensive and includes many examples and specific results of a somewhat technical nature. But the main point is that a rather easily described explicit procedure clarifies aspects of chain maps defined only up to homotopy that were important in the development of cohomology operations roughly seventy years ago, as well as complicated chain maps related to operad structure maps and operad morphisms developed in a rather ad hoc manner roughly twenty five years ago. Sections 0, 1, and 2 constitute an overview and summary of the paper.

Constructing homotopy equivalences of chain complexes of free ZG-modules

Equivariant Homotopy Theory via Simplicial Coalgebras

Explicit Acyclic Models and (Co)Chain Operations

Higher K-theory of forms II. From exact categories to chain complexes

The directed Vietoris-Rips complex and homotopy and singular homology groups of finite digraphs

Homotopy equivalences and Grothendieck duality over rings with finite Gorenstein weak global dimension

Schematic homotopy types and non-abelian Hodge theory

The cyclic bar construction and fundamental groups

Homotopy theory of algebraic quantum field theories

On equivalences for cohomological Mackey functors

Local (Co)homology and Čech (Co)complexes with Respect to a Pair of Ideals

Equivalences of the form $Σ^V X \simeq Σ^W X$ in equivariant stable homotopy theory

Relatively endotrivial complexes

Quillen stratification in equivariant homotopy theory

Relativity of reductive chain complexes of non-abelian simplexes

A cocyclic construction of $S^1$-equivariant homology and application to string topology

A new concordance homomorphism from Khovanov homology

Chainlink Polytopes and Ehrhart Equivalence

Homotopy types of diagrams of chain complexes

On the K-theory of $\mathbb{Z}$-categories

Koszul Bicomplexes and Generalized Koszul Complexes in Projective Dimension One