Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-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 2-by-2 unknot grid has tilde homology of rank two

Statement

Let G2 be the toroidal 2×2 grid whose bottom row has O in its left cell and X in its right cell, and whose top row has X in its left cell and O 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 F2, whose differential counts empty-state rectangles disjoint from both marking sets, has homology of rank two.

OXXObottomrowtoprow

Facts & Assumptions

Given: The specified 2-by-2 marking array on a torus.

[F1]

Toroidal grid diagrams and gradings for oriented knots traces each component by following the row from O to X and the column from X to the next O; it identifies the components with cycles of this finite marking permutation and gives exactly two grid states for a 2-by-2 knot grid.

[F2]

Finite grid complexes for knot Floer theory defines the tilde differential by counting empty-state rectangles whose interiors contain no O- or X-marking.

[F3]

The three grid rectangle differentials square to zero establishes that the tilde differential is a chain-complex differential.

Verification

1.1F1givenconstruct

Starting at the bottom-left O, the oriented route follows its row to the bottom-right X, then follows that column to the top-right O, then that row to the top-left X, then that column back to the starting O. 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.

1.2F1F2construct

There are exactly two grid states: x={(0,0),(1,1)} and y={(0,1),(1,0)}, with coordinates read modulo two. The rectangles from x to y are the bottom-left and top-right cells, each containing one O; the rectangles from y to x are the bottom-right and top-left cells, each containing one X. No such rectangle is counted in tilde mode, and there are no rectangles from a state to itself. Hence the tilde differential is zero.

2.1F3step 1.2algebra∎

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

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