Central simple algebras over function fields in two variables

Jean-Louis Colliot-Thélène

Séminaire Bourbaki (2004-2005)

  • Volume: 47, page 379-414
  • ISSN: 0303-1179

Abstract

top
Let F be a function field in two variables over an algebraically closed field of characteristic zero. The main part of this Bourbaki talk describes A. J. de Jong’s proof (Duke Math. J. 123 (2004) 71-94) that index and exponent coincide for central simple algebras over F . The text follows the simplified approach sketched at the end of de Jong’s paper. Applications to linear algebraic groups are given. A last section surveys results on the comparison between index and exponent for central simple algebras over a function field in one variable over a p -adic field, with application to the isotropy of quadratic forms over such fields.

How to cite

top

Colliot-Thélène, Jean-Louis. "Algèbres simples centrales sur les corps de fonctions de deux variables." Séminaire Bourbaki 47 (2004-2005): 379-414. <http://eudml.org/doc/252155>.

@article{Colliot2004-2005,
abstract = {À toute classe dans le groupe de Brauer d’un corps $F$ sont associés deux entiers, l’indice (degré d’un corps gauche représentant la classe) et l’exposant (ordre de la classe dans le groupe de Brauer). L’exposant divise l’indice, mais ne lui est pas nécessairement égal. Lorsque $F$ est un corps de nombres, c’est un théorème des années 1930 qu’exposant et indice coïncident. A. J. de Jong (Duke Math. J. 123 (2004) 71-94) a montré récemment qu’ils coïncident aussi lorsque $F$ est un corps de fonctions de deux variables sur le corps des complexes. Après des rappels sur le groupe de Brauer (Azumaya et Grothendieck), l’exposé décrit l’essentiel de la démonstration, dans la version simplifiée suggérée à la fin de l’article de de Jong. On donne ensuite quelques conséquences pour les groupes linéaires. Un dernier paragraphe passe en revue des résultats comparant exposant et indice pour les corps de fonctions d’une variable sur les corps $p$-adiques, avec application à l’isotropie des formes quadratiques sur de tels corps.},
author = {Colliot-Thélène, Jean-Louis},
journal = {Séminaire Bourbaki},
keywords = {central simple algebras; index; exponent; function fields in two variables; complex surfaces; Brauer group; Azumaya algebras; vector bundles; elementary transformations; deformation theory},
language = {fre},
pages = {379-414},
publisher = {Association des amis de Nicolas Bourbaki, Société mathématique de France},
title = {Algèbres simples centrales sur les corps de fonctions de deux variables},
url = {http://eudml.org/doc/252155},
volume = {47},
year = {2004-2005},
}

TY - JOUR
AU - Colliot-Thélène, Jean-Louis
TI - Algèbres simples centrales sur les corps de fonctions de deux variables
JO - Séminaire Bourbaki
PY - 2004-2005
PB - Association des amis de Nicolas Bourbaki, Société mathématique de France
VL - 47
SP - 379
EP - 414
AB - À toute classe dans le groupe de Brauer d’un corps $F$ sont associés deux entiers, l’indice (degré d’un corps gauche représentant la classe) et l’exposant (ordre de la classe dans le groupe de Brauer). L’exposant divise l’indice, mais ne lui est pas nécessairement égal. Lorsque $F$ est un corps de nombres, c’est un théorème des années 1930 qu’exposant et indice coïncident. A. J. de Jong (Duke Math. J. 123 (2004) 71-94) a montré récemment qu’ils coïncident aussi lorsque $F$ est un corps de fonctions de deux variables sur le corps des complexes. Après des rappels sur le groupe de Brauer (Azumaya et Grothendieck), l’exposé décrit l’essentiel de la démonstration, dans la version simplifiée suggérée à la fin de l’article de de Jong. On donne ensuite quelques conséquences pour les groupes linéaires. Un dernier paragraphe passe en revue des résultats comparant exposant et indice pour les corps de fonctions d’une variable sur les corps $p$-adiques, avec application à l’isotropie des formes quadratiques sur de tels corps.
LA - fre
KW - central simple algebras; index; exponent; function fields in two variables; complex surfaces; Brauer group; Azumaya algebras; vector bundles; elementary transformations; deformation theory
UR - http://eudml.org/doc/252155
ER -

References

top
  1. [A] A. A. Albert – Structure of Algebras, American Mathematical Society Colloquium Publications, vol. 24, American Mathematical Society, New York, 1939. Zbl0023.19901MR123587
  2. [Ar1] M. Artin – “Algebraic approximation of structures over complete local rings”, Inst. Hautes Études Sci. Publ. Math. (1969), no. 36, p. 23–58. Zbl0181.48802MR268188
  3. [Ar2] —, “Brauer-Severi varieties”, in Brauer groups in ring theory and algebraic geometry (Wilrijk, 1981), Lecture Notes in Math., vol. 917, Springer, Berlin, 1982, p. 194–210. Zbl0536.14006MR657430
  4. [Ar3] —, “Two-dimensional orders of finite representation type”, Manuscripta Math. 58 (1987), no. 4, p. 445–471. Zbl0625.16005MR894864
  5. [AG] M. Auslander & O. Goldman – “Maximal orders”, Trans. Amer. Math. Soc.97 (1960), p. 1–24. Zbl0117.02506MR117252
  6. [Bld] A. Blanchard – Les corps non commutatifs, Presses Universitaires de France, Vendôme, 1972, Collection Sup : Le Mathématicien, No. 9. Zbl0249.16001MR354765
  7. [Blt] A. Blanchet – “Function fields of generalized Brauer-Severi varieties”, Comm. Algebra 19 (1991), no. 1, p. 97–118. Zbl0717.16014MR1092553
  8. [BLR] S. Bosch, W. Lütkebohmert & M. Raynaud – “Formal and rigid geometry. IV. The reduced fibre theorem”, Invent. Math. 119 (1995), no. 2, p. 361–398. Zbl0839.14014MR1312505
  9. [Bki] N. Bourbaki – Éléments de mathématique. 23. Première partie : Les structures fondamentales de l’analyse. Livre II : Algèbre. Chapitre 8 : Modules et anneaux semi-simples, Actualités Sci. Ind. no. 1261, Hermann, Paris, 1958. Zbl0102.27203MR98114
  10. [BHN] R. Brauer, H. Hasse & E. Noether – “Beweis eines Hauptsatzes in der Theorie der Algebren. ”, J. reine angew. Math. 167 (1932), p. 399–404. Zbl58.0142.03JFM58.0142.03
  11. [CT] J.-L. Colliot-Thélène – “Die Brauersche Gruppe ; ihre Verallgemeinerungen und Anwendungen in der arithmetischen Geometrie”, (Vortragsnotizen, Brauer Tagung, Stuttgart, 22.-24. März 2001), tapuscrit. 
  12. [CTG] —, “Exposant et indice d’algèbres simples centrales non ramifiées”, Enseign. Math. (2) 48 (2002), no. 1-2, p. 127–146, avec un appendice d’Ofer Gabber. Zbl1047.16007MR1923420
  13. [CTGP] J.-L. Colliot-Thélène, P. Gille & R. Parimala – “Arithmetic of linear algebraic groups over 2-dimensional geometric fields”, Duke Math. J. 121 (2004), no. 2, p. 285–341. Zbl1129.11014MR2034644
  14. [CTOP] J.-L. Colliot-Thélène, M. Ojanguren & R. Parimala – “Quadratic forms over fraction fields of two-dimensional Henselian rings and Brauer groups of related schemes”, in Algebra, arithmetic and geometry (Mumbai, 2000), Tata Inst. Fund. Res. Stud. Math., vol. 16, Tata Inst. Fund. Res., Mumbai, 2002, Part II, p. 185–217. Zbl1055.14019MR1940669
  15. [CTS] J.-L. Colliot-Thélène & J.-J. Sansuc – “Fibrés quadratiques et composantes connexes réelles”, Math. Ann. 244 (1979), no. 2, p. 105–134. Zbl0418.14016MR550842
  16. [D] M. Deuring – Algebren, Zweite, korrigierte Auflage. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 41, Springer-Verlag, Berlin, 1968. Zbl0159.04201MR228526
  17. [FS] T. J. Ford & D. J. Saltman – “Division algebras over Henselian surfaces”, in Ring theory 1989 (Ramat Gan and Jerusalem, 1988/1989), Israel Math. Conf. Proc., vol. 1, Weizmann, Jerusalem, 1989, p. 320–336. Zbl0696.16012MR1029322
  18. [G1] P. Gille – “La R -équivalence sur les groupes algébriques réductifs définis sur un corps global”, Inst. Hautes Études Sci. Publ. Math. (1997), no. 86, p. 199–235 (1998). Zbl0943.20044MR1608570
  19. [G2] —, “Cohomologie galoisienne des groupes quasi-déployés sur des corps de dimension cohomologique ≤ 2 ”, Compositio Math. 125 (2001), no. 3, p. 283–325. Zbl1017.11019MR1818983
  20. [GSz] P. Gille & T. Szamuely – “Central simple algebras and Galois cohomology”, Cambridge Studies in Advanced Mathematics, vol. 101, Cambridge University Press, 2006. Zbl1137.12001MR2266528
  21. [Gi] J. Giraud – Cohomologie non abélienne, Die Grundlehren der mathematischen Wissenschaften, Band 179, Springer-Verlag, Berlin, 1971. Zbl0226.14011MR344253
  22. [GHS] T. Graber, J. Harris & J. Starr – “Families of rationally connected varieties”, J. Amer. Math. Soc. 16 (2003), no. 1, p. 57–67. Zbl1092.14063MR1937199
  23. [Gr] A. Grothendieck – “Le groupe de Brauer. I, II, III.”, in Dix Exposés sur la Cohomologie des Schémas, North-Holland, Amsterdam, 1968. Zbl0193.21503
  24. [EGA] A. Grothendieck & J. Dieudonné – “Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I”, Inst. Hautes Études Sci. Publ. Math. (1961), no. 11. Zbl0118.36206
  25. [HVG] D. W. Hoffmann & J. Van Geel – “Zeros and norm groups of quadratic forms over function fields in one variable over a local non-dyadic field”, J. Ramanujan Math. Soc. 13 (1998), no. 2, p. 85–110. Zbl0922.11032MR1666433
  26. [HL] D. Huybrechts & M. Lehn – The geometry of moduli spaces of sheaves, Aspects of Mathematics, E31, Friedr. Vieweg & Sohn, Braunschweig, 1997. Zbl0872.14002MR1450870
  27. [I] L. Illusie – “Grothendieck’s existence theorem in formal geometry (with a letter of J-P. Serre)”, in Advanced School in Basic Algebraic Geometry, ICTP Trieste, 2003, soumis à Contemporary Math. MR2223409
  28. [dJ1] A. J. de Jong – “The period-index problem for the Brauer group of an algebraic surface”, Duke Math. J. 123 (2004), no. 1, p. 71–94. Zbl1060.14025MR2060023
  29. [dJ2] —,“A result of Gabber”, tapuscrit. 
  30. [dJS1] A. J. de Jong & J. Starr – “Every rationally connected variety over the function field of a curve has a rational point”, Amer. J. Math. 125 (2003), no. 3, p. 567–580. Zbl1063.14025MR1981034
  31. [dJS2] —, “Obtaining reduced fibres after normalized base change”, addendum to [dJS1], tapuscrit. 
  32. [Kh] B. Kahn – “On “horizontal” invariants attached to quadratic forms”, in Algebra and number theory, p. 21–33, Hindustan Book Agency, Delhi, 2005. Zbl1099.11020MR2193343
  33. [Kt] K. Kato – “A Hasse principle for two-dimensional global fields”, J. reine angew. Math. 366 (1986), p. 142–181. Zbl0576.12012MR833016
  34. [Kr] A. Kresch – “Hodge-theoretic obstruction to the existence of quaternion algebras”, Bull. London Math. Soc. 35 (2003), no. 1, p. 109–116. Zbl1028.16010MR1934439
  35. [KRTY] B. È. Kunyavskiĭ, L. H. Rowen, S. V. Tikhonov & V. I. Yanchevskiĭ – “Bicyclic algebras of prime exponent over function fields”, Trans. Amer. Math. Soc. 358 (2006), no. 6, p. 2579–2610. Zbl1101.16013MR2204045
  36. [Lie] M. Lieblich – “Twisted sheaves and the period-index problem”, tapuscrit. Zbl1133.14018
  37. [Li] J. Lipman – “Introduction to resolution of singularities”, in Algebraic geometry (Proc. Sympos. Pure Math., Vol. 29, Humboldt State Univ., Arcata, Calif., 1974), Amer. Math. Soc., Providence, R.I., 1975, p. 187–230. Zbl0306.14007MR389901
  38. [M1] A. S. Merkurʼev – “Sur le symbole de norme résiduelle de degré 2 ”, Dokl. Akad. Nauk SSSR 261 (1981), no. 3, p. 542–547, en russe. Zbl0496.16020
  39. [M2] —, “Algèbres simples centrales et formes quadratiques”, Izv. Akad. Nauk SSSR Ser. Mat. 55 (1991), no. 1, p. 218–224, en russe. 
  40. [MS] A. S. Merkurʼev & A. A. Suslin – “ K -cohomologie des variétés de Severi-Brauer et homomorphisme de norme résiduelle”, Izv. Akad. Nauk SSSR Ser. Mat. 46 (1982), no. 5, p. 1011–1046, 1135–1136, en russe. Zbl0525.18008MR675529
  41. [Mi] J. S. Milne – Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton, N.J., 1980. Zbl0433.14012MR559531
  42. [OP] M. Ojanguren & R. Parimala – “Algebras of prime degree on function fields of surfaces”, tapuscrit. 
  43. [PS1] R. Parimala & V. Suresh – “Isotropy of quadratic forms over function fields of p -adic curves”, Inst. Hautes Études Sci. Publ. Math. (1998), no. 88, p. 129–150. Zbl0972.11020MR1733328
  44. [PS2] —, “On the length of a quadratic form”, in Algebra and Number Theory, p. 147–157, Hindustan Book Agency, Delhi, 2005. Zbl1174.11375MR2193350
  45. [R] I. Reiner – Maximal orders, London Mathematical Society Monographs. New Series, vol. 28, The Clarendon Press, Oxford University Press, Oxford, 2003, corrected reprint of the 1975 original. With a foreword by M. J. Taylor. Zbl1024.16008MR1972204
  46. [Ro] P. Roquette – “The Brauer-Hasse-Noether theorem in historical perspective”, Schriften der Math.-Phys. Klasse der Heidelberger Akademie der Wissenschaften, vol. 15, 2004. Zbl1060.01009MR2222818
  47. [Sa2] D. J. Saltman – “Cyclic algebras over p -adic surfaces”, tapuscrit. Zbl1129.16014
  48. [Sa1] —, “Division algebras over p -adic curves”, J. Ramanujan Math. Soc. 12 (1997), p. 25–47, Corrections : Zentralblatt für Mathematik, 0902.16021 et J. Ramanujan Math. Soc., 13, p. 125–129. Zbl0920.16008MR1462850
  49. [S1] J-P. Serre – Corps locaux, Publications de l’Institut de Mathématique de l’Université de Nancago, VIII, Actualités Sci. Indust., No. 1296. Hermann, Paris, 1962. Zbl0137.02601MR150130
  50. [S2] —, Cohomologie galoisienne, Lect. Notes in Math., vol. 5, Springer-Verlag, Berlin, 1994, cinquième édition. MR1324577
  51. [S3] —, Cohomologie galoisienne : progrès et problèmes, Séminaire Bourbaki, Exposé 783, Astérisque, vol. 227, 1995, p. 229-257. Zbl0837.12003MR1321649
  52. [T] J.-P. Tignol – “Algèbres indécomposables d’exposant premier”, Adv. in Math. 65 (1987), no. 3, p. 205–228. Zbl0642.16015MR904723
  53. [TW] J.-P. Tignol & A. R. Wadsworth – “Totally ramified valuations on finite-dimensional division algebras”, Trans. Amer. Math. Soc. 302 (1987), no. 1, p. 223–250. Zbl0626.16005MR887507

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.