Nice'' metrics for a Morse gradient field: counterexample request - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T06:54:50Z http://mathoverflow.net/feeds/question/76971 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/76971/nice-metrics-for-a-morse-gradient-field-counterexample-request Nice'' metrics for a Morse gradient field: counterexample request Elizabeth S. Q. Goodman 2011-10-02T07:19:04Z 2011-10-02T18:36:24Z <p>Ralph Cohen (professor at Stanford) is teaching a class on algebraic topology and moduli spaces this quarter, beginning by reviewing his perspective of Morse theory. He defined "nice" metrics, proved that they are dense in the $L^2$ space of metrics on $\mathbb R^n$, proved one result using that, and doesn't need them anymore. But given the previous assumptions, I and some classmates want to know: are not all metrics "nice"?</p> <p>The setup: Assume a real-valued $C^\infty$ function $f$ on a closed smooth manifold $M$ of dimension $n$ is Morse: critical points are nondegenerate in the sense of having full-rank Hessians. Given some critical point $p$ of index $k$, find a small neighborhood $U$ and a diffeomorphism $U\cong\mathbb R^n$ such that $f$ becomes a function $\sum_{i=k+1}^nx_i^2-\sum_{i=1}^kx_i^2$. </p> <p>A "nice" (smooth Riemannian) metric on $M$ is defined to be one that, when restricted to $U\cong\mathbb R^n$, gives $f$ a gradient field that after some diffeomorphism of $\mathbb R^n$ can be written as $\sum c_ix_i\partial_i$ for nonzero constants $c_i$. (Edited to add the missing $x_i$s.)</p> <p>Can anyone make an illuminating example of a non-nice metric on $\mathbb R^n$? In fact (because $U$ is bounded) I might prefer one in the setting where $U$ is mapped an open ball rather than all of $\mathbb R^n$.</p> http://mathoverflow.net/questions/76971/nice-metrics-for-a-morse-gradient-field-counterexample-request/76983#76983 Answer by Robert Bryant for Nice'' metrics for a Morse gradient field: counterexample request Robert Bryant 2011-10-02T14:14:25Z 2011-10-02T14:24:21Z <p>Assuming Giuseppe's suggested correction is right, here's what you have to worry about: Consider the function $f(x,y) = \tfrac12 x^2 + y^2 + x^2 y$ and the metric $g = (1+2y)\ dx^2 + dy^2$ on the half-plane $y > -\tfrac12$. You can compute that $$\nabla f = x\ \frac{\partial\ }{\partial x} + (2y+x^2)\ \frac{\partial\ }{\partial y}$$ and this is one of those vector fields that cannot be linearized smoothly near $(x,y) = (0,0)$, i.e., it is not equivalent, under any smooth change of variables near this point, to the vector field $$x\ \frac{\partial\ }{\partial x} + 2y\ \frac{\partial\ }{\partial y}$$ (There is a large literature about conditions that obstruct or allow a vector field to be linearized near a singular point.) </p> <p>One way you can see this is that the flow lines of the first vector field are $x=0$ and those of the form $y = (c + \ln |x|)\ x^2$ where $c$ is a constant, while the flow lines of the second vector field are $x=0$ and those of the form $y = c\ x^2$. (Of course, $(x,y) = (0,0)$ is fixed by both vector fields.) Since the flow lines of $\nabla f$ aren't smooth curves, no smooth change of variables will convert them to smooth curves.</p>