Algèbres simples centrales sur les corps de fonctions de deux variables

Colliot-Thélène, Jean-Louis

Séminaire Bourbaki : volume 2004/2005, exposés 938-951, Astérisque, no. 307 (2006), Exposé no. 949, pp. 379-413.

À 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.

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.

[A] A. A. Albert - Structure of Algebras, American Mathematical Society Colloquium Publications, vol. 24, American Mathematical Society, New York, 1939. | DOI | JFM | MR | Zbl

[Ar1] M. Artin - “Algebraic approximation of structures over complete local rings”, Inst. Hautes Études Sci. Publ. Math. (1969), no. 36, p. 23-58. | EuDML | Numdam | MR | Zbl

[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. | MR | Zbl

[Ar3] -, “Two-dimensional orders of finite representation type”, Manuscripta Math. 58 (1987), no. 4, p. 445-471. | EuDML | MR | Zbl

[AG] M. Auslander & O. Goldman - “Maximal orders”, Trans. Amer. Math. Soc. 97 (1960), p. 1-24. | DOI | MR | Zbl

[Bld] A. Blanchard - Les corps non commutatifs, Presses Universitaires de France, Vendôme, 1972, Collection Sup : Le Mathématicien, No. 9. | MR | Zbl

[Blt] A. Blanchet - “Function fields of generalized Brauer-Severi varieties”, Comm. Algebra 19 (1991), no. 1, p. 97-118. | MR | Zbl

[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. | EuDML | MR | Zbl

[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. | MR | Zbl

[BHN] R. Brauer, H. Hasse & E. Noether - “Beweis eines Hauptsatzes in der Theorie der Algebren. ”, J. reine angew. Math. 167 (1932), p. 399-404. | EuDML | JFM

[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.

[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. | MR | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[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. | EuDML | MR | Zbl

[D] M. Deuring - Algebren, Zweite, korrigierte Auflage. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 41, Springer-Verlag, Berlin, 1968. | DOI | MR | Zbl

[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. | MR | Zbl

[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). | EuDML | Numdam | MR | Zbl

[G2] -, “Cohomologie galoisienne des groupes quasi-déployés sur des corps de dimension cohomologique $\le 2$”, Compositio Math. 125 (2001), no. 3, p. 283-325. | MR | Zbl

[GSz] P. Gille & T. Szamuely - “Central simple algebras and Galois cohomology”, Cambridge Studies in Advanced Mathematics, vol. 101, Cambridge University Press, 2006. | DOI | MR | Zbl

[Gi] J. Giraud - Cohomologie non abélienne, Die Grundlehren der mathematischen Wissenschaften, Band 179, Springer-Verlag, Berlin, 1971. | MR | Zbl

[GHS] T. Graber, J. Harris & J. Starr - “Families of rationally connected varieties”, J. Amer. Math. Soc. 16 (2003), no. 1, p. 57-67. | MR | Zbl

[Gr] A. Grothendieck - “Le groupe de Brauer. I, II, III.”, in Dix Exposés sur la Cohomologie des Schémas, North-Holland, Amsterdam, 1968. | Zbl

[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. | Numdam | Zbl

[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. | MR | Zbl

[HL] D. Huybrechts & M. Lehn - The geometry of moduli spaces of sheaves, Aspects of Mathematics, E31, Friedr. Vieweg & Sohn, Braunschweig, 1997. | DOI | MR | Zbl

[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. | MR

[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. | MR | Zbl

[dJ2] -,“A result of Gabber”, tapuscrit.

[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. | MR | Zbl

[dJS2] -, “Obtaining reduced fibres after normalized base change”, addendum to [dJS1], tapuscrit.

[Kh] B. Kahn - “On “horizontal” invariants attached to quadratic forms”, in Algebra and number theory, p. 21-33, Hindustan Book Agency, Delhi, 2005. | MR | Zbl

[Kt] K. Kato - “A Hasse principle for two-dimensional global fields”, J. reine angew. Math. 366 (1986), p. 142-181. | EuDML | MR | Zbl

[Kr] A. Kresch - “Hodge-theoretic obstruction to the existence of quaternion algebras”, Bull. London Math. Soc. 35 (2003), no. 1, p. 109-116. | MR | Zbl

[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. | MR | Zbl

[Lie] M. Lieblich - “Twisted sheaves and the period-index problem”, tapuscrit. | Zbl

[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. | MR | Zbl

[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. | Zbl

[M2] -, “Algèbres simples centrales et formes quadratiques”, Izv. Akad. Nauk SSSR Ser. Mat. 55 (1991), no. 1, p. 218-224, en russe.

[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. | MR | Zbl

[Mi] J. S. Milne - Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton, N.J., 1980. | MR | Zbl

[OP] M. Ojanguren & R. Parimala - “Algebras of prime degree on function fields of surfaces”, tapuscrit.

[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. | EuDML | Numdam | MR | Zbl

[PS2] -, “On the length of a quadratic form”, in Algebra and Number Theory, p. 147-157, Hindustan Book Agency, Delhi, 2005. | MR | Zbl

[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. | MR | Zbl

[Ro] P. Roquette - “The Brauer-Hasse-Noether theorem in historical perspective”, Schriften der Math.-Phys. Klasse der Heidelberger Akademie der Wissenschaften, vol. 15, 2004. | MR | Zbl

[Sa2] D. J. Saltman - “Cyclic algebras over $p$-adic surfaces”, tapuscrit. | Zbl

[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. | MR | Zbl

[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. | MR | Zbl

[S2] -, Cohomologie galoisienne, Lect. Notes in Math., vol. 5, Springer-Verlag, Berlin, 1994, cinquième édition. | MR | Zbl

[S3] -, Cohomologie galoisienne : progrès et problèmes, Séminaire Bourbaki, Exposé 783, Astérisque, vol. 227, 1995, p. 229-257. | Numdam | MR | Zbl

[T] J.-P. Tignol - “Algèbres indécomposables d'exposant premier”, Adv. in Math. 65 (1987), no. 3, p. 205-228. | MR | Zbl

[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. | MR | Zbl