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.
Essential torus curves with the same primitive class are isotopic
Statement
Let be oriented by , and identify with in the standard basis, so the algebraic intersection of classes is . Let be smooth embedded circles that are not null-homotopic. Orient them so that their homology classes agree, and suppose their common class is primitive, meaning it is not an integer multiple with . Then and are isotopic through embedded circles in .
Statement references
Facts & Assumptions
Given: The torus and two oriented essential smooth embedded circles with common primitive class .
Proof
Since is primitive, Bezout's identity gives with . The linear torus diffeomorphism taking the basis to the standard basis takes both curves to curves of class . It is enough to prove the claim for that class.
Put the two curves in transverse position. If they intersect, lift them to the annular cover . Each lift is an essential embedded circle, and the deck translates of each one are disjoint. In the universal cover of , a lift of either circle is a proper line invariant under horizontal unit translation and contained in a bounded horizontal strip; all such lines have the same two ends. The signed intersection sum in a fundamental period is zero because both curves have class . Thus intersections have both signs. Two successive intersections of opposite sign cut off a bounded region between subarcs of the two lines. Choose among such regions one with the least number of interior intersections and, among those, least horizontal width modulo deck translation. If a lifted arc entered the region, its first entry and exit would cut off a region with fewer interior intersections; if a nontrivial deck translate met it, the overlap would yield a region of smaller horizontal width. Hence its interior is disjoint from all lifted arcs and translates, and its projection is an embedded bigon in . Isotoping one arc across the bigon removes two intersections and creates none. Compactness and transversality give finitely many intersections, so finitely many such isotopies make the curves disjoint.
The disjoint curves still have primitive class , so neither bounds a disk. Cutting the torus along the second curve gives a connected orientable surface with two boundary circles and Euler characteristic zero, hence an annulus. The first curve remains essential in that annulus. Cutting the annulus along it gives two annuli, so it is parallel to the second curve and isotopic to it. Composing this isotopy with the finite bigon-removal isotopies in step 2.1 proves the assertion for the original pair; undoing the linear diffeomorphism proves it for .
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Alessia Cattabriga and Stefano Francaviglia, Knot Theory and Applications: Lecture Notes, §4.4 and §5.1.1 (standard reference, not scraped)