A new proof of some duality theorem on the \(\ell\)-adic logarithms of local units (Q1807494)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new proof of some duality theorem on the \(\ell\)-adic logarithms of local units |
scientific article |
Statements
A new proof of some duality theorem on the \(\ell\)-adic logarithms of local units (English)
0 references
22 November 1999
0 references
Soient \(\ell\) un nombre premier et \(H\) une extension non ramifiée du complété \(\ell\)-adique \(\mathbb{Q}_\ell\) du corps des rationnels. Posant \(k_{-1}=H\), l'auteur considère la suite des étages de la \(\ell\)-tour cyclotomique \(k_n\) obtenus en adjoignant à \(H\) les racines de l'unité. Pour certains modules galoisiens \(V(k_n)\), il associe l'``orthogonal'' \[ V(k_n)^\perp= \{x\in k_n\mid \operatorname {Tr}_{k_n/\mathbb{Q}_\ell} (x\cdot \operatorname {Log} y)\in \mathbb{Z}_\ell,\;\forall y\in V(k_n)\} \] où Tr désigne l'application trace et Log le logarithme \(\ell\)-adique. Les résultats postérieurement établis par l'auteur permittent d'énoncer un théorème de dualité précisant le noyau de la restriction à \(V(k_n)^\perp\) de la trace associée à l'extension \(k_n/k_0\). Les étapes de la preuve dépendent alors lourdement de la structure explicite de \(V(k_n)^\perp\) (déjà connue par G. Iwasawa dans le cas \(H= \mathbb{Q}_\ell\)). L'objectif de cet article est d'obtenir une toute autre démonstration, plutôt technique mais apportant un rôle de moins grande importance aux propriétés des racines de l'unité.
0 references
\(\ell\)-adic logarithm
0 references
roots of unity
0 references
cyclotomic extension
0 references
trace map
0 references