An idelic approach to the wild kernel (Q2277016)

From MaRDI portal
Revision as of 12:23, 2 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
An idelic approach to the wild kernel
scientific article

    Statements

    An idelic approach to the wild kernel (English)
    0 references
    0 references
    0 references
    1991
    0 references
    Le résultat principal de l'article relie le p-sous-groupe de Sylow du noyau sauvage (ou hilbertien) de la K-théorie au radical kummerien construit sur le noyau des valeurs absolues p-adiques principales dans la \({\mathbb{Z}}_ p\)-extension cyclotomique \(F_{\infty}/F\) d'un corps de nombres algébriques contenant les racines 2p-ièmes de l'unité, et ce à la lumière des conjectures de Leopoldt et de Gross. La conjecture de Gross, telle que généralisée par le rapporteur [L'arithmétique des l-extensions. Pub. Math. Fac. Sci. Besançon, Théor. Nombres 1984/85-1985/86, No.1 (1986; Zbl 0601.12002)], affirme que l'application naturelle \(g_ F| \epsilon \mapsto \sum_{{\mathfrak p}| p}Log_ p(| x|_{{\mathfrak p}})\cdot {\mathfrak p}\) induite par le logarithme d'Iwasawa et les valeurs absolues p-adiques (i.e. à valeurs dans \({\mathbb{Z}}_ p)\) envoie le \({\mathbb{Z}}_ p\)-module \({\mathbb{Z}}_ p\otimes_{{\mathbb{Z}}}E'_ F\) construit sur les p-unités avec un indice fini dans la codiagonale du \({\mathbb{Z}}_ p\)-module libre construit sur les places au dessus de p. L'auteur établit ici que le sous-module divisible maximal du noyau des symboles de Hilbert dans le p-radical universel \(({\mathbb{Q}}_ p/{\mathbb{Z}}_ p)\otimes_{{\mathbb{Z}}}F^{\times}\) est exactement le \({\mathbb{Z}}_ p\)-module divisible \(({\mathbb{Q}}_ p/{\mathbb{Z}}_ p)\otimes_{{\mathbb{Z}}_ p}Ker g_ F\) (th. 1.12). Par montée dans la tour cyclotomique, il en déduit que le noyau universel de Tate dans \(({\mathbb{Q}}_ p/{\mathbb{Z}}_ p)\otimes_{{\mathbb{Z}}}F^{\times}_{\infty}\) (i.e. le noyau des symboles à valeurs dans \(K_ 2(F_{\infty}))\) coïncide, sous la conjecture de Gross, avec le \({\mathbb{Z}}_ p\)-module divisible \(({\mathbb{Q}}_ p/{\mathbb{Z}}_ p)\otimes_{{\mathbb{Z}}_ p}Ker g_{F_{\infty}}\) construit sur les normes cyclotomiques, alors qu'il s'identifie, sous la conjecture de Leopoldt, à la limite inductive des radicaux kummeriens attachés aux \({\mathbb{Z}}_ p\)-extensions des étages finis de la tour \(F_{\infty}/F\) comme expliqué ailleurs par le rapporteur [Journées arithmétiques de Marseille (1989); à paraître dans Astérisque]. Enfin, en conclusion, l'auteur généralise aux noyaux sauvages le résultat antérieur de \textit{J. Coates} sur la p-partie des noyaux modérés dans une \({\mathbb{Z}}_ p\)-extension cyclotomique qui repose sur des arguments de théorie d'Iwasawa [Ann. Math., II. Ser. 95, 99-116 (1972; Zbl 0245.12005)].
    0 references
    0 references
    p-torsion
    0 references
    wild kernel
    0 references
    Tate-twisted idèle-class-group
    0 references
    conjecture of Gross
    0 references
    Iwasawa theory
    0 references
    Tate kernel
    0 references