index of morse functions and homotopical dimension - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T07:30:00Z http://mathoverflow.net/feeds/question/41183 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/41183/index-of-morse-functions-and-homotopical-dimension index of morse functions and homotopical dimension Victor 2010-10-05T17:34:46Z 2010-10-06T10:15:29Z <p>Is it true that any manifold homotopy equivalent to a k-dimensional CW-complex admits a proper Morse function with critical points all of index &lt;= k? I believe this is not true, so I would like to see a counterexample.</p> http://mathoverflow.net/questions/41183/index-of-morse-functions-and-homotopical-dimension/41184#41184 Answer by Ryan Budney for index of morse functions and homotopical dimension Ryan Budney 2010-10-05T17:37:18Z 2010-10-05T18:15:42Z <p>Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold. </p> <p>If such a Morse function existed on the Whitehead manifold, it would be a Morse function with only one critical point, the minimum, and therefore the Whitehead manifold would be an open 3-ball. The proof of this has two steps: (1) $f$ can have at most one critical point, WLOG a minimum by homotopy-type considerations, and it can't have less than one critical point by the "edit" below. Step (2) if it has one critical point let it be $f(p)=0$, the minimum. By the Morse Lemma, $f^{-1}[0,\epsilon]$ is diffeomorphic to a closed 3-ball. The flow the the gradient of $f$ gives a diffeomorphism between $f^{-1}[\epsilon,\infty)$ and $S^2 \times [\epsilon, \infty)$. Pasting these two diffeomorphisms together gives you a diffeomorphism between the manifold and $\mathbb R^3$. </p> <p>edit: Well, I guess there's the special case to consider that the Morse function could have no critical points but then you could deal with this by the argument that the Whitehead manifold isn't a product of a surface and $\mathbb R$, which by the classification of surfaces amounts to saying that the Whitehead manifold isn't homeo/diffeomorphic to $\mathbb R^3$. </p> <p>Welcome to MO, Victor!</p> http://mathoverflow.net/questions/41183/index-of-morse-functions-and-homotopical-dimension/41232#41232 Answer by Tom Goodwillie for index of morse functions and homotopical dimension Tom Goodwillie 2010-10-06T03:59:13Z 2010-10-06T10:15:29Z <p>Suppose that $M$ has a proper Morse function $f\ge 0$ with all critical points of index at most $k$. Then homotopically $M$ can be made of low-dimensional cells: it has homotopical dimension at most $k$. But also $M$, relative to its boundary $M^{\ge c}$, can be made by attaching <i>high</i>-dimensional cells. Thus the pair $(M,M^{\ge c})$ is $(dim(M)-k-1)$-connected. So for example if $k\le dim(M)-3$ and $M$ is simply connected then $M$ must also be "simply connected at infinity".</p>