Théories des genres analytique des fonctions \(L\) \(p\)-adiques des corps totalement réels (Q1061784): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Values of abelian \(L\)-functions at negative integers over totally real fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Class fields of abelian extensions of \(\mathbb Q\) / rank | |||
Normal rank |
Revision as of 18:26, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Théories des genres analytique des fonctions \(L\) \(p\)-adiques des corps totalement réels |
scientific article |
Statements
Théories des genres analytique des fonctions \(L\) \(p\)-adiques des corps totalement réels (English)
0 references
1986
0 references
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.
0 references
totally real number field
0 references
Leopoldt's conjecture
0 references
p-adic L-function
0 references
Eulerian measures
0 references
p-adic pseudo-measure
0 references