4
$\begingroup$

Let $M$ be a connected compact closed 4 manifold. Then $H_4(M)=\mathbb{Z}$. If we assume it is smooth, from Morse theory we know that $M$ has a CW structure. But can we find a CW structure of $M$ with only one 4-cell?

Moreover, assume we drop the smoothable condition of $M$. I would like to know under what circumstances $M$ is homotopy equivalent to a CW complex with only one 4-cell? Thank you.

$\endgroup$
4
  • 4
    $\begingroup$ Yes, you can find a decomposition with a single $4$-cell, a single $0$-cell and other cells in dimensions 1,2,3. $\endgroup$
    – Jim Conant
    Commented Apr 27, 2016 at 19:31
  • 2
    $\begingroup$ This was already asked (by myself) in more generality: mathoverflow.net/questions/120799/… . In particular, it answers both your questions! $\endgroup$ Commented Apr 27, 2016 at 22:49
  • $\begingroup$ @ChrisGerig I read your link and mathoverflow.net/questions/42234/rugged-manifold. But I cant find the paper online, so Im not sure whether it suits in my case. $\endgroup$
    – Larry So
    Commented Apr 28, 2016 at 14:36
  • $\begingroup$ The paper does not quite suffice when $M$ is a non-smoothable 4-manifold. From my link, it is known if $M$ is furthermore simply-connected. $\endgroup$ Commented Apr 28, 2016 at 17:32

2 Answers 2

8
$\begingroup$

For the smooth case:

Via Morse theory the claim is equivalent to having a Morse function with only one maximum, or only one minimum, or to have a handle decomposition with only one 0-handle.

Assume you have several 0-handles. By connectedness they have to be connected via 1-handles. Smale's handle cancellation says that a k-handle can be canceled against a k+1-handle if the belt sphere of the former intersects the attaching sphere of the latter in one point only. This condition is trivially true for k=0. So you can cancel all but one 0-handle.

$\endgroup$
0
$\begingroup$

I think the topological case is handled by this:

Brown, Morton A mapping theorem for untriangulated manifolds. 1962 Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961) pp. 92–94

According to the review on MathSciNet, it shows that an $n$-manifold $M$ has the form $M = X \cup_\alpha D^m$ where $\dim(X) < n$. I don't know if $X$ can be taken to be a CW complex.

$\endgroup$
1
  • $\begingroup$ Unfortunately, it doesn't help (or isn't known) to get a CW-complex when $M$ is a non-smoothable 4-manifold. $\endgroup$ Commented Apr 28, 2016 at 17:34

You must log in to answer this question.

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