Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck pass
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 ι:S2↪R3 of the unit sphere and a linear reflection r:R3→R3 with det⁡r=−1.

[F1]

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).

[L1]

For m=2 and n=3 the Smale classification of sphere immersions records that all immersions S2→R3 are regularly homotopic, because π2(SO(3))=0 (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 π2(SO(3)) is the obstruction to homotoping the two formal data.

[L2]

Under ACω every smooth isotopy of the compact S2 in the boundaryless R3 extends to an ambient isotopy, whose final restriction is the prescribed sphere map (The isotopy extension theorem).

[L3]

A diffeomorphism between nonempty connected oriented boundaryless manifolds has degree +1 if it preserves orientation and −1 if it reverses it (Degree of an orientation-preserving or reversing diffeomorphism); a linear reflection r with det⁡r=−1 preserves the unit ball and reverses the outward-normal-first boundary orientation of S2=∂B3, so r∣S2 has degree −1.

[A1]

Countable choice is inherited from the Smale classification chain and the extension theorem; the reflection computations select nothing (The Axiom of Countable Choice (ACω)).

Counterexample

technique · direct
1.1F1L3

Both ι and r∘ι are smooth embeddings of S2 into R3: ι is the inclusion of an embedded submanifold, and r is a linear isomorphism, hence a diffeomorphism of R3 whose composite with ι is again an embedding.

2.1L1step 1.1A1

The two embeddings are regularly homotopic: by [L1], applied with m=2 and n=3, all immersions S2→R3 are regularly homotopic because π2(SO(3))=0, and ι and r∘ι 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 π2(SO(3))=0, so the two formal data are homotopic and the formal-data criterion gives the regular homotopy. Hence clause 1 of the counterexample holds.

2.2F1L2step 1.1

The two embeddings are not isotopic. Suppose an isotopy of embeddings from ι to r∘ι existed. Since S2 is compact and R3 is boundaryless, [L2] produces an ambient isotopy H of R3 with H0=id and H1∘ι=r∘ι, that is H1∣S2=r∣S2.

3.1F1step 2.2construct

The sphere complement has precisely the two connected components U={∣x∣<1} and V={∣x∣>1}: U is convex, and in V 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 H1(S2)=S2, the homeomorphism permutes these components. It cannot send U to V, since H1(U‾) is compact and therefore bounded, whereas V is unbounded. Consequently H1(U)=U and H1(B3)=B3.

4.1L3L4step 3.1construct

For every x, the function t↦det⁡dHt(x) is continuous, never zero, and equals one at zero, so [L4] makes it positive for all t. Thus H1 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 H1∣S2 orientation preserving. By [L3] its degree is +1, contradicting the reflection's degree −1. This proves the orientation argument locally, without a B-page prerequisite.

5.1step 2.2step 4.1∎

Therefore ι and r∘ι are regularly homotopic but not isotopic, so the statement refuted is false: regular homotopy of embeddings is strictly coarser than isotopy of embeddings for S2 in R3. The historically first instance, a knotted circle versus the round circle in R3, is recorded as a boundary rather than proved here, because its non-isotopy invariant π1(R3∖L) belongs to the low-dimensional knot track and not to this run's closure.

Depends on

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