Skip to main content
added 1924 characters in body; added 8 characters in body; added 2 characters in body; deleted 4 characters in body
Source Link
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

MR0809959 (87f:57016) Rourke, Colin . A new proof that $\Omega_3$ is zero. J. London Math. Soc. (2) 31 (1985), no. 2, 373--376.

Edit: To summarize: Rourke's proof is short and elementary. Other proofs which I know involve either significant algebraic topology which is much harder than the theorem (Thom, or Rohlin), or lengthy calculations (Lickorish).
Any orientable 3-manifold has a Heegaard diagram $S(\mathbf{x},\mathbf{y})$, where $S$ is an orientable surface with two complete systems of curves $\mathbf{x}$ and $\mathbf{y}$ (a system of curves is complete if each curve it contains is simple and closed, its curves are pairwise disjoint, and their union does not separate $S$). A closed orientable 3-manifold $M(\mathbf{x},\mathbf{y})$ is obtained from $S(\mathbf{x},\mathbf{y})$ by attaching thickened 2-discs along $\mathbf{x}$ on $S\times {\{0\}}$ and along $\mathbf{y}$ on $S\times {\{1\}}$, and then filling in the resulting $S^2$ boundaries with 3-balls. The existence of a Heegaard diagram for any 3-manifold is a reformulation of the elementary fact that it has a handle decomposition.
Rourke's proof is by induction on the genus $g$ of $S$ and on the minimum intersection number $r$ of a curve in $\mathbf{x}$ with a curve in $\mathbf{y}$. Namely, he gives a straightforward combinatorial argument for why, if $r>1$, then there exists a third complete system of curves $\mathbf{z}$ on $S$ whose minimum pairwise linking with both $\mathbf{x}$ and $\mathbf{y}$ is less than $r$. Surgery of $M(\mathbf{x},\mathbf{y})$ around $\mathbf{z}$ gives the connect sum of $M(\mathbf{x},\mathbf{z})$ and $M(\mathbf{z},\mathbf{y})$. Finally, if $r\leq 2$, then you can chop one off the genus of $S$ pretty easily. And that's all there is to it, by induction.
Rourke's proof makes the fact that any closed orientable 3-manifold bounds a 4-manifold look like a stupidly easy combinatorics exercise. It's certainly my favourite proof of this theorem, although other ways of looking at the problem are not without their charm.

MR0809959 (87f:57016) Rourke, Colin . A new proof that $\Omega_3$ is zero. J. London Math. Soc. (2) 31 (1985), no. 2, 373--376.

MR0809959 (87f:57016) Rourke, Colin . A new proof that $\Omega_3$ is zero. J. London Math. Soc. (2) 31 (1985), no. 2, 373--376.

Edit: To summarize: Rourke's proof is short and elementary. Other proofs which I know involve either significant algebraic topology which is much harder than the theorem (Thom, or Rohlin), or lengthy calculations (Lickorish).
Any orientable 3-manifold has a Heegaard diagram $S(\mathbf{x},\mathbf{y})$, where $S$ is an orientable surface with two complete systems of curves $\mathbf{x}$ and $\mathbf{y}$ (a system of curves is complete if each curve it contains is simple and closed, its curves are pairwise disjoint, and their union does not separate $S$). A closed orientable 3-manifold $M(\mathbf{x},\mathbf{y})$ is obtained from $S(\mathbf{x},\mathbf{y})$ by attaching thickened 2-discs along $\mathbf{x}$ on $S\times {\{0\}}$ and along $\mathbf{y}$ on $S\times {\{1\}}$, and then filling in the resulting $S^2$ boundaries with 3-balls. The existence of a Heegaard diagram for any 3-manifold is a reformulation of the elementary fact that it has a handle decomposition.
Rourke's proof is by induction on the genus $g$ of $S$ and on the minimum intersection number $r$ of a curve in $\mathbf{x}$ with a curve in $\mathbf{y}$. Namely, he gives a straightforward combinatorial argument for why, if $r>1$, then there exists a third complete system of curves $\mathbf{z}$ on $S$ whose minimum pairwise linking with both $\mathbf{x}$ and $\mathbf{y}$ is less than $r$. Surgery of $M(\mathbf{x},\mathbf{y})$ around $\mathbf{z}$ gives the connect sum of $M(\mathbf{x},\mathbf{z})$ and $M(\mathbf{z},\mathbf{y})$. Finally, if $r\leq 2$, then you can chop one off the genus of $S$ pretty easily. And that's all there is to it, by induction.
Rourke's proof makes the fact that any closed orientable 3-manifold bounds a 4-manifold look like a stupidly easy combinatorics exercise. It's certainly my favourite proof of this theorem, although other ways of looking at the problem are not without their charm.

Source Link
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

MR0809959 (87f:57016) Rourke, Colin . A new proof that $\Omega_3$ is zero. J. London Math. Soc. (2) 31 (1985), no. 2, 373--376.