Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedverified 2026-10-22 (gpt-6.1-sol)↗ rests on later material
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 F⊂S3 with boundary K and ordered basis a1,…,a2g of H1(F;Z), let V be the Seifert matrix with entries Vij=lk⁡(ai+,aj). Here lk⁡ is the integer linking number of disjoint oriented cycles in S3, and ai+ is a small push-off in the positive normal direction, chosen so that the positive normal followed by the oriented basis of F gives the orientation of S3. Use the standard knot-invariant conventions ΔK(t)=det⁡(V−tVT) up to units ±tk and σ−1(K)=sign⁡(2(V+VT)), 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 T be the standard right-handed trefoil, let T∗ be its image under a fixed orientation-reversing reflection of S3, and let −T∗ be that image with reversed knot orientation. Define G=T#T and Q=T#(−T∗). Then ΔG(t)≐ΔQ(t)≐(t2−t+1)2, and ∣σ−1(G)∣=4 while σ−1(Q)=0. The oriented prime-factor multisets of G and Q are different. Thus equality of Alexander polynomials does not determine the prime knot summands.

Statement references

Facts & Assumptions

Given: The full AC, knots T,T∗,−T∗,G,Q, positive-push and invariant conventions of the original Statement.

[A1]

Full AC implies countable choice, as required by the prime and smooth knot suppliers. The Axiom of Choice, AC implies DC implies countable choice

[F1]

The actual right-handed trefoil bounds the standard positive two-Hopf-band plumbing, whose positive-push matrix in its ordered core basis is V=(−10−1−1). 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

[F2]

For every knot Seifert surface with the same positive normal and positive-meridian convention, ΔK(t)≐det⁡(V−tVT). The actual boundary connected-sum surface has block matrix VK⊕VJ: 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.

[F3]

At every nonroot point ω, the signature of (1−ω)V+(1−ωˉ)VT 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 ↗

[F4]

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 V in [F1], with all the Statement's knot and orientation conventions.

1.1A1F1F2F3givenconstructalgebra

By [F1] and [F2], ΔT(t)≐det⁡(V−tVT)=det⁡(t−1t−1t−1)=(t−1)2+t=t2−t+1. For −T∗ 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 −V. Its determinant is det⁡(−V+tVT)=det⁡(V−tVT), since the matrix size is two. The two determinants evaluate to 3 at t=−1, so this parameter is nonroot and [F3] applies directly, with no root-average ambiguity.

2.1F1F2F3step 1.1constructalgebra

By [F2], the actual boundary connected-sum surfaces of G=T#T and Q=T#(−T∗) have matrices V⊕V and V⊕(−V). Their block determinants both equal (t2−t+1)2, proving the two Alexander-polynomial identities up to units. Also H−1(V)=2(V+VT)=(−4−2−2−4). Its eigenvalues on the vectors (1,1) and (1,−1) are −6 and −2, respectively. Thus σ−1(T)=−2 and σ−1(−T∗)=2. The corresponding block forms give σ−1(G)=−4 and σ−1(Q)=−2+2=0. These are actual knot-invariant values by [F3], since the sum polynomials at −1 equal 9≠0. In particular ∣σ−1(G)∣=4 as stated.

3.1A1F3F4step 1.1step 2.1constructalgebra∎

By [F4], T and T∗ 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 −T∗ to obtain a nontrivial presentation of T∗; reversing again is the inverse operation, and the unknot remains the unknot. Thus −T∗ is prime. The signatures in step2.1 show that T and −T∗ are distinct oriented knot types, since an oriented ambient isotopy would preserve [F3]'s signature. Therefore the displayed two-prime decompositions have respective multisets {T,T} and {T,−T∗}, which are different. By [F4]'s actual oriented Schubert uniqueness they are the prime-factor multisets of G and Q, 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.

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