2
$\begingroup$

The following question is probably classic in Morse theory, so a reference to an existing result should be sufficient. I don't know much about Morse theory and I am dealing with the following situation. I have a compact manifold $X$ and I have a Morse function $f$ on it with a saddle point at $x_0$. I don't like the properties of $f$(for some "mysterious" reason) so I take a parametrization around $x_0$, taking $x_0$ to the origin and containing no additional critical points, and add to $f$ a function of the type $\epsilon \rho Q$, where $Q$ is a quadratic polynomial, $\epsilon$ is a small number and $\rho$ is a bump function living in the coordinate patch that is identically equal to 1 in a neighborhood of the origin.

Clearly this new function still has a critical point at $x_0$. My question is: for small enough $\epsilon$ is this new function still Morse, with the same critical points as the original function $f$?

$\endgroup$

4 Answers 4

9
$\begingroup$

There is classic result (I think going back to H. Whitney) that states that if $f:M\to \mathbb{R}$ is a Morse function on a compact smooth manifold $M$ no two critical points correspond to the same critical value, then there exist a neighborhood $\mathscr{N}$ of $f$ in $C^\infty(M)$ sucht that if $g\in \mathscr{N}$, then $g$ is equivalent to $f$, i.e., one can obtain $g$ from $f$ by conjugating $f$ with a diffeomorphism $\Phi$ of $M$ and a diffeomorphim $\varphi$ of $\mathbb{R}$. More precisely, this means that

$$ g = \varphi \circ f \circ \Phi. $$

For a proof see the book of Golubitski and Guillemin Stability of smooth mappings. Loosely speaking this result says that if $g$ is not too far from $f$, then $g$ is obtained from $f$ via a change of "coordinates" on $M$ and a change in the target space $\mathbb{R}$.

$\endgroup$
0
6
$\begingroup$

Sure. For any sequence $\epsilon_n\to 0$ a sequence of critical points of $f_n:=f+\epsilon_n \rho Q$ would have a subsequence which converges to a critical point of $f$, so in particular would eventually lie in a neighborhood on which the function equals either the original $f$ (if the limit isn't $x_0$) or $f+\epsilon_n Q$ (if the limit is $x_0$). But in such neighborhoods the only critical points are the critical points of the original function $f$, at least if $\epsilon_n$ is small enough.

If the answer to your question was "no" then you could find $\epsilon_n\to 0$ contradicting the above.

$\endgroup$
5
  • $\begingroup$ @Mike: The critical point might shift when you perturbed the function. Just think about quadratic functions of one variable. $\endgroup$
    – Misha
    Jul 1, 2012 at 16:55
  • $\begingroup$ @Misha: My interpretation of the question is that we are using a coordinate system centered at $x_0$, and the unique critical point of $Q$ is the center of the coordinate system. So, as noted in the original question, $x_0$ will continue to be a critical point of the perturbation. (It goes without saying that the critical points would shift under generic perturbations, but the question asked about a perturbation of a rather particular kind.) $\endgroup$
    – Mike Usher
    Jul 1, 2012 at 17:11
  • $\begingroup$ "But in such neighborhoods the only critical points are the critical points of the original function f, at least if $\epsilon_n$ is small enough". Why is this obvious? $\endgroup$
    – Hammerhead
    Jul 1, 2012 at 17:25
  • $\begingroup$ Working in a (suitably small) coordinate system with $x_0$ identified with the origin and using the standard metric on this coordinate system, the nondegeneracy of the Hessian of $f$ at $x_0$ gives you an estimate $|(\nabla f)(v)|\geq C_1|v|$ for $v$ in some fixed neighborhood of the origin. Meanwhile there's also an estimate $|(\nabla Q)(v)|\leq C_2|v|$. So $|\nabla(f+\epsilon Q)(v)|\geq (C_1-\epsilon C_2)|v|$, showing that, in this fixed neighborhood and for $\epsilon$ sufficiently small, the only critical point of $f+\epsilon Q$ is the origin. $\endgroup$
    – Mike Usher
    Jul 1, 2012 at 17:55
  • $\begingroup$ Thanks again. Although if one uses the Morse lemma for $f$ in a small neighborhood this is just as clear. I am learning Morse theory on the fly :) $\endgroup$
    – Hammerhead
    Jul 1, 2012 at 18:04
4
$\begingroup$

Lemma B on page 12 of Milnor's Lectures on h-cobordism theorem. I am sure it is also in his book on Morse functions, I just do not have it with me now.

$\endgroup$
1
  • $\begingroup$ I think I declared victory too soon :(. How does it follow that for small $\epsilon$ the new function will have the same critical points as the original $f$. $\endgroup$
    – Hammerhead
    Jul 1, 2012 at 17:23
0
$\begingroup$

Are you sure you cannot achieve what you want by simply changing coordinates? Answers are about adding general small function but you want to add a quadratic polynomial only on a neighborhood of $x_0$.

$\endgroup$
2
  • $\begingroup$ No. I am dealing with quantities that are coordinate independent! $\endgroup$
    – Hammerhead
    Jul 1, 2012 at 17:12
  • $\begingroup$ You add a "quadratic polynomial Q". This only make sense in a choosen local coordinates. $\endgroup$ Jul 1, 2012 at 21:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.