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 2-by-2 unknot grid has tilde homology of rank two
Statement
Let be the toroidal grid whose bottom row has in its left cell and in its right cell, and whose top row has in its left cell and in its right cell. With the row and column orientation convention for grid diagrams, this is a one-component unknot grid. The tilde grid complex over , whose differential counts empty-state rectangles disjoint from both marking sets, has homology of rank two.
Statement references
Facts & Assumptions
Given: The specified 2-by-2 marking array on a torus.
Toroidal grid diagrams and gradings for oriented knots traces each component by following the row from to and the column from to the next ; it identifies the components with cycles of this finite marking permutation and gives exactly two grid states for a 2-by-2 knot grid.
Finite grid complexes for knot Floer theory defines the tilde differential by counting empty-state rectangles whose interiors contain no - or -marking.
The three grid rectangle differentials square to zero establishes that the tilde differential is a chain-complex differential.
Verification
Starting at the bottom-left , the oriented route follows its row to the bottom-right , then follows that column to the top-right , then that row to the top-left , then that column back to the starting . Thus the link has one component. Its planar projection has no transverse self-intersection: the four segments meet only at these marked turning points, and smoothing the four corners gives a simple closed planar curve, which bounds a disk. Therefore it is an unknot.
There are exactly two grid states: and , with coordinates read modulo two. The rectangles from to are the bottom-left and top-right cells, each containing one ; the rectangles from to are the bottom-right and top-left cells, each containing one . No such rectangle is counted in tilde mode, and there are no rectangles from a state to itself. Hence the tilde differential is zero.
The tilde chain group has its two grid states as a basis, and its differential is zero by step 1.2. The chain condition is supplied by [F3], so its homology equals this two-dimensional chain group and has rank two.
Depends on
Used by
- Raw tilde grid homology depends on the unknot grid Counterexample
- Worked grid-complex cases for the unknot Example
Dependency tree · two levels
6 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
- Peter S. Ozsvath, Andras I. Stipsicz, and Zoltan Szabo, Grid Homology for Knots and Links, Exercise 4.4.3 (standard reference, not scraped)
- Ciprian Manolescu, Peter Ozsvath, and Sucharit Sarkar, A combinatorial description of knot Floer homology, §4 (standard reference, not scraped)