Math-1480 · mathematics · Topology

Math-1480

Kirby Problem 4.119

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

A topological $4$-manifold is a Hausdorff second-countable space locally homeomorphic to $\mathbb R^4$ or, at boundary points, to a closed half-space. A CW complex is built inductively from points by attaching disks along continuous maps of their boundary spheres to the preceding skeleton. It has the closure-finite weak topology: each cell closure meets finitely many cells, and closedness is tested on cell closures.

Is every topological $4$-manifold homeomorphic to a CW complex? Explicitly, for each such manifold $M$, the question asks for some CW complex $K$ and a continuous bijection $|K|\to M$ with continuous inverse. The source's genuinely difficult case includes closed manifolds without a smooth structure; no smoothability hypothesis is part of the question.

The requested map is a homeomorphism, not just a homotopy equivalence or a simple homotopy equivalence. Thus constructing a CW model with the same algebraic topology would not suffice. The cells need not form a regular CW structure: an attaching map need not be an embedding, and a cell closure need not itself be an embedded disk.

Likewise, a CW complex need not be a simplicial complex. The question is therefore distinct from triangulability, which would require a homeomorphism to the realization of a simplicial complex. No preferred cell decomposition of the given manifold is supplied; the task is to find some CW structure realizing its actual topology.

Short English statement

Is every topological four-manifold homeomorphic to a CW complex, rather than merely homotopy equivalent to one?

Sources

Catalogue entry

Statement licence: CC-BY-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.