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.
Morse--Smale pairs
Definition
Let be Morse and let be a complete downward gradient-like field. The pair is Morse--Smale if every unstable manifold is transverse to every stable manifold , for critical points .
The metric version also applies to any smooth Riemannian metric for which is complete. Here and mean the backward- and forward-limit manifolds of this negative-gradient flow, respectively, and is Morse--Smale when all these intersections are transverse. This metric version does not require to have the exact normalized Morse-coordinate form in the downward-gradient-like definition. Completeness is automatic on a closed manifold. In both versions an empty intersection is transverse vacuously.
Depends on
Used by
- Index-one trajectory moduli spaces are finite Corollary
- A noncompact continuation datum can lose its trajectories at infinity Counterexample
- The symmetric torus height flow is not Morse--Smale Counterexample
- A regular continuation datum between Morse--Smale pairs Definition
- A regular two-parameter continuation datum Definition
- Broken continuation trajectories and geometric convergence Definition
- Broken Morse trajectories Definition
- Canonical Morse homology of a closed manifold Definition
- Geometric convergence to a broken trajectory Definition
- Morse homology of a Morse--Smale pair Definition
- The continuation chain map Definition
- The mod-two Morse differential Definition
- The orientation line of a Morse critical point Definition
- A Morse--Smale flow on the circle Example
- A Morse--Smale height function on a tilted torus Example
- Broken trajectories in an index-two torus moduli space Example
- Continuation across a birth--death pair adds an acyclic summand Example
- The Morse complex of the circle Example
- The Morse complex of the two-sphere Example
- Two Morse functions on the circle have isomorphic Morse homology Example
- Arbitrary metric Morse--Smale end counts form finite Morse chain complexes Lemma
- Boundary orientation of the compactified one-dimensional Morse moduli space Lemma
- Breaking length is bounded by the index drop Lemma
- Broken Morse trajectories have strictly decreasing critical values and indices Lemma
- Cellular boundary coefficients are the signed trajectory counts Lemma
- Compactified unstable manifolds give the Morse--Smale CW decomposition Lemma
- Continuation solutions have critical limits and exponential decay Lemma
- Every broken trajectory is a limit of ordinary trajectories Lemma
- Finite flow matching gives local charts at metric-end broken trajectories Lemma
- Gluing once-broken index-two trajectories: collar ends Lemma
- Morse--Smale transversality and surjectivity of the linearized flow operator Lemma
- Orientation lines orient the continuation moduli spaces compatibly with gluing Lemma
- The continuation energy identity Lemma
- The continuation map of constant data is the identity Lemma
- Unstable orientations induce orientations of the trajectory moduli spaces Lemma
- A parametrized Morse trajectory space is a manifold Proposition
- The relative Morse complex of an adapted cobordism Proposition
- Ambient orientability is not required for Morse--Smale transversality Remark
- Compactness up to breaking needs closedness or a proper compactness package Remark
- Flow and compactness hypotheses for noncompact Morse homology Remark
…and 9 more results.
Dependency tree · two levels
11 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
- Michèle Audin and Mihai Damian, Morse Theory and Floer Homology, §2.2 (standard reference, not scraped)