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 framing, not just the submanifold, determines the Pontryagin-Thom class
Statement refuted
The Pontryagin-Thom class of a framed submanifold depends only on the underlying submanifold, not on the framing.
Facts & Assumptions
Given: The Axiom of Choice (The Axiom of Choice), the standard unknot , and two framings of its normal bundle.
The Hopf framing: the differential of the Hopf map along frames , and the Pontryagin-Thom map of the framed unknot is homotopic to the Hopf map, whose class generates (computed below).
The bounding framing: bounds a smoothly embedded disk ; a normal line field of together with the inward normal of in trivialises , giving a framing of which extends across a compact neat disk in with a rank-two normal framing, constructed in step 1.2; the Pontryagin-Thom map of is therefore nullhomotopic (Framed cobordism of framed submanifolds, The Pontryagin-Thom correspondence in fixed codimension).
A framed submanifold is null-cobordant if and only if its Pontryagin-Thom map is nullhomotopic: the fixed-codimension correspondence is a bijection, and the empty framed submanifold has the constant Pontryagin-Thom map (The Pontryagin-Thom correspondence in fixed codimension).
Framed-cobordant submanifolds have based homotopic Pontryagin-Thom maps (Framed cobordant submanifolds have homotopic Pontryagin-Thom maps).
Counterexample
The Hopf map has fibre . The two affine charts give smooth local sections and ; circle multiplication supplies bundle charts. With on unit representatives, the functions and , divided by their positive sum, give a finite support-subordinate partition on these charts. Thus under AC the supplied numerable circle bundle is a Hurewicz fibration. In the chart the normal differential along is multiplication by , of real rank two, so is regular and a positive basis gives the Hopf framing. The regular-preimage collapse lemma makes its Pontryagin–Thom map homotopic to .
In real coordinates, bounds . Let and put . It has the literal collar and no end at time one. At the cap , , so it is the smooth graph in the sphere ; elsewhere the height gradient there is nonzero. Thus it is a compact neat disk with boundary only . Its normal quotient is framed by the ordered classes of and , which are smooth, nonzero and independent everywhere. On the product collar this pair is : the normal of and the inward normal of within . Taking the dual trivialization defines precisely , constant throughout that collar. Hence this framing is framed null-cobordant, and its collapse is nullhomotopic by [F3].
(The two framed submanifolds have the same underlying manifold.) The Hopf framing and the bounding framing are framings of the normal bundle of the same standard unknot : the underlying closed -submanifold is in both cases.
The unit circle agrees with the quotient-circle model of the supplied universal cover by is a homeomorphism from to the unit circle. For , is path-connected, locally path-connected (small chart balls suffice), and simply connected. The subgroup criterion Lifting criterion for maps from path-connected locally path-connected spaces therefore lifts each based map to . Linear contraction of the based lift gives . The long exact sequence of the Hopf bundle consequently makes an isomorphism, since the adjacent groups and vanish. Degree identifies with and its identity with , so generates and is nonzero.
(Their Pontryagin-Thom classes differ.) By [F1] the Pontryagin-Thom class of is the generator of , computed in steps 1.1 and 2.1. By [F2] the Pontryagin-Thom map of is nullhomotopic, so by [F3] the framed submanifold is framed null-cobordant and its Pontryagin-Thom class is the zero element of . In the isomorphism of [F1] the generator is not zero, so the two classes differ.
(Conclusion.) The two framings of the same underlying submanifold have different Pontryagin-Thom classes; equivalently, by [F4], the two framed submanifolds are not framed cobordant. Hence the Pontryagin-Thom class is not determined by the underlying submanifold alone, and the framing is load-bearing data; the statement refuted is false.
Depends on
- The standard smooth step function
- $[t]\mapsto(\cos 2\pi t,\sin 2\pi t)$ is a homeomorphism from $\mathbb R/\mathbb Z$ to the unit circle
- Lifting criterion for maps from path-connected locally path-connected spaces
- $\mathbb R\to\mathbb R/\mathbb Z$ is a universal covering
- The Axiom of Choice
- Framed cobordism of framed submanifolds
- Framed regular preimages of a map to a sphere
- The collapse of a regular preimage is homotopic to the original map
- Covering homotopies lift by finite local strips
- Framed cobordant submanifolds have homotopic Pontryagin-Thom maps
- Based sphere maps are classified by degree
- $S^n$ is simply connected for every $n\ge2$
- Long exact sequence of homotopy groups of a fibration
- Numerable fiber bundles are hurewicz fibrations
- The Pontryagin-Thom correspondence in fixed codimension
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
102 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
- Andrew Ranicki, Algebraic and Geometric Surgery (Oxford Mathematical Monographs, 2002) (standard reference, not scraped)
- Daniel S. Freed, Bordism: Old and New (lecture notes, UT Austin, Fall 2012) (standard reference, not scraped)
- John Milnor, Topology from the Differentiable Viewpoint (standard reference, not scraped)