Heegaard splitting and mapping class group

579 Views Asked by At

I would like to ask questions about the definition of the Heegaard splitting. The following are the facts I know.

  1. A Heegaard splitting says that any 3-manifold is built up from two handlebodies and a homeomorphism between boundaries of the handlebodies.

  2. If $f$ and $g$ are isotopic such homeomorphisms, the 3-manifolds obtained are homeomorphic.

This is the fact what I know and want to prove it. But I don't know how to prove the second part.

  1. How do I show that two isotopic homeomorphisms of boundaries of handlebodies produce the homeomorphic 3-manifolds?

  2. Also, more generally, let $M$ and $M'$ be 3-manifolds with boundary. Suppose that $A\subset \partial M$ and $B \subset \partial M'$ are homeomorphic sub manifolds. Let $f:A \to B$ be a homeomorphism from $A$ to $B$. We glue $M$ and $M'$ via $f$. Does the homeomorphism class of the resulting manifold depend only on the isotopy class of the homeomorphism $f$?

  3. Does the answer of the previous questions depend on what 3-manifolds I want to consider? Like, smooth, topological, piece-wise linear etc.

Edit: I am not familiar with ''collar'' in the comment below. I appreciate if one can explain more detail. I also want to know if collar exists for any type of manifolds.

1

There are 1 best solutions below

4
On BEST ANSWER

The comments above and the references they contains are good answers in my opinion.

Let me just add a picture of how to build an explicit homeo, given two isotopic gluings. As Tim kinsella says, use collars and the cylinder given by the isotopy.

enter image description here

I hope this very bad picture can help.

The first row of the picture tells you how to build a manifold inserting between $M_1$ and $M_2$ a cylinder $\partial M_1\times [0,1]$. This is the cylinder of the isotopy of the two gluings $f_1$ and $f_2$. Say that you glue on the left via $f_1$ and on the right via $f_2$. Call this manifold $\hat M$

The two bottom part of the picture says that you can "insert" the cylinder of the isotopy in a collar of $\partial M_1$ as well as in a collar of $\partial M_2$.

So the second line is the result of gluing $M_1$ and $M_2$ via $f_2$ and the third is the result of gluing $M_1$ and $M_2$ via $f_1$.

Both are homeo to $\hat M$.