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.
Kauffman bracket curl and writhe correction
Statement
Let be an indeterminate and let be a nonempty regular oriented link diagram in an oriented -sphere. Fix a unit viewing normal and orient its projection plane so is positive exactly when is positive in the ambient -space. At each crossing define from the oriented projected tangents, and set . With , adding a positive type-I kink multiplies the raw bracket by and increases writhe by ; adding a negative type-I kink multiplies it by and decreases writhe by . Deleting either kink multiplies by the reciprocal factor. Consequently is unchanged by every oriented type-I, type-II, and type-III Reidemeister move and by planar isotopy.
Statement references
Facts & Assumptions
Given: A nonempty regular oriented link diagram and a type-I, type-II, or type-III move applied to it.
In the positively oriented chart with over-strand southwest–northeast, the A-smoothing pairs left endpoints and right endpoints, while the B-smoothing pairs top endpoints and bottom endpoints. A crossing contributes for its A-smoothing and for its B-smoothing; a state with circles contributes the factor , and (Kauffman bracket smoothing and loop value).
The total writhe is the sum of the signs ; the positive Artin half twist has sign (Oriented crossing signs, diagram writhe, and blackboard framing).
A type-I kink creates or deletes one crossing of either sign; type II creates or deletes two crossings of opposite signs; type III preserves the signs of its three crossings (Oriented Reidemeister moves).
The raw bracket is unchanged under every R2 and R3 local replacement (Kauffman bracket R2 and R3 identities).
Proof
Label the crossing ports northwest , northeast , southeast , and southwest , in the chart of [F1]. The over-strand joins to and the under-strand joins to . For the left exterior cap the remaining ports are . Orient its through strand from to : it traverses the over-strand northeast to southwest, then the cap, then the under-strand northwest to southeast. The tangent vectors may be taken as and , whose determinant is . This is a positive kink. The A-pairing closes one additional circle against the cap; the B-pairing gives just the through arc. Hence its bracket factor is . Reversing the component negates both tangent vectors and preserves the determinant.
For the top exterior cap the remaining ports are . Orient its through strand from to : it traverses the over-strand southwest to northeast, then the cap, then the under-strand northwest to southeast. The tangent vectors and have determinant , so this is a negative kink. Here the A-pairing gives only the through arc, while the B-pairing closes one additional circle. Its factor is . The right and bottom cap cases are the respective -degree rotations; orientation-preserving chart changes and reversal of the component preserve the calculation. These are all oriented type-I variants. The calculation is inside the move disk and permits every exterior connectivity and any additional components. Deletion uses the reciprocal Laurent-unit factor.
The positive kink changes writhe from to , and the negative kink changes it to . Their respective normalized values are and Thus both type-I additions and their inverse deletions preserve .
A type-II move creates or deletes two opposite signs, and a type-III move preserves all three signs, so writhe is unchanged. Their raw bracket is unchanged by [F4]. Planar isotopy transports the determinant crossing signs, smoothing states and state-circle counts bijectively. Therefore it preserves both factors of , and the normalized value is invariant under every listed move.
Depends on
Used by
- A type-I kink changes the raw bracket Counterexample
- The normalized bracket is an oriented link invariant Theorem
Dependency tree · two levels
14 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
- Louis H. Kauffman, An Invariant of Regular Isotopy, §§III and VI, printed pp. 430–432 and 466–469 (standard reference, not scraped)
- Louis H. Kauffman, Combinatorial Knot Theory and the Jones Polynomial, arXiv:2204.12104v2, §2 (standard reference, not scraped)
- Justin Roberts, Knots Knotes, §§4.1 and 4.3, printed pp. 21–22 and 24–25 (standard reference, not scraped)
- François Funar, A Crash Course in Quantum Invariants of Knots and 3-Manifolds, Chapter 3, §1.1 (standard reference, not scraped)