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.
A 3-by-3 unknot grid has tilde homology of rank four
Statement
Use row indices from bottom to top and column indices from left to right. Let have -markings in cells and -markings in cells . This toroidal grid represents the unknot. Its tilde grid complex over , counting empty-state rectangles disjoint from both marking sets, has homology of rank four.
Statement references
Facts & Assumptions
Given: The marking pattern and row/column indices in the statement.
Toroidal grid diagrams and gradings for oriented knots defines the component permutation, identifies grid states with permutations, and defines empty torus rectangles.
Finite grid complexes for knot Floer theory defines the tilde differential by counting empty-state rectangles whose interiors avoid both - and -markings.
The three grid rectangle differentials square to zero proves that this differential squares to zero.
Proof
The marking permutation sends the in row to the in column and then to the in row ; it continues from row through column to row , and from row through column back to row . Thus the grid has one component. In its planar projection the oriented path has vertices and returns to . These six axis-parallel edges form a simple polygon and meet only at consecutive endpoints, so the projection has no crossings and is an unknot diagram.
The six grid states, in lexicographic order as row-to-column permutations, are . The only cells containing neither marking are ; each is isolated from the other two by marked cells across every side, including the torus identifications. Every marking-free rectangle made of more than one cell contains a pair of side-adjacent cells and hence a marking. Therefore the only possible tilde rectangles are these three single-cell rectangles.
For state , the SW and NE corners of cell lie in that state and the other two corners give state ; cell similarly gives , and cell gives , with the row interval in the last cell wrapping around the torus. No other state has the SW/NE pair of corners of any of these empty cells. Thus the differential matrix, with rows and columns ordered and rows indexing targets, has rows It sends only the basis vector for state to the sum of the three distinct target basis vectors, so its rank is one.
By [F3] this is a chain complex. Rank-nullity gives and ; hence the homology has dimension .
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)