- Steenrod algebra
In
algebraic topology , a branch ofmathematics , the Steenrod algebra is a structure occurring in the theory ofcohomology operation s. It is an object of great importance, most especially to homotopy theorists.More precisely, for a given
prime number "p", it is agraded algebra over the field "Z/p", the integers modulo "p". Briefly, it is the algebra of all stablecohomology operation s for mod "p"singular cohomology . It is generated by the Steenrod reduced "p"th powers, or Steenrod squares if "p"=2. The requirements of calculations ofhomotopy group s mean thathomological algebra over the Steenrod algebra must be considered.Cohomology operations
A cohomology operation is a
natural transformation between cohomology functors. For example, if we take cohomology with coefficients in a ring, thecup product squaring operation yields a family of cohomology operations:::
Note that cohomology operations need not be homomorphisms of graded rings, see the Cartan formula below.
The utility of these operations is limited, because they do not commute with suspension, that is they are unstable. (This is because if "Y" is a suspension of a space "X", the cup product on the cohomology of "Y" is trivial.)
Norman Steenrod constructed stable operations::
for all "i" greater than zero. The notation "Sq" and their name, the Steenrod squares, comes from the fact that "Sq""n" restricted to classes of degree "n" is the cup square. There are analogous operations for odd primary coefficients, usually denoted "P""i" and called the reduced "p"-th power operations. The "Sq""i" generate a connected graded algebra over "Z/2", where the multiplication is given by composition of operations. This is the mod 2 Steenrod algebra. In the case "p" > 2, the mod "p" Steenrod algebra is generated by the "P""i" and the
Bockstein operation β associated to theshort exact sequence :
(The Bockstein occurs also in the mod 2 case, as "Sq"1.)
Axiomatic characterization
The Steenrod squares "Sq""n" satisfy the following axioms:
#Naturality: For any map "f" : "X" → "Y", "f"*("Sq""n""x") = "Sq""n""f"*(x).
#Additivity: "Sq""n"("x" + "y") = "Sq""n"("x") + "Sq""n"("y").
#Cartan Formula:
#Stability: The squares commute with the suspension isomorphism (if we are careful).
#"Sq""n" is the cup square on classes of degree "n".
#"Sq"0 is the identity homomorphism.
#"Sq"1 is the Bockstein homomorphism of the exact sequenceTogether with the Adem relations, defined below, these axioms characterize the Steenrod squares uniquely. Similar axioms apply to the reduced "p"-th powers for "p" > 2.
Adem relations and the Serre-Cartan basis
One of the first questions about the Steenrod algebra is, when is a composition of operations nonzero? The ring structure of the Steenrod algebra is exceedingly intricate. Indeed, as described below, its cohomology may be viewed as an approximation to the
stable homotopy groups of spheres , objects of modern mathematics famous for being hard to identify.Jean-Pierre Serre andHenri Cartan found a good basis for the Steenrod algebra by examining the Adem relations, named for their discovererJosé Adem . This basis relies on a certain notion of admissibility for integer sequences. We say a sequence:
is admissible if for each "j", "i""j" ≥ 2"i""j"+1. Then the elements
:
where "I" is an admissible sequence, form a basis (the Serre-Cartan basis) for the mod 2 Steenrod algebra. There is a similar basis for the case "p" > 2. The notion of admissibility comes from the Adem relations, which are
:
for all "i", "j" > 0 such that "i" < 2"j". (The binomial coefficients are to be interpreted mod 2.) The Adem relations allow one to write an arbitrary composition of Steenrod squares as a sum of Serre-Cartan basis elements.
Finally, the Adem relations allow us to express all possible compositions of Steenrod squares as elements of an infinite-dimensional algebra over the field F"p" with "p" elements. This is what is meant by the term Steenrod algebra: in the case "p" = 2, it can be constructed in the following way. Let "M""i" be the free F2-module on the symbol "Sq"i, and let "M" be the graded F2-module with homogeneous degree "i" part equal to "M""i". Then the Steenrod algebra is the quotient of the
tensor algebra of the module "M" by the ideal generated by the Adem relations. With this definition, the mod "p" cohomology of any space becomes a graded module over the mod "p" Steenrod algebra.Hopf algebra structure and the Milnor basis
The Steenrod algebra has more structure than a graded Fp-algebra. It is also a
Hopf algebra , so that in particular there is a diagonal orcomultiplication map:
It is actually much easier to describe than the product
:
The linear dual of ψ makes the (graded) linear dual "A"* of "A" into an algebra.
John Milnor proved, for "p" = 2, that "A"* is actually apolynomial algebra , with one generator ξk of degree 2"k" - 1, for every "k". The monomial basis for "A"* then gives another choice of basis for "A", called the Milnor basis. The dual to the Steenrod algebra is often more convenient to work with, because the multiplication is commutative. In the case "p" > 2, the dual is thetensor product of a polynomial algebra with anexterior algebra . Of course, the comultiplication for "A"* is the dual of the product on "A"; it is given in the case "p" = 2 by:
Here ξ0 is interpreted as 1. The only
primitive element s of "A"* are the , and these are dual to the (the only indecomposables of "A").First applications
The most famous early applications of the Steenrod algebra to outstanding topological problems were the solutions by
J. Frank Adams of theHopf invariant one problem and thevector fields on spheres problem. Independently Milnor and Bott, as well as Kervaire, gave a second solution of the Hopf invariant one problem, using operations inK-theory ; these are theAdams operation s. One application of the mod 2 Steenrod algebra that is fairly elementary is the following theorem.Theorem. If there is a map S2"n" - 1 → S"n" of
Hopf invariant one , then "n" is a power of 2.The proof uses the fact that each "Sq""k" is decomposable for "k" which is not a power of 2; that is, such an element is a product of squares of strictly smaller degree.
Connection to the Adams spectral sequence and the homotopy groups of spheres
The cohomology of the Steenrod algebra is the "E"2 term for the ("p"-local)
Adams spectral sequence , whose abutment is the "p"-component of the stable homotopy groups of spheres. More specifically, the "E"2 term of this spectral sequence may be identified as:
This is what is meant by the aphorism "the cohomology of the Steenrod algebra is an approximation to the stable homotopy groups of spheres."
References
* R. Mosher and M. Tangora, "Cohomology Operations and Applications in Homotopy Theory". Harper and Row, 1968.
* Allen Hatcher, "Algebraic Topology". Cambridge University Press, 2002. Available free online from the [http://www.math.cornell.edu/~hatcher/AT/ATpage.html author's home page] .
Wikimedia Foundation. 2010.