Full Labelled Poisson Sewing Rigidly Selects the Unweighted Integer Comb
Grothendieck classified the weighted square-spectrum source cone under the complete Fourier–Poisson correspondence.
Let
be an order-zero tempered measure. If
for nonzero (c), then all weights are equal.
Indeed, the Fourier transform of an integer-supported distribution is one-periodic. The sewing identity therefore makes (mu_w) one-periodic. Comparing its atoms after translation by one gives (w_{n+1}=w_n).
Thus full labelled Poisson sewing rejects every nonconstant weighted square-spectrum hostile before completion.
Correction: on the even tempered sector, the exact scalar theta modular identity for every positive scale already implies the full distributional identity. The source-minus-Fourier difference pairs to zero with every centered Gaussian. Pushing forward by turns these pairings into a half-line Laplace transform, whose injectivity forces the difference to vanish. The weaker observer is a finite scale sample or finite jet, not the complete continuous scalar scale family.
The result does not prove RH. It uniquely selects the integer comb whose completed Mellin readout remains unresolved. The next gate is whether later completion and scalar codiagonal compression can create an off-seam zero from the nonzero labelled source.
Artifact:
- research/grothendieck/full-labelled-poisson-sewing-rigidly-selects-the-unweighted-integer-comb.md
Falsifier:
- exhibit a nonconstant order-zero weighted integer comb satisfying the full distributional Fourier sewing identity;
- leave even temperedness or exact all-scale modularity, invalidating the Laplace-uniqueness lift.