Welcome to MathOverflow

Question

4

1

A minimal complex is a CW complex whose only cells are the homology cells.

Is there some sort of criterion on CW complexes about existence of minimal complexes?

Actually I am working on a problem of understanding homotopy type of certain spaces (see: http://mathoverflow.net/questions/43711/how-to-show-that-a-space-has-the-homotopy-type-of-wedge-of-spheres)

My hope was to use discrete Morse theory (acyclic matching of face poset to be precise) and find the minimal complex. But then I don't know if the existence of the minimal complex is always guaranteed.

edited Oct 27 2010 at 14:27

Mariano Suárez-Alvarez
30.7k●8●69●155

asked Oct 27 2010 at 14:13

Priyavrat Deshpande
223●7

1

Have you read the Whitehead theorems on minimal CW-complexes? They're in many textbooks, for example, G.W. Whitehead's text, or section 4.C of Hatcher's notes. See the references in Hatcher's notes for more details. – Ryan Budney Oct 27 2010 at 14:20

Jim Conant · Accepted Answer · 2010-10-27 14:25:35Z UTC

3

This is not exactly what you asked, but it's certainly not the case that every CW complex has a discrete vector field where the Morse complex has trivial differential. In particular this would imply that chain complex is simple-homotopy equivalent to a chain complex with no differential. However, simple-homotopy equivalence is well-known not to generate homotopy equivalence. In particular, the Whitehead torsion is an obstruction which lives in the Whitehead group of the fundamental group. Marshall Cohen's book on Whitehead torsion is the canonical place to learn about this.

answered Oct 27 2010 at 14:25

Jim Conant
2,935●1●6●27

1

Cohen's book is getting increasingly difficult to find. – Ryan Budney Oct 27 2010 at 15:00

Yes, that's a shame. Do you know of a good reference for simple-homotopy theory that's easier to find? – Jim Conant Oct 27 2010 at 16:29

Rourke and Sanderson's "Introduction to Piecewise-Linear Topology" is also out of print, and is near impossible to find. Milnor's "Whitehead Torsion" article is available on-line, is quite terse and contains much essential information. I imagine between a books like Milnor's h-cobordism notes, Kosinski's book and Milnor's Whitehead torsion notes you could put together a reasonable course on the s-cobordism theorem. – Ryan Budney Oct 27 2010 at 17:17

1

One can find a pdf-file with Cohen's book on the web as well as Rourke and Sanderson's "Introduction to Piecewise-Linear Topology". – Petya Oct 27 2010 at 18:10

Camilo Sarmiento · Answer 2 · 2013-04-12 13:02:10Z UTC

0

In this recent paper, Kozlov gives a sufficient condition for an acyclic matching on a CW complex to be a wedge of spheres (it is, unfortunately, not sufficient)

answered Apr 12 at 13:02

Camilo Sarmiento
391●2●10

Discrete Morse theory and existence of minimal complex

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.