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 symmetric torus height flow is not Morse--Smale
Statement refuted
For every embedded Riemannian manifold, a Morse height function together with its induced-metric negative-gradient flow is Morse--Smale.
Witness
For , embed the torus with angular coordinates modulo by Take vertical height and the induced metric . The inner equator contains saddle-to-saddle trajectories of .
Facts & Assumptions
Given: The embedded torus , constants , height , induced metric , and negative-gradient field specified above.
In the metric version of Morse--Smale pairs, stable and unstable manifolds are forward- and backward-limit manifolds of the complete negative-gradient flow; Morse--Smale requires all their intersections to be transverse. The normalized local form for a downward gradient-like field is not an additional condition on this metric version.
Counterexample
Put . Differentiating the embedding gives , and hence , . This smooth field is complete because the torus is compact.
The critical equations are and , giving exactly four points. At each, the Hessian in is diagonal with entries and . Both entries are nonzero. Thus is a maximum, a minimum, and and are saddles; in particular is Morse everywhere.
The circle is invariant. On its interval , , so every point has backward limit and forward limit . Locally at , writing gives ; for small this forces to increase backwards while stays near . Thus a backward-converging trajectory must have . At the same equation forces nonzero to increase forwards, so a forward-converging trajectory must also have . Uniqueness and flow transport show that the indicated unstable and stable branches are precisely arcs of this circle.
Consequently, at every point of this open interval, . Their tangent sum has dimension one, whereas the torus has dimension two. The metric pair therefore fails the Morse--Smale condition.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
6 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, Examples 2.2.4 (standard reference, not scraped)