Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 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.

Oriented crossing signs, diagram writhe, and blackboard framing

Definition

Assume ACω for the smooth normal-bundle structure used in the framing clause. For a knot component K, its normal bundle is the fibrewise quotient νK=TS3∣K/TK, and a normal section is a smooth section of this bundle.

Let D be a regular oriented link diagram in a projection plane P of an oriented 3-sphere, after moving the link off the point at infinity. Fix the unit viewing normal n pointing toward the viewer. Orient P by the rule that an ordered basis (u,v) of P is positive exactly when (n,u,v) is a positive basis of the ambient 3-space. At a crossing c, let vover and vunder be the nonzero projected tangent vectors following the orientations of the overpassing and underpassing strands. Define sgn⁡(c):=sgn⁡det⁡P(vover,vunder)∈{+1,−1}. Reversing the orientation of P reverses every crossing sign.

This convention makes the positive geometric Artin half twist positive. In the braid chart (x,y,t) with ambient orientation (x,y,t), view along +y; the induced positive orientation of the (x,t) projection plane is the ordered basis (∂t,∂x). For the positive half twist, label i moves from x=−h to x=h below the midpoint, while label i+1 moves from x=h to x=−h above it, with h>0. Thus the over and under projected tangent vectors in coordinates (t,x) are (1,−2h) and (1,2h), whose determinant is 4h>0.

The writhe of D is wr⁡(D):=∑c a crossing of Dsgn⁡(c). For a link component Ki, its self-writhe wr⁡i(D) is the sum over crossings whose two branches belong to Ki; the total writhe also includes all mixed crossings between distinct components.

The blackboard framing of a component of D is the homotopy class of the normal section represented by the positive quarter-turn in P of the projected oriented tangent. The projection is an immersion, so this vector never vanishes; it is perpendicular to the projected tangent, hence also to the spatial tangent, and therefore represents a nonzero normal section of the component in the ambient 3-sphere.

vovervunder+1

In the displayed local chart, the over tangent is the positive horizontal vector and the under tangent is the positive vertical vector, so the determinant is +1. This figure illustrates the determinant rule only; no proof below depends on a picture.

Depends on

Used by

…and 9 more results.

Dependency tree · two levels

33 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