How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A noncompact continuation datum can lose its trajectories at infinity
Statement refuted
On an arbitrary smooth manifold, smooth continuation data with complete Morse--Smale ends and finite index-matched continuation counts always induce isomorphisms on the trajectory-count homology of their ends.
Facts & Assumptions
Given: with the standard metric, and a continuation datum whose two ends are complete Morse--Smale pairs but whose interpolating field drives the connecting trajectory to infinity in finite time.
The function is Morse with the single critical point , of index , and its negative gradient field is complete; the pair is Morse--Smale, with and meeting transversally (Morse--Smale pairs, Downward gradient-like vector fields for a Morse function, Nondegenerate critical points, nullity, index, and coindex).
The function is Morse with the single critical point , the unique real root of (so ), of index : its negative-gradient field is . The numerator is strictly increasing, has one zero , and satisfies because its value at is negative. At that zero, . Since , the field is complete, so is Morse--Smale; and on while on , so is a repelling rest point for the forward flow (Morse--Smale pairs, Nondegenerate critical points, nullity, index, and coindex, A Morse trajectory from one critical point to another).
The datum is a smooth family with for , on the plateau (so that the continuation equation there reads ), for , and a smooth interpolation on which can be taken as short as desired; the metric is the standard one throughout. It satisfies the two-end condition of a continuation datum (A regular continuation datum between Morse--Smale pairs). The parameters and are free; in the computation below we use small and the fixed plateau .
Counterexample
The two ends are valid: by [F1] and [F2] both pairs are complete Morse--Smale pairs with exactly one nondegenerate critical point of index , so both Morse chain complexes are concentrated in degree with zero differential.
Rigidity of the upper end. Let solve the continuation equation with . On the equation is , and every solution with increases and converges to , while every solution with decreases, crosses (where ) and converges to ; hence necessarily , and then for all .
Backward blow-up. Extend the solution of step 2.1 backward from . On the interpolation region the field is with , and at this equals whenever , In backward time the vector field at is nonnegative, so uniqueness (or the scalar differential inequality for the negative part of ) makes a lower barrier. On all fields are bounded in absolute value by a common . Choosing , the integral bound precludes a first exit through ; the lower barrier precludes a first exit below . Thus the backward trajectory exists throughout this short interpolation and stays in . Entering the plateau at with , its backward evolution there obeys in the backward time , with solution , which blows up at ; since we have , so the blow-up occurs strictly inside the plateau and the backward trajectory is not defined beyond it.
Consequently no solution of the continuation equation has both the lower limit and the upper limit : a solution with upper limit must satisfy by step 2.1, and its backward continuation blows up in finite time by step 3.1, so it has no lower limit at all. Hence although , and the continuation count is the zero map , which is not an isomorphism.
The claim is therefore false, and the failure is exactly the mechanism recorded in Flow and compactness hypotheses for noncompact Morse homology: the end pairs have a single critical point each, but the interpolating field on the plateau is not complete, so the connecting trajectory escapes to spatial infinity in finite time, the energy identity has no finite-energy solution to apply to, and no compactness-up-to-breaking statement is available.
Depends on
- Flow and compactness hypotheses for noncompact Morse homology
- A regular continuation datum between Morse--Smale pairs
- Morse--Smale pairs
- Downward gradient-like vector fields for a Morse function
- A Morse trajectory from one critical point to another
- Nondegenerate critical points, nullity, index, and coindex
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
36 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Liviu I. Nicolaescu, An Invitation to Morse Theory, 2nd ed. (complete author PDF, 291 pp.) (standard reference, not scraped)
- Michele Audin and Mihai Damian, Morse Theory and Floer Homology (complete author PDF of the English book, 628 pp.) (standard reference, not scraped)