Steenrod’s generalized cup products generalize the usual simplicial cup products on simplicial cochains.
Taken together, all generalized cup products organize into the sequence operad. This operad is an E-infinity operad and it acts on simplicial cochains, turning them into an E-infinity algebra.
First, we define an operation on simplicial chains that decomposes simplices in a manner similar to how the usual simplicial cup product decomposes a simplex into the tensor product of a simplex consisting of the initial vertices and a simplex consisting of the last vertices, with being the dimension of the original simplex.
(Definition 2.10(a) in McClure-Smith 01.) Given a surjection and a simplex , define
as
The variable is indexed over all overlapping partitions of with parts.
Here
(Definition 2.9 in Cochain) where
(Definition 2.7 in Cochain). Also, denotes the dimension of the simplex with the set of vertices (Notation 2.6 in Cochain).
We are now ready to define generalized cup products.
(See Definition 2.10(b) in Cochain.) Given a surjection , the natural transformation
is defined by
(See Lemma 2.12, Definition 2.13, and Definition 2.14 in Cochain.) If for some , then . Thus, in the sequence operad such degenerate operations must be modded out. The remaining operations form a basis of the sequence operad.
(See Remark 2.11 in Cochain.) If , we recover the traditional cup- products defined by Steenrod as follows. Define to be the function with alternating values 1, 2, 1, 2, … Now . In particular for (the sequence 12) we recover the cup product and for (the sequence 121) we recover .
Multivariable cochain operations and little -cubes (arXiv:math/0106024)
Last revised on October 12, 2022 at 12:47:11. See the history of this page for a list of all contributions to it.