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 -manifold , there is a finite oriented link and an integer for each component such that the oriented manifold obtained by simultaneous surgery with meridian slopes is orientation-preservingly diffeomorphic to . The empty link is allowed and presents .
Statement references
Facts & Assumptions
Given: Full AC and a nonempty closed connected oriented smooth -manifold .
The Axiom of Choice is the hypothesis of both local suppliers.
Parametrized link-surgery existence for compact oriented three-manifolds: for connected nonempty compact oriented smooth with their prescribed common parametrized boundary, a finite framed link in has surgery diffeomorphic to with the prescribed external boundary parametrization. The proof supplies actual normal disk framings and the prescribed smooth output identification, including the closed case .
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 . The empty diagram gives .
Proof
Apply [F1] with the standard oriented , target , 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 with disjoint actual attaching tubes and a diffeomorphism from its simultaneous framed surgery. Give the orientation extending the standard orientation on the link exterior; the orientation sign of 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.
Orient each of the finitely many components. In a component's oriented framed tube , the framed parallel is for a fixed nonzero normal vector . Its projection to the core has degree . 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 for an integer . This also follows by writing the normal vector in the preferred trivialization: its winding is the integer . 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.
The disjoint attaching tubes in step 1.1 permit these fillings simultaneously; step 2.1 identifies each with the integral convention in [F2]. If preserves orientation, this is the required presentation. Otherwise reflect the standard by an orientation-reversing diffeomorphism , transport each component orientation, and replace each integer by . The positive meridian and preferred longitude of the reflected component satisfy and : reflection reverses the oriented normal disk, while preserving the degree-one and null-homology properties that characterize the longitude. Thus . To see the oriented effect on the filled manifold, write an original attaching map as . On the filling solid torus use the orientation-reversing diffeomorphism , which fixes its oriented meridian. Choose reflected attaching maps ; these have the required slopes and glue oriented solid tori to the reflected exterior. The maps on the exterior and on each filling agree across these seams and their product collars, giving an orientation-reversing diffeomorphism to the reflected surgery manifold. Consequently preserves orientation. This covers both orientation signs without strengthening [F1].
If the link is empty, the same reflection argument applies directly to . By [F2] its surgery result is , and the empty diagram is an allowed presentation of the standard oriented . 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
- Justin Roberts, Kirby calculus in manifolds with boundary (standard reference, not scraped)
- Nikolai Saveliev, Lectures on the Topology of 3-Manifolds (standard reference, not scraped)
- Qiang E, Fengchun Lei, and Fengling Li, A Proof of Lickorish and Wallace’s Theorem (standard reference, not scraped)