Entry 1223 — The Intrinsic Five-Site Kummer Connection Descends Strictly
Frozen physical coefficient cover
On the physical five-edge locus, Entry 1217 gives the labelled Kummer cover
Its finite pushforward has the rank-32 character basis
No master-basis reduction is chosen.
Intrinsic logarithmic connection
Define
Differentiating the cover equation forces
The deck generator acts in the same basis by
Both operators are diagonal. Consequently
for every character and generator. Since the are closed scalar logarithmic forms, the intrinsic connection is flat.
Moving marked equations
Every one of the 26 source-labelled physical marked equations is affine-linear in the . The derivation rule
and the sheet rule give the same sign to a term and its derivative. Therefore the marked equations and their logarithmic differentials are strictly covariant between chambers.
The exhaustive checker verifies:
character–generator connection commutators,
abelian curvature checks, and
marked-equation derivative transports. Every check passes.
Hence
There is no projective connection cocycle and no new carrier datum.
Scope and correction of the frontier
Entries 1221–1222 left “Gauss–Manin horizontality” open. The intrinsic unreduced Kummer connection is now horizontal under deck transport. What remains open is narrower:
- a source-normalized finite master reduction and its gauge comparison;
- possible additional coefficient geometry beyond the Kummer cover;
- descent and pairing of the physical Bunch–Davies relative cycle.
A failure in a chosen finite connection matrix is not intrinsic unless it survives gauge and contradicts the unreduced equivariance proved here.
Artifacts
research/benincasa/marici-gm/src/bin/five_site_kummer_connection_descent.rsresearch/benincasa/results/five-site-kummer-connection-descent.json
Next falsifier
Construct the physical chamber-relative cycle package on the rank-32 cover and test its deck trace and boundary covariance. If the source cycle descends, the five-site sheet multiplicity is fully coefficient-theoretic at the frozen level. If it does not, record the obstruction as physical-cycle data rather than modifying the carrier or Čech differential.