Algèbres d’Iwasawa pour les groupes de Lie p-adiques et les groupes de Galois

A key tool in p-adic representation theory is the Iwasawa algebra, originally constructed by Iwasawa in 1960's to study the class groups of number fields. Since then, it appeared in varied settings such as Lazard's work on p-adic Lie groups and Fontaine's work on local Galois representations. For a prime p, the Iwasawa algebra of a p-adic Lie group G, is a non-commutative completed group algebra of G which is also the algebra of p-adic measures on G. It is a general principle that objects coming from semi-simple, simply connected (split) groups have explicit presentations like Serre's presentation of semi-simple algebras and Steinberg's presentation of Chevalley groups as noticed by Clozel. In Part I, we lay the foundation by giving an explicit description of certain Iwasawa algebras. We first find an explicit presentation (by generators and relations) of the Iwasawa algebra for the principal congruence subgroup of any semi-simple, simply connected Chevalley group over Z_p. Furthermore, we extend the method to give a set of generators and relations for the Iwasawa algebra of the pro-p Iwahori subgroup of GL(n,Z_p). The base change map between the Iwasawa algebras over an extension of Q_p motivates us to study the globally analytic p-adic representations following Emerton's work. We also provide results concerning the globally analytic induced principal series representation under the action of the pro-p Iwahori subgroup of GL(n,Z_p) and determine its condition of irreducibility. In Part II, we do numerical experiments using a computer algebra system SAGE which give heuristic support to Greenberg's p-rationality conjecture affirming the existence of "p-rational" number fields with Galois groups (Z/2Z)^t. The p-rational fields are algebraic number fields whose Galois cohomology is particularly simple and they offer ways of constructing Galois representations with big open images. We go beyond Greenberg's work and construct new Galois representations of the absolute Galois group of Q with big open images in reductive groups over Z_p (ex. GL(n, Z_p), SL(n, Z_p), SO(n, Z_p), Sp(2n, Z_p)). We are proving results which show the existence of p-adic Lie extensions of Q where the Galois group corresponds to a certain specific p-adic Lie algebra (ex. sl(n), so(n), sp(2n)). This relates our work with a more general and classical inverse Galois problem for p-adic Lie extensions.Un outil clé dans la théorie des représentations p-adiques est l'algèbre d'Iwasawa, construit par Iwasawa pour étudier les nombres de classes d'une tour de corps de nombres. Pour un nombre premier p, l'algèbre d'Iwasawa d'un groupe de Lie p-adique G, est l'algèbre de groupe G complétée non-commutative. C'est aussi l'algèbre des mesures p-adiques sur G. Les objets provenant de groupes semi-simples, simplement connectés ont des présentations explicites comme la présentation par Serre des algèbres semi-simples et la présentation de groupe de Chevalley par Steinberg. Dans la partie I, nous donnons une description explicite des certaines algèbres d'Iwasawa. Nous trouvons une présentation explicite (par générateurs et relations) de l'algèbre d'Iwasawa pour le sous-groupe de congruence principal de tout groupe de Chevalley semi-simple, scindé et simplement connexe sur Z_p. Nous étendons également la méthode pour l'algèbre d'Iwasawa du sous-groupe pro-p Iwahori de GL (n, Z_p). Motivé par le changement de base entre les algèbres d'Iwasawa sur une extension de Q_p nous étudions les représentations p-adiques globalement analytiques au sens d'Emerton. Nous fournissons également des résultats concernant la représentation de série principale globalement analytique sous l'action du sous-groupe pro-p Iwahori de GL (n, Z_p) et déterminons la condition d'irréductibilité. Dans la partie II, nous faisons des expériences numériques en utilisant SAGE pour confirmer heuristiquement la conjecture de Greenberg sur la p-rationalité affirmant l'existence de corps de nombres "p-rationnels" ayant des groupes de Galois (Z/2Z)^t. Les corps p-rationnels sont des corps de nombres algébriques dont la cohomologie galoisienne est particulièrement simple. Ils sont utilisés pour construire des représentations galoisiennes ayant des images ouvertes. En généralisant le travail de Greenberg, nous construisons de nouvelles représentations galoisiennes du groupe de Galois absolu de Q ayant des images ouvertes dans des groupes réductifs sur Z_p (ex GL (n, Z_p), SL (n, Z_p ), SO (n, Z_p), Sp (2n, Z_p)). Nous prouvons des résultats qui montrent l'existence d'extensions de Lie p-adiques de Q où le groupe de Galois correspond à une certaine algèbre de Lie p-adique (par exemple sl(n), so(n), sp(2n)). Cela répond au problème classique de Galois inverse pour l'algèbre de Lie simple p-adique