On the computability of the Steenrod squares

Abstract

In questo lavoro offriamo in modo esplicito le formule di una serie de morfismi che controUano la mancanza di commutativit~ del prodotto cup a livello di cocateni, supponendo di lavorare con insiemi sempliciali; queste formule si stabliliscono in termini di morfismi componenti di una contrazione di Eilenberg-Zilber data. Di conseguenza, nel caso in cui l'insieme sempliciale sia finito in ogni dimensione, otterremo un algoritmo di calcolo di quadrati di Steenrod.

We give explicitely the formulas of a sequence of morphisms which measure the failure of commutativity of the cup product on the cochain level, provided that we work with simplicial sets; these formulas are established in terms of the component morphisms of a given Eilenberg-Zilber contraction. As a consequence, in the case in which the simplicial set is finite in each dimension, we obtain an algorithm for calculating Steenrod squares.