How to imagine/prove that all of the following pictures are 2-torus?

Solution 1:

The comments are misinformed: a monkey saddle is not a Morse singularity. You cannot find the Euler characteristic by counting critical points, since they are not all nondegenerate!

Instead you must use the following variation of the Morse Lemma.

Consider the sequence of groups $H_*(M_t)$, where $M_t = f^{-1}(-\infty, t]$. This sequence changes precisely for critical values $t$. So we just need to see what happens at the Monkey saddle (let's say that happens at time $t=1$). For $M_{.999}$, we have a manifold diffeomorphic to a disc, as it has exactly one nondegenerate critical point.

Now look at the picture in IV. What happens as we go from the bottom to the top? We've taken $M_{.999} \times [0,1]$ and added a "tripod" on the top --- a space that looks like a thickened letter $Y$ --- by attaching the three boundary arcs $(\text{3 points}) \times I$ to $M_{.999} \times \{1\}$. You can see by the Mayer-Vietoris sequence that the result has $H_*(M_{1.001}) = \Bbb Z$ in degree 0 and $\Bbb Z^2$ in degree 3. Another way to think about this: attching this "tripod" is functionally equivalent to attaching two handles, which correspond to two nondegenerate index 1 critical points.

Anyway, all that's left is to attach the cap, which only adds something to top degree homology. What we get out of this is that the homology of this surface matches up with the torus, and so it is a torus.