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.
The Morse complex of the two-sphere
Example
Assume AC. Let be the height function of the round two-sphere and let be the normalized positive multiple of its round downward gradient constructed below; this preserves its meridian orbits. Then is Morse--Smale with exactly two critical points: a maximum of index and a minimum of index (Morse functions and excellent Morse functions, Nondegenerate critical points, nullity, index, and coindex). Consequently and , and every differential vanishes for degree reasons: has target and has source (The mod-two Morse differential, The signed Morse differential over the integers). The only nonempty trajectory moduli space between distinct critical points is ; by No Morse--Smale trajectories for nonpositive index drop no moduli space with nonpositive index drop is nonempty, so no index-one differential can receive a contribution. Both complexes have homology in degrees and (respectively in degrees and ).
Facts & Assumptions
Given: AC and the round sphere with , using the normalized field of step 1.1; choose either orientation of each unstable manifold for the integral complex.
The height function on the round two-sphere is Morse with exactly two nondegenerate critical points, the poles of index and of index , and it is Morse--Smale for the round metric (Morse functions and excellent Morse functions, Nondegenerate critical points, nullity, index, and coindex, Morse--Smale pairs).
The chain groups are free modules on the critical points of each index, so they vanish when there are no critical points of that index, and the differentials have the degrees of The mod-two Morse differential and The signed Morse differential over the integers (The mod-two Morse chain group).
Smooth cutoffs exist and the normalized local field is required by the downward gradient-like convention (A smooth bump between concentric Euclidean balls, Downward gradient-like vector fields for a Morse function). The differential suppliers carry AC (The Axiom of Choice). Under AC, a smooth vector field on a compact manifold is complete (Every smooth vector field on a compact manifold is complete).
Verification
In polar coordinates and the round downward gradient is . Multiply it by a smooth positive function of equal to near and near , using cutoffs from [F3] and the positive constant elsewhere. In the Cartesian radial Morse coordinates of radius at and at , the resulting field is and , respectively; explicitly they are near and near , hence smooth local Cartesian coordinates with nonsingular derivative at the pole. Thus satisfies the normalized local model and strictly decreases elsewhere. The only critical points are , with Hessians negative and positive definite and hence indices . The unstable set of and stable set of are the complementary-pole open disks; the other two sets are single points, so all nonempty stable--unstable intersections are transverse. The smooth field is complete by [F3], so the pair is Morse--Smale. The chain groups in degree one are free on the empty set and are zero.
The differentials out of and into degree one vanish identically: has zero target and has zero source. The remaining differentials and have zero target and zero source respectively. So all differentials are zero.
Although every meridian from to is a connecting trajectory, its index drop is two. The differential definition in [F2] counts index drop one only, so these trajectories supply no coefficient.
With zero differentials and one generator in degree and one in degree , the mod-two complex has homology in degrees and and zero elsewhere, and the integral complex has homology in degrees and and zero elsewhere.
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
- The mod-two Morse differential
- The signed Morse differential over the integers
- No Morse--Smale trajectories for nonpositive index drop
- Morse functions and excellent Morse functions
- Nondegenerate critical points, nullity, index, and coindex
- Morse--Smale pairs
- The mod-two Morse chain group
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
42 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
- Michele Audin and Mihai Damian, Morse Theory and Floer Homology, Part I Ch. 3, complete author PDF (standard reference, not scraped)
- Alexander F. Ritter, Part III Morse Homology (Cambridge lecture notes), Lectures 17-19, complete combined PDF (standard reference, not scraped)