580 — The Labelled Product-Pole Complex Closes the Deletion Cube
Hard-to-vary claim
The complete three-denominator deletion cube is realized by one generic twisted de Rham complex over the frozen Cayley--Menger cover, provided every source denominator retains its own pole axis and localization transition.
No new carrier cell, generic -regulator, or fitted support summand is needed.
Frozen product lattice
For a selected subset of
retain presentations
For a polynomial vector field , the differential is
Each axis has its own localization relation:
Freeze
pole depth two on and every selected , and degree-at-most-five numerators in the block with one pole on each selected divisor.
Complete census
In nonzero mask order , the ranks at are
The second generic point reproduces the complete row.
Including the calibrated empty mask gives
exactly the independently certified deletion cube. Its Möbius inversion is
Thus the lower pair has zero proper support grade, while each upper pair and the triple contribute one proper class.
What has been established
The source-labelled divisor arrangement supplies a single chain-level coefficient complex whose deletion restrictions reproduce every rank in the cube. The distinction between geometric strata and proper support grades is retained: the lower-pair stratum exists even though its Möbius grade is zero.
This closes the finite rank-calibration gate needed before constructing Gauss--Manin transport.
It does not yet establish a compatible basis across deletion maps, the two-parameter connection, the rank-nine/rank-five extension, specialization to , or compatibility with the physical relative integration chain.
Consequence
No cosmology-specific carrier incidence was required. All additional ranks arise from the relative/logarithmic coefficient object over the existing source divisors.
This strongly updates H2, not H1.
Next falsifier
Construct compatible normal-form bases and deletion maps for all eight masks from this same product-pole complex. Then derive two independent Gauss--Manin connection matrices before specializing .
The first finite obstruction is failure of the connection to preserve the deletion filtration or failure of its curvature to vanish modulo exact rows. Either failure must be recorded without adding carrier cells.
Artifacts
- `research/benincasa/marici-gm/src/bin/generic_q_pole_twisted_derham_rank.rs`
- `research/benincasa/generic-multi-q-pole-twisted-derham-rank.json`