Weight-Zero Wall Class Is a Cyclic Kummer Sign System
Record
Status: the rank-one wall class derived in entry 240 has semisimple total-energy monodromy , trivial unipotent part, and a cyclically covariant sewing among the three unsplit marked-Cut sectors. The transported relative chain has the same sign, so the physical period pairing is single-valued.
The two individual lower-denominator occurrences have not yet been split at weight . No multiplicity or cancellation is inferred before that calculation.
No carrier cell, local-system summand, sign choice, or normalization is added.
Deutsch--Popperian conjecture tested
The hard-to-vary claim was
The finite falsifier was the frozen deck action on the wall cover together with the source cyclic permutation of ordered marked sectors.
Frozen class
For the -sector write
where
Define and by the source cyclic rotation , preserving the displayed order in each pair.
Total-energy deck action
The weighted chart has
A positive loop around sends
The normalized wall root is
up to the frozen nonzero scalar. Both and change sign on this loop, so
Consequently
The monodromy decomposition is therefore
This is a rank-one Kummer sign system, not a unipotent nearby-cycle line. It is distinct from the rank-two nodal Legendre quotient of the absolute nine-master module.
Endpoint and chain action
The exact primitive in entry 240 is
It is odd under the deck action, so its opposite endpoint polar-jet vector also has character .
The oriented physical interval from to is sent by to the same geometric interval with reversed orientation. Hence its transported relative-homology class also has character . The period pairing has product character
Thus the nonzero regularized period of entry 240 is single-valued even though its coefficient and chain factors are separately sign-twisted.
Cyclic sewing
The source rotation gives
No reflection or pair-order reversal occurs. The coefficient squares
were checked under all three cyclic substitutions at 1,728 exact positive integer triples. The unsquared sign is fixed by the source pair order and the same orientation used in entries 226--228, 230--231, 234, 240, 320--328.
Therefore the three unsplit sector classes sew as one cyclic family with a common total-energy sign character.
Occurrence boundary
Entry 240 used the literal source sum
before taking the weight- wall class. Thus is already the unsplit result. It does not determine whether the two individual occurrence lifts contribute equally, cancel lower classes before summing, or carry different endpoint jets.
Accordingly,
No factor is asserted at this stage.
Verdict
The unipotent-or-cyclic obstruction is falsified for the unsplit class:
The result remains relative Tate/Kummer coefficient data over the existing resolved carrier. It supplies no direct Legendre component, absolute nine-master coordinate, line, or provenance.
Classification
- existing carrier: unchanged total-energy deck, cyclic marked sectors, wall covers, and endpoint flags;
- coefficient local system: rank-one Kummer sign in each sector;
- semisimple monodromy: ;
- unipotent logarithm: ;
- endpoint polar-jet character: ;
- transported chain character: ;
- period character: trivial;
- cyclic sewing: verified for unsplit sector sums;
- occurrence-resolved sewing: uncomputed;
- genuinely new carrier datum: none.
Exact evidence
research/benincasa/check_weight_zero_wall_monodromy_cyclic.rs;research/benincasa/weight-zero-wall-monodromy-cyclic.json;- 1,728 exact cyclic coefficient-square tests;
- exact deck-sign and chain-sign assertions;
- warnings-denied optimized Rust compilation and exact JSON comparison.
Next finite falsifier
Split the two lower-denominator occurrences before the weighted expansion. For each of
compute enough grades to reach their individual weight- wall classes. Project each onto the Kummer generator and compare endpoint polar jets.
Then test whether:
- the two Kummer coefficients are equal and occurrence forgetting gives multiplicity two;
- they differ but sum to entry 240's coefficient;
- one or both are exact before summing;
- cyclic transport preserves both occurrence orbits.
Any answer must reproduce the frozen unsplit sum. Failure does not justify a new carrier unless an actual missing incidence stratum is derived.
Outcome contract
{
"claim": "The new weight-0 wall class may acquire unipotent monodromy or fail cyclic covariance.",
"status": "falsified_for_unsplit_sector_sums",
"semisimple_character": -1,
"unipotent_part": 1,
"N": 0,
"endpoint_jet_character": -1,
"relative_chain_character": -1,
"period_character": 1,
"cyclic_covariance": ["kappa12->kappa23", "kappa23->kappa31", "kappa31->kappa12"],
"occurrence_split_status": "uncomputed",
"new_carrier_incidence": false,
"next_experiment": "Compute the two individual lower-denominator weight-0 Kummer classes and sew both cyclic occurrence orbits."
}