2023/10/05 by Greg Brumfiel, G. W. Brumfiel, John Morgan +2
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra
paper · pdf · doi:10.48550/arxiv.2310.03729
We exploit a uniform recursive procedure to construct morphisms of chain complexes in a wide variety of situations, using free bases of domains and preferred null homotopies h of targets. Preferred null homotopies satisfy dh + hd = Id and h2 = 0. In the presence of group actions we construct equivariant chain maps. The basic procedure extends to construct functorial maps F_*(Xi) → K_*(Xi), where F_* and K_* are chain complex functors of one or more simplicial set variables Xi, using contractible models for generators of the domain and null homotopies of K_* applied to these models. 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. Various uniqueness theorems characterize the chain maps produced by our procedures. We give new unified extended treatments of the operads known as the Barratt-Eccles operad and the surjection operads. In another 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. The point is that an easily described explicit procedure clarifies aspects of chain maps that were important in the development of cohomology operations roughly seventy five years ago, as well as complicated chain maps related to operad structure maps and operad morphisms developed in a somewhat ad hoc manner roughly twenty five years ago.