Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck pass
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 preferred lift of a half twist shifts the bigrading by chi(-1,1)

Statement

Let c be a curve joining two marked points, τ the half twist along c (the elementary geometric half twist of The elementary geometric half twist, its support disc, and its opposite, supported in a regular neighbourhood of c), and τ~ its preferred lift to the cover P~ of The Z^2 cover of the projectivized tangent bundle and bigraded curves. Then τ~(c~)=χ(−1,1)c~ for every bigrading c~ of c. For the following bigraded intersection-number consequence, assume AC (The Axiom of Choice) as inherited from its well-definedness suppliers. In particular, for 1≤k≤m and a basic arc of Basic arcs, admissible curves and the standard normal form b~k and its preferred half-twisted image one has Ibigr(b~k,τ~k(c~))=(q1−1q2) Ibigr(b~k,c~), the factor responsible for the shift u↦u+1 in the string tables.

Facts & Assumptions

Given: A curve c joining two marked points, its half twist τ with preferred lift τ~, a bigrading c~, and the cover π~:P~→P classified by the cohomology class C with C([RP1×point])=(1,0) and C([point×λz])=(−2,1).

[A1]

AC is inherited for the bigraded intersection-number invariance used in [L3] (The Axiom of Choice); the deck-element computation for the actual half twist uses only the specified cover and lift.

[L1]

τ preserves c and reverses its orientation; τ~ is the unique lift acting trivially on the fibres over the tangent lines of ∂D (The Z^2 cover of the projectivized tangent bundle and bigraded curves, Curves and geometric intersection numbers on the marked disk).

[L2]

A curve joining two marked points has a bigrading, and any two bigradings of it differ by a unique deck element; equivalently, isotopy classes of bigraded curves are acted on freely by Z2 (Existence and rigidity of bigradings).

[L3]

Under AC for the supplied intersection-number invariance, the deck action changes local indices by translation, and the transformation rules of Ibigr are Ibigr(f~(c~0),f~(c~1))=Ibigr(c~0,c~1) for an actual boundary-fixed diffeomorphism f (or its induced action on bigraded isotopy classes) and Ibigr(c~0,χ(r1,r2)c~1)=q1r1q2r2Ibigr(c~0,c~1) (Local indices and bigraded intersection numbers).

Proof

technique · direct
1.1L1L2

The deck element exists and is unique. Since τ(c)=c, the preferred lift sends the bigrading c~ of c to a bigrading τ~(c~) of the same curve c; by [L2] there is a unique (r1,r2)∈Z2 with τ~(c~)=χ(r1,r2)c~, and it is independent of the chosen bigrading because the deck group is abelian and acts freely. The whole content of the lemma is the computation of (r1,r2).

1.2L1

The test loop in P and its class. Use the standard rotational half-twist representative along c, conjugated from a round support disk; its midpoint is its unique fixed point on c, its derivative there is −I, and it is the identity near ∂D. Choose the standard embedded path β:[0,1]→D∖Δ from the boundary to that midpoint, as in source Figure 9, with nonzero endpoint tangents. Let π ⁣:[0,2]→P be the closed path π(t):=Rβ′(t)  (0≤t≤1),π(t):=Dτ(Rβ′(2−t))  (1≤t≤2), where Rv denotes the tangent line spanned by v; the two halves match at t=1 because Dτ=−I at the midpoint fixes every projective tangent line, and the endpoint lines at the boundary match because τ is the identity nearby, and π is a loop in P. For this standard path, the source's Figure 9 computation gives [π]=−[RP1×point]−[point×λz] for one endpoint z of c; this is the literature calculation in Khovanov--Seidel Lemma half-twist, printed pp. 24--25. Transport by the support-disk coordinates preserves its value under the covering class because all positive puncture loops have monodromy (−2,1).

2.1step 1.1step 1.2

The value of the deck element. By the definition of the local index and the preferred lift, the deck element (r1,r2) comparing τ~(c~) with c~ is obtained by evaluating the classifying class C on the loop of tangent lines swept by the preferred lift of τ along c, which is the class [π] of step 1.2; hence (r1,r2)=−C([π])=C([RP1×point])+C([point×λz])=(1,0)+(−2,1)=(−1,1). This proves the main formula.

3.1A1step 2.1L3∎

The consequence for the string tables. The half twist τk along bk is the preferred lift acting on bigraded curves, so by [L3] and the main formula Ibigr(b~k,τ~k(c~))=Ibigr(τ~k−1b~k,c~)=Ibigr(χ(1,−1)b~k,c~)=(q1−1q2)Ibigr(b~k,c~), where the first equality uses the invariance of Ibigr under the preferred lifts and the second uses that τ~k−1 acts on b~k by χ(1,−1) by the main formula applied at index k. Applied to a k-string, this is the factor (q1−1q2)u of the source's table. For other representatives of the same half-twist class, the same identities hold on bigraded isotopy classes by the homotopy-lifting and freeness suppliers. AC is inherited for the supplied bigraded intersection-number invariance in this consequence.

Depends on

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