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 square knot is slice despite its nonunit Alexander polynomial
Statement refuted
Assume full AC. Let be the right-handed trefoil and let be the square knot in the fixed oriented connected-sum convention. The universal converse assertion “if a knot has nonunit Alexander polynomial, then it is not topologically slice” is false: bounds a smooth properly embedded disk in the standard unit four-ball whose squared radial function has only index- and index- interior critical points, while . Here means equality up to a unit of ; those units are exactly , and the displayed polynomial has nonzero terms in degrees through , so it is not a unit. A knot is topologically slice when it bounds a locally flat disk in , and every smooth proper disk is locally flat. The trefoil itself also has nonunit Alexander polynomial, but this fact alone only places it outside the hypothesis of the Alexander-one sufficient theorem and proves no nonsliceness claim about the trefoil.
Statement references
A knot summed with its reverse mirror bounds a smooth ribbon disk
Smooth proper disks are locally flat topological disks
The right-handed trefoil's positive-push Seifert matrix
The negative-original matrix of the reverse mirror
The Seifert determinant formula for the Alexander polynomial
Full AC, implying the countable-choice hypothesis of the ribbon-disk supplier
Facts & Assumptions
Given: Full AC, the right-handed trefoil , and the fixed reverse-mirror and connected-sum conventions.
The Axiom of Choice: AC supplies a choice function for each family of nonempty sets.
AC implies DC implies countable choice: Full AC implies the countable-choice axiom used by the ribbon-disk construction.
A positive Hopf plumbing gives the trefoil Seifert matrix: For the stated positive Hopf plumbing, .
Seifert pairing and matrix of an oriented knot: In the positive-push convention, the Seifert matrix is in the chosen integral basis.
The reverse-mirror Seifert matrix is the negative original: The reverse-mirror matrix in the image basis is .
The Seifert determinant is the knot Alexander polynomial: for the supplied Seifert matrix.
Oriented connected sum and prime knot: The connected sum is formed by deleting small balls around trivial arcs and gluing the complements by the fixed orientation-reversing boundary identification.
A knot summed with its reverse mirror bounds a ribbon disk: Under AC, bounds a smooth properly embedded ribbon disk in .
Locally flat proper surfaces and concordance collars: Smooth surface charts are also topological locally flat charts.
Proof
The right-handed trefoil matrix is by [F1] in the convention [F2]. Choose the connected-sum balls around short boundary arcs where the Seifert surfaces are standard collars, disjoint from their basis curves and small positive push-offs. The fixed gluing [F5] joins those collars. A basis cycle in one summand and its push-off lie in a ball disjoint from the other summand's curves, so the first cycle bounds a -chain there away from the second; hence all cross linking entries vanish. The combined matrix is therefore by [F3].
Direct calculation gives . For the reverse-mirror block, , whose determinant equals because the rank is two. Since is block diagonal, its determinant is . By [F2] and [F4], this is a representative of .
Expanding gives , which has nonzero coefficients in degrees and and is therefore not a monomial . Since these monomials are exactly the units of , the Alexander polynomial is nonunit. On the other hand, [A2] supplies AC from full AC, so [F7] gives a smooth ribbon disk; by [F8] this disk is locally flat. Thus is topologically slice despite its nonunit Alexander polynomial, refuting the asserted converse. For , the same calculation gives , which only means that the Alexander-one theorem does not apply.
Depends on
- A knot summed with its reverse mirror bounds a ribbon disk
- The Seifert determinant is the knot Alexander polynomial
- Seifert pairing and matrix of an oriented knot
- The reverse-mirror Seifert matrix is the negative original
- A positive Hopf plumbing gives the trefoil Seifert matrix
- Oriented connected sum and prime knot
- Reverse mirror of an oriented knot
- Locally flat proper surfaces and concordance collars
- The Axiom of Choice
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- AC implies DC implies countable choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
41 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
- Arunima Ray, Slice Knots and Knot Concordance (standard reference, not scraped)
- Dale Rolfsen, Knots and Links (standard reference, not scraped)