Ce travail part de l'observation d'un résultat de P. Robba établi en 1982 dont l'énoncé est le suivant : si l est un entier p-adique, alors la série (1+T)l à coefficients dans l'anneau des entiers p-adiques, réduite modulo p, est algébrique sur le corps des fractions rationnelles à coefficients dans le corps fini à p éléments si et seulement si l est rationnel. En remarquant que cette série a une expression très proche de celle d'un endomorphisme du groupe multiplicatif sur l'anneau des entiers p-adiques, on généralise ce résultat à une classe de groupes formels de Lubin-Tate dont le logarithme vérifie une certaine condition d'algébricité. Nous interprétons ensuite ce résultat via le foncteur XK de Fontaine et Wintenberger et en tirons des conséquences sur l'indépendance algébrique des automorphismes de corps locaux. Dans la deuxième partie de ce travail, nous établissons l'analogue du théorème de P. Robba dans le cas des modules de Drinfeld de rang 1 définis sur le complété P-adique de l'anneau des polynômes à coefficients dans un corps fini où P est un polynôme irréductible, unitaire et à coefficients dans ce même corps fini.

Le cadre de cette thèse est celui de la théorie des représentations p-adiques, et plus particulièrement la théorie de Fontaine. Je m'intéresse au cas d'une extension métabélienne d'un corps local et construit un (phi, Gamma)-module adapté à cette extension, puis je fournis des généralisations de certains outils usuels associés à ce (phi, Gamma)-module tel qu'un complexe calculant la cohomologie de la représentation. J'établis encore les formules explicites du dictionnaire entre le monde des représentations et celui des (phi, Gamma)-modules, pour le complexe de Herr, le cup-produit ou l'application de Kummer.<br /><br />La seconde partie de ce travail est dévolue à la preuve de la loi de réciprocité de Brückner-Vostokov pour un groupe formel. Je combine pour cela des méthodes relevant des (phi, Gamma)-modules à l'aide des résultats de la première partie et des techniques spécifiques introduites par Abrashkin à travers une interprétation cohomologique de ses travaux. J'obtiens ainsi une preuve de la loi de réciprocité libre de toute hypothèse non naturelle sur l'appartenance de racines de l'unité au corps de base.

Cette thèse s'inscrit dans la lignée des travaux relatifs à la théorie des formes linéaires de logarithmes. Elle comporte deux parties ainsi que trois annexes. Dans la première partie, nous nous intéressons au cas général d'un groupe algébrique commutatif quelconque, défini sur la clôture algébrique de Q. Étant donné un tel groupe G, un hyperplan W de l'espace tangent à l'origine de G et $u$ un point complexe de cet espace tangent, dont l'image par l'exponentielle du groupe de Lie complexe G(C) est algébrique, nous obtenons une minoration de la distance de u à W, qui améliore les résultats connus auparavant et qui, en particulier, est optimale en la hauteur de l'hyperplan W. La démonstration repose sur la méthode de Baker ainsi que sur un nouvel argument de nature arithmétique (procédé de changement de variables de Chudnovsky) qui nous permet d'évaluer précisément les normes ultramétriques des nombres algébriques construits au cours de la preuve. Dans la seconde partie, nous étudions plus en détail le < non-homogène>> (dans lequel le groupe G est le produit direct du groupe $\mathbb{G}_{\mathrm{a}}$ et d'une variété abélienne) et nous établissons une nouvelle mesure, comparable à celle donnée dans la première partie mais totalement explicite en les invariants liés à la variété abélienne. La particularité de cette seconde partie est de mettre en oeuvre, pour la première fois dans ce contexte, la méthode des pentes de J.-B. Bost et certains résultats de géométrie d'Arakelov qui lui sont attachés.

Dans les années 80, Shimomura a déterminé les groupes d'homotopie du spectre de Moore V(0) localisé par rapport à K(2) la deuxième K-théorie de Morava. Plus tard, avec les travaux de Devinatz et Hopkins est apparu une autre suite spectrale convergeant vers les précédents groupes d'homotopies. Lorsque le paramètre premier p de la théorie K(2) est supérieur ou égal à cinq, la précédente suite spectrale dégénère. Ainsi, déterminer ces groupes d'homotopie revient à calculer les groupes de cohomologie du groupe stabilisateur de Morava à coefficients dans l'anneau de Lubin-Tate modulo p. En 2007, Henn a démontré l'existence, lorsque p > 3, d'une résolution projective du groupe de Morava de longueur quatre. Dans cette thèse, nous précisons une telle résolution projective. On l'applique ensuite au calcul effectif des groupes de cohomologie à coefficients dans l'anneau de Lubin-Tate modulo p. Enfin, on donne une seconde application, en redémontrant un résultat de Hopkins non publié sur le groupe de Picard de la catégorie des spectres K(2)-locaux.

Dans cette thèse, on aborde plusieurs questions autour des modèles de Néron de variétés abéliennes sur un corps de valuation discrète. On dit qu’une variété abélienne a réduction scindée si la suite exacte définissant le groupe des composantes de la fibre spéciale est scindée. On donne un exemple de variété abélienne modérément ramifiée qui n’a pas réduction scindée. Pour les variétés jacobiennes,on montre que l’on obtient réduction scindée après toute extension modérément ramifiée de degré plus grand qu’une constante ne dépendant que de la dimension.On considère aussi le lien avec le conducteur de Swan. Ensuite, on s’intéresse aux groupes formels des variétés abéliennes. Pour les courbes elliptiques, on détermine le rayon du plus grand voisinage de 0 qui est isomorphe à un polydisque muni de sa structure de groupe usuelle. On s’intéresse aussi aux groupes des composantes de modèles lisses, de type fini et séparés du groupe additif ou multiplicatif ainsi qu’à leurs sous-groupes des points rationnels. Enfin, on montre que le conducteur efficace d’une courbe algébrique ne peut pas s’exprimer uniquement en fonction deson conducteur d’Artin. / In this thesis, we tackle several questions about Néron models of abelian varieties on a discrete valuation field. We say that an abelian variety has split reduction if the exact sequence defining the group of components of the special fiber is split. We give an example of a tamely ramified abelian variety which does not have split reduction. For Jacobian varieties, we show that one gets split reduction after any tamely ramified extension of degree greater than aconstant depending on the dimension only. We also consider the link with theSwan conductor. Then, we deal with formal groups of abelian varieties. For elliptic curves, we compute the radius of the largest neighbourhood of 0 which is isomorphic to a polydisk equipped with its usual group law. We also deal with groups of components of smooth and separated models of finite type of the additive or multiplicative group as well as their subgroups of rational points. Finally, we show that the efficient conductor of an algebraic curve cannot be expressed interms of its Artin conductor only.

Dans les années 80, Shimomura a déterminé les groupes d'homotopie du spectre de Moore V(0) localisé par rapport à K(2) la deuxième K-théorie de Morava. Plus tard, avec les travaux de Devinatz et Hopkins est apparu une autre suite spectrale convergeant vers les précédents groupes d'homotopies. Lorsque le paramètre premier p de la théorie K(2) est supérieur ou égal à cinq, la précédente suite spectrale dégénère. Ainsi, déterminer ces groupes d'homotopie revient à calculer les groupes de cohomologie du groupe stabilisateur de Morava à coefficients dans l'anneau de Lubin-Tate modulo p. En 2007, Henn a démontré l'existence, lorsque p > 3, d'une résolution projective du groupe de Morava de longueur quatre. Dans cette thèse, nous précisons une telle résolution projective. On l'applique ensuite au calcul effectif des groupes de cohomologie à coefficients dans l'anneau de Lubin-Tate modulo p. Enfin, on donne une seconde application, en redémontrant un résultat de Hopkins non publié sur le groupe de Picard de la catégorie des spectres K(2)-locaux. / In the 80's, Shimomura has computed the homotopy groups of the Moore spectrum V(0) localized with respect to Morava K-theory K(2). Some years later, Devinatz and Hopkins found an other spectral sequence converging to those homotopy groups. When the prime paramater p of K(2) is greather or equal to five, the preceding spectral collapses. Thus, computing those homotopy groups consists in computing the cohomology groups of Morava Stabilizer Group with coefficients in the Lubin-Tate ring mod p. In 2007, Henn has showed that there exists, when p >3, a projective resolution of the Morava stabilizer group of length four. In this thesis, we give a more precise description of this resolution. Then, we use it for the computation of the cohomology groups of Morava Stabilizer Group with coefficients in the Lubin-Tate ring mod p. As a second application, we give an other proof of the unpublished result of Hopkins on the Picard group of the K(2)-local spectrum category.

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.

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.