Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Where in literature can one find a construction of Steenrod reduced powers (for an odd $p$) that

(1) works for the singular cohomology of arbitrary topological spaces (or, more generally, for the cohomology of simplicial sets) and

(2) does not use homotopy-theoretic constructions (such as $K(\pi,n)$ spaces)?

I like the approach of the Steenrod--Epstein book. Unfortunately, the main construction is done there for the cellular cohomology of finite regular cell complexes. Then the operations are extended to infinite regular complexes and then to arbitrary CW-complexes (using approximation by a simplicial complex); then this is applied to the singular simplicial set of a topological space. This way seems somewhat indirect if we are interested in singular cohomology.

Another approach is given in Switzer's "Algebraic topology" for $p=2$. It starts with the words "By the acyclic model theorem, there exists a natural equivariant chain map $W\otimes S(X)\to S(X)\otimes S(X)$" (where $S(X)$ is the singular chain complex and $W$ is the free resolution of the group $\mathbb Z/2$). Some other textbooks also use this approach. Unfortunately, I could not find an exposition for $p$ odd.

share|improve this question
    
May's "general algebraic approach to Steenrod operations" is an answer, surely. Possibly there is a simpler exposition aimed at topological spaces. –  Semen Podkorytov May 19 '13 at 12:13
4  
You might like to look at "Multivariable cochain operations and little n-cubes" by McClure and Smith. It is written for people who know a lot already but I think it may be possible to adapt it to give a more concrete and elementary approach to the Steenrod operations. I think that there also exists an explicit approach for $p>2$ written in the 1960s by some Japanese authors, but I looked at it briefly a long time ago and found it completely indigestible. –  Neil Strickland Jun 5 '13 at 19:06

3 Answers 3

up vote 2 down vote accepted

P. Selick, Introduction to Homotopy Theory, Chapter 14.

share|improve this answer

Useful references

A. Dold, Über die Steenrodschen Kohomologieoperationen, Ann. Math. (1961), Russian translation: Matematika 7:6 (1963)

S. Gitler, Cohomology operations with local coefficients, Am. J. Math. (1963)

share|improve this answer

Lurie's notes on the Sullivan conjecture: http://ocw.mit.edu/courses/mathematics/18-917-topics-in-algebraic-topology-the-sullivan-conjecture-fall-2007/lecture-notes/lecture2.pdf constructs the total operations and then proves the properties in later lectures.

One does not need to know what an $\mathbb{F}_2$-module spectrum is and just think of them as cochain complexes (as he explains)

share|improve this answer
    
I am particularly interested in the case of odd p. The lecture you point to is about p=2. –  Semen Podkorytov Oct 12 at 17:35

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.