15
$\begingroup$

A coauthor of mine and I want to use the following innocent looking statement in a forthcoming paper:

Statement. Let $M^{2n}$ be a compact manifold and let $f$ be a Morse function with critical points of even indices. Then for some choice of a metric $g$ on $M^{2n}$, the closure of each unstable manifold in $M^{2n}$ is a cycle of dimension equal to the index of the corresponding critical point.

I thought naively that such a statement should be contained in some classical book (but the answers given below indicate that this might be not the case).

Here is an idea of how to deduce the statement from the literature. Let's take the paper of Francois Laudenbach

http://www.numdam.org/article/AST_1992__205__219_0.pdf

and look into Remark 3. This remark claims something much stronger, namely that even without assumption on even indices the union of unstable manifolds give a structure of a CW complex on $M$ in case there exists a metric $g$ on $M$ such that the gradient flow satisfies the Morse-Smale condition and additionally the gradient vector field is Special Morse (i.e. looks like $\sum_i{\pm}x_i\frac{\partial}{\partial x_i}$).

Unfortunately, it is not stated in this paper whether such a metric $g$ always exists (added: according to John and Alessia this is very simple)

Question. Is there a reference or short proof for the above Statement? Or maybe one can say that a metric satisfying Morse-Smale condition and Special Morse condition always exists?

Added. I would like to thank John, Pietro and Alesia for answers. I still hope that the exact Statement that I want might be from 20th century, not 21st. Indeed, suppose that all the indices are even, and $g$ is Morse-Smale. Then for each unstable cell $W$ the set $\bar W\setminus W$ has Hausdorf dimension at most $\dim W-2$. Should not this give a well-defined cycle in $M^{2n}$?

Question 2 I don't quite understand what is Morse Homology, but should not the above Statement be a trivial part of this theory?

(what about this preprint: https://arxiv.org/pdf/math/9905152.pdf ? looks relevant)

$\endgroup$
  • $\begingroup$ I'm confused by your last edit, that preprint is about pseudo-cycles, whereas your post is supposedly about CW complexes. $\endgroup$ – Chris Gerig Nov 26 at 23:22
  • $\begingroup$ Well, the title of the post is indeed about CW complexes. But this is the strongest thing one can wish for. However I want something weaker (the "Statement ") - that the closure of each unstable manifold defines a cycle in case when all indices are even. Hard to believe that this is as hard as to say that unstable manifolds of a Morse function define a CW complex. I looked into "Morse Homology" and the words reminded me what I want. But I might be wrong. Have I explained myself? (Since there is such a controversy about CW complexes I am a bit doubtful now of using such CW-results) $\endgroup$ – Dmitri Panov Nov 26 at 23:50
  • $\begingroup$ Also, my last edit was not about Morse Homology :) I just decided to add the tag "Symplectic geometry" because my feeling is that for Floer theory people my question must be trivial. But I might be wrong... (also, maybe this preprint is not the best preprint to cite but I put the first that looked okeyish) $\endgroup$ – Dmitri Panov Nov 26 at 23:56
14
$\begingroup$

(1). Some experts tell me that Laudenbach's paper is incomplete and contains gaps.

I will retract this for now. I do recall being told this, but I am not aware at this point in time where the gaps in his paper are, if any. (I do stand by my belief that a number papers in this area are incomplete.)

(2). The result you seek can be deduced in the following papers by Lizhen Qin (disclaimer: he was my student):

On moduli spaces and CW structures arising from Morse theory on Hilbert manifolds. J. Topol. Anal. 2 (2010), no. 4, 469–526

An application of topological equivalence to Morse theory. arXiv:1102.2838

In fact, what you ask can be deduced from the first of these papers which handles a metric that is flat near the critical points. The second paper shows that one can actually use any metric such that the function is Morse-Smale.

Alternatively, there is a paper of Burghelea and Haller which also handles the case of a metric that is flat near the critical points. Lizhen tells me that the Burghelea-Haller paper is correct and one can deduce the desired result from their methods.

(The reason I am ranting about this is that I believe this area to be a hotbed of papers containing gaps--with no disrespect to the authors of those papers intended.)

$\endgroup$
  • $\begingroup$ Dear John, thank you for this answer. I browsed this paper for some short time before asking the question (but could not quite find the result). Would you be kind to point me to the result in the paper which I could cite? And what is Burghelea's paper? $\endgroup$ – Dmitri Panov Nov 24 at 16:48
  • 1
    $\begingroup$ Thanks, I got it! How does one prove that such a metric exists? (i.e so that Morse-Smale holds + the vector field is standard) $\endgroup$ – Dmitri Panov Nov 24 at 17:56
  • 3
    $\begingroup$ Here are the steps, I believe: 1) Construct any metric which is flat at the critical points (this is what Milnor does). 2) Without changing the metric near the critical points, one can infinitesimally deform it to a Morse-Smale one (this is a generic condition). $\endgroup$ – John Klein Nov 24 at 20:42
  • 1
    $\begingroup$ @JohnKlein What are the gaps in Laudenbach's paper? And why was Qin's arXiv paper never published? $\endgroup$ – Chris Gerig Nov 25 at 18:56
  • 1
    $\begingroup$ @ChrisGerig I will not go on record here detailing the gaps. This is really not my mathematical subculture. You can write Lizhen Qin if you wish to know. As to why Qin's second and third papers were never published, I also suggest you write him. Suffice it to say that politics were involved. $\endgroup$ – John Klein Nov 25 at 19:52
9
$\begingroup$

A generic perturbation of the metric makes the flow Morse Smale, (stable and unstable manifolds meet transversally). In this situation, the unstable manifold do form a CW-complex. The unstable manifold of a critical point $x$ of index $k$ is an embedded disk of dimension equal to the Morse index; its closure is made adding a union of unstable manifolds of strictly less index. What is also true, and less obvious, is that the unstable manifold $W_x$ of a critical point $x$ also admits a "cell map", that is a homeomorphism from the open disk of dimension $i(x)$ to $W_x$ that extend continuously to the closures (i.e. from the closed disk to the closure of $W_x$), which makes the collections of the unstable manifolds a true CW-complex.

The first complete proof I think is in this paper:

L. Qin, On moduli spaces and CW structures arising from Morse theory on Hilbert manifolds, J. Topol. Anal. 2 (2010), 469-526.

$\endgroup$
  • 1
    $\begingroup$ Actually you need another paper by Qin to handle the case of an arbitrary Morse-Smale metric. The paper you cite only deals with the case of a metric that is flat near the critical points. However, that suffices for what the questioner has asked. $\endgroup$ – John Klein Nov 24 at 16:58
  • $\begingroup$ The result was extended by topological equivalence, if I'm correct? $\endgroup$ – Pietro Majer Nov 24 at 17:26
  • 1
    $\begingroup$ Yes: structural stability for gradient dynamics. $\endgroup$ – John Klein Nov 24 at 17:44
6
$\begingroup$

Let us show that there exists a metric for which stable and unstable manifolds of a given Morse function are transverse.

By Kupka-Smale theorem, a Morse function $f$ on a manifold with a Riemannian metric $m$ can be perturbed to become Morse-Smale, by genericity. The perturbed function $g$ has identical level-set foliation up to diffeomorphism so it is conjugate by a diffeomorphism $\phi$, more precisely $g = u \circ f \circ \phi$, where $u$ is an increasing diffeomorphism on the real line.

The stable and unstable manifolds of $u^{-1}\circ g$ for $m$ are transverse as composition by $u^{-1}$ preserves this property. Next we apply a global change of coordinate to both $u^{-1}\circ g$ and $m$ using $\phi^{-1}$. This will send $u^{-1}\circ g$ back to $f$ and $m$ to its pull-back by $\phi$.

Also this change of coordinate will send the stable/unstable manifolds of $u^{-1}\circ g$ for $m$ to the ones of $f$ for the pull-back of $m$. In particular the new stable/unstable manifolds are transverse. So the pull-back metric satisfies the transversality condition.

It remains to address the special Morse condition. It is not difficult to modify $m$ locally around critical points of $f$ so that the modified metric $m'$ is special Morse for $f$, using partitions of unity. We can then repeat the above construction with $m'$ instead of $m$.

While changes of coordinates preserve the special Morse condition, the perturbation of $f$ might destroy it if it affects neighborhoods of critical points. Fortunately the proof of the genericity of Morse-Smale condition produces a perturbation that does not affect those neighborhoods, so the above construction will satisfy the special Morse condition as well.

$\endgroup$
  • 1
    $\begingroup$ Alesia, thanks. I deleted my comments, so that there are not too many. My next question is the following: What question you are answering? What are you proving? Could you please say it in the very beginning of your answer? (unfortunately I can not understand this so far) $\endgroup$ – Dmitri Panov Nov 24 at 18:41
  • $\begingroup$ I am showing that there exists a metric for which stable and unstable manifolds of $f$ are transverse, assuming $f$ is a Morse function. $\endgroup$ – alesia Nov 24 at 18:45
  • $\begingroup$ I see! This is not quite what I was asking for, the condition that Laudenbach imposes in his paper is that the gradient vector field has a very simple shape : $-x_1\frac{\partial}{\partial x_1}-\ldots -x_i\frac{\partial}{\partial x_i}+x_{i+1}\frac{\partial}{\partial x_{i+1}} +...$ close to each critical point. See proof of his Propositon 2. But thanks anyway, I'll try to understand why what your answer proves what you say. And I wanted to see why such a metric exists behaving in this nice way close to critical points $\endgroup$ – Dmitri Panov Nov 24 at 18:51
  • $\begingroup$ yes I hadn't addressed that part. Edited the answer to include it. $\endgroup$ – alesia Nov 24 at 19:24
  • 2
    $\begingroup$ numdam.org/article/ASNSP_1963_3_17_1-2_97_0.pdf (the fact that neighborhoods of critical points are unaffected is explicit at page 109) $\endgroup$ – alesia Nov 24 at 23:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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