A Mind for Madness

Musings on art, philosophy, mathematics, and physics

Gradient-Like Vector Fields Exist

2 Comments


Now we want to start building some technique that will allow us to figure out what our closed manifold looks like based on the Morse functions it admits.

We’ll call a vector field X, a gradient-like vector field for f, if X\cdot f>0 away from critical points, and if p\in M is a critical point of index \lambda, then there is a coordinate neighborhood about p such that f has the standard form as in the Morse lemma, and X=-2x_1\frac{\partial}{\partial x_1}-\cdots - 2x_{\lambda}\frac{\partial}{\partial x_\lambda}+2x_{\lambda+1}\frac{\partial}{\partial x_{\lambda+1}}+\cdots + 2x_m\frac{\partial}{\partial x_m} (i.e. it is the gradient in this neighborhood).

Intuitively, if we think back to our example, we visualize Morse functions as “height functions”. So we are attempting to construct in some sense an everywhere “upward” pointing vector field. If we’re thinking of the entire manifold flowing along this, then the only places where it is allowed to get “stuck” is at the critical points of f.

The theorem is that there always exists a gradient-like vector field for a Morse function on a compact manifold.

Proof: As before, let \{U_i\}_1^k be a finite subcover of coordinate charts, and \{K_i\}_1^k be a compact refinement. Since the critical points are isolated (immediate corollary to the Morse lemma), there can only be finitely many since our manifold is compact. So we can assume that each critical point has a neighborhood small enough so that it is entirely contained in exactly one of the U_i, and that the U_i were chosen so that f has standard form in those coordinates.

Let \psi_i: U_i\to \mathbb{R} be a bump function for K_i supported in U_i. Then we get a smooth function on the entire manifold by letting \psi_i\equiv 0 outside of U_i.

Let X_i be the gradient of f on U_i. Let \displaystyle X=\sum_{j=1}^k \psi_jX_j. The claim is that this is our gradient-like vector field for f.

Let’s check X\cdot f at non-critical points. If x\in M is not a critical point, and x\in U_i, then (\psi_i X_i\cdot f)(x)>0 since X_i is the gradient and \psi_i(x)>0. All other terms of the sum are 0 since \psi_i(x)=0 for any i such that x\notin U_i. Thus (X\cdot f)(x)>0.

The other condition we have set up to work since each critical point has a neighborhood that is contained in precisely one of the U_i, thus on that neighborhood f is in standard form, and X=\psi_iX_i which is of the correct form. Thus X is gradient-like for f.

As a preview of things to come, I’ll prove our first result about what our manifold looks like using Morse functions. This is often called the Regular Interval Theorem.

Suppose that f has no critical value in [a,b], then M_{[a,b]}=\{p\in M : a\leq f(p)\leq b\} is diffeomorphic to f^{-1}(a)\times [0,1].

Let X be gradient-like for f. Define \displaystyle Y=\frac{1}{X\cdot f}X which is smooth off of the critical points of f, but since M_{[a,b]} contains no critical points it is a smooth vector field there (in fact, on an open set containing M_{[a,b]}).

Let \theta^p(t) be an integral curve for Y starting at p\in f^{-1}(a). But now \displaystyle \frac{d}{dt}\Big|_{t=t_0}f(\theta^p(t))=\frac{d\theta^p}{dt}(t_0)(f)
\displaystyle = Y_{\theta^p(t_0)}(f)
\displaystyle = \frac{1}{X\cdot f}X\cdot f=1.

Thus, the integral curve continues along at constant speed 1 for the entire time it is in M_{[a,b]}. But it starts at f=a at time 0, so it reaches f=b at time t=b-a.

Thus h: f^{-1}(a)\times [0,b-a]\to M_{[a,b]} by (p,t)\mapsto \theta^p(t) is a diffeomorphism. But rescaling gives the diffeo to f^{-1}(a)\times [0,1].

This basically says that between critical points of a Morse function, we must have the manifold looking like cylinder built off of a single slice of the function (if we’re thinking in terms of height, we can pick any height, and at anywhere between the two nearest critical heights, all the level sets will look the same).

About these ads

Author: hilbertthm90

I write about math, philosophy, literature, music, science, computer science, gaming or whatever strikes my fancy that day.

2 thoughts on “Gradient-Like Vector Fields Exist

  1. I’m curious about one thing. I’ve seen introductions to Morse theory which construct the diffeomorphism between the different level sets by first fixing a metric and then using the gradient and the metric to construct a vector field with the desired flows. As far as I can tell it seems as though you are doing the same thing here, simultaneously defining X and a metric on which X=grad f.

    This is my first time studying Morse theory… is there a reason for keeping everything metric independent (at least on the surface)? Do gradient-like vector fields come in useful later, or is it all a matter of taste?

  2. I’ll probably come back and give a better response later, but my guess would be it is a matter of taste. To me, working with a metric probably obscures the fact that we are aiming at topological results, so everything better be independent of metric choice.

    The thing I want to look up and give a better reply about is that there is infinite-dimensional Morse theory (which I haven’t learned any of), and here it might be useful to have finite-dimensional analogues that can serve as intuition. I can’t say for sure, though.

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 198 other followers