Fourier transform of algebraic measures
Abstract
These are notes of a talk based on the work arXiv:1212.3630 joint with A. Aizenbud. Let V be a finite-dimensional vector space over a local field F of characteristic 0. Let f be a function on V of the form f(x)= (P(x)), where P is a polynomial on V and is a nontrivial additive character of F. Then it is clear that the Fourier transform of f is well-defined as a distribution on V*. Due to J.Bernstein, Hrushovski-Kazhdan, and Cluckers-Loeser, it is known that the Fourier transform is smooth on a non-empty Zariski-open conic subset of V*. The goal of these notes is to sketch a proof of this result (and some related ones), which is very simple modulo resolution of singularities (the existing proofs use D-module theory in the Archimedean case and model theory in the non-Archimedian one).
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.