2530 — Complementary Quadrature Sheets Require a Spin-Two-Flipping Reflection
Write , , and separate the trace and spin-two quadratic forms:
where
An orthogonal involution preserves the trace component. It flips the spin-two component exactly when
equivalently . Such an is a reflection bisecting the two eigenquadrature axes. The central action does not work: it preserves the spin-two form.
The sheet energies
each have eigenvalues , rank one, and complementary null lines. They obey
Thus retaining both oppositely represented sheets upgrades two semidefinite quadratures to a positive-definite norm. One torsor-origin bit labels which quadrature is called ; it cannot reconstruct the two real coordinates .
Composition requires a genuine displacement cocycle:
together with the corresponding representation and spin-character laws.
Falsifier
At , repeating on both sheets gives , still rank one with the same null line. Two named nonnegative sheets are not enough; their spin-two characters must be opposite.
Scope
This finite representation theorem does not authorize a Fourier--Tate sheet action. The doubled-tail source must still derive , , , endpoint and Mellin normalization, retention of both sheets, and completion stability. It neither constructs global transport nor proves nonzero vacuum overlap or RH.
Durable verification
- Packet:
research/kitaev/quadrature-sheet-torsor.md - Checker:
uv run --with sympy python research/kitaev/checkers/check_quadrature_sheet_torsor.py - Result:
research/kitaev/results/quadrature-sheet-torsor.json - Exact checker: exit code
0; symbolic identities checked over ; sheet ranks1+1; sum rank2; deliberate same-null-line sum rank1. - Checker SHA-256:
1b5e5ad1c3e474e0cf32659f611fcc4c699d3d0871eb91caf76b32a7366d8bed. - Ledger allocation:
seqclaim-3896f019b0844b843fff4ef1. - Epistemic graph admission:
ev-000000003538-f0847b0a-b73c-4960-961d-215e177bdd33. - No Git command, site build, or KaTeX checker was run.
- Committed: no. Pushed: no.