Alphabeta Math
TheoremStatement: 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 Kontsevich integral induces the identity on the associated graded

Statement

Assume ACω. Let K be an n-singular oriented knot with n≥0 transverse double points and chord diagram D∈Anun⊗QC. Choose disjoint crossing balls and a common height presentation so that the two branches at every singular point are monotone in height inside their ball, all 2n resolutions are strict Morse, and their height functions and number r of local maxima agree outside the crossing balls. Define

ΔnI(K):=∑ϵ∈{+1,−1}n(∏i=1nϵi)I(Kϵ).

Then ΔnI(K) has zero homogeneous components in degrees m<n, its degree-n component is exactly D, and all remaining terms have degree greater than n. For n=0, the degree-zero component is the empty diagram with coefficient 1. The conclusion is in the unframed 4T+1T chord-diagram completion and makes no rational-coefficient claim.

The drawing shows a singular crossing and the two oriented resolutions. The plus resolution is the one with positive determinant crossing sign; the drawing fixes no analytic estimate and is not used in the proof.

xtsingular+¡

Facts & Assumptions

Given: ACω, an n-singular oriented knot, its disjoint transverse crossing balls, and the common strict Morse height of all resolutions.

[F1]

Singular knots and Vassiliev derivatives: an n-singular knot has n disjoint transverse double points; its nth finite difference is the alternating sum of the 2n positive and negative resolutions.

[F2]

The Kontsevich integral on parenthesized braids: Z(K) is the degreewise configuration integral in the unframed 4T+1T completion, and I(K)=Z(K)Z(H)−r(K).

[F3]

Framed chord diagrams and four-term relations: an isolated chord is zero in the unframed target, and the 4T relation identifies the local endpoint slides.

[F4]

Oriented crossing signs, diagram writhe, and blackboard framing: the positive crossing sign is sgn⁡det⁡(vover,vunder) in the positively oriented projection plane, with the positive Artin half twist assigned sign +1.

[F5]

Convergence and needle estimates for Kontsevich integrals: the configuration sum for each fixed strict Morse presentation converges absolutely degreewise. Its controlled local-cap estimate includes explicit uniformity hypotheses and logarithmic factors; the principal-symbol conclusion below uses the separate established external input [F7].

[A1]

The Axiom of Countable Choice (ACω): ACω is the countable-choice axiom used by the ambient-isotopy supplier.

[F6]

Braid and knot isotopy invariance of the normalized integral: under ACω, the normalized series is invariant under ambient isotopy, and changing a strict Morse presentation of a resolution does not change its value.

[F7]

External input — the principal symbol of the configuration integral. Chmutov–Duzhin–Mostovoy, §8.8.1, printed pp. 239–240, equation (2) and its proof, establishes for a singular Morse tangle TD with n transverse double points that its alternating unnormalized integral has no degree below n and degree-n term D in the unframed diagram quotient. The proof treats n=0, the local singular two-braid, localization for an arbitrary one-singular tangle, and vertical factorization for general n. Its hypotheses are the same unframed configuration integral and positive-minus-negative resolution convention used here. Actual reading for this repair: both pages and the entire argument, including its one-singular localization. This is an imported theorem, not a claimed uniform estimate for every individual pairing as crossing balls shrink.

Proof

Given: As above. Fix a degree cutoff N and work in the finite-dimensional quotient through degree N.

1.1givenF1F4A1F6construct

Choose pairwise disjoint balls around the n singular points so each resolved pair of branches is monotone in height inside its ball. The same height function is used on every resolution, so r(Kϵ)=r for all ϵ. If necessary, move the singular knot by an isotopy supported in the balls to separate the singular heights and make the crossings monotone; each corresponding resolution is carried by the same ambient isotopy, so [F6] leaves ΔnI(K) unchanged.

1.2F1F2constructalgebra

Expand the degree-m part of ΔnI(K) as a finite sum of pairing integrals over the resolution choices. If a pairing has no chord endpoint in the ith crossing ball, its integrand and diagram are independent of the sign ϵi, because the two resolved knots agree outside that ball. Summing over ϵi=+1,−1 therefore cancels that term. Hence every nonzero contribution to the n-fold difference must meet each of the n balls.

2.1F1F2F3F7step 1.1algebra

Apply the principal-symbol theorem [F7] to the common singular Morse presentation. It gives DnZ(K)m=0 for m<n and DnZ(K)n=D. The local hypotheses hold by step 1.1 and the unframed target agrees by [F2, F3].

3.1F2F4F7step 2.1constructalgebra

For one singular point, let w±(t)=z1,±(t)−z2,±(t) be the relative complex coordinate of its two monotone branches in the positive and negative resolutions. The loop obtained by following w+ and then the reverse of w− winds once positively around 0: the two resolutions are the opposite half-turns of the relative vector. Hence 12πi(∫dlog⁡w+−∫dlog⁡w−)=1. For two upward branches this is the difference of angular changes +π−(−π)=2π. Reversing both branch orientations leaves the determinant sign unchanged and changes the down count by two; reversing exactly one branch reverses both the crossing sign and the factor (−1)↓. Thus under [F4] the coefficient is +1 for every oriented positive resolution. The localization theorem [F7] identifies this local winding contribution with the leading term of the full one-singular tangle. Thus the leading term is the one-chord diagram joining the two preimages.

4.1F1F3F7step 2.1step 3.1algebra

The degree-n diagram in [F7] pairs exactly the two preimages of each marked double point. Step 3.1 checks that its coefficient has sign +1 under the present oriented resolution convention. Local factors compose in height order, and their endpoints occur on the original circle skeleton; hence the resulting class is precisely D in the unframed 4T+1T quotient. This agrees with the full principal-symbol assertion in step 2.1, including diagrams that vanish under 1T.

5.1F2step 2.1step 4.1algebra∎

The common factor Z(H)−r can be pulled outside the alternating sum because all resolutions have the same r. Its degree-zero coefficient is 1, so multiplication by it preserves the first nonzero homogeneous component: the degree-n component remains D, and all lower degrees remain zero. For n=0, the alternating sum is I(K) and its degree-zero coefficient is 1 by [F2]. Thus ΔnI(K)=D+A^>nun in every case.

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