Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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.

Embedding-dependent unstable normal Thom data

Statement refuted

The actual normal bundle and its unsuspended Thom target of a compact smooth manifold are independent of its embedding, without stabilization.

Facts & Assumptions

Given: The one-point smooth 0-manifold embedded in R and in R2.

[F1]
[F3]

Stable normal bundle is independent of the embedding asserts only stabilized independence.

Counterexample

1.1F1given

At the point its tangent space is zero, so [F1] gives the normal fibers R and R2. These bundles have different ranks and are not isomorphic; rank is preserved by a fiberwise linear isomorphism.

2.1F2F3step 1.1∎

Their Thom spaces are S1 and S2 by [F2]. They are not homeomorphic: removing any point from S1 gives an open interval, and removing any further point disconnects it; removing a point from S2 gives R2, which remains path connected after removing any further point (polygonal paths may be detoured around that point). A putative sphere homeomorphism would preserve these deletion properties. Nevertheless adding one trivial line to the first normal fiber gives the second and suspends its Thom sphere, in accordance with [F3]. This explicitly exhibits why only the stable normal class is intrinsic.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

13 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