3990 — The Physical Rank-Twenty-Six Quotient Has a Canonical Rank-Five Infinity Map
Result
The completed infinity boundary forms admit an exact source-normalized reduction to the anti-invariant five-dimensional de Rham basis
where
and
All five coordinate functionals descend uniquely through the repaired rank-twenty-six low quotient at two independent primes.
Exact reduction
Every source boundary differential through normal order two is written as
Using the exact operator
the checker solves
A common denominator
contains every source form and every declared exact generator.
The bounded exact-function packet contains 144 generators and has exact span rank 25. The five displayed cohomology classes remain independent modulo that span.
Every degree-five through degree-seven source form reduces with zero remainder.
Independent residue check
The three logarithmic coordinates agree coefficientwise with the separately constructed endpoint-residue engine:
- equals the residue;
- equals the residue;
- equals the selected infinity-sheet residue.
Thus the compact reduction did not alter or fit the endpoint data.
Descent
At
and at both
each of the five coordinate systems has:
- constraint rank 26;
- solution nullity zero;
- no obstruction witness.
The compact coordinates are genuinely nonzero. Among the thirty-six low source monomials:
- is nonzero on 18;
- is nonzero on 17.
Therefore the map
is explicitly constructed at the tested exact fibers.
Interpretation
The physical infinity readout is not merely the rank-two elliptic quotient and not merely three endpoint residues. It is the complete anti-invariant punctured-elliptic coefficient object:
The invariant rank-two logarithmic sector remains unavailable from the source character.
Next falsifier
Construct the independently derived occurrence inversion on both source and target and test
Then compare the dual image
with the transported rank-seven annihilator.
The hard alternatives are:
- a natural rank-five subspace is selected inside the seven-plane;
- the rank-five dual image is transverse to it;
- the seven-plane belongs to a different source operation.
No rank matching or fitted complement is admissible.
Scope
This is a two-prime exact-fiber theorem. Characteristic-zero formulas, cyclic naturality, and identification with the transported seven-plane remain open.
Artifacts
- `research/benincasa/checkers/check_rank26_anti_invariant_infinity_map.py`
- `research/benincasa/results/rank26-anti-invariant-infinity-map-p32009.json`
- `research/benincasa/results/rank26-anti-invariant-infinity-map-p32003.json`
Sequence claim: `seqclaim-b5a122536b039f8d770621df`.