The classical Laudenbach-Poénaru theorem states that any diffeomorphism of $\#_n S^1 \times S^2$ extends over the boundary connect sum of $n$ $S^1 \times B^3$'s. This implies the familiar fact that in Kirby diagrams for closed 4 manifolds, you do not need to specify the attaching spheres for 3 handles; it is also the backbone result of trisection theory, which allows one to describe a closed 4 manifold by three cut systems of curves on a surface.
- You are here:
- Home