Welcome to MathOverflow

Question

2

1

I am looking for an "easy" proof of the following statement: Suppose that $X$ is a simply connected space for which $\pi_2(X)=0$. Then $H_2(X)=0$ as well.

I know that one can use the Hurewicz theorem to prove this, but I feel like there must be a simpler proof.

flag	asked Feb 1 2011 at 23:53 Isaac Goldbring 93●3

4

You would first want to show that any element $\alpha$ of $H_2(X;\mathbb{Z})$ can be realized by some map of a closed, oriented surface into $X$. If you're using simplicial homology then $\alpha$ is a bunch of triangles which glue together in $X$ and has no boundary. You need to resolve this object at the vertices where it may not be like a surface. Now use the classification of surfaces and kill off the generators ($\pi_1(X)=0$) of the fundamental group of this surface. Homologically, this means that $\alpha$ is the sum of spheres mapping into $X$ and then use $\pi_2(X)=0$. – Somnath Basu Feb 1 2011 at 23:59

It is not true that there is a simpler proof, because the question basically is the Hurewicz theorem. That is, the full version of the Hurewicz theorem looks stronger, but this special case already requires basically all of the ideas. – Greg Kuperberg Feb 2 2011 at 21:03

Charles Rezk · Accepted Answer · 2011-02-02 00:12:19Z UTC

Claim 1: If $x\in H_2X$ is a homology class, then there exists a 2-dimensional CW complex $K$ and a map $f:K\to X$, such that $x$ is in the image of $f_*:H_2K\to H_2X$.

Claim 2: If $X$ is simply connected with $\pi_2X=0$, then every map $K\to X$ from a 2-dimensional CW complex is null homotopic.

Claim 1 can be proved by taking $K$ to be a finite union of triangles attached together along suitable edges, built by considering an explicit cocycle representing $x$. Claim 2 is easy.

Of course, this is just the $n=3$ case of the standard proof of "easy Hurewicz" (that $\pi_kX=0$ for $k< n$ implies $H_kX=0$ for $k<n$ ; non-easy Hurewicz is the statement relating the non-trivial groups in dimension $n$, but you don't want that part.)

Jeff Strom · Answer 2 · 2011-02-02 00:01:25Z UTC

1

You can build a weak homotopy equivalence $K \to X$ from a CW complex with $2$-skeleton $K_2 = *$. Then cellular homology gives the result, provided your homology respects weak equivalence.

answered Feb 2 2011 at 0:01

Jeff Strom
3,514●1●6●19

vanishing of $\pi_2$ and $H_2$

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.