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 be a closed connected oriented -manifold, let be a smooth oriented null-homologous knot, and let be a compact connected oriented embedded surface with oriented boundary . Choose a closed tubular neighborhood , put , and let be the union of two disjoint annuli on whose core sutures are parallel meridians of with opposite orientations. Delete a collar of to regard as a properly embedded surface in , with relative class . Let be the meridional boundary trivialization of the oriented plane field used in the relative Spin-c definition. For , its Alexander grading is
with the standard sign convention that gives the usual Alexander grading for knots in . For a balanced admissible sutured Heegaard diagram of , the Spin-c summand is the homology of the integral sutured Floer disk-count complex generated by the Heegaard generators assigned to . Define the integral knot Floer group in Alexander grading by
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.
Definition references
Pointed Heegaard diagrams, disk classes, and the mod-two knot Floer complex
The grid Alexander grading and orientation convention
Ni, Knot Floer homology detects fibred knots, §1
Ozsvath and Szabo, Holomorphic disks and knot invariants, §3.4
Manolescu, An Introduction to Knot Floer Homology, §§3.3–4.3
Depends on
Used by
- Trefoil and 5₂ knot Floer genus and fibering cases Example
- Analytic inputs for Ni's sutured knot Floer decompositions Lemma
- Ni's sutured Floer and Gabai product criterion Lemma
- A fibered knot has rank-one top knot Floer homology Theorem
- Knot Floer homology detects the Seifert genus Theorem
- Rank-one top knot Floer homology detects fibering Theorem
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
- Yi Ni, Knot Floer homology detects fibred knots, arXiv:math/0607156v4, §1 (standard reference, not scraped)
- Peter Ozsvath and Zoltan Szabo, Holomorphic disks and knot invariants, arXiv:math/0209056v2, §3.4 (standard reference, not scraped)
- Ciprian Manolescu, An Introduction to Knot Floer Homology, §§3.3–3.5 and 4.1–4.3 (standard reference, not scraped)
- Ciprian Manolescu, Peter Ozsvath, and Sucharit Sarkar, A combinatorial description of knot Floer homology, arXiv:math/0607691v2, §§1–3 (standard reference, not scraped)