MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider $SO(n)$ bundles over smooth manifolds. Then using the fact that the Stiefel-Whitney classes are the modulo 2 reductions of the Chern classes, one can prove $w_{2i}^2(E) = p_i(E) \bmod 2$. Now consider an $SO(3)$ bundle over a 4-manifold. Since the particular case I am studying concerns K3 surfaces, let us assume that $H^2(M,\mathbb{Z})$ contains no torsion. Then it is stated in various places that more is true:

$w_2^2(E) = p_1(E) \bmod 4$.

I may be missing something elementary here, but where does the mod 4 comes from?

share|cite|improve this question
I think the square is the Pontryagin square. See – BS. Apr 8 '11 at 10:40
See also this MO question and answsers… – BS. Apr 8 '11 at 10:41
A reference is Dold and Whitney's 1959 Annals paper on bundles over 4-dimensional complexes (perhaps someone can consult this paper and post the explanation?). – Tim Perutz Apr 8 '11 at 19:59
@BS, Yes, the assertion is that $P(w_2)=p_1$ mod 4. $P(w_2)=w_2^2$ mod 2 is a property of the Pontriyagin square, and when $H^2(M;Z)$ has no 2-torsion, $w_2$ lifts to a $Z$ class, answering Manuel's question. – Paul Apr 9 '11 at 19:09

Your Answer


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

Browse other questions tagged or ask your own question.