https://hal-univ-artois.archives-ouvertes.fr/hal-00787988David, ChataurChataurDavidLAMFA - Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 7352 - UPJV - Université de Picardie Jules Verne - CNRS - Centre National de la Recherche ScientifiqueSaralegi-Aranguren, MartintxoMartintxoSaralegi-ArangurenLML - Laboratoire de Mathématiques de Lens - UA - Université d'ArtoisDaniel, TanréTanréDanielLPP - Laboratoire Paul Painlevé - Université de Lille - CNRS - Centre National de la Recherche ScientifiqueSteenrod squares on Intersection cohomology and a conjecture of M. Goresky and W. PardonHAL CCSD2016[MATH.MATH-AT] Mathematics [math]/Algebraic Topology [math.AT][MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]Saralegi-Aranguren, Martintxo2013-02-13 14:47:582023-03-22 11:44:122013-02-13 14:47:58enJournal articles10.2140/agt.2016.16.18511We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic classes in the framework of intersection cohomology. For this purpose, we present a construction of ${cup}_{i}$-products on the cochain complex of filtered face sets, built on the blow-up of simplices and introduced in a previous work. We extend to this setting the classical properties of the associated Steenrod squares, including Adem and Cartan relations, for any generalized perversities. In the case that the filtered face set is the singular filtered face set associated to a pseudomanifold, we prove that our definition coincides with M. Goresky's definition. Several examples of concrete computation of perverse Steenrod squares are given, including the case of isolated singularities and, more especially, we describe the Steenrod squares on the Thom space of a vector bundle, in function of the Steenrod squares of the basis and the Stiefel-Whitney classes. We detail also an example of a non trivial square, $\sq^2\colon H_{\overline{p}}\to H_{\overline{p}+2}$, whose information is lost if we consider it as values in $H_{2\overline{p}}$, showing the interest of the Goresky and Pardon's conjecture.