In which we study the local factors and their relationship to the singular series.
- Lemma 14: We have
where the limit is over a sequence of tending to infinity in such a way that for each prime (e.g. ). We proved this by expanding the right-hand side using Fourier inversion.
- Definition of
- Lemma 15: (i) For and for each prime , the limit in the definition of exists. Moreover, we have , where .
(ii) For , there is some such that — the infinite product converges. We proved this by writing as a suitable sum (via Fourier inversion again), and then using a telescoping sum.
- Definition of .
- Lemma 16: The sum is multiplicative, in the sense that if and are coprime natural numbers then for any coprime to and any coprime to . We shall prove this next time; it won’t take long.
Davenport’s book (Analytic methods for Diophantine equations and Diophantine inequalities) reaches the same conclusion slightly more speedily, but without pausing to interpret and quite so explicitly (relating them to counting solutions to congruences).
Preparation for Lecture 8
Next time, we shall prove Lemma 16 and then that the function is multiplicative (in the usual sense), and we’ll then move on to show that the local factors are all positive (by showing that there are many solutions to the relevant congruences). You might like to try proving any or all of these things for yourself!