Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-123/3/solution

The Schwartz-Bruhat space of a non-Archimedean local field is the vector space of locally constant, compactly supported complex-valued functions on . Fix a nontrivial continuous additive character and a Haar measure . With the sign convention required in the question, the Fourier transform over a local field is
Let
be the annihilator of the valuation ring. Translation invariance gives
Indeed, the integral is the volume when the character is trivial; otherwise translation by an element on which the character is nontrivial multiplies the integral by a scalar different from one, forcing it to vanish. With the usual character of conductor and the normalization , this becomes
For the canonical character induced from , the annihilator is instead the inverse different and the displayed general formula applies.
If with , the substitution and the scaling rule give
Every locally constant compactly supported function is a finite linear combination of characteristic functions of cosets : compactness extracts finitely many cosets on which the function is constant. The formula just proved, together with the transform of , shows that the transform of each such characteristic function is again locally constant and compactly supported. Therefore the Fourier transform over a local field maps to itself.

New to topics? Read the docs here!