A new proof of some duality theorem on the \(\ell\)-adic logarithms of local units (Q1807494)

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é.