l-adic L-functions and rational function measures (Q4385597)

Fix two distinct prime numbers \(\ell\) and \(p,\ell\) odd. Using measure-theoretic methods ``à la Sinnot'', the author shows that the function \[ \psi\mapsto L_\ell(1,\chi\psi)\bmod\ell, \] where \(\chi\) is a Dirichlet character of a totally real abelian number field \(F\) of conductor prime to \(p\ell\) and \(\psi\) a character of the basic \(\mathbb{Z}_p\)-extension \(\mathbb{Q}_\infty/ \mathbb{Q}\) with values in \(\mathbb{C}_\ell\), is the Gamma transform of a rational function measure. It follows that \(\text{ord}_\ell L_\ell (1,\chi\psi)=0\) for almost of \(\psi\). Algebraically, this means that if \(F_\infty= \cup_nF_n\) is the basic \(\mathbb{Z}_p\)-extension of \(F\), \(M_n\) the maximal abelian \(\ell\)-extension of \(F_n\) unramified outside \(\ell\), and \(F^{(\ell)}_{n,\infty}\) the basic \(\mathbb{Z}_\ell\)-extension \(F_n\), then the order of \(\text{Gal} (M_n/F_{n, \infty}^{(\ell)})\) stabilizes when \(n\) is sufficiently large.