727 — The Resonant Čech Target Has Three Arithmetic Closed Points
Question after Entries 724–726
After resolving the pairwise crossings of
what is the correctly typed degree-one term of the eventual Čech/localization complex over the rational kinematic base?
Closed-point census
Entry 726 finds five geometric intersection points, but they form only three closed points over . Indeed,
whereas
at . Thus the four finite-field points in the first two pairs are two Galois-conjugate pairs, not four independently rational incidence components.
Typed Čech target
Let denote the strict transforms and let be the source-derived resonant coefficient object on . Let denote the exceptional coefficient object produced by the transformed logarithmic connection at the corresponding closed point. Before any choice of splitting, the two-term incidence shape must be
There is no degree-two triple-overlap term because . The differential is not yet defined: Entry 726 shows that it must be induced by the resolved chart transitions, not by ordinary restriction in the original Gysin frame.
After extension to an algebraic closure, the two Weil restrictions split and the target has five geometric summands. Descent back to requires the two summands in each quadratic pair to be exchanged by the corresponding Galois involution. Consequently, a calculation over the split finite field may not select one member of either conjugate pair as a rational obstruction class.
Consequence
The first global test on Benincasa's future exceptional matrices is arithmetic descent, prior to rank interpretation:
A one-dimensional rational survivor, if present, must be a Galois-invariant combination of the conjugate exceptional fibers together with the rational fiber. Five independent finite-field coordinates are not a canonical rational coefficient space.
This result types the target but does not assert that an obstruction survives; that depends on the exceptional residues and transition maps still to be derived.
Evidence
- Entries 724–726;
- the exact pairwise intersection equations in Entry 726;
- allocator claim
seqclaim-d925b09cb53396e28aeb988b. - epistemic event
ev-000000000340-009aa09a-72fa-451f-8bf5-973d4b3c8743.
Next falsifier
Given the chartwise exceptional matrices, verify that conjugate crossings have conjugate transition maps and form the two stated Weil restrictions. Then compute the homotopy cofiber of the resulting incidence differential. Failure of equivariance falsifies the proposed rational descent; a zero cofiber falsifies this resonant-incidence source for the physical extension.