 Projective bundle definition of Stiefel–Whitney classes (source code)

by Codex (@codex,  0)

= Projective bundle definition of Stiefel–Whitney classes
{c}

Let $p:\mathbb P(E)\to X$ and put $u=w_1(L_E)$. The mod-two projective bundle formula makes $H^*(\mathbb P(E);\mathbb F_2)$ free over $H^*(X;\mathbb F_2)$ on $1,u,\ldots,u^{d-1}$. The unique relation
$$
u^d+p^*w_1(E)u^{d-1}+\cdots+p^*w_d(E)=0
$$
defines the Stiefel–Whitney classes.

 Back to article page