Alphabeta Math
LemmaStatement: Literature-sourcedProof: Literature-sourcedPipeline-generatedverified 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.

The E1 differential of the link-surgery complex is reduced Khovanov

Statement

Assume AC and the ACω Heegaard Floer analytic package. For a fixed finite regular diagram D of a nonempty oriented link L⊂S3, with n crossings and a basepoint p∈D away from the crossings, choose an admissible pointed Heegaard multi-diagram subordinate to the branched-cover surgeries and the compatible perturbation data and top-generator cycles of the link-surgery construction. Its first page and first differential are isomorphic as a cochain complex over F2 to the reduced Khovanov cochain complex of the mirror diagram D‾, based at the corresponding point, in the specified normalized grading shifts. The resulting second page is therefore the based reduced Khovanov cohomology of D‾. The isomorphism is for this fixed diagram and makes no claim about filtered chain complexes for different diagrams.

Facts & Assumptions

Given: AC, the ACω Heegaard Floer analytic package, a fixed finite regular diagram D of a nonempty oriented link L⊂S3, its filtered surgery complex, and a marked point p∈D away from the crossings.

[F1]

The filtration's first differential is the sum of the cube-edge maps (The first surgery differential is the reduced Khovanov TQFT differential).

[F2]

The first surgery differential is the reduced Khovanov TQFT differential supplies simultaneous vertex identifications intertwining every saddle edge with the reduced Frobenius map, including the marked-circle quotient, and identifies the surgery bits with the mirror smoothing bits. The target quotient and normalized grading convention are those of Reduced Khovanov cohomology of a based link over F2; the shifts below are calculated from that convention, not asserted as an extra clause of the supplier's Statement.

[F3]

Over F2, the isomorphism class of the reduced cohomology does not depend on the marked component, for a fixed diagram (Reduced Khovanov homology over F2 is independent of the chosen link component).

Proof

1.1F1given

The filtration quotient at each cube vertex is its resolution Floer group, and the differential on the first page is the sum of components changing one crossing.

2.1F1F2step 1.1

Applying the asserted edge identifications [F2] to each of the finitely many edges identifies this first-page differential with the reduced Khovanov cube differential; the finite direct sum of the vertex isomorphisms is an isomorphism of cochain complexes.

3.1F2step 2.1algebra

Write n±=n±(D) and let ac∈{1,X} label the unmarked circles of a state I, with quantum degrees 1,−1. Mirroring interchanges n+ and n−, so the normalized target convention in [F2] gives i=∣I∣−n+ and j~=∑c≠pdeg⁡q(ac)+∣I∣+n−−2n+. The marked quotient label has reduced degree zero. Unmarked saddles lower the label-degree sum by one. A marked merge sends the other circle's 1 to the marked 1 and kills its X; a marked split creates X on the new unmarked circle. Their nonzero terms also lower the unmarked degree sum by one. Thus every edge raises i by one and preserves j~. These degrees are transported from the reduced state bases to E1; no independent Floer quantum grading is asserted. For filtration index s=n−∣I∣ the cochain reindexing is i=n−−s.

4.1F2F3step 2.1step 3.1∎

Taking cohomology of the identified first-page complexes gives the based reduced Khovanov cohomology on the second page, with the shifts checked in step 3.1. By [F3] its graded isomorphism class is independent of the chosen link component for this fixed diagram. The actual Floer saddle and mirror identifications are the supplier inputs in [F2]; the finite assembly and normalization above introduce no further geometric assertion. This proves the stated identification and asserts no map between distinct diagram presentations.

Depends on

Used by

Dependency tree · two levels

16 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