In this paper, we study the cohomological dimension of groups , where is the maximal pro--extension of a number field , unramified outside a finite set of places of . This dimension is well-understood only when contains all places above ; in the case where only some of the places above are contained in , one can still obtain some results if contains at least one -extension . Indeed, in that case, the study of the -module allows one to give sufficient conditions for the pro--group to be free. Under the latter condition, the dimension of is at most 2. Here, we develop an explicit strategy for realizing these conditions so as to produce numerical examples for which we effectively compute this cohomological dimension.
Dans ce papier, nous étudions la dimension cohomologique des groupes , où est la pro--extension d’un corps de nombres , non-ramifiée en dehors d’un ensemble fini de places de , et maximale pour ces propriétés. Si cette dimension est bien connue lorsque contient toutes les places au-dessus de , elle le semble moins bien dès lors que ne contient pas toutes ces places. Néanmoins, il est possible d’obtenir des informations quand une -extension se trouve dans . En effet, dans ce cas, une étude du -module permet de donner des conditions suffisantes pour que le pro--groupe soit libre. Si tel est le cas, il s’en déduit que la dimension de est au plus 2. Ici, nous développons une démarche explicite mettant en jeu ces conditions afin de trouver des exemples numériques pour lesquels il est effectivement possible de calculer cette dimension cohomologique.
@article{JTNB_2005__17_2_575_0, author = {Christian Maire}, title = {Sur la dimension cohomologique des pro-$p$-extensions des corps de nombres}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {575--606}, publisher = {Universit\'e Bordeaux 1}, volume = {17}, number = {2}, year = {2005}, doi = {10.5802/jtnb.509}, mrnumber = {2211309}, zbl = {1176.11057}, language = {en}, url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.509/} }
TY - JOUR AU - Christian Maire TI - Sur la dimension cohomologique des pro-$p$-extensions des corps de nombres JO - Journal de théorie des nombres de Bordeaux PY - 2005 SP - 575 EP - 606 VL - 17 IS - 2 PB - Université Bordeaux 1 UR - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.509/ DO - 10.5802/jtnb.509 LA - en ID - JTNB_2005__17_2_575_0 ER -
%0 Journal Article %A Christian Maire %T Sur la dimension cohomologique des pro-$p$-extensions des corps de nombres %J Journal de théorie des nombres de Bordeaux %D 2005 %P 575-606 %V 17 %N 2 %I Université Bordeaux 1 %U https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.509/ %R 10.5802/jtnb.509 %G en %F JTNB_2005__17_2_575_0
Christian Maire. Sur la dimension cohomologique des pro-$p$-extensions des corps de nombres. Journal de théorie des nombres de Bordeaux, Volume 17 (2005) no. 2, pp. 575-606. doi : 10.5802/jtnb.509. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.509/
[1] C. Batut, K. Belabas, H. Cohen, M. Olivier, User’s guide to PARI-GP. A2X, Université Bordeaux I, 1999.
[2] N. Boston, Explicit Galois groups of infinite -extensions unramified outside , preprint 2003.
[3] N. Boston, Some cases of the Fontaine-Mazur conjecture. Journal of Number Theory 42 (1992), 285–291. | MR | Zbl
[4] N. Boston, Some cases of the Fontaine-Mazur conjecture II. Journal of Number Theory 75 (1999), 161–169. | MR | Zbl
[5] J.-M. Fontaine, B. Mazur, Geometric Galois representations. Elliptic curves, modular forms and Fermat’s last theorem, Internat. Press, Cambridge, MA, 1995. | Zbl
[6] R. Gillard, Fonctions -adiques des corps quadratiques imaginaires et de leurs extensions abéliennes. Crelle 358 (1985), 76–91. | MR | Zbl
[7] G. Gras, Class Field Theory. SMM, Springer 2003. | MR | Zbl
[8] G. Gras, Groupe de Galois de la -extension abélienne -ramifiée maximale d’un corps de nombres. Crelle 333 (1982), 86–132. | Zbl
[9] G. Gras, Plongements kummériens dans les -extensions. Compositio Math. 55 (1985), 383–396. | Numdam | MR | Zbl
[10] G. Gras, J.-F. Jaulent, Sur les corps de nombres réguliers. Math. Z. 202 (1989), 343–365. | EuDML | MR | Zbl
[11] K. Haberland, Galois cohomology of algebraic number fields, With two appendices by Helmut Koch and Thomas Zink. VEB Deutscher Verlag der Wissenschaften, Berlin, 1978. | MR | Zbl
[12] F. Hajir, C. Maire, Extensions of number fields with ramification of bounded depth. International Math. Research Notices 13 (2002), 667–696. | MR | Zbl
[13] H. Hasse, Number Theory. Classics in Mathematics, Springer, 1980. | MR | Zbl
[14] J.-F. Jaulent, L’arithmétique des -extensions. Publications Math. de Besançon, 1986. | Zbl
[15] J.-F. Jaulent, C. Maire, Sur les invariants d’Iwasawa des tours cyclotomiques. Canadian Math. Bulletin 46 (2003), 178–190. | Zbl
[16] J.-F. Jaulent, T. Nguyen Quang Do, Corps -rationnels, corps réguliers et ramification restreinte. J. Théorie des Nombres de Bordeaux 5 (1993), 343–363. | EuDML | Numdam | MR | Zbl
[17] J.-F. Jaulent, O. Sauzet, Pro--extensions de corps de nombres -rationnels. Jour. Number Theory 65 (1997), 240–267. | MR | Zbl
[18] H. Koch, Galoissche Theorie der -Erweiterungen. VEB, Berlin, 1970. | MR | Zbl
[19] J. Labute, Mild pro--groups and Galois groups of -extensions of . J. Reine Angew. Math., à paraître. | Zbl
[20] C. Maire, On the -rank of abelian extensions with restricted ramification. Journal of Number Theory 92 (2002), 376–404. | MR | Zbl
[21] A. Movahhedi, Sur les -extensions des corps -rationnels. Math. Nach. 149 (1990), 163–176. | MR | Zbl
[22] A. Movahhedi, T. Nguyen Quang Do, Sur l’arithmétique des corps de nombres -rationnels. Sém. Théorie des Nombres, Paris (1987/89), Prog. Math 81, 155–200. | Zbl
[23] J. Neukirch, A. Schmidt, K. Wingberg, Cohomology of Number Fields. Grundlehren 323, Springer-Verlag 2002. | MR | Zbl
[24] T. Nguyen Quang Do, Formations de classes et modules d’Iwasawa. Number Theory, Noordwijkerhout 1983, Lecture Notes in Math. 1068, 167–185. | Zbl
[25] A. Schmidt, On the relation between and in Galois Cohomology of Number Fields. Compositio Math. 133 (2002), 267–288. | MR | Zbl
[26] A. Schmidt, Circular sets of prime numbers and -extensions of the rationals, preprint, 2005. | MR | Zbl
[27] A. Schmidt, Bounded defect in partial Euler characteristics. Bull. London Math. Soc. 28 (1996), 463–464. | MR | Zbl
[28] L. Schneps, On the -invariant of -adic -functions attached to elliptic curves with complex multiplication. Journal of Number Theory 25 (1987), 20–33. | MR | Zbl
[29] J.-P. Serre, Galois Cohomology. Lecture Notes in Math., Springer-Verlag, Berlin, 1994. | MR | Zbl
[30] J.-P. Serre, Corps locaux. Publications de l’Université de Nancago, Hermann, Paris, 1968. | Zbl
[31] L.C. Washington, Introduction to cyclotomic fields. GTM 83, Springer 1997. | MR | Zbl
[32] K. Wingberg, Galois groups of number fields generated by torsion points of elliptic curves. Nagoya Math. J 104 (1986), 43–53. | MR | Zbl
Cited by Sources: