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.
The Pontryagin-Thom map of the standard framed equator
Example
Assume . For let be the equator, framed by the outward unit normal of the closed northern hemisphere. The standard hemisphere sweep in is a compact neat framed cobordism from this framed equator to the empty manifold, so the framed equator is framed null-cobordant and its Pontryagin-Thom map is nullhomotopic; for the two equator points carry opposite signs and the signed count is . Stabilizing this fixed -dimensional equator raises its codimension, not its dimension, and suspends its zero collapse class. When , this zero-dimensional example contrasts with a single positive point, which represents in and in the zeroth stable stem.
Facts & Assumptions
Given: An integer , the sphere with its standard orientation, the equator , and the outward unit normal field of the closed northern hemisphere along its boundary.
A framing of a closed embedded submanifold is a trivialization of its normal bundle; the normal bundle of the equator in is the rank-one bundle spanned by in the height coordinate , and trivializes it (Framings of a normal bundle).
The Pontryagin-Thom map of a closed framed codimension- submanifold is ; for the empty submanifold the tube is empty, the collapse is the constant map to the basepoint and the Pontryagin-Thom map of is the constant based map (The Pontryagin-Thom map of a framed submanifold).
Framed-cobordant closed framed submanifolds have based homotopic Pontryagin-Thom maps, the empty framed submanifold included (Framed cobordant submanifolds have homotopic Pontryagin-Thom maps, Framed cobordism of framed submanifolds).
Framed cobordism classes of closed framed -manifolds of are classified by the signed count, a single positively framed point realizes and its orientation reversal , and degree is an isomorphism (computed below).
Equatorial stabilization sends the class of to the class of the equatorial inclusion with the equatorial normal prepended, and the Pontryagin-Thom class of a stabilization is the suspension (Stabilized framed cobordism and the framed bordism group, Stabilizing a framed submanifold suspends its Pontryagin-Thom map).
Countable Choice is inherited from the framed-cobordism, transversality and Pontryagin--Thom suppliers (The Axiom of Countable Choice ()). The finite signed count itself requires no choice.
Verification
Using [A1] for the Pontryagin–Thom and regular-value degree suppliers, for a finite framed set in , the centre of the collapse target has precisely that set as its regular preimage, with differential signs equal to its framing signs. The regular-value degree formula therefore gives degree equal to the signed count. Degree classifies based self-maps of , and the fixed-codimension Pontryagin--Thom bijection transfers this classification to framed cobordism. A single positive point has degree and its reversal degree .
(The equator and its framing.) The equator is a closed embedded -submanifold of ; in the height coordinate its normal bundle is the rank-one bundle spanned by , and the restriction of is a nonvanishing section, hence a framing. For the equator is the two-point set and at both points; with respect to the standard orientation of , whose positive tangent is at and at , the first framing is negative and the second positive.
Let be the smooth step function and put . For , take . Near , , so is the product of the equator with time. For , , and at the cap the derivative makes the defining function a submersion. In local pole coordinates the surface is the smooth graph ; it has no cap boundary. Elsewhere on the height gradient in is nonzero. Thus is a compact neat embedded -manifold with only the equatorial boundary at time zero and a literal product collar. The field is a nonvanishing normal field: its two components cannot vanish together on . Near time zero it is , the outward normal of the northern hemisphere, with no time dependence. Trivialize the quotient normal by sending to . This frames and extends the equator framing throughout its end collar. Hence is a framed null-cobordism.
(Nullhomotopy and the one-dimensional count.) By step 1.3 and [F3] the Pontryagin-Thom map of is based homotopic to the Pontryagin-Thom map of the empty framed submanifold, which is the constant map by [F2]; hence the framed equator is framed null-cobordant and its Pontryagin-Thom map is nullhomotopic. For this is also visible in the classification of [F4]: the two equator points carry signs and by step 1.2, so their signed count is and their framed class is the class of the empty -manifold.
Stabilizing this equator preserves its dimension and changes its ambient sphere from to , hence its codimension from one to two. By [F5], its collapse class suspends from the zero element of to zero in , and remains zero under iteration. For both this equator and a single positively framed point are zero-dimensional; by [F4] their classes are and , respectively. For a single point belongs to a different dimension and is not a generator of the equator's stable stem.
Depends on
- The standard smooth step function
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Framed cobordism of framed submanifolds
- Framings of a normal bundle
- The Pontryagin-Thom map of a framed submanifold
- Stabilized framed cobordism and the framed bordism group
- Framed cobordant submanifolds have homotopic Pontryagin-Thom maps
- Stabilizing a framed submanifold suspends its Pontryagin-Thom map
- Based sphere maps are classified by degree
- The Pontryagin-Thom correspondence in fixed codimension
- Regular-value formula for degree
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
70 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 Milnor, Topology from the Differentiable Viewpoint (standard reference, not scraped)
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)