Théories des genres analytique des fonctions \(L\) \(p\)-adiques des corps totalement réels (Q1061784): Difference between revisions

Let \(k\) be a totally real number field of degree \(d\) and satisfying Leopoldt's conjecture for the prime \(p\); let \(\chi =\phi \psi\) be a character of \(\mathrm{Gal}(k^{ab}/k)\) (\(\phi\) of order prime to \(p\), \(\psi\) of \(p\)-power order), and let \(\pi\) be a parameter in the local field \({\mathbb{Q}}_ p(\chi)\) generated over \({\mathbb{Q}}_ p\) by the values of \(\chi\). Then the \(p\)-adic \(L\)-function of \(\chi\) satisfies exactly one of the two following possibilities: \(\text{ord}_{\pi}(2^{-d} L_ p(\chi,s))=D-\varepsilon\), for all \(s\in {\mathbb{Z}}_ p\) (resp. \(>D-\varepsilon\), for all \(s\in {\mathbb{Z}}_ p)\), with \(D=\sum_{\ell}p^{d_{\ell}}\), where \(p^{d_{\ell}}\) is the decomposition index of \(\ell\) in the abelian extension of \(k\) corresponding to \(\mathrm{Ker}(\psi)\), for all prime ideals \(\ell\) of \(k\), prime to \(p\), dividing the conductor of \(\psi\), and totally splitted by \(\phi\), and \(\varepsilon =0\) (resp. 1) if \(\phi\) \(\neq 1\) (resp. \(\phi =1)\). The proof is based on a suitable result about the structure of the ideal of ``Eulerian measures'', applied to the \(p\)-adic pseudo-measure of \textit{P. Deligne} and \textit{K. A. Ribet} [Invent. Math. 59, 227--286 (1980; Zbl 0434.12009)], via the concepts by \textit{J.-P. Serre} [C. R. Acad. Sci., Paris, Sér. A 287, 183--188 (1978; Zbl 0393.12026)]. When \(\phi =1\), the previous alternative may be decided by mean of a standard numerical computation.