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.
Rasmussen's invariant for positive knots
Statement
Assume the Axiom of Countable Choice. Let be an oriented knot admitting a finite regular diagram with positive crossings and no negative crossings, and let be the number of circles in its oriented resolution. Then Rasmussen’s invariant satisfies
Statement references
Facts & Assumptions
Given: and a positive diagram of the knot .
The canonical orientation class is a basis vector in Lee homology, and its filtration level is (Lee homology of a knot has two generators, Lee filtration, spectral sequence, and orientation classes).
Rasmussen's convention is (Rasmussen’s s-invariant).
In the normalized Lee complex, a state with one-resolutions and labels has quantum degree (Lee-deformed Khovanov complex and filtration).
is inherited through the diagram-independent definition of (The Axiom of Countable Choice (), Rasmussen’s s-invariant).
Positive crossings have positive determinant of the ordered over/under tangents (Oriented crossing signs, diagram writhe, and blackboard framing). In the source chart the over-strand joins southwest to northeast, the A-smoothing pairs left endpoints and right endpoints, and the B-smoothing pairs top endpoints and bottom endpoints (Kauffman bracket smoothing and loop value). The cube uses A at and B at (Khovanov Frobenius algebra and cube of resolutions).
Proof
Given: The positive diagram has , and circles in its oriented resolution.
In the positively oriented source chart of [A2], take the over-tangent to be . Positivity forces the under-tangent to be rather than , since their determinants with the over-tangent are and . The incoming endpoints are therefore southwest and southeast, and the outgoing endpoints northeast and northwest. The orientation-preserving smoothing pairs southwest with northwest and southeast with northeast: exactly the A-smoothing. Reversing both strand arrows gives the other positive orientation case and retains those same pairs. Thus every positive oriented smoothing is the -resolution.
By step 1.1, every oriented smoothing is the -resolution, so the canonical cycle lies in cohomological degree . There is no chain group in degree , hence this cycle is not altered by adding a boundary. Expanding each of its circle labels or in the homogeneous basis, the unique term of least quantum degree is obtained by choosing on every circle; its coefficient is or . Its quantum degree is the state shift plus labels of degree , namely . Therefore its induced filtration level is .
The formula [F2] for is diagram-independent under the AC branch [A1]. Substitution of the value from step 2.1 gives . If , the positive diagram is the crossingless unknot, whose oriented resolution has , so the same calculation gives . The state expansion itself is finite and choice-free.
Depends on
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- Lee homology of a knot has two generators
- Rasmussen’s s-invariant
- Lee-deformed Khovanov complex and filtration
- Lee filtration, spectral sequence, and orientation classes
- Oriented crossing signs, diagram writhe, and blackboard framing
- Khovanov Frobenius algebra and cube of resolutions
- Kauffman bracket smoothing and loop value
Used by
Dependency tree · two levels
26 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
- Jacob Rasmussen, Khovanov homology and the slice genus, arXiv:math/0402131v1 (standard reference, not scraped)
- Curtis T. McMullen, 4-Manifolds, Stanford lecture notes (standard reference, not scraped)