Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedPipeline-generatedverified 2026-10-22 (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.

Lickorish–Wallace framed-link presentation theorem

Statement

Assume the Axiom of Choice. For every nonempty closed connected oriented smooth 3-manifold M, there is a finite oriented link L=⋃i∈IKi⊂S3 and an integer ni for each component such that the oriented manifold obtained by simultaneous surgery with meridian slopes ni[μi]+[λi] is orientation-preservingly diffeomorphic to M. The empty link is allowed and presents S3.

Facts & Assumptions

Given: Full AC and a nonempty closed connected oriented smooth 3-manifold M.

[A1]

The Axiom of Choice is the hypothesis of both local suppliers.

[F1]

Parametrized link-surgery existence for compact oriented three-manifolds: for connected nonempty compact oriented smooth N,M with their prescribed common parametrized boundary, a finite framed link in N has surgery diffeomorphic to M with the prescribed external boundary parametrization. The proof supplies actual normal disk framings and the prescribed smooth output identification, including the closed case N=S3.

[F2]

Integral framed-link surgery diagram: a component's preferred longitude is the unique degree-one parallel with zero homology class in its individual knot exterior. Its positive meridian and preferred longitude form the peripheral basis, and integer surgery fills along nμ+λ. The empty diagram gives S3.

Proof

1.1givenA1F1construct

Apply [F1] with the standard oriented N=S3, target M, and empty external boundary. The hypotheses hold: both manifolds are connected, nonempty, compact and oriented, and their boundaries have the unique empty identification. The supplier gives a finite framed link L⊂S3 with disjoint actual attaching tubes and a diffeomorphism f:Q→M from its simultaneous framed surgery. Give Q the orientation extending the standard orientation on the link exterior; the orientation sign of f remains to be checked. Its normal disk framings are the actual attaching framings of its four-dimensional two-handle trace; no arbitrary rational filling has been introduced.

2.1F1F2step 1.1construct

Orient each of the finitely many components. In a component's oriented framed tube S1×D2, the framed parallel is t↦(t,v) for a fixed nonzero normal vector v. Its projection to the core has degree +1. In the positive-meridian/preferred-longitude basis from [F2], the meridian has degree zero and the preferred longitude has degree one, so this parallel has class ni[μi]+[λi] for an integer ni. This also follows by writing the normal vector in the preferred trivialization: its winding is the integer ni. The surgery meridian of a framed two-handle is precisely this parallel, by the explicit exchanged disk-factor construction in [F1]. Thus every component has exactly the required integer slope, with the full original normal framing retained.

3.1F1F2step 1.1step 2.1construct

The disjoint attaching tubes in step 1.1 permit these fillings simultaneously; step 2.1 identifies each with the integral convention in [F2]. If f:Q→M preserves orientation, this is the required presentation. Otherwise reflect the standard S3 by an orientation-reversing diffeomorphism r, transport each component orientation, and replace each integer ni by −ni. The positive meridian and preferred longitude of the reflected component satisfy [μi′]=−r∗[μi] and [λi′]=r∗[λi]: reflection reverses the oriented normal disk, while preserving the degree-one and null-homology properties that characterize the longitude. Thus r∗(ni[μi]+[λi])=−ni[μi′]+[λi′]. To see the oriented effect on the filled manifold, write an original attaching map as gi:∂(D2×S1)→∂E. On the filling solid torus use the orientation-reversing diffeomorphism c(z,w)=(z,wˉ), which fixes its oriented meridian. Choose reflected attaching maps gi′=r∘gi∘c−1; these have the required slopes and glue oriented solid tori to the reflected exterior. The maps r on the exterior and c on each filling agree across these seams and their product collars, giving an orientation-reversing diffeomorphism R:Q→Q′ to the reflected surgery manifold. Consequently f∘R−1:Q′→M preserves orientation. This covers both orientation signs without strengthening [F1].

4.1F2step 3.1∎

If the link is empty, the same reflection argument applies directly to S3. By [F2] its surgery result is S3, and the empty diagram is an allowed presentation of the standard oriented S3. Together with step 3.1 this proves the claim.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

17 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