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.
Dualizable framed handle link
Definition
Assume countable choice. A dualizable framed handle link is an ordered three-component link in in which is designated as a dotted component representing a -dimensional -handle, and are designated as -framed -handle attaching circles (their framing pushoffs represent their preferred longitudes), the ordered sublink is ambient isotopic as an unframed link to together with a meridian of , the ordered sublink has the same property with in place of , and . Here is half the sum of the signs of the mixed crossings in any regular oriented diagram of ; the linking-number lemma guarantees that this is an integer independent of the chosen diagram. The associated handlebody has one -handle, the -handle represented by , and the two indicated -handles. Dotted-circle notation means that the unknotted component specifies a -handle attached along its two foot balls ; its belt sphere is . A -framed -handle is attached along its attaching region , with the boundary pushoff representing the preferred longitude.
Definition references
Facts & Assumptions
Given: A three-component link in with the component labels and framing data in the Definition and countable choice.
Countable choice, written , is The Axiom of Countable Choice ().
Oriented links in the three-sphere and ambient isotopy: each component is a smooth oriented embedded circle in the standard oriented , and ambient isotopy means an orientation-preserving isotopy of the ambient sphere.
Meridian and preferred longitude: a meridian is the boundary of a normal disk to the component, oriented by the knot and ambient orientations, and the preferred longitude is the degree-one peripheral curve with zero exterior-homology class.
Regular oriented link diagrams and Oriented crossing signs, diagram writhe, and blackboard framing: a regular oriented diagram has finitely many transverse double crossings with over/under data, each assigned the determinant crossing sign.
The mixed crossing sum is even and defines linking number: the half-sum of mixed crossing signs is an integer independent of the regular oriented diagram, and it is symmetric in the two components.
Proof
The definition specifies as dotted and as zero-framed attaching circles. Thus contributes one -handle, while and contribute the two -handles in the stated handlebody.
The two meridional-sublink conditions are invariant under ambient isotopy, and each says that the indicated -handle goes geometrically once over the -handle. The separately stated mixed-crossing condition is a link invariant by [F4], while [F3] fixes the crossing-sign convention; it is not inferred from either meridional-sublink condition.
Depends on
Used by
Dependency tree · two levels
26 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
- Lisa Piccirillo, The Conway knot is not slice (standard reference, not scraped)
- Jennifer Hom, Getting a handle on the Conway knot (standard reference, not scraped)