Steenrod squares

Steenrod squares
Name	Steenrod squares
Caption	Cohomology operation example
Introduced	1947
Inventor	Norman Steenrod
Field	Algebraic topology
Related	Steenrod algebra, Wu classes, Stiefel–Whitney classes

Steenrod squares are cohomology operations acting on mod 2 cohomology that encode stable homotopy information and characteristic class behavior. Introduced by Norman Steenrod, these operations provide a calculational toolkit for distinguishing manifolds, fiber bundles, and spectra, and they link classical results of Henri Poincaré, Jean Leray, and André Weil to modern work by Michael Atiyah, Friedrich Hirzebruch, and Daniel Quillen.

Introduction

Steenrod squares arise in the context of Norman Steenrod's work on cohomology operations and the axiomatization of cohomology theories, building on earlier constructions by Élie Cartan and Jean Leray. They are endomorphisms of the graded group H*(X; Z/2) for a topological space X and satisfy naturality with respect to maps studied by Leray–Serre, Hurewicz, and Serre. Steenrod squares connect to characteristic classes such as Stiefel–Whitney classes studied by Eduard Stiefel and Hassler Whitney, and they are encoded algebraically by the Steenrod algebra developed in classification programs influenced by Henri Cartan and later computational projects by J. F. Adams and Jean-Pierre Serre.

Definitions and Construction

Formally, for each nonnegative integer i there is an operation Sq^i: H^n(X; Z/2) → H^{n+i}(X; Z/2) compatible with pullback maps associated to continuous maps between CW complexes considered by Samuel Eilenberg and Saunders Mac Lane. Steenrod's axioms include naturality, the Cartan formula reflecting cup product behavior familiar from Hermann Weyl's invariant theory, and the instability conditions linked to results of Wu Wenjun. Constructions use the acyclic models technique of Samuel Eilenberg and Norman Steenrod and the reduced power operations approach of N. E. Steenrod and D. B. A. Epstein, building on the bar construction and the diagonal approximations used in the work of Harrison White and homological algebra foundations by Henri Cartan and Samuel Eilenberg.

Algebraic Properties and Relations

The Steenrod squares satisfy the Adem relations discovered by José Adem which give relations among composite operations, paralleling relations in the universal enveloping structures studied by Nathan Jacobson. The collection {Sq^i} forms a Hopf algebra known as the Steenrod algebra whose structure constants were studied by J. F. Adams, Hans Samelson, and William Browder. The Cartan formula makes Sq a derivation-like operator on cup products as in computations by Jean Leray and Jean-Pierre Serre. Instability conditions relate Sq^i on classes of low degree to vanishing rules explored by Wu Wenjun and used in the proof strategies of the Milnor conjecture by Vladimir Voevodsky. Duality properties connect the Steenrod algebra to the dual Steenrod algebra studied by John Milnor and further algebraic topology techniques by Edward Brown and Daniel Quillen.

Computations and Examples

Explicit computations of Sq^i on cohomology rings appear in classical examples: real projective spaces analyzed by L. E. J. Brouwer and H. Hopf, complex projective spaces related to work of Lefschetz and Hodge, and Grassmannians studied by Hassler Whitney and Élie Cartan. Calculations on the cohomology of spheres and Moore spaces were central to the programs led by J. F. Adams and John Milnor; spectral sequence computations employing the Serre spectral sequence and Adams spectral sequence exploit Steenrod squares in resolving differentials, following methods introduced by Jean-Pierre Serre and Frank Adams. Computer-aided tables of Steenrod operations have been developed in projects influenced by Douglas Ravenel and Mark Mahowald for use in stable homotopy computations by Haynes Miller and Haynes Miller's collaborators.

Applications in Topology and Geometry

Steenrod squares detect nontriviality of Stiefel–Whitney classes and thus obstruct existence of orientations and spin structures considered by Raoul Bott and Michael Atiyah. They play roles in classification of manifold structures appearing in work by William Browder, Dennis Sullivan, and C. T. C. Wall. In cobordism theories developed by René Thom and refined by Milnor and Novikov, Steenrod operations interact with genera and formal group laws studied by Friedrich Hirzebruch and Michael Atiyah. Applications extend to fixed-point theorems connected to Lefschetz fixed-point theorem contexts, index theory of Atiyah–Singer index theorem, and obstruction theory methods used by G. W. Whitehead and G. E. Bredon.

Generalizations and Related Operations

Generalizations include Steenrod reduced pth powers for odd primes p introduced in the work of N. E. Steenrod and D. B. A. Epstein, the Pontryagin classes interactions noted by Lev Pontryagin, and operations in complex cobordism linked to Daniel Quillen's work on formal group laws. Higher cohomology operations studied by William Massey and secondary operations in the style of J. H. C. Whitehead extend the calculus of Steenrod squares. Algebraic analogues appear in motivic cohomology treated by Vladimir Voevodsky and in equivariant cohomology frameworks developed by G. Bredon and May. Modern categorical and spectral generalizations relate to work by Jacob Lurie, Peter May, and J. P. May on structured ring spectra and operadic approaches to generalized cohomology theories.

Category:Algebraic topology