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.
Broken trajectories in an index-two torus moduli space
Example
Assume AC. A concrete model of the tilted-torus trajectory picture is with and the normalized product field constructed below. Its critical points are of index , and of index , and of index . Each of , , and has two elements. The space consists of four open intervals, compactified to four disjoint closed intervals with eight once-broken endpoints. Modulo two, and , so .
Facts & Assumptions
Given: AC and the torus with the displayed function.
AC supplies the compactification and differential results used below (The Axiom of Choice).
Smooth cutoffs between nested coordinate balls exist (A smooth bump between concentric Euclidean balls).
A downward gradient-like field must have off the critical set and the exact normalized local Morse model; Morse--Smale means transverse stable and unstable manifolds (Downward gradient-like vector fields for a Morse function, Morse--Smale pairs). Under AC, a smooth vector field on a compact manifold is complete (Every smooth vector field on a compact manifold is complete).
For index drop two the compactification is a compact one-manifold, with once-broken products as its boundary and a unique one-sided collar at each endpoint (The index-two compactification is a compact one-manifold with boundary, Gluing once-broken index-two trajectories: collar ends).
The mod-two differential counts only index-one trajectories modulo two (The mod-two Morse differential).
Verification
Choose a smooth positive periodic function equal to near and near . It exists by [F1]: use disjoint cutoff neighbourhoods of the poles and take the convex combination of these positive local functions with the constant outside them. Put and . Then off the four critical points. Near , the signed coordinate is smooth and satisfies ; near , satisfies . Multiplying the second coordinate by gives exactly the Morse coordinates for the weighted second cosine. Thus satisfies [F2]. The Hessian has indices at .
In each coordinate, stable and unstable sets are a pole or the circle with the other pole removed. Their products in are transverse: every nonempty coincidence has, in each coordinate, at least one full tangent direction; the only potential point/point intersection for distinct equilibria is empty. The smooth field is complete on compact by [F2], so the pair is Morse--Smale. For each adjacent-index pair, one coordinate is constant and the other follows either of the two complementary arcs, giving exactly two orbit classes. These are all adjacent-index pairs.
On each of the four open rectangles between the coordinate separatrices, both coordinates run from to . On either chosen arc the time coordinate is a diffeomorphism onto : its derivative has the sign of , and the simple zeros of make the endpoint times infinite. Every trajectory is therefore , . Common time translation changes and equally, leaving the relative delay as the unique parameter. Its two infinite ends break through and , respectively, with the arc choices fixed. Hence there are four open intervals, each with its two distinct broken endpoints.
By [F3] these are exactly the compactifying endpoints, with one collar branch each; the fixed arc choices identify each broken pair with the appropriate rectangle, so no endpoints are identified across intervals. There are pairs in , two per closed interval. By [F4] the differential is , and .
Depends on
- Every smooth vector field on a compact manifold is complete
- The Axiom of Choice
- A smooth bump between concentric Euclidean balls
- Downward gradient-like vector fields for a Morse function
- Morse--Smale pairs
- The index-two compactification is a compact one-manifold with boundary
- Gluing once-broken index-two trajectories: collar ends
- The mod-two Morse differential
Used by
Dependency tree · two levels
47 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
- Alexander F. Ritter, Part III Morse Homology (Cambridge lecture notes), Lectures 17-19, complete combined PDF (standard reference, not scraped)
- Michele Audin and Mihai Damian, Morse Theory and Floer Homology, Part I Ch. 3, complete author PDF (standard reference, not scraped)
- Ralph L. Cohen, Bundles, Manifolds, and Homotopy, Ch. 13 and Appendix A, complete author PDF (standard reference, not scraped)