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

There have been a couple questions on MO, and elsewhere, that have made me curious about integral or rational cohomology operations. I feel pretty familiar with the classical Steenrod algebra and its uses and constructions, and I am at a loss as to imagine some chain level construction of such an operation, other than by coupling mod p operations with bockstein and reduction maps. I am mostly just curious about thoughts in this direction, previous work, and possible applications. So my questions are essentially as follows:

1) Are there any "interesting" rational cohomology operations? I feel like I should be able to compute $H\mathbb{Q}^*H\mathbb{Q}$ by noticing that $H\mathbb{Q}$ is just a rational sphere and so there are no nonzero groups in the limit. Is this right?

2) Earlier someone posted a reference request about $H\mathbb{Z}^*H\mathbb{Z}$, and I am just curious about what is known, and what methods were used.

3) Is there a reasonable approach, ie explainable in this forum, for constructing chain level operations? the approaches I have seen seem to require some finite characteristic assumptions, but maybe I am misremembering things.

4) I am currently under the impression that a real hard part of the problem is integrating all the information from different primes, is this the main roadblock? or similar to what the main obstruction is?

My apologies for the barrage of questions, if people think it would be better split up, I would be happy to do so.

Thanks for your time.

share|improve this question
    
All stable rational cohomology operations are trivial, i.e. $H\mathbb Q^{\ast}H\mathbb Q$ is $\mathbb Q$ concentrated in degree $0$. –  Fernando Muro Jun 5 '13 at 22:14
add comment

4 Answers

up vote 15 down vote accepted

$HZ^nHZ$ is trivial for $n<0$. $HZ^0HZ$ is infinite cyclic generated by the identity operation. For $n>0$ the group is finite. So you know everything if you know what's going on locally at each prime. For $n>0$ the $p$-primary part is not just finite but killed by $p$, which means that you can extract it from the Steenrod algebra $H(Z/p)^{*}H(Z/p)$ and Bocksteins.

EDIT Here's the easier part: The integral homology groups of the space $K(Z,n)$ vanish below dimension $n$, and by induction on $n$ they are all finitely generated. Also $H_{n+k}K(Z,n)$ is independent of $n$ for roughly $n>k$, so that in this stable range $H_{n+k}K(Z,n)$ is $HZ_kHZ$, which is therefore finitely generated. This plus the computation of rational (co)homology gives that $HZ_kHZ$ is finite for $k>0$. Here's the funny part: Of course one expects there to be some elements of order $p^m$ for $m>1$ in the (co)homology of $K(Z,n)$, and in fact there are; the surprise is that stably this is not the case.

share|improve this answer
    
I do not understand how those groups can be finite for all n larger than 0. It seems that there should be an operation $\beta_p$ for each prime, a composition of the reduction mod p and then the integral bockstein, in $H\mathbb{Z}^1 H\mathbb{Z}$. –  Sean Tilson Dec 28 '10 at 6:59
3  
The composite of reduction mod p and the integral Bockstein is zero by construction as the integral Bockstein is the boundary map coming from the sequence $0\to\mathbb Z\to\mathbb Z\to\mathbb Z/p\to0$. –  Torsten Ekedahl Dec 28 '10 at 9:08
    
I also believe that it is "well-known" that stable operations of degree $1$ are just given by Ext-groups of the two coefficient groups between which you want to calculate operations. Of course this implies that $H\mathbb{Z}^1H\mathbb{Z} = 0$. –  Markus Land Mar 17 '13 at 10:31
add comment

A possibly interesting analogue of the formula $HF_{2*} HF_2 = \otimes_{i\ge1} F_2[\xi_i]$ is $HZ_{(2)*} HZ_{(2)} = \otimes^L_{i\ge1} Z_{(2)*}[\xi_i^2]/(2\xi_i^2)$, where $\otimes^L$ means the derived tensor product. In other words, resolve $Z_{(2)*}[\xi_i^2]/(2\xi_i^2)$ by (flat or) free $Z_{(2)}$-modules, tensor the resolutions together, and pass to homology. If I recall correctly, the "first" interesting class $\xi_2^3 + \xi_1^2 \xi_3$ (in degree 9) arises as a torsion product of $\xi_1^2$ and $\xi_2^2$. I needed this for a Shukla homology calculation once. Presumably there is also an odd story.

share|improve this answer
    
This is a great answer. It is a fair bit suggestive of some sort of decomposition of $H\mathbb{Z}_{(2)*}H\mathbb{Z}_{(2)}$. What I mean is that the right hand side looks like it would really like to be a K\"{u}nneth spectral seqeunce. –  Sean Tilson Jun 5 '13 at 15:18
add comment
  1. That is right.

  2. The slightly easier calculation, I think, is $H\mathbb{Z}_\ast H\mathbb{Z}$, and this is easier to approach one prime at a time, i.e., by calculating $H\mathbb{Z}_\ast H\mathbb{Z}_{(p)}$, which is something you can do using the classical Adams spectral sequence. I don't have it handy to check, but I suspect that this calculation is carried out in Part III of Adams's "blue book" (Stable homotopy and generalised homology). The main thing to take away is that $H\mathbb{Z}_nH\mathbb{Z}_{(p)}$ is $p$-torsion (i.e., in the kernel of multiplication by $p$) for all $n>0$.

  3. Steenrod's original definition was by a chain level construction, called the cup-i product. This is discussed in some other questions, such as here.

Note that I'm discussing the (stable) homology of the Eilenberg MacLane spectrum. The homology of the integral Eilenberg MacLane spaces $H_\ast K(\mathbb{Z},n)$ are quite a bit more complicated.

share|improve this answer
    
So the cup-i construction works integrally? Also, I was under the impression that this data was hard to assemble together into one object. I get the impression from your answer, as well as Toms, that this is not the case. Is that a fair assessment? –  Sean Tilson Dec 28 '10 at 7:01
    
Oh, integrally. The exact cup-i's may or may not be defined integrally ... you'd have to check. But they descend from a chain level construction which exists integrally. –  Charles Rezk Dec 28 '10 at 14:35
    
A reference for 1. is Kraines, David Rational cohomology operations and Massey products. Proc. Amer. Math. Soc. 22 1969 238–241. –  Mark Grant Dec 28 '10 at 15:57
add comment

Here is another interesting reference on $H\mathbb{Z}_* H\mathbb{Z}$ and $H\mathbb{Z}^* H\mathbb{Z}$:

Kochman, Stanley; Integral cohomology operations. Current trends in algebraic topology, Part 1 (London, Ont., 1981), pp. 437–478, CMS Conf. Proc., 2, Amer. Math. Soc., Providence, R.I., 1982.

It contains in particular the theorem explained above by Tom, that the $p$-primary part is killed by $p$.

share|improve this answer
add comment

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.