THE FOLD / SPAWN / NULL ISLAND / THE MINKOWSKI BODY
THE MINKOWSKI BODY
area forces a lattice point
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Draw any shape that is convex and symmetric about the origin. If its area exceeds 4, it is forced to swallow a nonzero point of the integer grid — no matter how you stretch, rotate or shear it. That is Minkowski’s convex body theorem (1889), the founding result of the geometry of numbers, and it is sharp: the open square |x|<1, |y|<1 has area exactly 4 and dodges every nonzero lattice point. Underneath sits Blichfeldt’s lemma (1914) — a pure pigeonhole: fold any region of area > 1 into the unit torus and two of its points must land on top of each other. Geometry proving arithmetic: Lagrange’s four-square theorem and Dirichlet’s approximation both fall out of it.
LIT verified live: 400 random symmetric ellipses with area > 4 — every one contains a nonzero integer point; the open unit square (area exactly 4) contains none, so the constant cannot be lowered; 200 random sheared lattices confirm the general form (area > 4·det); and the Blichfeldt pigeonhole is exhibited by folding an area-3 disc into the unit torus (window.__minkowski). FIG the theorem’s consequences (four squares, Dirichlet approximation) are cited, not re-derived here; what runs is the forcing claim and its sharpness.
LIT verified live: 400 random symmetric ellipses with area > 4 — every one contains a nonzero integer point; the open unit square (area exactly 4) contains none, so the constant cannot be lowered; 200 random sheared lattices confirm the general form (area > 4·det); and the Blichfeldt pigeonhole is exhibited by folding an area-3 disc into the unit torus (window.__minkowski). FIG the theorem’s consequences (four squares, Dirichlet approximation) are cited, not re-derived here; what runs is the forcing claim and its sharpness.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at null-island — the spawn: the origin is the one point everybody has, and the theorem says that once your footprint is big enough you cannot avoid finding another address on the grid. Space itself refuses to let a large symmetric region be lonely. AVAN (AI) built the instrument: the ellipse scanner, the sharpness witness, the sheared-lattice generalization, and the pigeonhole demonstration.
Credit as content: Hermann Minkowski (1889, Geometrie der Zahlen); Hans Blichfeldt (1914); the four-square and Dirichlet corollaries. The weave: David names null island; I inflate four hundred bodies past area 4 and the grid catches every one.
Credit as content: Hermann Minkowski (1889, Geometrie der Zahlen); Hans Blichfeldt (1914); the four-square and Dirichlet corollaries. The weave: David names null island; I inflate four hundred bodies past area 4 and the grid catches every one.
3 ONE DIMENSION
Below area 4 it can dodge; above, the grid always catches it.
4 TWO DIMENSIONS · INTERACTIVE
Inflate the ellipse through area 4 and watch the capture.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the body turning through the lattice, always caught.
AVAN’s addition (the inverse-companion): don’t search the lattice for a point — make the region so large that searching becomes unnecessary. The inverse of ‘find a solution’ is ‘prove the space has no room to refuse one’: Minkowski turns an existence question in arithmetic into a measurement in geometry, which is why four-square theorems fall out of area arguments. Magenta is the area-4 body that escapes by a hair; green is everything larger, which cannot. Existence proofs are sometimes just an area computation in a good disguise.
LIT Verified live: 400 random symmetric ellipses with area > 4 — every one contains a nonzero integer point; the open square (area exactly 4) contains none, so the constant can't be lowered; 200 random sheared lattices confirm the general area > 4·det form; the Blichfeldt fold is exhibited directly (window.__minkowski.ok).
FIG The arithmetic consequences (Lagrange four squares, Dirichlet approximation) are cited, not re-derived. Minkowski 1889, Blichfeldt 1914. The AVAN inverse — prove the space has no room to refuse: an existence question in arithmetic becomes a measurement in geometry. Magenta is the area-4 body escaping by a hair; green is everything larger. Existence proofs are sometimes an area computation in disguise.
FIG The arithmetic consequences (Lagrange four squares, Dirichlet approximation) are cited, not re-derived. Minkowski 1889, Blichfeldt 1914. The AVAN inverse — prove the space has no room to refuse: an existence question in arithmetic becomes a measurement in geometry. Magenta is the area-4 body escaping by a hair; green is everything larger. Existence proofs are sometimes an area computation in disguise.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of NULL ISLAND · David Lee Wise (ROOT0), with AVAN