Intereting Posts

Showing $\mathbb{Z}+\mathbb{Z}\left$ is a Euclidean domain
If $ \mathrm{Tr}(M^k) = \mathrm{Tr}(N^k)$ for all $1\leq k \leq n$ then how do we show the $M$ and $N$ have the same eigenvalues?
Do we have $(g \wedge g)^g = 0$?
Book suggestions: Introduction to Measure Theory for non-mathematicians
For what values does this method converge on the Lambert W function?
Fitting an exponential function to data
Proving that sum of two measurable functions is measurable.
Have arrows in a category with this property a special name?
Continuity of absolute value of a function
Proving normality of affine schemes
Is every Lindelöf quasi-metrizable space separable?
On the equality of derivatives of two functions.
Multiplication by $m$ isogenies of elliptic curves in characteristic $p$
Show that $A\cap B\subseteq A$ and $A\subseteq A\cup B$
Sufficient conditions for embedding a set of $n$ points with a given metric in $\mathbb{R}^n$.

This is exercise 12.4 in *Characteristic Classes* by Milnor and Stasheff.

The essential content of the exercise is to show that $w_2(TM)=0$, where $M$ is a closed, oriented 3-manifold, $TM$ its tangent bundle, and $w_2$ the second Stiefel-Whitney class. The hint is to use Wu’s formula (11.14), which in this instance says that

$$ w_2(TM)=v^2,$$

where $v\in H^1(M,\mathbb{Z}_2)$ is such that, for any $x\in H^2(M,\mathbb{Z}_2)$, $vx=Sq^1(x)$. Now I can show from this that $v^3=0$, but why does $v^2=0$? I don’t think I know enough about Steenrod squares to finish!

- Homology groups of unit square with parts removed
- First Cohomology Group
- Fixed point property of Cayley plane
- Wedge product $S^1 \vee S^2$
- Universal cover of $\mathbb R^2\setminus\{0\}$
- comparing Betti numbers

I should mention that I know there are other ways of showing $w_2(TM)=0$ (spin structures, etc.), but I am trying to follow the hint!

- Homology groups of a tetrahedron
- When is there a submersion from a sphere into a sphere?
- Cohomology easier to compute (algebraic examples)
- Turning higher spheres inside out
- How to show the covering space of an orientable manifold is orientable
- Are all paths with the same endpoints homotopic in a simply connected region?
- Another way to compute $\pi_4(S_3)$: contradiction in spectral sequence calculation
- What is the surface by identifying antipodal points of a 2-torus embedded in $\mathbb{R}^3$?
- Mathematical background for TQFT
- fundamental group of $GL^{+}_n(\mathbb{R})$

$\newcommand{\Sq}{\operatorname{Sq}}$ For this exercise, it is useful to recall the following property of the Steenrod squares

$$\Sq^k: H^n(M; \Bbb Z/2) \longrightarrow H^{n+k}(M; \Bbb Z/2):$$

$(\ast)$ If $a \in H^n(M)$, then $\Sq^0(a) = a$, $\Sq^n(a) = a \smile a$, and $\Sq^k(a) = 0$ for all $k > n$.

The axiomatic description of the Steenrod squares, which includes the above property as an axiom, is given by Milnor and Stasheff in Chapter 8, where they use the Steenrod squares to construct Stiefel-Whitney classes.

We can use $(\ast)$ to compute all the Stiefel-Whitney classes of a compact, oriented $3$-manifold $M$. In what follows, we write $v_k$ for the degree $k$ part of the total Wu class

$$v = 1 + v_1 + v_2 + v_3.$$

Since $M$ is oriented, we know that $w_1 = 0$. By Wu’s formula,

$$w_1 = \Sq^1(1) + \Sq^0(v_1) = v_1,$$

where we used $(\ast)$ twice. Hence $v_1 = 0$ in this case.

Now let us show that $w_3$ is zero. First, by the definition of the Wu class,

$$v_2 \smile x = \Sq^2(x)$$

for all $x \in H^1(M; \Bbb Z/2)$. But since $1 < 2$, we have that

$$v_2 \smile x = 0$$

for all $x \in H^1(M; \Bbb Z/2)$, and hence

$$v_2 = 0.$$

Similarly,

$$v_3 = 0.$$

Now by Wu’s formula,

$$w_3 = \Sq^3(1) + \Sq^2(v_1) + \Sq^1(v_2) + \Sq^0(v_3) = 0$$

by using $(\ast)$ on the first two terms and the fact that $v_2 = v_3 = 0$ on the last two terms.

Finally, by Wu’s formula,

$$w_2 = \Sq^2(1) + \Sq^1(v_1) + \Sq^0(v_2) = 0$$

by using $(\ast)$ on the first term and the fact that $v_1 = v_2 = 0$ on the last two terms.

We conclude that $w_1 = w_2 = w_3 = 0$.

- Defining/constructing an ellipse
- When can we separate an open set from its complement by a continuous function?
- When are two semidirect products isomorphic?
- Prove that $\Bbb R^2 – \{0\}$ is homeomorphic to $S^1 \times \Bbb R$.
- Can an uncountable family of positive-measure sets be such that no point belongs to uncountably many of them?
- Identity for a product of choose functions
- A question on primes and equal products
- What exactly is a probability measure in simple words?
- $x^{2000} + \frac{1}{x^{2000}}$ in terms of $x + \frac 1x$.
- contractible and simply connected
- Prove $30|(a^3b-ab^3) $
- Explanations of Lebesgue number lemma
- how to solve these questions with congruences
- Continuity of Integration
- Compute $\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$