2013-02-04 20:31:18 8 Comments

Let $M$ be a topological $n$-manifold, closed and connected (not necessarily oriented):

**When does $M$** *not* **admit (up to homotopy-type) a CW-structure with a single $n$-cell?**

By classification of surfaces we assume $n>2$. By existence of smooth structures we assume $n>3$. In particular, if $M$ is smoothable then Morse theory provides us the desired structure.

[[Edit]]: To put this question into context, we have various ways of showing that $H_{n-1}(M)$ has either $0$ or $\mathbb{Z}_2$ as its torsion subgroup depending on orientability. One way, when $M$ is such a CW-complex, is to quickly look at the chain-complex differential $d:C_n(M)\cong\mathbb{Z}\to C_{n-1}(M)$ and note that $H_n(M)\cong\mathbb{Z}$ for $M$ orientable and $H_n(M;\mathbb{Z}_2)\cong\mathbb{Z}_2$ otherwise. So I would like to see how large of a class of manifolds this argument holds for.

[[Addendum]]: After chatting with Allen Hatcher and Rob Kirby, who reaffirm the comments below, here are their resulting thoughts:

**1)** We should be careful with the Kirby theorem of $M$ being homotopy-equivalent to a finite complex, because this complex is obtained by first embedding $M$ into $\mathbb{R}^N$ and then wiggling the boundary of a tubular neighborhood ($M\times D^{N-n}$) of $M$ to be PL, and so the resulting complex could have $i$-cells with $i>n$.

**2)** When $\dim M\ne 4$ there is a handlebody-decomposition, and this can be arranged to have a single 0-handle (canceling the other 0-handles with available 1-handles -- we can do this because there are no smoothing obstructions in a neighborhood of the 3-skeleton). Taking the dual handlebody, we have a decomposition with a single n-handle. Passing from the handlebody-decomposition to the CW-decomposition (shrinking everything to their cores), we obtain the desired CW-complex with a single n-cell.

**3)** When $\dim M=4$ then a handlebody-decomposition exists if and only if $M$ is smoothable. So when $M$ is smoothable we can apply the argument in (2).

**4)** But even when $M$ is not smooth we get some positive results, in particular for the $E_8$ manifold. We build $E_8$ using Kirby calculus on an 8-link diagram, giving a decomposition of $E_8$ into a 0-handle plus eight 2-handles plus a contractible piece (without the contractible piece we get a space with boundary being a homology 3-sphere, namely the Poincare-sphere $S^3/G$ with $G=$ binary icosahedral group). In particular, flipping this structure over we see that $E_8$ is homotopy-equivalent to a CW-complex with a single 4-cell. *Furthermore, Lennart Meier's remark gets us all other simply-connected 4-manifolds.*

**We are thus left with the scenario that $M$ (up to homotopy) is a closed connected non-simply-connected non-smoothable 4-manifold.** (which the comments below assert)

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Framings for 2-surgeries on 4-manifolds

**2018-10-31 00:24:53****mathquest****171**View**6**Score**1**Answer- Tags: gt.geometric-topology 4-manifolds kirby-calculus

#### 1 Answered Questions

### [SOLVED] Handlebody decomposition of 4-spheres without 3-handles

**2018-09-14 19:01:28****Chris Gerig****285**View**13**Score**1**Answer- Tags: dg.differential-geometry gt.geometric-topology smooth-manifolds

#### 2 Answered Questions

### [SOLVED] Are there Kirby diagrams with 3-handles?

**2017-12-11 14:53:15****Manuel Bärenz****366**View**4**Score**2**Answer- Tags: gt.geometric-topology differential-topology 4-manifolds handle-decomposition kirby-calculus

#### 2 Answered Questions

### [SOLVED] Handle decompositions using only 1-handles

**2017-08-23 12:44:23****André Henriques****326**View**7**Score**2**Answer- Tags: gt.geometric-topology surfaces handle-decomposition

#### 2 Answered Questions

### [SOLVED] CW 4 manifolds with single 4 cell

**2016-04-27 19:05:02****Larry So****300**View**4**Score**2**Answer- Tags: at.algebraic-topology 4-manifolds cw-complexes

#### 1 Answered Questions

### When is a compact topological 4-manifold a CW complex?

**2011-08-22 18:32:18****Andrew Ranicki****1713**View**24**Score**1**Answer- Tags: at.algebraic-topology open-problems 4-manifolds cw-complexes topological-manifolds

#### 0 Answered Questions

### Is complex surface in CP(3) a two handlebody?

**2014-12-01 03:48:32****Kevin Ye****174**View**3**Score**0**Answer- Tags: at.algebraic-topology intersection-theory 4-manifolds handle-decomposition

#### 1 Answered Questions

### [SOLVED] Handlebody decomposition of an open 4-manifold

**2012-04-25 12:29:09****Daniele Zuddas****661**View**12**Score**1**Answer- Tags: gt.geometric-topology differential-topology 4-manifolds

#### 0 Answered Questions

### What is the three-dimensional hyperbolic volume of a four-manifold?

**2011-07-08 19:14:14****Bruno Martelli****1308**View**35**Score**0**Answer- Tags: gt.geometric-topology 4-manifolds 3-manifolds knot-theory

#### 0 Answered Questions

### Smooth thickenings of non-smoothable manifolds

**2012-05-21 19:43:39****Igor Belegradek****559**View**22**Score**0**Answer- Tags: gt.geometric-topology

## 1 comments

## @Michael Albanese 2017-09-26 03:51:59

Let $M$ be a closed topological four-manifold and $D$ an embedded closed four-disc, then $M\setminus D^{\circ}$ is a four-manifold with boundary $\partial D = S^3$. As I learnt from this answer, the boundary has a collar neighbourhood and hence $M\setminus D^{\circ}$ is homotopy equivalent to its interior, namely $M\setminus D$. As $M\setminus D$ is an open four-manifold, it is smoothable (a fact I learnt from this answer). A smooth open $n$-manifold is homotopy equivalent to an $(n-1)$-dimensional CW complex (see this answer), so $M\setminus D$ is homotopy equivalent to a three-dimensional CW complex $X$.

As $M$ is homeomorphic to $M\setminus D^{\circ}$ with a $4$-disc attached, and $M\setminus D^{\circ}$ is homotopy equivalent to $X$, $M$ is homotopy equivalent to $X$ with a $4$-disc attached, i.e. a CW complex with one top-cell.

## @მამუკა ჯიბლაძე 2017-09-26 04:50:40

Where do you use $n=4$?

## @Michael Albanese 2017-09-26 12:29:48

An open four-manifold is smoothable. I don't know if this is true in higher dimensions (I suspect it isn't).

## @Chris Gerig 2017-09-28 00:26:38

My hesitation is in the last sentence: How is the original 4-disc now attached to X? Does the attaching map "follow" the homotopy somehow, and does that give an honest CW decomposition? (I'll think more later)

## @Michael Albanese 2017-09-28 00:29:36

@ChrisGerig: I understand your hesitation and it's not completely clear to me that it works. If $\varphi : S^3 \to M\setminus D^{\circ}$ is the original attaching map and $h : M\setminus D^{\circ} \to X$ is the homotopy equivalence, then the new attaching map should be $h\circ\varphi$.