New formulas for cup-$i$ products and fast computation of Steenrod squares

DOI10.1016/J.COMGEO.2022.101921arXiv2105.08025WikidataQ113877675 ScholiaQ113877675MaRDI QIDQ6367859

Publication date: 17 May 2021

Abstract: 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.

Mathematics Subject Classification ID

Applied homological algebra and category theory in algebraic topology (55Uxx) Algebraic topology (55-XX) Operations and obstructions in algebraic topology (55Sxx)

This page was built for publication: New formulas for cup-$i$ products and fast computation of Steenrod squares

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6367859)