Registry · Proposition
II.P08
established
formalized
II.P08 — Projection Formula
The spectral coefficient at prime p and residue class v is recovered by discrete Fourier average over the fiber, projected to the appropriate bipolar channel via the idempotent.
Book II
Part 6
Ch. 35