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.
The trefoil sum with its reverse mirror is ribbon
Statement
Assume AC. Let be the standard right-handed trefoil, let be its image under the fixed orientation-reversing reflection of the connected-sum convention, and let denote reversal of the image knot's orientation. Then bounds a smooth ribbon disk in .
Statement references
Facts & Assumptions
Given: AC and the standard oriented trefoil with the fixed mirror convention.
Here a smooth ribbon disk means a smooth proper disk in the standard four-ball for which the radial function is Morse in the interior, with critical points only of indices and ; it has no interior local maxima. This is the radial convention for ribbon disks. (Livingston, Definition 2.3, p.4)
The standard ball-arc connected-sum convention is independent of local choices under AC. (Oriented connected sum and prime knot, The oriented connected sum is independent of its local choices)
Under AC, good slices of a finite smooth transverse family are dense; compact-source isotopies extend ambiently. (Parametric transversality, The isotopy extension theorem, The Axiom of Countable Choice ())
Proof
Given: AC and .
Delete a small straight subarc of in a coordinate ball. Identify its complementary ball with and parametrize the remaining oriented arc by a smooth embedding with endpoints on , interior in the open ball, and transverse radial endpoint collars. These are the standard ball-arc data of [F2]. Move the arc slightly if necessary so that it misses the origin; this is possible by a small translation on its interior, fixed on endpoint collars, since a smooth compact arc in three-space has empty interior and its endpoint collars can be kept outside a small ball about the origin. Put , with and in the interior; transversality gives .
Arrange that is Morse away from its endpoint collars, without changing the arc type. Here are finite perturbation details. The zeros of lie in a compact subinterval. Cover that zero set by finitely many smaller open intervals on each of which a compactly supported smooth function has derivative . For the family , the map is a submersion near this zero set because one parameter derivative is ; on its compact complement is bounded away from zero, so small parameters create no further zeros. Apply [F3] to this finite family and zero in . Choose arbitrarily small good , so every zero of is simple. Endpoint collars stay fixed and inside. Replace by . For sufficiently small parameters this is an isotopy of embeddings, since on a finite chart cover immersion and local injectivity persist in , while compact pairs outside the chart diagonals have a positive separation margin. Its squared radius is . Rename this arc and this function ; the finitely many simple critical points lie in a compact subinterval, so there are only finitely many.
In take the surface . The strip map is an embedding. Its parameter domain is explicitly a smooth disk: the ellipse maps onto it by , where extends smoothly and positively to both endpoints because has simple transverse endpoint zeros of . This map and its inverse are smooth, and every interior vertical fibre is an interval of positive length. Smoothness at those endpoints follows from the implicit function theorem applied to , because is nonzero there; the domain boundary is locally rather than a corner. Equivalently is the regular sublevel of in a slightly extended embedded strip. Consequently it is a smooth compact properly embedded disk, its boundary lies in , its interior lies in the open four-ball, and its intersection with is transverse.
The two boundary arcs of are and . The equatorial sphere meets their union only at . The hemispheres are standard three-balls; projection to identifies their interiors with the interior of , and their lifted arcs represent the original ball-arc pair by [F2]. To see this without a boundary-singular projection, first use transverse endpoint collars to straighten the arcs in smooth hemisphere collars, and then use projection on the compact remaining subarcs; the collar interpolation is an isotopy of the arcs fixing endpoints. Reflection exchanges the hemispheres and reverses the boundary orientation of . The orientation induced on runs along one lifted arc with increasing and along the other with decreasing . Thus the capped oriented boundary arcs are and , with the fixed mirror reflection transported by positive coordinate frames as in [F2]. Gluing these standard hemispherical arc data gives as an oriented knot.
On the squared radial function is . Its interior critical points are exactly with , and their Hessians are . They are nondegenerate, with index or , never . Since , taking its square root preserves these critical indices. Hence the standard radial function makes a ribbon disk by [F1], proving the full conclusion.
Remarks
The construction works for any smooth knot arc; no alternating-diagram algorithm is required. The prohibition is on interior radial maxima. A compact proper disk necessarily has an interior radial minimum.
Depends on
Used by
Dependency tree · two levels
31 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
- Charles Livingston, A Survey of Classical Knot Concordance, arXiv:math/0307077v4 (standard reference, not scraped)
- Brendan Owens and Frank Swenton, An Algorithm to Find Ribbon Disks for Alternating Knots (standard reference, not scraped)
- Brendan Owens and Frank Swenton, An Algorithm to Find Ribbon Disks for Alternating Knots (standard reference, not scraped)