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)
Best Answer
(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.)