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.
Refuted: a homotopy that is immersive at every earlier time is a regular homotopy
Statement refuted
False claim: a smooth homotopy whose slices are immersions for every is a regular homotopy, so it may be used to conclude that and are regularly homotopic (in particular that the round circle is regularly homotopic to a point, or that a sphere may be eversioned by shrinking it).
The claim fails because a regular homotopy requires every slice, including the final one, to be an immersion.
Facts & Assumptions
Given: The family , .
A regular homotopy between immersions is a smooth family whose every slice is an immersion, with prescribed immersive ends. Regular homotopy of immersions
An immersion is a smooth map whose differential is injective at every point; equivalently, on a curve, a map with everywhere nonvanishing velocity. Immersions, submersions, and constant-rank maps
Regular homotopy permits self-intersections but requires injective differential at every point of every slice. Regular homotopy allows self-intersections but never rank drop
Smooth families are the adjoints of smooth maps and evaluation of a family at a parameter is continuous. Smooth families of maps and their evaluation maps
Counterexample
For every the slice has derivative of norm , hence is an immersion with image the circle of radius centred at ; at this is the standard unit circle.
At the slice is the constant map , whose derivative vanishes identically: the differential has rank at every point. So the family contains a rank drop at the final time and is not an immersion.
Therefore is not a regular homotopy in the sense of [F1], since a regular homotopy requires every slice to be immersive, and it cannot certify any regular-homotopy claim: in particular this shrinking family does not show that the circle is regularly homotopic to a point, because the point is not an immersion and the rotation number (here at the initial slice) would have to remain constant while no rotation number is defined for the final slice. The failed conclusion is exactly the rank-drop phenomenon separated in [F3]: the final slice fails the injective-differential condition.
The family is smooth in , but its final slice is constant. Any perturbation that keeps this final slice still has zero final derivative, so it still fails to be a regular homotopy, independently of its size. Self-intersections are compatible with immersive slices; a rank drop is not.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
16 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
- John Francis, The h-Principle, Lecture 9: Immersions into Euclidean space, from Smale to Cohen (notes by M. Hoyois) (standard reference, not scraped)
- Ralph L. Cohen, Immersions of Manifolds and Homotopy Theory (Harvard CMSA Math-Science Literature Lecture write-up, June 30 2022), §2.1 (standard reference, not scraped)