Trivial homotopies between Morse functions
2010-12-01
This entry relates to a paper Katrin Wehreim, Chris Woodward and I are writing, and is also relevant to my forthcoming paper with Rob Kirby. I want to prove the following statement, which one would naturally assume is true but which is actually subtle, so I'm going to be very pedantic in the proof:
Theorem If $g_t \co X \to [0,1]$ is a $1$-parameter family of Morse functions on a cobordism $X$, with $g_t$ honestly Morse for all $t \in [0,1]$, with all critical values distinct, then there exist ambient isotopies $\phi_t \co I \to I$ and $\psi_t \co X \to X$ (fixed on boundaries and equal to the identity when $t=0$) such that $g_t = \phi_t \circ f_0 \circ \psi_t$.
Basically, the idea is that if you have a homotopy between Morse functions which "doesn't do anything", in the sense that there are no births or deaths of cancelling pairs of critical points and no crossings of critical values, then it really doesn't do anything in the sense that it can be realized by pre- and post-composing with ambient isotopies.
Proof First, because the critical values never cross and are all distinct, we can post-compose with an ambient isotopy $\alpha_t \co [0,1] \to [0,1]$ to arrange that the critical values are constant (independent of $t$). In other words, we replace $g_t$ with $f_t = \alpha_t \circ g_t$ so that, for each $t$, the critical values of $g_t$ are constants $c_1, \ldots, c_k$, independent of $t$. Now consider the function $F \co [0,1] \times X \to [0,1] \times [0,1]$ defined by $F(t,p) = (t,f_t(p))$. Note that the critical points of $F$ are pairs $(t,p)$ where $p$ is critical for $f_t$, that the set of critical points of $F$ is a collection of arcs in $[0,1] \times X$, and that along these arcs $DF$ has rank $1$. Furthermore, the image of each of these arcs is a horizontal line $[0,1] \times \{c_i\} \subset [0,1] \times [0,1]$, because the critical values of $f_t$ are independent of $t$. Thus the image of $DF$ at each critical point $(t,p)$ is spanned by $\partial_t \in T_{(t,f_t(p))} [0,1] \times [0,1]$.
I like to use coordinates $(t,z)$ on $[0,1] \times [0,1]$, since $t$ is "time" and $z$ is "height". This is a bit sloppy because I will also use the variable $t$ in the domain $[0,1] \times X$.
Now I claim that there exists a vector field $V$ on $[0,1] \times X$ such that $DF(V) = \partial_t$. To see this, we only need to argue that, around every point $(t_0,p_0) \in [0,1] \times X$, there is a ball $B$ in which such a vector field exists. After showing that such a vector field exists in each such ball, we can patch such vector fields together using a partition of unity, since, if $DF(V_1) = \ldots = DF(V_n) = \partial_t$ and $a_1 + \ldots + a_n =1$ then $DF(a_1 V_1 + \ldots + a_n V_n) = \partial_t$. When $(t_0,p_0)$ is a regular point for $F$, such a ball with such a vector field clearly exists since $DF$ is surjective. When $(t_0,p_0)$ is a critical point, with critical value $(t_0,c_i=f_{t_0}(p_0))$, note that we can find coordinates $(x_1, \ldots, x_n)$ in a neighborhood of $p_0 \in X$, depending smoothly on $t$, with respect to which $f_t(x_1, \ldots, x_n) = c_i + \sum \pm x_j^2$ (Here we are using the fact that the critical values of $f_t$ are independent of $t$). This translates into coordinates $(t',x_1,\ldots,x_n)$ on a neighborhood of $(t_0,p_0) \in [0,1] \times X$ with respect to which $F(t',x_1,\ldots,x_n) = (t',c_i+\sum \pm x_j^2)$, and thus we can take $V = \partial_{t'}$ in this coordinate system.
(Note: I am appealing to a parametrized version of the Morse lemma, that nondenerate critical points are standard. Perhaps this should be written down also, to be very precise, but since the Morse lemma boils down to Taylor's theorem and Gram-Schmidt orthonormalization, both of which behave smoothly with respect to a parameter, this should be obvious, right?)
At this point the reader can probably see the end of the proof, but just to be totally pedantic, here it is (the trick to actually writing it down is getting the isotopies going in the right directions):
Now that we have this vector field $V$, note that $DF(V) = \partial_t$ means that flow along $V$ in $[0,1] \times X$ preserves the height function $z \circ F$, where $z \circ F(t,p) = f_t(p)$. We also know that $V = \partial_t + V_X$, where $V_X$ is tangent to $\{t\} \times X$. Thus $V_X$ is actually a time-dependent vector field $W(t)$ on $X$, and thus flow along $V$ turns into flow along $W(t)$ which gives an isotopy $\beta_t \co X \to X$. The fact that flow along $V$ preserves $z \circ F(t,p) = f_t(p)$ means that when we pull $f_t$ back via the flow $\beta_t$ along $W(t)$ we get $f_0$. I.e. $f_0 = f_t \circ \beta_t$.
Now recall that $f_t = \alpha_t \circ g_t$, and $f_0 = g_0$ because all our isotopies start with the identity. We want $g_t = \phi_t \circ g_0 \circ \psi_t$. Well, $g_t = \alpha_t^{-1} \circ f_t = \alpha_t^{-1} \circ f_0 \circ \beta_t^{-1} = \alpha_t^{-1} \circ g_0 \circ \beta_t^{-1}$, so we let $\phi_t = \alpha_t^{-1}$ and $\psi_t = \beta_t^{-1}$.
QED (I don't know an html symbol for a little square.)