Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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 absolute Alexander grading of knot Floer homology

Definition

Let Y be a closed connected oriented 3-manifold, let K⊂Y be a smooth oriented null-homologous knot, and let F⊂Y be a compact connected oriented embedded surface with oriented boundary K. Choose a closed tubular neighborhood N(K), put M=Y∖int⁡N(K), and let γμ be the union of two disjoint annuli on ∂M whose core sutures are parallel meridians of K with opposite orientations. Delete a collar of ∂F to regard F as a properly embedded surface in (M,γμ), with relative class [F]∈H2(M,∂M;Z). Let tμ be the meridional boundary trivialization of the oriented plane field used in the relative Spin-c definition. For s∈Spin⁡c(M,γμ), its Alexander grading is

AF(s)=12⟨c1(s,tμ),[F]⟩,

with the standard sign convention that gives the usual Alexander grading for knots in S3. For a balanced admissible sutured Heegaard diagram of (M,γμ), the Spin-c summand SFH(M,γμ,s;Z) is the homology of the integral sutured Floer disk-count complex generated by the Heegaard generators assigned to s. Define the integral knot Floer group in Alexander grading i by

HFK^(Y,K,[F],i;Z)=⨁s∈Spin⁡c(M,γμ)AF(s)=iSFH(M,γμ,s;Z).

This fixes the integral coefficient convention. The equivalent associated-graded closed Heegaard-complex presentation, invariance under changing diagrams, and comparison with the mod-two grid complex are separate theorems; this definition supplies none of their proofs or a coefficient-change map.

Depends on

Used by

Dependency tree · one level

3 results within one dependency step 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