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.
Framed chord diagrams and four-term relations
Definition
For a commutative ring , a degree- chord diagram is an oriented circle with disjoint unordered pairs of distinct points, called chords, considered up to orientation-preserving homeomorphism of the circle. A chord records a double point by pairing its two preimages. The diagrams used for symbols of both framed and unframed invariants are these ordinary chord diagrams. In a framed singular-knot homotopy, each simple zero of the normal section may be marked by an auxiliary dot and counted as one singularity; these auxiliary dots are not generators of the chord-diagram modules below.
For , choose any degree- background chord diagram and choose three pairwise distinct new points on its circle, disjoint from all background endpoints. Choose disjoint endpoint-free neighborhoods of and that avoid and every background endpoint. Let lie, respectively, immediately before , immediately after , immediately before , and immediately after in the circle orientation, each within the corresponding neighborhood. Let be the degree- diagram obtained by adding the fixed chord and moving chord to the background. The 4T relation is
Two chords intersect if their endpoints alternate around the oriented circle. A chord is isolated if it intersects no other chord. The 1T relation sets every unframed diagram with an isolated chord equal to zero. The framed degree- chord-diagram module is the free -module on degree- chord diagrams modulo all 4T relations. The unframed degree- chord-diagram module is the free -module on degree- chord diagrams modulo 4T and 1T relations. A framed weight system is an -linear functional on the framed module; an unframed weight system is an -linear functional on the unframed module.
The figure shows one generator of 4T. The solid chord is fixed; the dashed chord has fixed endpoint and moving endpoint . The arrow gives the positive orientation of the circle. The same background chords may be inserted identically in every panel.
Depends on
Used by
- The framed degree-one weight system does not pass through 1T Counterexample
- The Kontsevich integral on parenthesized braids Definition
- Conway coefficients and the degree-two Kontsevich symbol Example
- Braid and knot isotopy invariance of the normalized integral Lemma
- Closure and connected sum for the Kontsevich integral of one-strand tangles Lemma
- Compactified Kontsevich configuration spaces and faces Lemma
- Convergence and needle estimates for Kontsevich integrals Lemma
- Endpoint regularization and associator coherence Lemma
- Finite-type truncations of the Kontsevich integral Lemma
- Flatness of the KZ connection and braid relations Lemma
- The four-term relation from singular Reidemeister III Lemma
- The one-term relation and framing Lemma
- Jones polynomial unknot-detection status Remark
- Weight-system integration proof boundary Remark
- The Kontsevich integral induces the identity on the associated graded Theorem
- The second Conway coefficient is a degree-two finite-type invariant Theorem
- Universality of the Kontsevich integral Theorem
- Vassiliev invariants induce weight systems Theorem
Dependency tree · two levels
5 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
- The Fundamental Theorem of Vassiliev Invariants (standard reference, not scraped)
- Introduction to Vassiliev Knot Invariants (standard reference, not scraped)