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.
A reflected sphere embedding is regularly homotopic but not isotopic to the standard one
Statement refuted
Every pair of regularly homotopic embeddings of a closed manifold into Euclidean space is isotopic; equivalently, regular homotopy of embeddings and isotopy of embeddings define the same equivalence relation.
Facts & Assumptions
Given: The standard inclusion of the unit sphere and a linear reflection with .
Regular homotopy is a smooth family of immersions, while isotopy is a smooth family of embeddings (Regular homotopy of immersions, Smooth isotopies, diffeotopies and ambient isotopies, Smooth embeddings).
For and the Smale classification of sphere immersions records that all immersions are regularly homotopic, because (Smale's classification of sphere immersions in Euclidean space, Regular homotopy classes of immersions are formal homotopy classes); for the standard inclusion and its reflection this formal-data homotopy is computed directly in Standard and reflected two-sphere immersions have homotopic formal data in R^3, whose vanishing class in is the obstruction to homotoping the two formal data.
Under every smooth isotopy of the compact in the boundaryless extends to an ambient isotopy, whose final restriction is the prescribed sphere map (The isotopy extension theorem).
A diffeomorphism between nonempty connected oriented boundaryless manifolds has degree if it preserves orientation and if it reverses it (Degree of an orientation-preserving or reversing diffeomorphism); a linear reflection with preserves the unit ball and reverses the outward-normal-first boundary orientation of , so has degree .
Countable choice is inherited from the Smale classification chain and the extension theorem; the reflection computations select nothing (The Axiom of Countable Choice ()).
Smooth ambient diffeotopies have invertible differentials with continuous determinants; a nonzero continuous determinant starting at one stays positive by the intermediate value theorem. Boundary orientation is outward-normal-first. Diffeomorphisms and local diffeomorphisms of manifolds, maps and multi-index derivative notation in Euclidean space, Directional derivatives and partial derivatives of a map , For every fixed finite size at least one, the determinant of a real square matrix is a polynomial in its matrix entries, Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on takes every value between and , Induced boundary orientation, Diffeomorphisms preserve interior and boundary, Orientable manifolds
Counterexample
Both and are smooth embeddings of into : is the inclusion of an embedded submanifold, and is a linear isomorphism, hence a diffeomorphism of whose composite with is again an embedding.
The two embeddings are regularly homotopic: by [L1], applied with and , all immersions are regularly homotopic because , and and are such immersions; the reflection is, up to an orientation-preserving rotation of the target, the antipodal reparametrisation of the standard inclusion, and the direct formal-data computation identifies the obstruction as a class in , so the two formal data are homotopic and the formal-data criterion gives the regular homotopy. Hence clause 1 of the counterexample holds.
The two embeddings are not isotopic. Suppose an isotopy of embeddings from to existed. Since is compact and is boundaryless, [L2] produces an ambient isotopy of with and , that is .
The sphere complement has precisely the two connected components and : is convex, and in radial paths to a common large sphere followed by great-circle arcs on that sphere (for antipodal endpoints choose a perpendicular unit vector by normalizing the first nonzero coordinate-vector projection) connect any two points. Since , the homeomorphism permutes these components. It cannot send to , since is compact and therefore bounded, whereas is unbounded. Consequently and .
For every , the function is continuous, never zero, and equals one at zero, so [L4] makes it positive for all . Thus preserves the ambient orientation. Because it maps the ball's interior onto itself, its differential takes an outward transverse vector to an outward transverse vector at the sphere: in a boundary chart the inward normal coordinate has positive inward derivative, by invertibility and preservation of the interior. The outward-normal-first rule in [L4] therefore makes orientation preserving. By [L3] its degree is , contradicting the reflection's degree . This proves the orientation argument locally, without a B-page prerequisite.
Therefore and are regularly homotopic but not isotopic, so the statement refuted is false: regular homotopy of embeddings is strictly coarser than isotopy of embeddings for in . The historically first instance, a knotted circle versus the round circle in , is recorded as a boundary rather than proved here, because its non-isotopy invariant belongs to the low-dimensional knot track and not to this run's closure.
Depends on
- $C^k$ maps and multi-index derivative notation in Euclidean space
- The isotopy extension theorem
- Smale's classification of sphere immersions in Euclidean space
- Regular homotopy classes of immersions are formal homotopy classes
- Standard and reflected two-sphere immersions have homotopic formal data in R^3
- Regular homotopy of immersions
- Smooth embeddings
- Degree of an orientation-preserving or reversing diffeomorphism
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Smooth isotopies, diffeotopies and ambient isotopies
- Induced boundary orientation
- Diffeomorphisms preserve interior and boundary
- Diffeomorphisms and local diffeomorphisms of manifolds
- Orientable manifolds
- Intermediate value theorem, by bisection with a canonical left-half rule: a continuous function on $[a,b]$ takes every value between $f(a)$ and $f(b)$
- For every fixed finite size at least one, the determinant of a real square matrix is a polynomial in its matrix entries
- Higher derivatives and the classes $C^k$ and $C^\infty$
- Directional derivatives and partial derivatives of a map $U\subseteq\mathbb{R}^m\to\mathbb{R}^n$
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
99 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
- Morris W. Hirsch, Differential Topology (Graduate Texts in Mathematics 33, Springer 1976; full text retrieved from the Internet Archive Wayback Machine snapshot of the luis.impa.br course copy), Chapter 8 “Isotopy”, §1, printed pp. 177–183 (Theorems 1.1–1.8 and Exercises 3, 7, 9, 10, 11, 16, printed pp. 182–184) (standard reference, not scraped)
- C. T. C. Wall, Differential Topology (Cambridge Studies in Advanced Mathematics 156, Cambridge University Press 2016; full text retrieved from the Internet Archive Wayback Machine snapshot of the ETH Zürich course copy), Chapter 6 §§6.2–6.4, printed pp. 169–192 (Theorem 6.2.1; Propositions 6.3.1 and 6.3.3; Theorems 6.3.2, 6.3.4, 6.3.6, 6.4.5, 6.4.8 and 6.4.9; Lemma 6.3.5) (standard reference, not scraped)