1393 — Pairwise Infinity Torsors Define a Rank-Two Affine Mismatch Plane
Status
Replicated one-characteristic modular result at and . Characteristic-zero and physical interpretations remain open.
Three pairwise affine torsors
Let
be the affine spaces of cubic primitive solutions satisfying the corresponding two-orbit boundary-zero conditions.
Choose arbitrary representatives
Because all three solve the same affine source equation, their differences lie in
Entry 1384 constructed
Section-independent difference classes
Define
in .
Changing any representative by
changes the differences only by the subspace already quotiented in .
Therefore are independent of the Gaussian sections used to construct the representatives.
Exact modular result
At both tested maximal-rank fibers,
and
Hence
The third difference satisfies
so the three torsor mismatches form the expected two-dimensional affine triangle.
Meaning
The large rank-246 residual contains a compact, source-induced rank-two object selected by the incompatibility of the three pairwise trivializations.
This is stronger than a rank count:
- the ambient quotient is section-independent;
- each difference class is nonzero;
- the two independent differences span a replicated plane;
- no fitted projector or preferred primitive representative is used.
Prohibited inference
The plane is not yet:
- a physical rank-two period system;
- a Legendre or Kummer local system;
- an integral lattice;
- a characteristic-zero object;
- evidence for a new carrier stratum.
It is a modular affine-torsor mismatch plane inside the existing occurrence carrier.
Next finite falsifier
Transport under:
- cyclic occurrence rotation;
- deck complement;
- change of maximal-rank base value;
- eventually the source Gauss--Manin connection.
The immediate finite test is whether cyclic and deck transport preserve the plane and determine a canonical two-dimensional representation.
If the transported plane depends on the chosen occurrence triple beyond the declared symmetry action, it is presentation data rather than a coefficient object.
Artifacts
research/benincasa/results/five-site-asymmetric-affine-mismatch-plane.jsonresearch/benincasa/results/five-site-asymmetric-kummer-resolved-ibp-pilot.jsonresearch/benincasa/marici-gm/src/bin/five_site_asymmetric_kummer_resolved_ibp_pilot.rs
Allocator claim: seqclaim-b049ee4243c661f1eaac4607.