Déformation des extensions peu ramifiées en P / Deformation extensions slightly branched P

L'objet de la thèse est la classification à conjugaison près des sous-groupes finis du groupe de stabilisateur (classique) de Morava S_n et du groupe de stabilisateur étendu G_n(u) associé à une loi de groupe formel F de hauteur n définie sur le corps F_p à p éléments. Une classification complète dans S_n est établie pour tout entier positif n et premier p. De plus, on montre que la classification dans le groupe étendu dépend aussi de F et son unité associée u dans l'anneau des entiers p-adiques. On établit un cadre théorique pour la classification dans G_n(u), on donne des conditions nécessaires et suffisantes sur n, p et u pour l'existence dans G_n(u) d'extensions de sous-groupes finis maximaux de S_n par le groupe de Galois de F_{p^n} sur F_p, et lorsque de telles extensions existent on dénombre leurs classes de conjugaisons. On illustre nos méthodes en fournissant une classification complète et explicite dans le cas n=2.

Ce travail de thèse comporte l'étude des invariants logarithmiques le long des $l^{d}$-extensions et se compose de trois parties étroitement reliées. La première partie est un compendium sur les divers approches à l'arithmétique algorithmique, c'est à dire l'étude générale des invariants logarithmiques. En particulier on y présente quatre définitions équivalentes du groupe de classes logarithmiques et on y démontre leur équivalence. On donne aussi une preuve alternative d'un théorème d'Iwasawa de type logarithmique. La deuxième partie s'interprète comme un addendum historique sur l'étude du groupe de classes logarithmiques le long des $l$-extensions. On démontre que sous la conjecture de Gross-Kuz'min la théorie d'Iwasawa peut être bien employée pour l'étude du cas non-cyclotomique. Ainsi, on démontre des relations entre les invariants $mu$ et $lambda$ correspondant au $ell$-groupe de classes avec les invariants $ilde{mu}$ et $ilde{lambda}$ attachés aux groupes de classes logarithmiques. La troisième partie comporte l'étude du module d'Iwasawa logarithmique pour des $l^{d}$-extensions, c'est à dire du groupe de Galois $X=Gal(L_{d}/K_{d})$ de la $ell$-extension maximale abélienne logarithmiquement non-ramifiée du compositum $K_{d}$ des différentes $l$-extensions d'un corps de nombres $K$. On démontre sous la conjecture de Gross-Kuz'min, de façon analogue au cas classique, que $X$ est bien un module noethérien et de torsion sous l'algèbre d'Iwasawa de $K_{d}$. Ainsi, on déduit des relations entre les invariants logarithmiques $ilde{mu}$ et $ilde{lambda}$ des $l$-extensions de $K$ qui satisfont une hypothèse de décomposition. / This work is concerned with the study of logarithmic invariants on $l^{d}$-extensions and is subdivided in three pieces, which are closely related to each other. The first part is a compendium of the different approaches to logarithmic arithmetic, that is the study of the logarithmic invariants. In particular we show the equivalence between the four definitions of the logarithmic class group existing in the literature. Also we give an alternative proof of an Iwasawa logarithmic result. The second part can be thought as an historic addendum on the study of the logarithmic class group over $l$-extensions. Assuming the Gross-Kuz'min conjecture we show that the logarithmic class group can be studied in the Iwasawa setting for non-cyclotomic extensions. We also give relations between the classical $mu$ and $lambda$ invariants and the logarithmic invariants $ilde{mu}$ and $ilde{lambda}$ attached to the logarithmic class groups. The third part studies the properties of the Iwasawa logarithmic module for $l^{d}$-extensions, that is the Galois group $X=Gal(L_{d}/K_{d})$ of the maximal abelian $ell$-extension logarithmically unramified of the compositum $K_{d}$ of the different $l$-extensions of a number field $K$. Assuming the Gross-Kuz'min conjecture we show that $X$ is a noetherian torsion module over the Iwasawa algebra of $K_{d}$. We also deduce relations between the logarithmic invariants $ilde{mu}$ and $ilde{lambda}$ of the $l$-extensions of $K$ which satisfy a splitting condition.

L'objet de la thèse est la classification à conjugaison près des sous-groupes finis du groupe de stabilisateur (classique) de Morava S_n et du groupe de stabilisateur étendu G_n(u) associé à une loi de groupe formel F de hauteur n définie sur le corps F_p à p éléments. Une classification complète dans S_n est établie pour tout entier positif n et premier p. De plus, on montre que la classification dans le groupe étendu dépend aussi de F et son unité associée u dans l'anneau des entiers p-adiques. On établit un cadre théorique pour la classification dans G_n(u), on donne des conditions nécessaires et suffisantes sur n, p et u pour l'existence dans G_n(u) d'extensions de sous-groupes finis maximaux de S_n par le groupe de Galois de F_{p^n} sur F_p, et lorsque de telles extensions existent on dénombre leurs classes de conjugaisons. On illustre nos méthodes en fournissant une classification complète et explicite dans le cas n=2. / The problem addressed is the classification up to conjugation of the finite subgroups of the (classical) Morava stabilizer group S_n and the extended Morava stabilizer group G_n(u) associated to a formal group law F of height n over the field F_p of p elements. A complete classification in S_n is provided for any positive integer n and prime p. Furthermore, we show that the classification in the extended group also depends on F and its associated unit u in the ring of p-adic integers. We provide a theoretical framework for the classification in G_n(u), we give necessary and sufficient conditions on n, p and u for the existence in G_n(u) of extensions of maximal finite subgroups of S_n by the Galois group of F_{p^n} over F_p, and whenever such extension exist we enumerate their conjugacy classes. We illustrate our methods by providing a complete and explicit classification in the case n=2.