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.
Stabilizing a framed submanifold suspends its Pontryagin-Thom map
Statement
Assume . For , , equatorial stabilization of a closed framed -submanifold of satisfies The new equatorial normal is prepended, agreeing with the new first smash coordinate in the sphere-prespectrum convention. Thus the levelwise bijections intertwine stabilization and suspension.
Facts & Assumptions
Given: as above, its equatorial stabilization, and the suspension map .
The stabilized framing prepends the chosen equatorial normal, and stabilization respects framed cobordism (Stabilized framed cobordism and the framed bordism group).
The sphere-prespectrum bonding map uses with the new coordinate first (Suspension and sphere prespectra, Stable stems of the sphere). Smash products and their coherence are Smash product of based spaces and Canonical associativity, symmetry, and unit maps for smash products.
The normalized collapse is smooth, constant off a small tube, and has its given framing as centre differential (The Pontryagin-Thom map of a framed submanifold). A continuous sphere-valued map smooth near a regular fibre is homotopic to the collapse of that framed fibre (The collapse of a regular preimage is homotopic to the original map).
The fixed-codimension correspondence and the based/free identification are The Pontryagin-Thom correspondence in fixed codimension and Based and free homotopy classes of maps between spheres agree.
Proof
Choose a point outside , possible because a positive-codimension submanifold has empty interior. A plane-rotation path can move that point to the chosen sphere basepoint; transporting and its framing along this path gives a framed cobordism (flatten the time at its ends). Thus we may choose a representative avoiding the basepoint. Take its tube small enough to avoid that point too. Its collapse is then based on itself, , and constant on a neighbourhood of its basepoint, with and centre differential .
Write the sphere complements as and , choosing an equatorial stereographic chart of the next sphere in which the equator is and the chosen new normal points in the positive first coordinate. The smash is the one-point compactification of : the quotient of the compact product of the two one-point compactifications has exactly this open complement of its collapsed wedge, and its neighbourhoods at the collapsed point have compact complements. Under this identification is It is continuous by the smash quotient, represents , and near its centre fibre it is smooth. Its centre preimage is exactly , with normal differential , the prepended framing of [F1]. This is a statement about the class, not an assertion that a radial stabilized tube collapse equals a suspension pointwise.
By the continuous local-smooth version of [F3], is homotopic to the collapse of its framed centre preimage, namely . Hence its free class is , and [F4] identifies the corresponding based classes. Since , the desired identity follows. Both constructions respect classes, so it gives a map of directed systems.
Depends on
- Based and free homotopy classes of maps between spheres agree
- The collapse of a regular preimage is homotopic to the original map
- Stabilized framed cobordism and the framed bordism group
- The Pontryagin-Thom correspondence in fixed codimension
- A framing identifies the Thom target with a sphere smash product
- The Pontryagin-Thom map of a framed submanifold
- Adding a trivial normal line suspends the Thom space
- Reduced cone suspension and cofiber sequence
- Loop suspension adjunction on based homotopy classes
- Smash product of based spaces
- Canonical associativity, symmetry, and unit maps for smash products
- Suspension and sphere prespectra
- Stable stems of the sphere
Used by
Dependency tree · two levels
58 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
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- Andrew Ranicki, Algebraic and Geometric Surgery (Oxford Mathematical Monographs, 2002) (standard reference, not scraped)
- J. P. May, A Concise Course in Algebraic Topology (standard reference, not scraped)