Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
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 one-term relation and framing

Statement

Let R be a commutative ring, let n≥1, and let V be an R-valued invariant of unframed oriented knots of type at most n. Then DnV(K)=0 whenever the degree-n chord diagram of the n-singular knot K has a chord that intersects no other chord. This is the 1T vanishing law for unframed symbols. In the framed category no universal 1T vanishing law holds: under ACω, integer-valued framed self-linking has type at most 1 and has derivative 2 on a one-chord diagram with blackboard framing.

Facts & Assumptions

Given: An unframed invariant V of type at most n, its singular-knot finite-difference convention, and the chord-intersection convention in the statement. The separate framed witness assumes ACω.

[F1]

Singular knots and Vassiliev derivatives: the finite difference is the alternating sum over independent resolutions, and type at most n means that every (n+1)-st finite difference vanishes; framed singularities may be double points or simple framing zeroes.

[F2]

Framed chord diagrams and four-term relations: two chords intersect when their endpoints alternate, a chord is isolated when it intersects no other chord, and 1T sets an unframed diagram with an isolated chord equal to zero.

[F3]

Oriented crossing signs, diagram writhe, and blackboard framing: crossing sign is sgn⁡det⁡(vover,vunder), the writhe is the sum of crossing signs, and the positive Artin half twist has sign +1.

[F4]

Framed knots, self-linking, and the Seifert framing: under ACω, framed self-linking is the linking number of the knot and a sufficiently small push-off along its framing section.

[F5]

Small framed push-offs define a well-defined self-linking number: under ACω, that push-off linking number is independent of the sufficiently small radius, framing representative, and normalized tubular chart.

[F6]

Blackboard self-linking equals diagram self-writhe: under ACω, the self-linking of the blackboard framing of a regular knot diagram equals its writhe.

[F7]

Compute oriented linking number from a diagram: for a two-component diagram, linking number is one half the signed sum of mixed crossing signs.

[F8]

The diagram linking-number scan terminates and returns the stated integer: under ACω, the finite scan returns the integer linking number.

[F9]

External input: framing classes are classified by the winding integer in π1(SO(2)), and a unit framing twist changes self-linking by one. Elhamdadi, Hajij, and Istvan identify the framing integer with push-off self-linking ("Framed Knots," §3, PDF pp. 7–9, and §6, PDF pp. 15–16). Only these passages are used; the sign of the positive twist is fixed directly by the oriented meridian calculation in step 1.2.

[A1]

The Axiom of Countable Choice (ACω): ACω asserts that every sequence of nonempty sets has a choice function; it is used only for the framed self-linking supplier branch, not for the finite unframed crossing-change argument.

Proof

Given: As above. The unframed argument is choice-free; the framed witness is a separate ACω branch.

1.1givenF1F2F3choose

Let K be an n-singular knot with an isolated chord corresponding to the double point p. Its two preimages split the parameter circle into arcs A and B. Isolation means no other marked double point has one preimage on each of A and B. Choose a regular projection. There are finitely many ordinary crossings between the arcs. Switch them one at a time until every crossing has the A-branch over the B-branch. Each switch changes DnV by, up to sign, the (n+1)-fold difference on the knot with that ordinary crossing newly marked; this is zero by [F1]. Thus these switches preserve DnV(K).

1.2givenA1F1F3F4F5F6F7F8F9algebra

For the framed branch, let V be integer-valued self-linking. On a regular framed diagram compare a unit representative of its framing section f with the unit blackboard normal section b. Their oriented fibrewise angle defines a map S1→S1; let τ(f,b)∈Z be its degree. In the tubular coordinates determined by (b,Jb), the push-off along f winds τ(f,b) times meridionally relative to the blackboard push-off. A positive meridian links the core once, since its oriented normal disk meets the core once with the sign fixed by the positive frame (T,b,Jb). Thus sl⁡(K,f)=sl⁡(K,b)+τ(f,b); [F9] supplies the unit-twist normalization, and this local orientation calculation fixes its sign. Equivalently, each positive turn creates a local clasp with two positive mixed crossings, and [F7]–[F8] give the same linking increment. By [F6], sl⁡(K,b)=wr⁡(D). For a framed singular knot with two disjoint singularities, all changes outside their local balls are fixed. Inside each ball, resolving a double point changes only that crossing's writhe contribution and local angle path; resolving a framing zero changes only the local angle path. Winding degrees add under concatenation, so the four self-linking values have the form C+c1ϵ1+c2ϵ2 for constants independent of (ϵ1,ϵ2). Their alternating second difference is (C+c1+c2)−(C+c1−c2)−(C−c1+c2)+(C−c1−c2)=0. This covers any pair of double-point or framing-zero singularities, so self-linking has type at most 1. On a one-chord diagram with blackboard framing, the two crossing resolutions have writhes +1 and −1 and zero relative twist; their derivative is 1−(−1)=2 by [F3] and [F6]. This is nonzero over Z, so no universal framed 1T vanishing law is valid. The ACω assumption enters only through [F4]–[F9] and [A1].

2.1givenF1step 1.1construct∎

The consistent over-under assignment lets the lifts of the interiors of A and B lie in opposite open half-spaces bounded by a plane through p. Cap each arc on its own side by a short boundary-parallel arc to obtain oriented singular knots A∘ and B∘ carrying the remaining marked double points. The two resolutions at p are the connected sums A∘#B∘ and B∘#A∘. An orientation-preserving half-turn of the round S3 that exchanges the two balls of the connected-sum decomposition carries the first knot, with its orientation, to the second; the path of rotations through angles from 0 to π is an ambient isotopy. Hence the two resolutions are ambient-isotopic, so their V-values agree and DnV(K)=0.

Depends on

Used by

Dependency tree · two levels

29 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