7
$\begingroup$

I am looking for an example of an oriented rank 5 (or lower) real vector bundle $V$ over an oriented manifold such that the cup product $w_2(V) w_3(V)$ of Stiefel-Whitney classes does not vanish. It would be best if the manifold had dimension 7 or lower.

$\endgroup$

2 Answers 2

11
$\begingroup$

As far as I know the Wu manifold $X=SU(3)/SO(3)$ is orientable and has mod 2 cohomology ring $H^*(X;\mathbb{Z}_2)=\Lambda(\omega_2(X),\omega_3(X))$. Thus $\omega_2(X)\cdot\omega_3(X)\neq 0$, and in fact generates $H^5(X;\mathbb{Z}_2)$.

$\endgroup$
3
  • $\begingroup$ Great thanks! Do you have a handy reference where this is proven? $\endgroup$ Commented Sep 11, 2016 at 17:17
  • 4
    $\begingroup$ For a closed oriented $5$-manifold $M$, the Stiefel-Whitney number $\langle w_2 w_3, [M] \rangle$ can be easily deduced from the isomorphism type of the torsion subgroup of $H_2(M;\mathbb{Z})$. See the second page of the paper [G. Lusztig, J. Milnor & F. Peterson, Semi-characteristics and cobordism. Topology 8 (1969) 357--359], where the example of Wu's manifold is mentioned. $\endgroup$ Commented Sep 11, 2016 at 19:50
  • $\begingroup$ Thanks, this helped. I also found the answer to this MO question useful: mathoverflow.net/questions/164714/… $\endgroup$ Commented Sep 13, 2016 at 11:28
2
$\begingroup$

I think you can take the manifold to be $M = \mathbb{RP}^5$ and the vector bundle $V$ to be the direct sum of $3$ copies of the tautological line bundle $\gamma$ on $M$. Let $x = w_1(\gamma)\in H^1(M,\mathbb{Z}/2\mathbb{Z})$. Then by the Whitney product formula you get $w_2(V) = x^2$ and $w_3(V) = x^3$, so $w_2(V)w_3(V) = x^5$. But this is non-zero in the mod 2 cohomology of $\mathbb{RP}^5$, which is, as an algebra, isomorphic to $\mathbb{Z}/2\mathbb{Z}[x]/(x^6)$.

$\endgroup$
3
  • 1
    $\begingroup$ Here the vector bundle is not orientable. $\endgroup$
    – Mark Grant
    Commented Sep 11, 2016 at 15:50
  • $\begingroup$ Thanks! But I was asking for an orientable bundle, indeed. $\endgroup$ Commented Sep 11, 2016 at 17:18
  • $\begingroup$ Ah, missed that part. $\endgroup$
    – K.K.
    Commented Sep 11, 2016 at 18:20

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .