Galois groups of fields of finite type

Tamás Szamuely

Séminaire Bourbaki (2002-2003)

  • Volume: 45, page 403-432
  • ISSN: 0303-1179

Abstract

top
Some years ago, Florian Pop showed that a field which is finitely generated over its prime field is determined up to isomorphism by its absolute Galois group (allowing a finite purely inseparable extension in positive characteristic). This theorem, whose pedigree can be traced back to investigations by Neukirch concerning Galois groups of number fields in the early 1970’s, gives a positive answer to the so-called “birational anabelian conjecture”of A. Grothendieck formulated in 1983. In work in progress, Pop extends the above result to fields of finite type and of dimension at least 2 over the algebraic closure of the prime field; the case of dimension 2 was also considered recently by Bogomolov et Tschinkel. The lecture will survey the known results in the area and then present the main ideas entering Pop’s proofs.

How to cite

top

Szamuely, Tamás. "Groupes de Galois de corps de type fini." Séminaire Bourbaki 45 (2002-2003): 403-432. <http://eudml.org/doc/252139>.

@article{Szamuely2002-2003,
abstract = {Il y a quelques années, Florian Pop a démontré que tout corps de type fini sur le corps premier est déterminé à isomorphisme près par son groupe de Galois absolu (quitte à passer à une extension purement inséparable en caractéristique positive). Ce théorème, dont la généalogie remonte à des travaux de Neukirch sur les groupes de Galois de corps de nombres au début des années 1970, répond positivement à la “conjecture anabélienne birationnelle”de A. Grothendieck formulée en 1983. Dans un travail en cours, Pop étend le résultat à un corps de type fini, de dimension au moins 2, sur la clôture algébrique du corps premier ; le cas de dimension 2 a été également traité récemment par Bogomolov et Tschinkel. L’exposé passera en revue les résultats obtenus dans ce domaine et donnera les grandes idées des démonstrations de Pop.},
author = {Szamuely, Tamás},
journal = {Séminaire Bourbaki},
keywords = {absolute Galois group; function field; anabelian geometry},
language = {fre},
pages = {403-432},
publisher = {Association des amis de Nicolas Bourbaki, Société mathématique de France},
title = {Groupes de Galois de corps de type fini},
url = {http://eudml.org/doc/252139},
volume = {45},
year = {2002-2003},
}

TY - JOUR
AU - Szamuely, Tamás
TI - Groupes de Galois de corps de type fini
JO - Séminaire Bourbaki
PY - 2002-2003
PB - Association des amis de Nicolas Bourbaki, Société mathématique de France
VL - 45
SP - 403
EP - 432
AB - Il y a quelques années, Florian Pop a démontré que tout corps de type fini sur le corps premier est déterminé à isomorphisme près par son groupe de Galois absolu (quitte à passer à une extension purement inséparable en caractéristique positive). Ce théorème, dont la généalogie remonte à des travaux de Neukirch sur les groupes de Galois de corps de nombres au début des années 1970, répond positivement à la “conjecture anabélienne birationnelle”de A. Grothendieck formulée en 1983. Dans un travail en cours, Pop étend le résultat à un corps de type fini, de dimension au moins 2, sur la clôture algébrique du corps premier ; le cas de dimension 2 a été également traité récemment par Bogomolov et Tschinkel. L’exposé passera en revue les résultats obtenus dans ce domaine et donnera les grandes idées des démonstrations de Pop.
LA - fre
KW - absolute Galois group; function field; anabelian geometry
UR - http://eudml.org/doc/252139
ER -

References

top
  1. [1] E. Artin – Geometric Algebra, Interscience, New York/London, 1957. Zbl0642.51001MR82463
  2. [2] E. Artin & O. Schreier – “Eine Kennzeichnung der reell abgeschlossenen Körper”, Abh. Math. Sem. Univ. Hamburg5 (1927), p. 225–231. JFM53.0144.01
  3. [3] P. Berthelot – “Altérations de variétés algébriques (d’après A.J. de Jong)”, in Sém. Bourbaki (1995/96), Astérisque, vol. 241, Société Mathématique de France, 1997, exp. no 815, p. 273–311. Zbl0924.14007MR1472543
  4. [4] F. Bogomolov – “On two conjectures in birational algebraic geometry”, in Algebraic geometry and analytic geometry (Tokyo, 1990), ICM-90 Satell. Conf. Proc., Springer, Tokyo, 1991, p. 26–52. Zbl0789.14021MR1260938
  5. [5] —, “Sous-groupes abéliens de groupes de Galois”, Izv. Akad. Nauk SSSR Ser. Mat. 55 (1991), p. 32–67, en russe. 
  6. [6] F. Bogomolov & Yu. Tschinkel – “Commuting elements in Galois groups of function fields”, in Motives, Polylogarithms and Hodge Theory (F. Bogomolov & L. Katzarkov, éds.), International Press, 2002, p. 75–120. Zbl1048.11090MR1977585
  7. [7] —, “Reconstruction of function fields”, prépublication math.AG/0303075, 2003. 
  8. [8] N. Bourbaki – Algèbre commutative, Hermann, Paris, 1964. MR194450
  9. [9] I. Efrat – “Abelian subgroups of pro- 2 Galois groups”, Proc. Amer. Math. Soc.123 (1995), p. 1031–1035. Zbl0834.12003MR1242081
  10. [10] O. Endler – Valuation Theory, Springer-Verlag, Berlin, 1972. Zbl0257.12111MR357379
  11. [11] A.J. Engler & J. Koenigsmann – “Abelian subgroups of pro- p Galois groups”, Trans. Amer. Math. Soc.350 (1998), p. 2473–2485. Zbl0999.12004MR1451599
  12. [12] A.J. Engler & J.B. Nogueira – “Maximal abelian normal subgroups of Galois pro-2-groups”, J. Algebra166 (1994), p. 481–505. Zbl0809.12004MR1280589
  13. [13] G. Faltings – “Curves and their fundamental groups (following Grothendieck, Tamagawa and Mochizuki)”, in Sém. Bourbaki (1997/98), Astérisque, vol. 252, Société Mathématique de France, 1998, exp. no 840, p. 131–150. Zbl0933.14015MR1685577
  14. [14] M. Fried & M. Jarden – Field Arithmetic, Ergebnisse der Mathematik und Ihrer Grenzgebiete (3), vol. 11, Springer-Verlag, Berlin, 1986. Zbl0625.12001MR868860
  15. [15] A. Grothendieck – Revêtements étales et groupe fondamental, Séminaire de Géométrie Algébrique du Bois-Marie 1960-1961 (SGA 1), Lect. Notes in Math., vol. 224, Springer-Verlag, 1971. Zbl0234.14002MR354651
  16. [16] —, Cohomologie des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA2), North-Holland, 1968. 
  17. [17] —, “Brief an G. Faltings”, in Geometric Galois Actions I (P. Lochak & L. Schneps, éds.), London Math. Soc. Lecture Note Ser., vol. 242, Cambridge Univ. Press, Cambridge, 1997, p. 49–58, trad. anglaise p. 285–293. Zbl0868.00041MR1483108
  18. [18] D. Harari – “Le théorème de Tamagawa II”, in Courbes semi-stables et groupe fondamental en géométrie algébrique (Luminy, 1998) (J.-B. Bost, F. Loeser & M. Raynaud, éds.), Progress in Math., vol. 187, Birkhäuser, Basel, 2000, p. 203–216. Zbl0978.14015MR1768102
  19. [19] A.J. de Jong – “Smoothness, semi-stability and alterations”, Publ. Math. Inst. Hautes Études Sci.83 (1996), p. 51–93. Zbl0916.14005MR1423020
  20. [20] N. Katz & S. Lang – “Finiteness theorems in geometric classfield theory”, Enseign. Math.27 (1981), p. 285–319. Zbl0495.14011MR659153
  21. [21] J. Kollár – Rational Curves on Algebraic Varieties, Ergebnisse der Mathematik und Ihrer Grenzgebiete (3), vol. 32, Springer-Verlag, Berlin, 1996. Zbl0877.14012MR1440180
  22. [22] W. Kuyk – “Extensions de corps hilbertiens”, J. Algebra14 (1970), p. 112–124. Zbl0211.38601MR257044
  23. [23] S. Mochizuki – “The local pro- p anabelian geometry of curves”, Invent. Math.138 (1999), p. 319–423. Zbl0935.14019MR1720187
  24. [24] H. Nakamura, A. Tamagawa & S. Mochizuki – “The Grothendieck conjecture on the fundamental groups of algebraic curves”, Sugaku Expositions 14 (2001), no. 1, p. 31–53. Zbl0943.14014MR1834911
  25. [25] J. Neukirch – “Kennzeichnung der endlich-algebraischen Zahlkörper durch die Galoisgruppe der maximalen auflösbaren Erweiterungen”, J. reine angew. Math. 238 (1969), p. 135–147. Zbl0201.05901MR258804
  26. [26] —, “Kennzeichnung der p -adischen und der endlichen algebraischen Zahlkörper”, Invent. Math.6 (1969), p. 296–314. Zbl0192.40102MR244211
  27. [27] —, “Über die absoluten Galoisgruppen algebraischer Zahlkörper”, in Journées Arithmétiques de Caen, Astérisque, vol. 41-42, Société Mathématique de France, 1977, p. 67–79. Zbl0369.12008MR466071
  28. [28] J. Neukirch, A. Schmidt & K. Wingberg – Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften, vol. 323, Springer-Verlag, Berlin, 2000. Zbl0948.11001MR1737196
  29. [29] F. Pop – “On Grothendieck’s conjecture of birational anabelian geometry”, Ann. of Math. (2) 139 (1994), p. 145–182. Zbl0814.14027MR1259367
  30. [30] —, “On Grothendieck’s conjecture of birational anabelian geometry II”, prépublication, 1996. Zbl0814.14027
  31. [31] —, “Glimpses of Grothendieck’s anabelian geometry”, in Geometric Galois Actions I (P. Lochak & L. Schneps, éds.), London Math. Soc. Lecture Note Ser., vol. 242, Cambridge Univ. Press, Cambridge, 1997, p. 145–182. Zbl0868.00041MR1483106
  32. [32] —, “Alterations and birational anabelian geometry”, in Resolution of singularities (Obergurgl, 1997) (H. Hauser et al., éds.), Progress in Math., vol. 181, Birkhäuser, Basel, 2000, p. 519–532. Zbl0932.00042MR1748633
  33. [33] —, “The birational anabelian conjecture revisited”, prépublication, 2002. 
  34. [34] —, “Pro- birational anabelian geometry over algebraically closed fields I”, prépublication math.AG/0307076, deuxième partie en préparation, 2003. 
  35. [35] M. Rovinsky – “On certain isomorphisms between absolute Galois groups”, Compositio Math.136 (2003), p. 61–67. Zbl1014.12004MR1965740
  36. [36] F.K. Schmidt – “Mehrfach perfekte Körper”, Math. Ann.108 (1933), p. 1–25. MR1512831JFM59.0155.01
  37. [37] J-P. Serre – Cohomologie galoisienne, Lect. Notes in Math., vol. 5, Springer-Verlag, Berlin, 1994, cinquième édition, révisée et complétée. Zbl0812.12002MR1324577
  38. [38] M. Spiess – “An arithmetic proof of Pop’s theorem concerning Galois groups of function fields over number fields”, J. reine angew. Math. 478 (1996), p. 107–126. Zbl0933.11054MR1409055
  39. [39] T. Szamuely – “Le théorème de Tamagawa I”, in Courbes semi-stables et groupe fondamental en géométrie algébrique (Luminy, 1998) (J.-B. Bost, F. Loeser & M. Raynaud, éds.), Progress in Math., vol. 187, Birkhäuser, Basel, 2000, p. 185–201. Zbl0978.14014MR1768101
  40. [40] K. Uchida – “Isomorphisms of Galois groups”, J. Math. Soc. Japan28 (1976), p. 617–620. Zbl0329.12013MR432593
  41. [41] —, “Isomorphisms of Galois groups of algebraic function fields”, Ann. of Math. (2) 106 (1977), p. 589–598. Zbl0372.12017MR460279
  42. [42] O. Zariski – “The reduction of singularities of an algebraic surface”, Ann. of Math. (2) 40 (1939), p. 639–689. Zbl0021.25303MR159

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.