Alphabeta Math
DefinitionDefinition: 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 positive and negative Khovanov-Rozansky crossing complexes

Definition

With χ0 ⁣:C(Γ0)→C(Γ1) and χ1 ⁣:C(Γ1)→C(Γ0) as in The wide-edge morphisms chi-zero and chi-one, assign to a crossing p of a tangle diagram the following two-term complex of matrix factorizations, using the integer grading of arXiv:math/0505056v2, Figure 6.

Positive crossing. Cp=[0→C(Γ0){0,2}→χ0C(Γ1)→0], with C(Γ1) in cohomological degree 0 (so C(Γ0){0,2} sits in degree −1); the shift {0,2} makes the differential bidegree-preserving.

Negative crossing. Cp=[0→C(Γ1){0,−2}→χ1C(Γ0){0,−2}→0], with C(Γ1){0,−2} in cohomological degree 0 and C(Γ0){0,−2} in degree 1; the overall shift {0,−2} is the normalization required by the Reidemeister IIa move.

In both cases the differential is χ0 or χ1 and has bidegree (0,0) as a map of the shifted terms.

Recorded source conflict and regrading. The arXiv prose before Figure 6 incorrectly displays the negative crossing with χ0 in the opposite direction. Its Figure 6, the bidegrees of the matrices (5)-(6), and the negative-crossing Euler relation in section 7 agree with the χ1-cone above. The published version of record corrects the direction but also changes the grading: writing Cp,v2+ and Cp,v2− for the two complexes above, formulas (12)-(13) on printed p. 1393 give Cp,pub+=Cp,v2+{−12,−12}[−12],Cp,pub−=Cp,v2−{12,12}[12]. Here C[n]j=Cj+n; the displayed identifications specify term degrees and maps, with the usual compatible shift signs. Both published cones have outer degrees −12,12. Their respective term shifts are {−12,32},{−12,−12} for the positive cone and {12,−32} on both terms of the negative cone.

Caveat: no absolute normalization is claimed; the {0,−2} shift is fixed only by the source's IIa normalization.

Facts & Assumptions

Given: the four diagrams Γ0,Γ1 of a positive and a negative crossing, the morphisms χ0,χ1 with their matrix presentations, bidegrees and shifts, and the two displayed two-term complexes.

[F1]

χ0 ⁣:C(Γ0)→C(Γ1) is a morphism of factorizations of bidegree (0,2) and χ1 ⁣:C(Γ1)→C(Γ0) is a morphism of bidegree (0,0), all with respect to the displayed term shifts C0(Γ0)=R⊕R{−2,2}, C1(Γ0)=R{−1,1}⊕R{−1,1}, C0(Γ1)=R⊕R{−2,4}, C1(Γ1)=R{−1,1}⊕R{−1,3} (The wide-edge morphisms chi-zero and chi-one).

Proof

technique · direct verification of the complex and bidegree axioms, followed by the Euler-characteristic comparison that settles the recorded source conflict
1.1F1algebra

The positive complex is a complex of factorizations. In a two-term complex the composite of its two differentials is zero on one side because there is nothing to compose on the other, so the complex condition in hmfw is automatic; the term C(Γ0){0,2} lies in cohomological degree −1 and C(Γ1) in degree 0, and both terms are objects of hmfw with potential w=a(x1+x2−x3−x4) because the source and target of χ0 have that potential. The differential χ0 has bidegree (0,2) by [F1], and the shift {0,2} on its source subtracts (0,2) from the bidegree of the map of shifted terms, so the differential of Cp has bidegree (0,0) as required.

1.2F1algebra

The negative complex is a complex of factorizations. Likewise the two-term complex 0→C(Γ1){0,−2}→χ1C(Γ0){0,−2}→0 has zero composite on the one composable side, its terms are objects of hmfw, and χ1 has bidegree (0,0) by [F1]; the overall shift {0,−2} is applied to both terms, so it shifts the grading of both terms alike and leaves the differential bidegree-preserving. With C(Γ1){0,−2} in degree 0 and C(Γ0){0,−2} in degree 1, the two terms are exactly the cone of χ1.

2.1F1step 1.1step 1.2algebra∎

The source conflict and the grading comparison. In the integer grading, the negative cone has Euler characteristic q−2(⟨Dei⟩−⟨D⟩), as in arXiv section 7, whereas reversing its two terms changes the sign; moreover the printed χ0 with equal shifts would still have bidegree (0,2) by [F1]. Thus that prose display is incompatible with both the bidegree condition and Figure 6. For the published positive cone, shifting the outer degrees −1,0 by [−12] gives −12,12, and adding (−12,−12) to the internal shifts gives (−12,32) and (−12,−12), exactly formula (12). For the negative cone, [12] moves degrees 0,1 to −12,12, and adding (12,12) to both internal shifts (0,−2) gives (12,−32), exactly formula (13). The maps remain χ0,χ1, up to compatible shift signs; agreement with the published cones therefore requires the recorded regrading.

Depends on

Used by

Dependency tree · two levels

3 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