Handlebodies I

We now come to the main point of all these Morse theory posts. We want to somehow figure out what a closed manifold looks like based a Morse function that it admits (who knows how long I’ll develop this theory, maybe we’ll even get to how Smale proved the Poincare Conjecture in dimensions greater than or equal to 5).

Suppose M is closed and f:M\to\mathbb{R} a Morse function. We’ll use the convenient notation M_t=\{p\in M : f(p)\leq t\}. So again, with the height analogy, as t increases, we will be looking at the entire manifold up to that height. Since M is compact, there is some finite interval [a,b] such that M_a=\emptyset and M_b=M.

Note that with essentially no modification, we have already proved the Theorem that if [c,d] contains no critical values, then M_c\cong M_d. So really, the point is to now figure out what happens as we pass through the critical values.

First off, there are only finitely many critical points, and we can assume that each of these has distinct critical values by raising and lowering critical values. So if p_0, \ldots, p_n are the critical points and c_k=f(p_k), we can order the indices so that c_0 < c_1 < \cdots < c_n.

To be explicit, c_0 is the min, so M_t=\emptyset for t < c_0 and M_t=M for t greater than c_n, since c_n is the max (also, wordpress hates inequalities, or me, I haven't decided yet, but it always cuts out lots of stuff and I just have to write the inequality in words).

These two critical points would be a nice place to start our examination. By the Morse lemma and the fact that a min has index 0, we know that there exists a neighborhood of p_0 on which f=x_1^2+\cdots + x_m^2+c_0 (Alright, I’m sorry about that, but I just realized I have n critical points, so the dimension of my manifold is now m).

More explicitly there is some \varepsilon>0 such that M_{c_0+\varepsilon}=\{(x_1, \ldots , x_m) : x_1^2+\cdots + x_m^2\leq \varepsilon\}\cong B^m. So if we are thinking of height (of a 2-dim manifold), we’ll want to visualize this as a “bowl” where you have the bottom of the bowl the min and then it slopes upward along a sphere, and then you have the boundary circle at height c_0+\varepsilon.

So note that the only thing we used about this critical point is that it had index 0. This shape is called a (m-dimensional) 0-handle.

The reverse happens at our max. We have M_{c_n-\varepsilon}=\{(x_1, \ldots , x_m) : x_1^2+\cdots +x_m^2\geq \varepsilon\}, since the critical point has index m. This is an m-handle and thinking in 2-d height, it is a downward facing bowl.

Again, there is nothing special about being the absolute max, any index m critical point will locally be an m-handle.

Index k critical points where k\neq 0,m are more complicated so I’ll leave those for next time.

Now we have a nice overview of how this will work. We just need to figure out what a k-handle looks like, then as t increases through a critical value with index k, M_t will “attach a k-handle”. When we are not near a critical value, the M_t will not change diffeomorphism-type. We just need to make this a little more precise next time (or maybe even the time after).

3 thoughts on “Handlebodies I”

  1. “also, wordpress hates inequalities, or me, I haven’t decided yet, but it always cuts out lots of stuff and I just have to write the inequality in words).”

    Do you use Luca Trevisan’s LaTeX to WordPress software? I don’t believe I’ve ever had this problem with that.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s