Anibal M. Medina-Mardones
Published 2021-05-17, updated 2022-01-31Version 2
Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective computation relies on formulas defining a cup-$i$ construction, a structure on (co)chains which is important in its own right, having connections to lattice field theory, convex geometry and higher category theory among others. In this article we present new formulas defining a cup-$i$ construction, and use them to introduce a fast algorithm for the computation of Steenrod squares on the cohomology of finite simplicial complexes. In forthcoming work we use these formulas to axiomatically characterize the cup-$i$ construction they define, showing additionally that all other formulas in the literature define the same cup-$i$ construction up to isomorphism.
Comments: After referee report
The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$
Configuration space integrals and the cohomology of the space of homotopy string links
On the mod p cohomology of BPU(p)
![QR code for arXiv:2105.08025 [math.AT]](http://oss.arxitics.com/images/favicon.svg)