Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck 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 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 U⊆S3, and two framings of its normal bundle.

[F1]

The Hopf framing: the differential of the Hopf map along U=h−1([1:0]) frames U, and the Pontryagin-Thom map of the framed unknot (U,h∗b) is homotopic to the Hopf map, whose class generates π3(S2)≅Z (computed below).

[F2]

The bounding framing: U bounds a smoothly embedded disk D⊆S3; a normal line field of D together with the inward normal of U in D trivialises ν(U⊆S3), giving a framing φD of U which extends across a compact neat disk in S3×I with a rank-two normal framing, constructed in step 1.2; the Pontryagin-Thom map of (U,φD) is therefore nullhomotopic (Framed cobordism of framed submanifolds, The Pontryagin-Thom correspondence in fixed codimension).

[F3]

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

[F4]

Framed-cobordant submanifolds have based homotopic Pontryagin-Thom maps (Framed cobordant submanifolds have homotopic Pontryagin-Thom maps).

Counterexample

1.1givenconstructalgebra

The Hopf map h(z1,z2)=[z1:z2] has fibre U={z2=0}. The two affine charts give smooth local sections (1,w)/1+∣w∣2 and (v,1)/1+∣v∣2; circle multiplication supplies bundle charts. With a=∣z1∣2 on unit representatives, the functions σ(4a−1) and σ(3−4a), 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 w=z2/z1 chart the normal differential along U is multiplication by 1/z1, of real rank two, so [1:0] is regular and a positive basis gives the Hopf framing. The regular-preimage collapse lemma makes its Pontryagin–Thom map homotopic to h.

1.2F2F3construct

In real coordinates, U={x3=x4=0}⊂S3 bounds D={x4=0,x3≥0}. Let h(t)=2tσ(8t−1) and put W={(x,t):x∈S3, x4=0, x3=h(t), 0≤t≤1/2}. It has the literal collar U×[0,1/8) and no end at time one. At the cap x3=1,t=1/2, h′=2, so it is the smooth graph t=x3/2 in the sphere x4=0; elsewhere the height gradient there is nonzero. Thus it is a compact neat disk with boundary only U×{0}. Its normal quotient is framed by the ordered classes of e4 and (∇S2x3,−h′), which are smooth, nonzero and independent everywhere. On the product collar this pair is (e4,e3): the normal of D and the inward normal of U within D. Taking the dual trivialization defines precisely φD, constant throughout that collar. Hence this framing is framed null-cobordant, and its collapse is nullhomotopic by [F3].

1.3F1F2given

(The two framed submanifolds have the same underlying manifold.) The Hopf framing (U,h∗b) and the bounding framing (U,φD) are framings of the normal bundle of the same standard unknot U⊆S3: the underlying closed 1-submanifold is U in both cases.

2.1step 1.1algebra

The unit circle agrees with the quotient-circle model of the supplied universal cover by [t]↦(cos⁡2πt,sin⁡2πt) is a homeomorphism from R/Z to the unit circle. For j≥2, Sj 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 Sj→S1 to R. Linear contraction of the based lift gives πj(S1)=0. The long exact sequence of the Hopf bundle consequently makes h∗:π3(S3)→π3(S2) an isomorphism, since the adjacent groups π3(S1) and π2(S1) vanish. Degree identifies π3(S3) with Z and its identity with 1, so [h]=h∗[id] generates π3(S2) and is nonzero.

3.1F1F2F3step 1.1step 1.3step 2.1

(Their Pontryagin-Thom classes differ.) By [F1] the Pontryagin-Thom class of (U,h∗b) is the generator of π3(S2)≅Z, computed in steps 1.1 and 2.1. By [F2] the Pontryagin-Thom map of (U,φD) is nullhomotopic, so by [F3] the framed submanifold (U,φD) is framed null-cobordant and its Pontryagin-Thom class is the zero element of π3(S2). In the isomorphism π3(S2)≅Z of [F1] the generator is not zero, so the two classes differ.

4.1F1F2F4step 3.1∎

(Conclusion.) The two framings of the same underlying submanifold U 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

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