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 Dehn twist of Heegaard gluing is integral surgery
Statement
Assume . Let be a Heegaard splitting of a closed oriented smooth -manifold, let , and let be an embedded circle with a chosen annular neighbourhood. If is replaced by or , where is a Dehn twist in the chosen annular coordinates, the resulting oriented -manifold is obtained from by one surgery on a knot obtained by pushing into the interior of . The annulus between and the boundary of a tubular neighbourhood of supplies a framing; the surgery meridian is identified with or , according to the twist direction, where is the meridian of and is the parallel determined by that annulus. Thus the surgery coefficient relative to this framing is integral with absolute value .
Statement references
Facts & Assumptions
Given: The Heegaard splitting, an embedded circle , its chosen annular coordinates, the gluing map , and .
Dehn twist on an oriented surface: in oriented annular coordinates a Dehn twist adds one full turn between the two boundary circles and is the identity outside the annulus.
Heegaard splitting of a closed oriented three-manifold: is obtained by gluing two handlebodies along by an orientation-reversing boundary diffeomorphism.
p-surgery on a smooth m-manifold: surgery removes a framed tubular neighbourhood and glues in the complementary disk-factor piece using the prescribed framing on the common boundary.
is the countable-choice hypothesis The Axiom of Countable Choice () used for the tubular and collar data.
Proof
Push a small distance into to obtain an embedded knot and choose a closed tubular neighbourhood disjoint from . The collar between and the boundary of is an embedded annulus ; its parallel boundary curve on is . Choose the product coordinates on so that the meridian bounds a normal disk.
Cut along and reglue the two annular faces after one full turn. In annular coordinates the turn adds to the angular coordinate between the two ends and is stationary near the seams. Thus on the induced map is (or its inverse if the turn is reversed). On , a meridian crossing the annulus once returns with one extra longitude traverse, so the induced homology shear is or , respectively; the longitude is fixed. The operation fixes the rest of and is smooth after rounding the product corners.
Glue the identity on to the cut-and-reglued map on the complement of . Along the maps agree because the new gluing is ; hence they give an orientation-preserving diffeomorphism between the two knot exteriors. The meridian of the replacement solid torus is identified with , exactly the framed surgery slope from step 2.1. By [F3], filling this boundary is the stated integral surgery, so its result is the Heegaard-glued manifold with the twisted gluing map.
The annular parallel and its product framing are part of the supplied data, and the only auxiliary collar/tubular choices are within the interface [A1]. The construction therefore uses an actual framed knot and introduces no rational coefficient.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
18 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
- Nikolai Saveliev, Lectures on the Topology of 3-Manifolds (standard reference, not scraped)