Spelling suggestions: "subject:"noyaux sauvage""
1 |
Capitulation des noyaux sauvages étalesValidire, Romain 24 June 2008 (has links) (PDF)
Ce travail de thèse porte sur deux problèmes distincts, tous deux en lien avec le comportement galoisien de certains noyaux de localisation en cohomologie étale : les noyaux sauvages étales. Fixons un nombre premier p et $F_{\infty}$ une $\Z_p$-extension d'un corps de nombres $F$.<br />La structure de groupe abélien du p-groupe des classes des étages de $F_{\infty}/F$ est asymptotiquement bien connue : nous montrons, au moyen de la théorie d'Iwasawa des $\Z_p$-extensions, un analogue de ce résultat en $K$-théorie supérieure.<br />Dans un deuxième temps, nous étudions le groupe de Galois sur $F_{\infty}$ de la pro-p-extension, non ramifiée, p-décomposée maximale de $F_{\infty}$, lorsque $F_{\infty}$ est la $\Z_p$-extension cyclotomique de $F$. Après avoir établi un lien entre la structure de ce groupe et le comportement galoisien des noyaux sauvages étales, nous donnons divers critères effectifs de non pro-p-liberté pour ce groupe.
|
2 |
Sur la structure des noyaux sauvages étales des corps de nombresCaputo, Luca 02 April 2009 (has links)
Le but de ce travail est de présenter des résultats à propos des noyaux sauvages étales. Soit $p$ un nombre premier. Les noyaux sauvages étales d'un corps de nombres $F$ (qui sont dénotés par $WK^{ét}_{2i}(F)$ avec $i\in \mathbb{Z}$) sont des généralisations cohomologiques de la $p$-partie du noyau sauvage classique $WK_{2}(F)$, qui est le sous-groupe de $K_2(F)$ constitué par les symboles qui sont triviaux pour tout symbole de Hilbert local. Ces noyaux sauvages étales sont des $\mathbb{Z}_p$-modules et l'on sait qu'ils sont finis lorsque $i\geq 1$ (et même, suivant les conventions, si $i=0$) : on conjecture en plus qu'ils soient toujours finis (conjecture de Schneider). Dans la suite, on va supposer que cette conjecture est satisfaite. On va s'intéresser en particulier à deux problèmes. Le premier, qui est étudié dans les Chapitres 2 et 3, est la déterminations des structures de groupe qui sont réalisables comme noyaux sauvages étales. En d'autres termes, si l'on se donne un corps de nombres $F$, un $p$-groupe abélien fini $X$ et un nombre entier $i\in\mathbb{Z}$, on peut se demander s'il existe une extension finie $E/F$ telle que $WK^{ét}_{2i}(E)\cong X$. Une question semblable a été étudiée pour les $p$-groupes des classes et il y a un relation précise entre les $p$-groupes des classes et les noyaux sauvages étales. Par conséquent, on peut espérer traduire les résultats classiques dans le contexte des noyaux sauvages étales. Peut-être est-il intéressant de donner ici une courte récapitulation sur le problème de réalisation classique pour les $p$-groupes des classes. Essentiellement, deux techniques sont utilisées. D'un coté, pour un corps de nombres $F$ fixé, l'on étudie la $p$-tour des corps des classes de Hilbert de $F$ : Yahagi a montré que cette tour est infinie si et seulement s'il n'y a pas d'extensions finies $E/F$ dont le $p$-groupe des classes soit trivial. De plus, si la tour est finie, alors toute structure de $p$-groupe abélien apparaît comme $p$-groupe des classes pour quelque extension finie $E/F$. De l'autre coté, une fois que l'on sait que pour un corps de nombres $F$ fixé, il existe une extension finie dont le $p$-groupe de classes est trivial, alors on peut se servir de la théorie du corps des classes et de la théorie des genres pour trouver, pour n'importe quel $p$-groupe abélien fini $X$, une extension finie $E/F$ telle que le $p$-groupe des classes de $E$ est isomorphe à $X$. En effet, la traduction du résultat de Yahagi dans le contexte des noyaux sauvages étales n'est pas tout à fait immédiate : la relation entre le groupe des classes et le noyau sauvage étale d'un corps de nombres $F$ s'écrit dans le langage de $\Gamma$-modules, où $\Gamma$ est le groupe de Galois sur $F$ de la $\mathbb{Z}_p$-extension cyclotomique de $F(\mu_p)$. La façon la plus naturelle pour s'approcher du problème est donc de considérer le problème de réalisabilité pour les modules d'Iwasawa. Ce problème a été étudié (parmi d'autres auteurs) par Ozaki : il a montré que pour tout $\Lambda$-module fini $X$, il existe un corps de nombres $k$ tel que le module d'Iwasawa de $k$ (c'est à dire la limite projective des $p$-groupes des classes le long de la tour cyclotomique) est isomorphe à $X$. Les techniques utilisées sont inspirées à celles de Yahagi et en fait elles s'appuient d'une façon fondamentale du fait que $p$ ne divise pas le nombre des classes de $\mathbb{Q}$. Pour obtenir la traduction de ce résultat en termes de noyaux sauvages étales il faut considérer plutôt $\mathbb{Q}(\mu_p)$ -plus précisément un sous-corps convenable de $\mathbb{Q}(\mu_p)$. Bien entendu, le nombre des classes de ce sous-corps n'est plus premier avec $p$ (du moment que $p$ peut être irrégulier). D'autre part, si $p$ est régulier, la preuve d'Ozaki peut être adaptée (comme l'on montre dans le Chapitre 2). / The aim of the present work is to prove some results about étale wild kernels. Let $p$ be an odd prime. Etale wild kernels of a number field $F$ (which are denoted $WK^{ét}_{2i}(F)$ for $i\in \mathbb{Z}$) are cohomological generalizations of the $p$-part of the classical wild kernel $WK_{2}(F)$, which is the subgroup of $K_2(F)$ made up by symbols which are trivial for any local Hilbert symbol. Etale wild kernels are $\mathbb{Z}_p$-modules which are known to be finite if $i\geq1$ (and even if $i=0$, depending on the chosen convention): actually they are conjectured to be always finite (the Schneider conjecture). In the following we will suppose that this is always the case. Two problems are studied in detail. The first, which is analyzed in Chapter 2 and Chapter 3, is to determine which group structures are realizable for étale wild kernels. In other words, given a number field $F$, a finite abelian $p$-group $X$ and $i\in \mathbb{Z}$, one can ask if there exists a finite extension $E/F$ such that $WK^{ét}_{2i}(E)\cong X$. A similar problem has been studied for $p$-class groups and there are precise relations between the $p$-class group and étale wild kernels. Therefore one may expect to translate results from $p$-class groups to étale wild kernels. It is maybe useful to give here a short account on the classical realizability problem for $p$-class groups. Essentially two kind of techniques are used. On the one hand, for a fixed number field $F$, one studies the Hilbert $p$-class field tower of $F$: it has been shown by Yahagi that the Hilbert $p$-class tower of $F$ is infinite if and only if there is no finite extension $E/F$ whose $p$-class group is trivial. Furthermore, if the Hilbert $p$-class tower of $F$ is finite, then every finite abelian $p$-group structure appears as $p$-class group of some finite extension $E/F$. On the other hand, once we know that for a fixed number field $F$ there exists a finite extension whose $p$-class group is trivial, then class field theory and genus theory are used to exhibit, for any finite abelian $p$-group $X$, a finite extension $E/F$ such that the $p$-class group of $E$ is isomorphic to $X$. Actually, the translation of Yahagi's result in terms of étale wild kernels is not immediate: the relation between the class groups and étale wild kernels of a number field $F$ is expressed in terms of $\Gamma$-modules structures, where $\Gamma$ is the Galois group over $F$ of the cyclotomic $\mathbb{Z}_p$-extension of $F(\mu_p)$. The most natural way to approach the problem is then to consider the realizability problem for Iwasawa modules. This problem is studied (among many others) by Ozaki: he proved that for any finite $\Lambda$-module $X$, there exists a number field $k$ such that the Iwasawa module of $k$ (i.e. the projective limit of $p$-class groups along the cyclotomic $\mathbb{Z}_p$-extension) is isomorphic to $X$. The techniques used are inspired to those by Yahagi and actually Ozaki makes fundamental use of the fact that $p$ does not divide the class number of $\mathbb{Q}$. To get the translation of this result in terms of étale wild kernels one has to consider $\mathbb{Q}(\mu_p)$ -more precisely a suitable subfield of $\mathbb{Q}(\mu_p)$ depending on $i$- instead of $\mathbb{Q}$. Here the problem is that the class number of this suitable subfield is no more coprime with $p$ (as $p$ may be irregular). If this is not the case anyway, the proof of Ozaki can be adapted as it is shown in Chapter 2.
|
3 |
Le K1 des courbes sur les corps globaux : conjecture de Bloch et noyaux sauvages / On K1 of Curves over Global Fields : Bloch’s Conjecture and Wild KernelsLaske, Michael 19 November 2009 (has links)
Pour X une courbe sur un corps global k, lisse, projective et géométriquement connexe, nous déterminons la Q-structure du groupe de Quillen K1(X) : nous démontrons que dimQ K1(X) ? Q =2r, où r désigne le nombre de places archimédiennes de k (y compris le cas r = 0 pour un corps de fonctions). Cela con?rme une conjecture de Bloch annoncée dans les années 1980. Dans le langage de la K-théorie de Milnor, que nous dé?nissons pour les variétés algébriques via les groupes de Somekawa, le premier K-groupe spécial de Milnor SKM1 (X) est de torsion. Pour la preuve, nous développons une théorie des hauteurs applicable aux K-groupes de Milnor, et nous généralisons l’approche de base de facteurs de Bass-Tate. Une structure plus ?ne de SKM 1 (X) émerge en localisant le corps de base k, et une description explicite de la décomposition correspondante est donnée. En particulier, nous identi?ons un sous-groupe WKl(X):= ker (SKM 1 (X) ? Zl ? Lv SKM 1 (Xv) ? Zl) pour chaque entier rationnel l, nommé noyau sauvage, dont nous croyons qu’il est ?ni. / For a smooth projective geometrically connected curve X over a global ?eld k, we determine the Q-structure of its ?rst Quillen K-group K1(X) by showing that dimQ K1(X) ? Q =2r, where r denotes the number of archimedean places of k (including the case r = 0 for k a function ?eld). This con?rms a conjecture of Bloch. In the language of Milnor K-theory, which we de?ne for varieties via Somekawa groups, the ?rst special Milnor K-group SKM 1 (X) is torsion. For the proof, we develop a theory of heights applicable to Milnor K-groups, and generalize the factor basis approach of Bass-Tate. A ?ner structure of SKM 1 (X) emerges when localizing the ground ?eld k, and we give an explicit description of the resulting decomposition. In particular, we identify a potentially ?nite subgroup WKl(X):= ker (SKM 1 (X) ? Zl ? Lv SKM 1 (Xv) ? Zl) for each rational prime l, named wild kernel.
|
Page generated in 0.0971 seconds