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 . Let be an -singular oriented knot with transverse double points and chord diagram . 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 resolutions are strict Morse, and their height functions and number of local maxima agree outside the crossing balls. Define
Then has zero homogeneous components in degrees , its degree- component is exactly , and all remaining terms have degree greater than . For , the degree-zero component is the empty diagram with coefficient . 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.
Statement references
Facts & Assumptions
Given: , an -singular oriented knot, its disjoint transverse crossing balls, and the common strict Morse height of all resolutions.
Singular knots and Vassiliev derivatives: an -singular knot has disjoint transverse double points; its th finite difference is the alternating sum of the positive and negative resolutions.
The Kontsevich integral on parenthesized braids: is the degreewise configuration integral in the unframed 4T+1T completion, and .
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.
Oriented crossing signs, diagram writhe, and blackboard framing: the positive crossing sign is in the positively oriented projection plane, with the positive Artin half twist assigned sign .
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].
The Axiom of Countable Choice (): is the countable-choice axiom used by the ambient-isotopy supplier.
Braid and knot isotopy invariance of the normalized integral: under , the normalized series is invariant under ambient isotopy, and changing a strict Morse presentation of a resolution does not change its value.
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 with transverse double points that its alternating unnormalized integral has no degree below and degree- term in the unframed diagram quotient. The proof treats , the local singular two-braid, localization for an arbitrary one-singular tangle, and vertical factorization for general . 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 and work in the finite-dimensional quotient through degree .
Choose pairwise disjoint balls around the 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 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 unchanged.
Expand the degree- part of as a finite sum of pairing integrals over the resolution choices. If a pairing has no chord endpoint in the th crossing ball, its integrand and diagram are independent of the sign , because the two resolved knots agree outside that ball. Summing over therefore cancels that term. Hence every nonzero contribution to the -fold difference must meet each of the balls.
Apply the principal-symbol theorem [F7] to the common singular Morse presentation. It gives for and . The local hypotheses hold by step 1.1 and the unframed target agrees by [F2, F3].
For one singular point, let be the relative complex coordinate of its two monotone branches in the positive and negative resolutions. The loop obtained by following and then the reverse of winds once positively around : the two resolutions are the opposite half-turns of the relative vector. Hence . For two upward branches this is the difference of angular changes . 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 . Thus under [F4] the coefficient is 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.
The degree- diagram in [F7] pairs exactly the two preimages of each marked double point. Step 3.1 checks that its coefficient has sign 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 in the unframed 4T+1T quotient. This agrees with the full principal-symbol assertion in step 2.1, including diagrams that vanish under 1T.
The common factor can be pulled outside the alternating sum because all resolutions have the same . Its degree-zero coefficient is , so multiplication by it preserves the first nonzero homogeneous component: the degree- component remains , and all lower degrees remain zero. For , the alternating sum is and its degree-zero coefficient is by [F2]. Thus in every case.
Depends on
- The Kontsevich integral on parenthesized braids
- Singular knots and Vassiliev derivatives
- Framed chord diagrams and four-term relations
- Oriented crossing signs, diagram writhe, and blackboard framing
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Convergence and needle estimates for Kontsevich integrals
- Braid and knot isotopy invariance of the normalized integral
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
- Introduction to Vassiliev Knot Invariants, §8.8.1 (standard reference, not scraped)
- The Fundamental Theorem of Vassiliev Invariants, §2.6 (standard reference, not scraped)