Steenrod algebra explained

In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod

p cohomology.p , the Steenrod algebra A _{p} is the graded Hopf algebra over the field F _{p} of order p , consisting of all stable cohomology operations for mod p cohomology. It is generated by the Steenrod squares introduced by for p =2 , and by the Steenrod reduced p th powers introduced in and the Bockstein homomorphism for p> 2 .

The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory.

Cohomology operations

R , the cup product squaring operation yields a family of cohomology operations:H ^{n(X;R)} \to H ^{2n} (X;R) x \mapsto x \smile x.

Cohomology operations need not be homomorphisms of graded rings; see the Cartan formula below.

These operations 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.) Steenrod constructed stable operationsSq ^{i} \colon H ^{n(X;\Z} / 2 ) \to H ^{n+i} (X;\Z / 2 )

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:P ^{i} \colon H ^{n(X;\Z} /p) \to H ^{n+2i(p-1)} (X;\Z /p)

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 \beta associated to the short exact sequence0 \to \Z /p \to \Z /p ^{2} \to \Z /p \to 0 .

In the case

p =2 , the Bockstein element is Sq ^{1} and the reduced p -th power P ^{i} is Sq ^{2} .

As a cohomology ring

We can summarize the properties of the Steenrod operations as generators in the cohomology ring of Eilenberg–Maclane spectra

l{A} _{p} = H F ^{*(H F} _{p)} ,since there is an isomorphism\begin{align} H F ^{*(H F} _{p)} & = o plus ^{inf ty \underset{\leftarrow} _{k =0} n}{ lim }\left(H^(K(\mathbb_p,n); \mathbb_p)\right)\endgiving a direct sum decomposition of all possible cohomology operations with coefficients in F _{p} . Note the inverse limit of cohomology groups appears because it is a computation in the stable range of cohomology groups of Eilenberg–Maclane spaces. This result^[1] was originally computed by and .

Note there is a dual characterization using homology for the dual Steenrod algebra.

Remark about generalizing to generalized cohomology theories

It should be observed if the Eilenberg–Maclane spectrum

H F _{p} is replaced by an arbitrary spectrum E , then there are many challenges for studying the cohomology ring E ^{*(E)} . In this case, the generalized dual Steenrod algebra E _{*(E)} should be considered instead because it has much better properties and can be tractably studied in many cases (such as KO, KU, MO, MU, MSp, S , H F _{p} ). In fact, these ring spectra are commutative and the \pi _{*(E)} bimodules E _{*(E)} are flat. In this case, these is a canonical coaction of E _{*(E)} on E _{*(X)} for any space X , such that this action behaves well with respect to the stable homotopy category, i.e., there is an isomorphism $$E\_*(E)\backslash otimes\_E\_*(X)\; \backslash to\; [\backslash mathbb\{S\},\; E\backslash wedge\; E\; \backslash wedge\; X]\_*$$ hence we can use the unit the ring spectrum E $$\backslash eta:\backslash mathbb\; \backslash to\; E$$ to get a coaction of E _{*(E)} on E _{*(X)} .

Axiomatic characterization

showed that the Steenrod squares

Sq ^{n\colon} H ^{m} \to H ^{m+n} are characterized by the following 5 axioms:

1. Naturality:

Sq ^{n} \colon H ^{m(X;\Z} / 2 ) \to H ^{m+n} (X;\Z / 2 ) is an additive homomorphism and is natural with respect to any f\colon X\to Y , so f ^{*(Sq} ^{n(x))} = Sq ^{n(f} ^{*(x))} .Sq ^{0} is the identity homomorphism.Sq ^{n(x)} = x \smile x for x \in H ^{n(X;\Z} / 2 ) .

1. If

n> \deg(x) then Sq ^{n(x)} = 0

1. Cartan Formula:

Sq ^{n(x} \smile y) = \sum _{i+j=n} (Sq ^{i} x) \smile (Sq ^{j} y)

In addition the Steenrod squares have the following properties:

Sq ^{1} is the Bockstein homomorphism \beta of the exact sequence 0 \to \Z/ 2 \to \Z/ 4 \to \Z/ 2 \to 0 . Sq ^{i} commutes with the connecting morphism of the long exact sequence in cohomology. In particular, it commutes with respect to suspension H ^{k(X;\Z} / 2 ) \cong H ^{k+1} (\Sigma X;\Z / 2 )

• They satisfy the Adem relations, described below

Similarly the following axioms characterize the reduced

p -th powers for p > 2 .

1. Naturality:

P ^{n\colon} H ^{m(X,\Z} /p\Z ) \to H ^{m+2n(p-1)} (X,\Z /p\Z ) is an additive homomorphism and natural.P ^{0} is the identity homomorphism.P ^{n} is the cup p -th power on classes of degree 2 n .

1. If

2 n > \deg(x) then P ^{n(x)} = 0

1. Cartan Formula:

P ^{n(x} \smile y) = \sum _{i+j=n} (P ^{i} x) \smile (P ^{j} y)

As before, the reduced p-th powers also satisfy the Adem relations and commute with the suspension and boundary operators.

Adem relations

The Adem relations for

p =2 were conjectured by and established by . They are given bySq ^{i} Sq ^{j} = \sum ^{\lfloor i/ 2 \rfloor} _{k =0} {j - k -1 \choose i -2 k} Sq ^{i+j-k} Sq ^{k}

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.

For odd

p the Adem relations areP ^{a} P ^{b} = \sum _{i} ( -1 ) ^{a+i} {(p -1 )(b - i) -1 \choose a - pi} P ^{a+b-i} P ^{i} for a<pb andP ^{a} \beta P ^{b} = \sum _{i} ( -1 ) ^{a+i} {(p -1 )(b - i) \choose a - pi} \beta P ^{a+b-i} P ^{i + \sum} _{i} ( -1 ) ^{a+i+1} {(p -1 )(b - i) -1 \choose a - pi -1 } P ^{a+b-i} \beta P ^{i} for a\le pb .

Bullett–Macdonald identities

reformulated the Adem relations as the following identities.

For

p =2 putP(t) = \sum _{i\geq} t ^{iSq} ^{i} then the Adem relations are equivalent to P(s ^{2+st) ⋅} P(t ^{2)=P(t} ^{2+st) ⋅} P(s ^{2)}

For

p > 2 putP(t) = \sum _{i\geq} t ^{iP} ^{i} then the Adem relations are equivalent to the statement that ( 1+ s\operatorname{Ad} \beta)P(t ^{p+t} ^{p-1} s + … + ts ^{p-1} )P(s ^{p)} is symmetric in s and t . Here \beta is the Bockstein operation and (\operatorname{Ad} \beta) P = \beta P - P\beta .

Geometric interpretation

There is a nice straightforward geometric interpretation of the Steenrod squares using manifolds representing cohomology classes. Suppose

X is a smooth manifold and consider a cohomology class \alpha \in H ^{*(X)} represented geometrically as a smooth submanifold f\colon Y \hookrightarrow X . Cohomologically, if we let 1 = [Y] \in H ^{0(Y)} represent the fundamental class of Y then the pushforward mapf _{*(1)} = \alpha gives a representation of \alpha . In addition, associated to this immersion is a real vector bundle call the normal bundle \nu _{Y/X} \to Y . The Steenrod squares of \alpha can now be understood — they are the pushforward of the Stiefel–Whitney class of the normal bundleSq ^{i(\alpha)} = f _{*(w} _{i(\nu} _{Y/X} )), which gives a geometric reason for why the Steenrod products eventually vanish. Note that because the Steenrod maps are group homomorphisms, if we have a class \beta which can be represented as a sum\beta = \alpha _{1+} … + \alpha _{n,} where the \alpha _{k} are represented as manifolds, we can interpret the squares of the classes as sums of the pushforwards of the normal bundles of their underlying smooth manifolds, i.e.,Sq ^{i(\beta)} = \sum ^{n} _{k =1} f _{*(w} _{i(\nu} ^{Y _{k/X}} )). Also, this equivalence is strongly related to the Wu formula.

Computations

Complex projective spaces

CP ^{2} , there are only the following non-trivial cohomology groups,H ^{0(CP} ^{2)} \cong H ^{2(CP} ^{2)} \cong H ^{4(CP} ^{2)} \cong \Z ,as can be computed using a cellular decomposition. This implies that the only possible non-trivial Steenrod product is Sq ^{2} on H ^{2(CP} ^{2;\Z/2)} since it gives the cup product on cohomology. As the cup product structure on H ^{\ast(CP} ^{2;\Z/2)} is nontrivial, this square is nontrivial. There is a similar computation on the complex projective space CP ^{6} , where the only non-trivial squares are Sq ^{0} and the squaring operations Sq ^{2i} on the cohomology groups H ^{2i} representing the cup product. In CP ^{8} the squareSq ^{2\colon} H ^{4(CP} ^{8;\Z/2)} \to H ^{6(CP} ^{8;\Z/2)} can be computed using the geometric techniques outlined above and the relation between Chern classes and Stiefel–Whitney classes; note that f\colon CP ^{4} \hookrightarrow CP ^{8} represents the non-zero class in H ^{4(CP} ^{8;\Z/2)} . It can also be computed directly using the Cartan formula since x ^{2} \in H ^{4(CP} ^{8)} and\begin{align} Sq ^{2(x} ^{2)} & = Sq ^{0(x)\smile} Sq ^{2(x)} + Sq ^{1(x)\smile} Sq ^{1(x)} + Sq ^{2(x)\smile} Sq ^{0(x)} \\ & = 0 . \end{align}

Infinite Real Projective Space

The Steenrod operations for real projective spaces can be readily computed using the formal properties of the Steenrod squares. Recall that

H ^{*(RP} ^{infty;\Z} / 2 ) \cong \Z / 2 [x],

where

\deg(x) = 1 . For the operations on H ^{1} we know that\begin{align} Sq ^{0(x)} & = x \\ Sq ^{1(x)} & = x ^{2} \\ Sq ^{k(x)} & = 0 && forany k> 1 \end{align}

The Cartan relation implies that the total square

Sq : = Sq ^{0} + Sq ^{1} + Sq ^{2} + …

is a ring homomorphism

Sq\colon H ^{*(X)} \to H ^{*(X).}

Hence

Sq(x ^{n)} = (Sq(x)) ^{n} = (x + x ^{2)} ^{n} = \sum ^{n} _{i =0} {n \choose i} x ^{n+i}

Since there is only one degree

n + i component of the previous sum, we have thatSq ^{i(x} ^{n)} = {n \choose i}x ^{n+i} .

Construction

Suppose that

\pi is any degree n subgroup of the symmetric group on n points, u a cohomology class in H ^{q(X,B)} , A an abelian group acted on by \pi , and c a cohomology class in H _{i(\pi,A)} . showed how to construct a reduced power u ^{n/c} in H ^{nq-i} (X, (A ⊗ B ⊗ … ⊗ B)/\pi) , as follows.

1. Taking the external product of

u with itself n times gives an equivariant cocycle on X ^{n} with coefficients in B ⊗ … ⊗ B .

1. Choose

E to be a contractible space on which \pi acts freely and an equivariant map from E x X to X ^{n.} Pulling back u ^{n} by this map gives an equivariant cocycle on E x X and therefore a cocycle of E/\pi x X with coefficients in B ⊗ … ⊗ B .

1. Taking the slant product with

c in H _{i(E/\pi,} A) gives a cocycle of X with coefficients in H _{0(\pi,} A ⊗ B ⊗ … ⊗ B) .

The Steenrod squares and reduced powers are special cases of this construction where

\pi is a cyclic group of prime order p = n acting as a cyclic permutation of n elements, and the groups A and B are cyclic of order p , so that H _{0(\pi,} A ⊗ B ⊗ … ⊗ B) is also cyclic of order p .

Properties of the Steenrod algebra

In addition to the axiomatic structure the Steenrod algebra satisfies, it has a number of additional useful properties.

Basis for the Steenrod algebra

(for

p =2 ) and (for p> 2 ) described the structure of the Steenrod algebra of stable mod p cohomology operations, showing that it is generated by the Bockstein homomorphism together with the Steenrod reduced powers, and the Adem relations generate the ideal of relations between these generators. In particular they found an explicit basis for the Steenrod algebra. This basis relies on a certain notion of admissibility for integer sequences. We say a sequencei _{1,} i _{2,} \ldots, i _{n}

is admissible if for each

j , we have that i _{j} \ge 2 i _{j+1} . Then the elementsSq ^{I} = Sq ^{i _{1}} … Sq ^{i _{n}} ,

where

I is an admissible sequence, form a basis (the Serre–Cartan basis) for the mod 2 Steenrod algebra, called the admissible basis. There is a similar basis for the case p> 2 consisting of the elementsSq ^{I} _{p} = Sq ^{i _{1}} _{p} … Sq ^{i _{n}} _{p} ,

such that

i _{j\ge} pi _{j+1} i _{j\equiv} 0 , 1 \bmod 2 (p -1 ) Sq ^{2 k(p -1 )} _{p} = P ^{k} Sq ^{2 k(p -1 ) +1} _{p} = \beta P ^{k}

Hopf algebra structure and the Milnor basis

The Steenrod algebra has more structure than a graded

F _{p} -algebra. It is also a Hopf algebra, so that in particular there is a diagonal or comultiplication map\psi \colon A \to A ⊗ A

induced by the Cartan formula for the action of the Steenrod algebra on the cup product. This map is easier to describe than the product map, and is given by

\psi(Sq ^{k)} = \sum _{i+j=k} Sq ^{i} ⊗ Sq ^{j} \psi(P ^{k)} = \sum _{i+j=k} P ^{i} ⊗ P ^{j} \psi(\beta) = \beta ⊗ 1+1 ⊗ \beta .

These formulas imply that the Steenrod algebra is co-commutative.

The linear dual of

\psi makes the (graded) linear dual A _{*} of A into an algebra. proved, for p = 2 , that A _{*} is a polynomial algebra, with one generator \xi _{k} of degree 2 ^{k-1} , for every k, and for p > 2 the dual Steenrod algebra A _{*} is the tensor product of the polynomial algebra in generators \xi _{k} of degree 2 p ^{k-2} (k\ge 1 ) and the exterior algebra in generators τ_k of degree 2 p ^{k-1} (k\ge 0 ) . 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 (super) commutative. The comultiplication for A _{*} is the dual of the product on A; it is given by\psi(\xi _{n)} = \sum ^{n} _{i =0} \xi ^{p ^{i}} _{n - i} ⊗ \xi _{i.} where \xi _{0=1} , and\psi(\tau _{n)} = \tau _{n ⊗} 1 + \sum ^{n} _{i =0} \xi ^{p ^{i}} _{n - i} ⊗ \tau _{i} if p> 2 .

The only primitive elements of

A _{*} for p =2 are the elements of the form \xi ^{2 ^{i}} _{1} , and these are dual to the Sq ^{2 ^{i}} (the only indecomposables of A).

Relation to formal groups

The dual Steenrod algebras are supercommutative Hopf algebras, so their spectra are algebra supergroup schemes. These group schemes are closely related to the automorphisms of 1-dimensional additive formal groups. For example, if

p =2 then the dual Steenrod algebra is the group scheme of automorphisms of the 1-dimensional additive formal group scheme x + y that are the identity to first order. These automorphisms are of the form x → x + \xi ^{8+ …} _{3 x}

Finite sub-Hopf algebras

The

p = 2 Steenrod algebra admits a filtration by finite sub-Hopf algebras. As l{A} _{2} is generated by the elements Sq ^{2 ^{i}} ,we can form subalgebras l{A} _{2(n)} generated by the Steenrod squaresSq ^{1,} Sq ^{2,} \ldots, Sq ^{2 ^{n}} ,giving the filtrationl{A} _{2(1)} \subset l{A} _{2(2)} \subset … \subset l{A} _{2.} These algebras are significant because they can be used to simplify many Adams spectral sequence computations, such as for \pi _{*(ko)} , and \pi _{*(tmf)} .

Algebraic construction

F _{q} of order q. If V is a vector space over F _{q} then write SV for the symmetric algebra of V. There is an algebra homomorphism\begin{cases} P(x)\colon SV[[x]]\to SV[[x]] \ P(x)(v) = v + F(v)x = v + v ^{qx} & v \in V \end{cases}

where F is the Frobenius endomorphism of SV. If we put

P(x)(f) = \sum P ^{i(f)x} ^{i} p > 2

or

P(x)(f) = \sum Sq ^{2i} (f)x ^{i} p =2

for

f\in SV then if V is infinite dimensional the elements P ^{I} generate an algebra isomorphism to the subalgebra of the Steenrod algebra generated by the reduced p′th powers for p odd, or the even Steenrod squares Sq ^{2i} for p = 2 .

Applications

Early applications of the Steenrod algebra were calculations by Jean-Pierre Serre of some homotopy groups of spheres, using the compatibility of transgressive differentials in the Serre spectral sequence with the Steenrod operations, and the classification by René Thom of smooth manifolds up to cobordism, through the identification of the graded ring of bordism classes with the homotopy groups of Thom complexes, in a stable range. The latter was refined to the case of oriented manifolds by C. T. C. Wall. A famous application of the Steenrod operations, involving factorizations through secondary cohomology operations associated to appropriate Adem relations, was the solution by J. Frank Adams of the Hopf invariant one problem. One application of the mod 2 Steenrod algebra that is fairly elementary is the following theorem.

Theorem. If there is a map

S ^{2n-1} \to 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.

Michael A. Mandell gave a proof of the following theorem by studying the Steenrod algebra (with coefficients in the algebraic closure of

F _{p} ):

Theorem. The singular cochain functor with coefficients in the algebraic closure of

F _{p} induces a contravariant equivalence from the homotopy category of connected p -complete nilpotent spaces of finite p -type to a full subcategory of the homotopy category of E _{infty} -algebras with coefficients in the algebraic closure of F _{p} .

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 asExt ^{s,t} _{A} ( F _{p,} F _{p).}

This is what is meant by the aphorism "the cohomology of the Steenrod algebra is an approximation to the stable homotopy groups of spheres."

See also

• Pontryagin cohomology operation
• Dual Steenrod algebra
• Cohomology operation

References

1. Web site: at.algebraic topology – (Co)homology of the Eilenberg–MacLane spaces K(G,n) . 2021-01-15. MathOverflow.

Pedagogical

• • Characteristic classes – contains more calculations, such as for Wu manifolds
• Steenrod squares in Adams spectral sequence – contains interpretations of Ext terms and Streenrod squares

Motivic setting

• Reduced power operations in motivic cohomology
• Motivic cohomology with Z/2-coefficients
• Motivic Eilenberg–Maclane spaces
• The homotopy of C -motivic modular forms – relates

l{A}// l{A}(2) to motivic tmf

References

• Book: Adams, J. Frank. Stable homotopy and generalised homology. 1974 . University of Chicago Press. 0-226-00523-2. Chicago. 1083550.
  • • • • Cartan. Henri. 1954–1955. Détermination des algèbres H _{*(\pi} , n; Z _{2)} et H ^{*(\pi} , n; Z _{2)} ; groupes stables modulo p . Séminaire Henri Cartan . 7. 1. 1–8. fr .
• Allen Hatcher, Algebraic Topology. Cambridge University Press, 2002. Available free online from the author's home page.
  • • • • • Book: Ravenel, Douglas C.. Douglas Ravenel. Complex cobordism and stable homotopy groups of spheres. 1986 . Academic Press. 978-0-08-087440-1. Orlando . 316566772 .
    • Book: Smith . Larry . Hubbuck . John . Hu'ng . Nguyễn H. V. . Schwartz . Lionel . Proceedings of the School and Conference in Algebraic Topology . 0903.4997 . Geometry & Topology Monographs . 2402812 . 2007 . 11 . An algebraic introduction to the Steenrod algebra . 327–348 . 10.2140/gtm.2007.11.327. 14167493 .