Registry · Definition
I.D40
tau-effective
formalized
I.D40 — Bipolar Fourier Transform
Formal transform on L using the character group. Expresses functions on L as sums over characters. Feeds into the Central Theorem: O(tau^3) = A_spec(L).
Book I
Part 11
Ch. 45