2443 — The Tensor Helicity Pair Splits into Inherited Kummer and Rational Tate Channels
Question
Entry 2442 compiles the two helicity numerators from the existing Cayley--Menger sheet. What coefficient object results when those numerators multiply the scalar source form ?
Oriented local coordinates
At any labelled site write
and choose temporary roots
Exact trilateration gives
where
The scalar source coefficient is .
Exact helicity decomposition
Define
Reduction only by the frozen quadratic relations gives
with
Thus the helicity trace and anti-trace are
The square root cancels completely in the anti-trace channel.
Deck typing
Under the Cayley--Menger deck involution ,
Consequently
Reversing the oriented external base sends and leaves both spin-two helicity forms invariant. The temporary external orientation root therefore descends; it is not an additional coefficient sheet.
Support
The only denominators are
They are respectively existing soft, external Gram, and Cayley--Menger branch support. No tensor-specific divisor appears.
Result
The finite- tensor insertion produces a deck-odd Kummer channel and a deck-even rational/Tate channel over the unchanged Carrier.
This is the first source-derived coefficient enlargement in the interacting spin-two objective. It is neither a new Carrier cell nor a copy of the free spectral Gaussian coefficient.
Scope
The decomposition is local and algebraic. It precedes reduction in the rank-sixty twisted cohomology, Gauss--Manin transport, Ward/contact totalization, and pairing with the physical relative cycle. A direct-sum decomposition of local formulas does not yet prove that the global coefficient extension splits canonically.
Durable evidence
research/benincasa/check_tensor_kummer_tate_decomposition.py;research/benincasa/tensor-kummer-tate-decomposition.json;- Entries 2440--2442;
- sequence claim
seqclaim-74473af98814af5f09fd1cac.
Next falsifier
Reduce and separately in the labelled generic rank-sixty marked-relative quotient. Test whether Gauss--Manin transport preserves the two deck characters or produces a nonsplit extension between them. Only the resulting typed module may enter the Ward/contact observer complex.