Canonical Elliptic Top-Sector Critical Count and Deletion Filtration
Record
The first exact attack on the missing top family resolves the semantics of the source's nine-master statement and closes two deletion faces, but it does not yet certify the full top rank.
Freeze homogeneous kinematics
over , and the source denominators
The Cayley--Menger twist is the exact source-normalized polynomial with .
Type correction
The factors multiplying in the physical integrand are polynomial cocycle numerators. They are not logarithmic factors of the twist used in the critical-point count. Treating as an extra divisor produces a different very-affine problem and fails the published seven-master calibration.
The admitted twist factors are therefore
where is the selected source denominator support. Saturation is implemented by the Rabinowitsch equation
Deutsch--Popperian conjecture tested
The hard-to-vary claim is
The finite test is the saturated critical quotient.
For ,
For ,
Therefore the proper support grade is
exactly the published nine-master block. The conjecture is falsified: the printed rank nine is the proper -support grade, while its deletion closure contains the seven-dimensional zero sector as well.
This is a support-filtration statement, not a direct-sum splitting theorem.
Closed lower face
For the lower pair
the filtered Macaulay quotient gives rank at ambient degrees 20 and 22:
Thus the total proper rank contributed above the zero sector is two. This agrees with the source's polylogarithmic master inventory, where the two single lower-pole grades contribute one class each and no additional class is forced on their joint intersection.
Full top-family gate remains open
For
the same exact filtered calculation gives
The decrease proves that the Macaulay projection has not stabilized. Consequently
In particular, is not promoted to a rank.
The current sparse reducer becomes impractical before the next regularity grade. That is a performance defect in the certificate machinery, not an obstruction in the coefficient geometry and not evidence for a carrier cell.
Classification
- : existing Cayley--Menger coefficient twist over the frozen carrier;
- : existing source denominator arrangement;
- rank : zero-support coefficient grade;
- rank published -only block: proper -support coefficient grade;
- rank lower-pair closure: polylogarithmic coefficient module;
- unresolved full top rank and deletion arrows: coefficient-module/gluing data;
- new carrier datum: none.
The shared-carrier hypothesis survives this test. The result sharpens H2: denominator deletion organizes a nontrivial coefficient filtration over the unchanged carrier.
Exact evidence
- arXiv:2408.16386v2, source equation elliptic_subsec;
- temp/arxiv-2408.16386-source/sections/applications.tex, SHA-256 3e92460fe2e34dc21a537c784dab3b2fbcd9b7cfee9e7372f06971b50d8b6f9b;
- research/benincasa/marici-gm/src/bin/elliptic_top_sector_critical_count.rs;
- research/benincasa/elliptic-top-sector-critical-count.json.
Next hostile falsifier
Replace the recomputed sparse Macaulay reduction by an incremental degree-by-degree reducer or an exact ideal-quotient/colon saturation implementation. Require:
- stabilization of the full top-family Hilbert function at two successive ambient degrees;
- replication at a second good prime and a second generic homogeneous kinematic point;
- Möbius inversion on the complete denominator-deletion cube;
- explicit maps from the proper top grade to the -only and lower deletion faces.
A stabilized proper top class whose support cannot be generated by the frozen Cayley--Menger and denominator arrangement is the first finite carrier falsifier. Rank growth by itself remains coefficient complexity.
Outcome contract
{
"claim": "The source nine-master q-only block is the deletion-closed family rank.",
"status": "falsified",
"zero_deletion_closed_rank": 7,
"q_only_deletion_closed_rank": 16,
"q_only_proper_support_rank": 9,
"lower_pair_deletion_closed_rank": 9,
"lower_pair_stabilized_degrees": [20, 22],
"top_filtered_dimension_degree_20": 25,
"top_filtered_dimension_degree_22": 21,
"top_rank_certified": false,
"new_carrier_datum": false,
"next_experiment": "Incremental exact saturation and complete deletion-cube Mobius inversion."
}