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 be a curve joining two marked points, the half twist along (the elementary geometric half twist of The elementary geometric half twist, its support disc, and its opposite, supported in a regular neighbourhood of ), and its preferred lift to the cover of The Z^2 cover of the projectivized tangent bundle and bigraded curves. Then for every bigrading of . For the following bigraded intersection-number consequence, assume AC (The Axiom of Choice) as inherited from its well-definedness suppliers. In particular, for and a basic arc of Basic arcs, admissible curves and the standard normal form and its preferred half-twisted image one has the factor responsible for the shift in the string tables.
Facts & Assumptions
Given: A curve joining two marked points, its half twist with preferred lift , a bigrading , and the cover classified by the cohomology class with and .
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.
preserves and reverses its orientation; is the unique lift acting trivially on the fibres over the tangent lines of (The Z^2 cover of the projectivized tangent bundle and bigraded curves, Curves and geometric intersection numbers on the marked disk).
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 (Existence and rigidity of bigradings).
Under AC for the supplied intersection-number invariance, the deck action changes local indices by translation, and the transformation rules of are for an actual boundary-fixed diffeomorphism (or its induced action on bigraded isotopy classes) and (Local indices and bigraded intersection numbers).
Proof
The deck element exists and is unique. Since , the preferred lift sends the bigrading of to a bigrading of the same curve ; by [L2] there is a unique with , 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 .
The test loop in and its class. Use the standard rotational half-twist representative along , conjugated from a round support disk; its midpoint is its unique fixed point on , its derivative there is , and it is the identity near . Choose the standard embedded path from the boundary to that midpoint, as in source Figure 9, with nonzero endpoint tangents. Let be the closed path where denotes the tangent line spanned by ; the two halves match at because 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 . For this standard path, the source's Figure 9 computation gives for one endpoint of ; 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 .
The value of the deck element. By the definition of the local index and the preferred lift, the deck element comparing with is obtained by evaluating the classifying class on the loop of tangent lines swept by the preferred lift of along , which is the class of step 1.2; hence . This proves the main formula.
The consequence for the string tables. The half twist along is the preferred lift acting on bigraded curves, so by [L3] and the main formula where the first equality uses the invariance of under the preferred lifts and the second uses that acts on by by the main formula applied at index . Applied to a -string, this is the factor 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
- The Axiom of Choice
- Basic arcs, admissible curves and the standard normal form
- The elementary geometric half twist, its support disc, and its opposite
- Curves and geometric intersection numbers on the marked disk
- The Z^2 cover of the projectivized tangent bundle and bigraded curves
- Existence and rigidity of bigradings
- Local indices and bigraded intersection numbers
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
- Mikhail Khovanov and Paul Seidel, Quivers, Floer Cohomology, and Braid Group Actions, J. Amer. Math. Soc. 15 (2002) 203-271, Lemma 3.14 (standard reference, not scraped)