Skip to main content
more detailed notes. ; added 106 characters in body
Source Link
Ryan Budney
  • 44.4k
  • 2
  • 139
  • 245

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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$.

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$.

Welcome to MO, Victor!

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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.

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$.

Welcome to MO, Victor!

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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$.

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$.

Welcome to MO, Victor!

added 130 characters in body
Source Link
Ryan Budney
  • 44.4k
  • 2
  • 139
  • 245

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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.

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$.

Welcome to MO, Victor!

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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.

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$.

Welcome to MO, Victor!

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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.

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$.

Welcome to MO, Victor!

Source Link
Ryan Budney
  • 44.4k
  • 2
  • 139
  • 245

Take a contractible $3$-manifold which is not homeomorphic to $\mathbb R^3$ -- like the Whitehead manifold.

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.

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$.

Welcome to MO, Victor!