10
$\begingroup$

Smooth (closed, connected, orientable) 3-dimensional manifolds are very special, in that for any 3-manifold $M$ there are two handlebodies, $V$ and $W$, of genus $g$ and an orientation reversing homeomorphism $f$ of their boundaries so that $M=V\ \cup_f W$. Such a decomposition is called a Heegaard splitting.

I want to know: Does this kind of symmetric handlebody decomposition extend into higher dimensions? More specifically, given an $n=2k+1$ manifold $M$, can we construct a $V$ and $W$ by attaching handles $D^i \times \small{D^{n-i}}\ (i\leq k)$ to an $n$-disk, and find an orientation reversing homeomorphism $f:\partial V\rightarrow\partial W$ so that $M=V\ \cup_f W$? Since $f$ is only continuous here, it might not provide a unique smooth structure for $M$; could we remedy this by requiring $f$ to be a diffeomorphism instead? After all, any exotic sphere $\Sigma\in\Theta_n$ can be constructed by gluing two copies of $D^n$ together with an orientation reversing diffeomorphism of the boundary (except possibly $n=4$?).

$\endgroup$
2
  • 4
    $\begingroup$ High-dimensional manifolds have handle decompositions, this is one of the standard generalizations of handlebody decompositions. Have you looked at Milnor's h-cobordism notes, or Kosinski's textbook? The manifolds $V$ and $W$ are usually described as the unions of the handles of dimension less than half that of $M$, and the corresponding dual handles respectively. $\endgroup$ Nov 16, 2011 at 6:37
  • 1
    $\begingroup$ That said, what would you want to do for a manifold like $\mathbb CP^2$? What I describe really only works for odd-dimensional manifolds. $\endgroup$ Nov 16, 2011 at 6:41

2 Answers 2

11
$\begingroup$

Every odd-dimensional manifold has an open book decomposition (T. Lawson, Topology 17, 189-192 (1978)) and is thus a twisted double. In the even dimensions there is an asymmetric Witt group obstruction to the existence of an open book decomposition (F. Quinn, Topology 18, 55-73 (1979)), which is also the obstruction to being a twisted double. In the simply-connected 4k-dimensional case this is the original Winkelnkemper signature obstruction. There is an account of open books and twisted doubles in Chapters 29,30 of my book "High-dimensional knot theory" (Springer Monograph, 1998)

$\endgroup$
1
  • $\begingroup$ This idea of a "twisted double" is exactly what I was thinking of. I didn't want to get my hopes up by asking if you could split $M$ using two copies of the SAME manifold $W$, but I guess in the odd-dimensional case you always can. :) I think the appropriate course of action now would be to check out some of your books! $\endgroup$
    – William
    Nov 18, 2011 at 0:11
3
$\begingroup$

Any closed connected n-manifold admits a Morse function f with one critical point of index zero and one critical point of index n (see e.g. Matsumoto's "Introduction to Morse Theory", Theorem 3.35). If n is odd, you can slide all handles of index $< \frac{n}{2}$ to below $f^{-1}(\frac{1}{2})$ and all handles of index $> \frac{n}{2}$ to above $f^{-1}(\frac{1}{2})$, and "split along" the connected $n-1$-manifold $f^{-1}(\frac{1}{2})$.
Parenthetically, $4$--manifolds do have their own concepts of Heegaard diagrams. Namely, the union N of the 0 handle with all the 1-handles, together with frames closed curves on the boundary $\partial N$ along which we are to attach 2-handles. See e.g. Section 5.3 in Matsumoto's book for details.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.