5
$\begingroup$

Let $E \to X$ be a vector bundle. We can associate to $E$ several invariants: among them are the Stiefel-Whitney classes $w_i(E) \in H^i(X;\mathbb{Z}_2)$. These classes may be defined using the axioms:
0. $w_0(E)=1$ and $w_i(E) \in H^i(X;\mathbb{Z}_2)$.
1. $w(f^*E)=f^*w(E)$ for continuous maps $f$ (here $w=1+w_1+w_2+\cdots$ is the total class)
2. $w(E \oplus F)=w(E) \cup w(F)$
3. $w_1(\gamma_1) \neq 0$ for the tautological bundle $\gamma_1$ over $\mathbb{R}P^{\infty}=BO(1)$

In particular, we can rephrase these axioms to recognize the first Stiefel Whitney class:
1'. $w_1(f^*E)=f^*w_1(E)$ for continuous maps $f$
2'. $w_1(E \oplus F)=w_1(E) + w_1(F)$
3'. $w_1(\gamma_1) \neq 0$ for a tautological bundle $\gamma_1$ over $\mathbb{R}\mathbb{P}^{\infty}=BO(1)$.

However, in Lawson-Michelsohn's book "Spin Geometry" it is stated that in order for a cohomology class $v_1$ to equal $w_1$ we only need to check:
1''. $v_1(f^*E)=f^*v_1(E)$ for continuous maps $f$
2''. $v_1(\gamma_n) \neq 0$ for the tautological bundle $\gamma_n$ over $BO(n)$ for every natural number $n$.

How do we prove that these two sets of axioms are equivalent (and therefore characterize $w_1$)?

Concerning higher Stiefel-Whitney classes, does a set of axioms like 1''-2'' define $w_k$ for each $k$?

$\endgroup$
1
  • $\begingroup$ The S-W abbreviation may be misleading - I walked in thinking it was about Seiberg-Witten. Admit: (1) this is also interesting; (2) "classes" makes it less misleading. Still... $\endgroup$ Jul 13, 2017 at 5:50

2 Answers 2

6
$\begingroup$

The naturality condition 1'' reduces the question of whether $v_1=w_1$ to the special case of the tautological bundles $\gamma_n$. In this case both $v_1$ and $w_1$ lie in $H^1(BO(n);{\mathbb Z}_2)$. This group is just ${\mathbb Z}_2$, as shown in the book of Milnor and Stasheff for example, or just from the fact that $\pi_1BO(n)=\pi_0O(n)={\mathbb Z}_2$. So if $v_1(\gamma_n)$ is nonzero it must equal the nonzero class $w_1(\gamma_n)$.

This argument does not work for $w_2$ since $H^2(BO(n);{\mathbb Z}_2)= {\mathbb Z}_2 \times {\mathbb Z}_2 $ with basis $w_2$ and $w_1^2$, assuming $n>1$. Thus to characterize $w_2$ one needs to know more than just that $w_2(\gamma_n)$ is nonzero since $w_1^2$ also has this property, as does $w_1^2+w_2$. On the other hand, if one considers only oriented vector bundles then $H^2(BSO(n);{\mathbb Z}_2)={\mathbb Z}_2$ when $n>2$ so in this situation $w_2$ is characterized by naturality and being nonzero for the tautological bundle over $BSO(n)$.

$\endgroup$
3
  • $\begingroup$ Thank you very much for an answer. So as I understood you correctly, for a natural class $v_2$ which assigns to a bundle $E \to X$ a class in $H^2(X,\mathbb{Z}_2)$ and which is nonzero on tautological oriented bundles $\tilde{\gamma}_n$ over $BSO(n)$ we get that $v_2(E)=w_2(E)$ for any oriented bundle but this does not imply eqality on all bundles? I wonder also how the situation looks like for higher $k$, for example is it possible to give a similar characterisation for $w_3$? $\endgroup$
    – truebaran
    Jul 15, 2017 at 15:31
  • $\begingroup$ @truebaran: The natural map $H^2(BO(n);{\mathbb Z}_2)\to H^2(BSO(n);{\mathbb Z}_2)$ is the projection ${\mathbb Z}_2\times {\mathbb Z}_2\to {\mathbb Z}_2$ sending $w_1^2$ to $0$ and nonzero on $w_2$. Thus both $w_2$ and $w_1^2 +w_2$ map nontrivially, so it is not true that a natural class in $H^2$ that is nonzero on the tautological oriented bundle must equal $w_2$ since $w_1^2 +w_2$ also has this property. $\endgroup$ Jul 17, 2017 at 11:04
  • $\begingroup$ @truebaran: For your question about $w_3$, it is a fact that if both $w_1$ and $w_2$ are zero for a bundle, then $w_3$ is also zero. More generally the first nonzero $w_i$ always occurs for $i$ a power of 2. This follows from a formula for the action of Steenrod squares on Stiefel-Whitney classes given in the exercises at the end of Section 8 of Milnor-Stasheff. (Incidentally, there seems to be a typo in their formula: $k-m$ should be $m-k$.) $\endgroup$ Jul 17, 2017 at 11:23
4
$\begingroup$

This follows from two standard facts:

  1. The map $$f:\underbrace{BO(1)\times\cdots\times BO(1)}_{n}\to BO(n)$$ which classifies $\gamma_1\times \cdots\times \gamma_1$ induces an injection on mod 2 cohomology $$\mathbb{Z}/2[w_1,w_2,\ldots , w_n] \subseteq \mathbb{Z}/2[x_1,x_2,\ldots , x_n].$$ The generators on the left are the universal SW classes, and on the right are the polynomial generators of $H^*(BO(1))=H^*(\mathbb{R}P^\infty)=\mathbb{Z}/2[x]$ in each factor, each of which has degree one. The image is the subring of symmetric polynomials.
  2. The splitting principle states that for any vector bundle $E\to X$ there exists a map $f:Y\to X$ which is injective on cohomology and such that $f^*(E)\cong L_1\oplus\cdots\oplus L_n$, a direct sum of line bundles over $Y$.

For example, the splitting principle allows to reduce 2' to the case when $E$ and $F$ are line bundles, where it follows from the fact that $f$ classifies line bundles and sends $w_1$ to $x_1 +\cdots + x_n$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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