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 Alexander polynomial does not determine the prime knot summands
Statement refuted
Assume the full Axiom of Choice. For an oriented Seifert surface with boundary and ordered basis of , let be the Seifert matrix with entries . Here is the integer linking number of disjoint oriented cycles in , and is a small push-off in the positive normal direction, chosen so that the positive normal followed by the oriented basis of gives the orientation of . Use the standard knot-invariant conventions up to units and , where the matrix sign is the number of positive eigenvalues minus the number of negative eigenvalues; independence of the chosen surface and basis is part of the Seifert-form invariance theorems. Let be the standard right-handed trefoil, let be its image under a fixed orientation-reversing reflection of , and let be that image with reversed knot orientation. Define and . Then , and while . The oriented prime-factor multisets of and are different. Thus equality of Alexander polynomials does not determine the prime knot summands.
Statement references
Facts & Assumptions
Given: The full AC, knots , positive-push and invariant conventions of the original Statement.
Full AC implies countable choice, as required by the prime and smooth knot suppliers. The Axiom of Choice, AC implies DC implies countable choice
The actual right-handed trefoil bounds the standard positive two-Hopf-band plumbing, whose positive-push matrix in its ordered core basis is . The handedness and negative diagonal signs are the established geometric convention, not the differently labeled positive matrix in the source-specific KT06 example. A positive Hopf plumbing gives the trefoil Seifert matrix ↗, The canonical positive three-crossing braid has the negative trefoil form
For every knot Seifert surface with the same positive normal and positive-meridian convention, . The actual boundary connected-sum surface has block matrix : the old bases lie in separated balls and both cross-linking blocks vanish. The Seifert determinant is the knot Alexander polynomial ↗, The knot Alexander polynomial multiplies under connected sum ↗, Proof2.1–4.1.
At every nonroot point , the signature of is an oriented knot invariant independent of surface and basis. The full knot-surface S-equivalence and stabilization proofs now establish this actual interface. Levine–Tristram Hermitian form and signature ↗, Seifert matrices of a knot are S-equivalent ↗, Seifert stabilization preserves the Levine–Tristram signature ↗
The right trefoil is prime, reflection preserves nontriviality and primality, and the oriented prime decomposition is unique up to ordering and insertion/deletion of unknot factors. The right trefoil is prime, Mirroring preserves primeness of an oriented knot, Existence and uniqueness of prime decomposition for oriented knots, Oriented connected sum and prime knot
Refutation
Given: The actual right-trefoil matrix in [F1], with all the Statement's knot and orientation conventions.
By [F1] and [F2], For use the reflected spanning surface with its surface orientation reversed, so its boundary is the reversed reflected knot. Its positive normal is the reflected original positive normal: ambient reflection and surface reversal each negate the orientation, so their effects cancel in the normal-first convention. Reflection negates linking. The transported homology basis on this actual surface consequently has matrix . Its determinant is , since the matrix size is two. The two determinants evaluate to at , so this parameter is nonroot and [F3] applies directly, with no root-average ambiguity.
By [F2], the actual boundary connected-sum surfaces of and have matrices and . Their block determinants both equal , proving the two Alexander-polynomial identities up to units. Also Its eigenvalues on the vectors and are and , respectively. Thus and . The corresponding block forms give and . These are actual knot-invariant values by [F3], since the sum polynomials at equal . In particular as stated.
By [F4], and are nontrivial prime oriented knots. Reversal of knot orientation also preserves these properties: reverse both factors and the two local oriented arcs in any purported nontrivial connected-sum presentation of to obtain a nontrivial presentation of ; reversing again is the inverse operation, and the unknot remains the unknot. Thus is prime. The signatures in step2.1 show that and are distinct oriented knot types, since an oriented ambient isotopy would preserve [F3]'s signature. Therefore the displayed two-prime decompositions have respective multisets and , which are different. By [F4]'s actual oriented Schubert uniqueness they are the prime-factor multisets of and , independent of a chosen decomposition. Together with their equal Alexander polynomials, this proves the entire original refutation. No planned matrix interface or conditional prime/invariant premise remains.
Sources
Oriented connected sum and prime knot
Existence and uniqueness of prime decomposition for oriented knots
Seifert pairing and matrix of an oriented knot ↗
The Seifert determinant is the knot Alexander polynomial ↗
The knot Alexander polynomial multiplies under connected sum ↗
Levine–Tristram Hermitian form and signature ↗
Seifert stabilization preserves the Levine–Tristram signature ↗
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
24 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
- Burde and Zieschang, Knots, 2nd revised and extended edition (standard reference, not scraped)
- Stefan Friedl, Introduction to Knots and Links, 2024 lecture notes (standard reference, not scraped)