This page intentionally left blank Central Simple Algebras and Galois Cohomology
This book is the first comprehensive, modern introduction to the theory of central simple algebras over arbitrary fields. Starting from the basics, it reaches such advanced results as the Merkurjev–Suslin theorem. This theorem is both the culmination of work initiated by Brauer, Noether, Hasse and Albert in the 1930s and the starting point of motivic cohomology theory, a domain at the forefront of current research in algebraic geometry and K-theory and the setting of recent spectacular work by Voevodsky, Suslin, Rost and others. Assuming only a solid background in algebra, but no homological algebra, the book covers the basic theory of central simple algebras, methods of Galois descent and Galois cohomology, Severi–Brauer varieties, residue maps and, finally, Milnor K-theory and K-cohomology. A number of noteworthy additional topics are also covered. The last chapter rounds off the theory by presenting the results in positive characteristic, including the theorem of Bloch–Gabber–Kato. The book is suitable as a textbook for graduate students and as a reference for researchers working in algebra, algebraic geometry or K-theory. philippe gille is Charg´e de Recherches, CNRS, Universit´e de Paris-Sud, Orsay. tama´ sszamuely is Senior Research Fellow, Alfr´ed R´enyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest.
CAMBRIDGE STUDIES IN ADVANCED MATHEMATICS 101 EDITORIAL BOARD B. BOLLOBAS,´ W. FULTON, A. KATOK, F. KIRWAN, P. SARNAK, B. SIMON, B. TOTARO
CENTRAL SIMPLE ALGEBRAS AND GALOIS COHOMOLOGY CAMBRIDGE STUDIES IN ADVANCED MATHEMATICS Editorial Board: B. Bollob´as, W. Fulton, A. Katok, F. Kirwan, P. Sarnak, B. Simon , B. Totaro Already published
35 J. Palis & F. Takens Hyperbolicity, stability and chaos at homoclinic bifurcations 37 Y. Meyer Wavelets and operators I 38 C. Weibel An introduction to homological algebra 39 W. Bruns & J. Herzog Cohen-Macaulay rings 40 V. Snaith Explicit Brauer induction 41 G. Laumon Cohomology of Drinfeld modular varieties I 42 E.B. Davies Spectral theory and differential operators 43 J. Diestel, H. Jarchow, & A. Tonge Absolutely summing operators 44 P. Mattila Geometry of sets and measures in Euclidean spaces 45 R. Pinsky Positive harmonic functions and diffusion 46 G. Tenenbaum Introduction to analytic and probabilistic number theory 47 C. Peskine An algebraic introduction to complex projective geometry 48 Y. Meyer & R. Coifman Wavelets 49 R. Stanley Enumerative combinatorics I 50 I. Porteous Clifford algebras and the classical groups 51 M. Audin Spinning tops 52 V. Jurdjevic Geometric control theory 53 H. Volklein Groups as Galois groups 54 J. Le Potier Lectures on vector bundles 55 D. Bump Automorphic forms and representations 56 G. Laumon Cohomology of Drinfeld modular varieties II 57 D.M. Clark & B.A. Davey Natural dualities for the working algebraist 58 J. McCleary A user’s guide to spectral sequences II 59 P. Taylor Practical foundations of mathematics 60 M.P. Brodmann & R.Y. Sharp Local cohomology 61 J.D. Dixon et al. Analytic pro-P groups 62 R. Stanley Enumerative combinatorics II 63 R.M. Dudley Uniform central limit theorems 64 J. Jost & X. Li-Jost Calculus of variations 65 A.J. Berrick & M.E. Keating An introduction to rings and modules 66 S. Morosawa Holomorphic dynamics 67 A.J. Berrick & M.E. Keating Categories and modules with K-theory in view 68 K. Sato Levy processes and infinitely divisible distributions 69 H. Hida Modular forms and Galois cohomology 70 R. Iorio & V. Iorio Fourier analysis and partial differential equations 71 R. Blei Analysis in integer and fractional dimensions 72 F. Borceux & G. Janelidze Galois theories 73 B. Bollobas Random graphs 74 R.M. Dudley Real analysis and probability 75 T. Sheil-Small Complex polynomials 76 C. Voisin Hodge theory and complex algebraic geometry I 77 C. Voisin Hodge theory and complex algebraic geometry II 78 V. Paulsen Completely bounded maps and operator algebras 79 F. Gesztesy & H. Holden Soliton Equations and their Algebro-Geometric Solutions Volume 1 81 Shigeru Mukai An Introduction to Invariants and Moduli 82 G. Tourlakis Lectures in logic and set theory I 83 G. Tourlakis Lectures in logic and set theory II 84 R.A. Bailey Association Schemes 85 James Carlson, Stefan M¨uller-Stach, & Chris Peters Period Mappings and Period Domains 86 J.J. Duistermaat & J.A.C. Kolk Multidimensional Real Analysis I 87 J.J. Duistermaat & J.A.C. Kolk Multidimensional Real Analysis II 89 M. Golumbic & A.N. Trenk Tolerance Graphs 90 L.H. Harper Global Methods for Combinatorial Isoperimetric Problems 91 I. Moerdijk & J. Mrcun Introduction to Foliations and Lie Groupoids 92 J´anos Koll´ar, Karen E. Smith, & Alessio Corti Rational and Nearly Rational Varieties 93 David Applebaum Levy´ Processes and Stochastic Calculus 95 Martin Schechter An Introduction to Nonlinear Analysis 96 Roger Carter Lie Algebras of Finite and Affine Type 97 Hugh L. Montgomery & R. C. Vaughan Multiplicative Number Theory I 98 Isaac Chavel Riemannian Geometry, 2nd edition 99 Dorian Goldfeld Automorphic Forms and L-Functions for the Group GL(n,R) 100 Michael B. Marcus & Jay Rosen Markov Processes, Gaussian Processes, and Local Times Central Simple Algebras and Galois Cohomology
PHILIPPE GILLE CNRS, Universite´ de Paris-Sud, Orsay
TAMAS´ SZAMUELY Alfred´ Renyi´ Institute of Mathematics, Hungarian Academy of Sciences, Budapest cambridge university press Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo
Cambridge University Press The Edinburgh Building, Cambridge cb2 2ru,UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/9780521861038
© P. Gille and T. Szamuely 2006
This publication is in copyright. Subject to statutory exception and to the provision of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press.
First published in print format 2006
isbn-13 978-0-511-22635-9 eBook (NetLibrary) isbn-10 0-511-22635-7 eBook (NetLibrary) isbn-13 978-0-521-86103-8 hardback isbn-10 0-521-86103-9 hardback
Cambridge University Press has no responsibility for the persistence or accuracy of urls for external or third-party internet websites referred to in this publication, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. Contents
Preface page xi Acknowledgments xii 1 Quaternion algebras1 1.1 Basic properties1 1.2 Splitting over a quadratic extension4 1.3 The associated conic7 1.4 A theorem of Witt9 1.5 Tensor products of quaternion algebras 12 2 Central simple algebras and Galois descent 17 2.1 Wedderburn’s theorem 17 2.2 Splitting fields 20 2.3 Galois descent 24 2.4 The Brauer group 29 2.5 Cyclic algebras 33 2.6 Reduced norms and traces 37 2.7 A basic exact sequence 40 2.8 K1 of central simple algebras 42 3 Techniques from group cohomology 50 3.1 Definition of cohomology groups 50 3.2 Explicit resolutions 56 3.3 Relation to subgroups 60 3.4 Cup-products 68 4 The cohomological Brauer group 80 4.1 Profinite groups and Galois groups 80 4.2 Cohomology of profinite groups 85 4.3 The cohomology exact sequence 90 4.4 The Brauer group revisited 95 4.5 Index and period 100 4.6 The Galois symbol 106 4.7 Cyclic algebras and symbols 109 viii Contents
5 Severi–Brauer varieties 114 5.1 Basic properties 115 5.2 Classification by Galois cohomology 117 5.3 Geometric Brauer equivalence 120 5.4 Amitsur’s theorem 125 5.5 An application: making central simple algebras cyclic 131 6 Residue maps 135 6.1 Cohomological dimension 135 6.2 C1-fields 140 6.3 Cohomology of Laurent series fields 146 6.4 Cohomology of function fields of curves 151 6.5 Application to class field theory 157 6.6 Application to the rationality problem: the method 160 6.7 Application to the rationality problem: the example 167 6.8 Residue maps with finite coefficients 171 6.9 The Faddeev sequence with finite coefficients 176 7 Milnor K-theory 183 7.1 The tame symbol 183 7.2 Milnor’s exact sequence and the Bass–Tate lemma 189 7.3 The norm map 195 7.4 Reciprocity laws 204 7.5 Applications to the Galois symbol 210 7.6 The Galois symbol over number fields 215 8 The Merkurjev–Suslin theorem 223 8.1 Gersten complexes in Milnor K-theory 223 8.2 Properties of Gersten complexes 227 8.3 A property of Severi–Brauer varieties 232 8.4 Hilbert’s Theorem 90 for K2 238 8.5 The Merkurjev–Suslin theorem: a special case 245 8.6 The Merkurjev–Suslin theorem: the general case 250 9 Symbols in positive characteristic 259 9.1 The theorems of Teichm¨uller and Albert 259 9.2 Differential forms and p-torsion in the Brauer group 266 9.3 Logarithmic differentials and flat p-connections 269 9.4 Decomposition of the de Rham complex 276 9.5 The Bloch–Gabber–Kato theorem: statement and reductions 279 9.6 Surjectivity of the differential symbol 282 9.7 Injectivity of the differential symbol 288 Contents ix
Appendix: A breviary of algebraic geometry 298 A.1 Affine and projective varieties 298 A.2 Maps between varieties 300 A.3 Function fields and dimension 302 A.4 Divisors 305 A.5 Complete local rings 308 A.6 Discrete valuations 310 A.7 Derivations 314 A.8 Differential forms 318
Bibliography 323 Index 339
Preface
This book provides a comprehensive and up-to-date introduction to the theory of central simple algebras over arbitrary fields, emphasizing methods of Galois cohomology and (mostly elementary) algebraic geometry. The central result is the Merkurjev–Suslin theorem. As we see it today, this fundamental theorem is at the same time the culmination of the theory of Brauer groups of fields initiated by Brauer, Noether, Hasse and Albert in the 1930s, and a starting point of motivic cohomology theory, a domain which is at the forefront of current research in algebraic geometry and K-theory – suffice it here to mention the recent spectacular results of Voevodsky, Suslin, Rost and others. As a gentle ascent towards the Merkurjev–Suslin theorem, we cover the basic theory of central simple algebras, methods of Galois descent and Galois cohomology, Severi– Brauer varieties, residue maps and finally, Milnor K-theory and K-cohomology. These chapters also contain a number of noteworthy additional topics. The last chapter of the book rounds off the theory by presenting the results in positive characteristic. For an overview of the contents of each chapter we refer to their introductory sections.
Prerequisites The book should be accessible to a graduate student or a non- specialist reader with a solid training in algebra including Galois theory and basic commutative algebra, but no homological algebra. Some familiarity with algebraic geometry is also helpful. Most of the text can be read with a basic knowledge corresponding to, say, the first volume of Shafarevich’s text. To help the novice, we summarize in an appendix the results from algebraic geometry we need. The first three sections of Chapter 8 require some familiarity with schemes, and in the proof of one technical statement we are forced to use tech- niques from Quillen K-theory. However, these may be skipped in a first reading by those willing to accept some ‘black boxes’. Acknowledgments
Our first words of thanks go to Jean-Louis Colliot-Th´el`ene and Jean-Pierre Serre, from whom we learned much of what we know about the subject and who, to our great joy, have also been the most assiduous readers of the manuscript, and suggested many improvements. Numerous other colleagues helped us with their advice during the preparation of the text, or spotted inaccuracies in previous ver- sions. Thanks are due to Spencer Bloch, Jean-Benoˆıt Bost, Irene Bouw, G´abor Braun, Ferenc Br´ody, J´erˆome Bur´esi, Baptiste Calm`es, Vladimir Chernousov, Mathieu Florence, Ofer Gabber, Skip Garibaldi, Luc Illusie, Bruno Kahn, Max- Albert Knus, David Leep, David Madore, Alexander Merkurjev, J´an Min´aˇc, Arturo Pianzola, Peter Roquette, Jo¨el Riou, Christophe Soul´e, Jean-Pierre Tignol, Burt Totaro and Stefan Wewers. Parts of the book formed the basis of a graduate course by the first author at Universit´e de Paris-Sud and of a lecture series by the two authors at the Alfr´ed R´enyi Institute. We thank both audiences for their pertinent questions and comments, and in particular Endre Szab´o who shared his geometric insight with us. Most of the book was written while the first author visited the R´enyi Institute in Budapest with a Marie Curie Intra-European Fellowship. The support of the Commission and the hospitality of the Institute are gratefully acknowledged. Last but not least, we are indebted to Diana Gillooly for assuring us a smooth and competent publishing procedure. 1
Quaternion algebras
As a prelude to the book, we present here our main objects of study in the simplest case, that of quaternion algebras. Many concepts that will be ubiquitous in what follows, such as division algebras, splitting fields or norms appear here in a concrete and elementary context. Another important notion we shall introduce is that of the conic associated with a quaternion algebra; these are the simplest examples of Severi–Brauer varieties, objects to which a whole chapter will be devoted later. In the second part of the chapter two classic theorems from the 1930s are proven: a theorem of Witt asserting that the associated conic determines a quaternion algebra up to isomorphism, and a theorem of Albert that gives a criterion for the tensor product of two quaternion algebras to be a division algebra. The discussion following Albert’s theorem will lead us to the statement of one of the main theorems proven later in the book, that of Merkurjev concerning division algebras of period 2. The basic theory of quaternion algebras goes back to the nineteenth century. The original references for the main theorems of the last two sections are Witt [1] and Albert [1], [5], respectively.
1.1 Basic properties In this book we shall study finite dimensional algebras over a field. Here by an algebra over a field k we mean a k-vector space equipped with a not necessar- ily commutative but associative k-linear multiplication. All k-algebras will be tacitly assumed to have a unit element. Historically the first example of a finite dimensional noncommutative alge- bra over a field was discovered by W. R. Hamilton during a walk with his wife (presumably doomed to silence) on 16 October 1843. It is the algebra of quaternions, a 4-dimensional algebra with basis 1, i, j, k over the field R of real numbers, the multiplication being determined by the rules
i 2 =−1, j 2 =−1, ij =−ji = k.
This is in fact a division algebra over R, which means that each nonzero element x has a two-sided multiplicative inverse, i.e. an element y with xy = yx = 1. Hamilton proved this as follows. 2 Quaternion algebras
For a quaternion q = x + yi + zj + wk, introduce its conjugate
q = x − yi − zj − wk and its norm N(q) = qq. A computation gives N(q) = x2 + y2 + z2 + w2,so if q = 0, the quaternion q/N(q) is an inverse for q. We now come to an easy generalization of the above construction. Henceforth in this chapter, unless otherwise stated, k will denote a field of characteristic not 2.
Definition 1.1.1 For any two elements a, b ∈ k× define the (generalized) quaternion algebra (a, b) as the 4-dimensional k-algebra with basis 1, i, j, ij, multiplication being determined by
i 2 = a, j 2 = b, ij =−ji.
One calls the set {1, i, j, ij} a quaternion basis of (a, b).
Remark 1.1.2 The isomorphism class of the algebra (a, b) depends only on the classes of a and b in k×/k×2, because the substitution i → ui, j → vj induces an isomorphism ∼ (a, b) → (u2a,v2b) for all u,v ∈ k×. This implies in particular that the algebra (a, b) is isomorphic to (b, a); indeed, mapping i → abj, j → abi we get
(a, b) =∼ (a2b3, a3b2) =∼ (b, a).
Given an element q = x + yi + zj + wij of the quaternion algebra (a, b), we define its conjugate by
q = x − yi − zj − wij.
The map (a, b) → (a, b) given by q → q is an anti-automorphism of the k- algebra (a, b), i.e. it is a k-vector space automorphism of (a, b) satisfying = = (q1q2) q2q1. Moreover, we have q q; an anti-automorphism with this prop- erty is called an involution in ring theory. We define the norm of q = x + yi + zj + wij by N(q) = qq. A calculation yields
N(q) = x2 − ay2 − bz2 + abw2 ∈ k, (1) so N :(a, b) → k is a nondegenerate quadratic form. The computation = = = N(q1q2) q1q2q2q1 q1 N(q2)q1 N(q1)N(q2) 1.1 Basic properties 3 shows that the norm is a multiplicative function, and the same argument as for Hamilton’s quaternions yields:
Lemma 1.1.3 An element q of the quaternion algebra (a, b) is invertible if and only if it has nonzero norm. Hence (a, b) is a division algebra if and only if the norm N :(a, b) → k does not vanish outside 0.
Remark 1.1.4 In fact, one can give an intrinsic definition of the conjugation involution (and hence of the norm) on a quaternion algebra (a, b) which does not depend on the choice of the basis (1, i, j, ij). Indeed, call an element q of (a, b) a pure quaternion if q2 ∈ k but q ∈/ k. A straightforward computation shows that a nonzero q = x + yi + zj + wijis a pure quaternion if and only if x = 0. Hence a general q can be written uniquely as q = q1 + q2 with q1 ∈ k and q2 pure, and conjugation is given by q = q1 − q2. Moreover, a pure quaternion q satisfies N(q) =−q2.
Example 1.1.5 (The matrix algebra M2(k)) Besides the classical Hamilton quaternions, the other basic example of a quaternion algebra is the k-algebra M2(k)of2× 2 matrices. Indeed, the assignment 10 0 b i → I := , j → J := 0 −1 10 ∼ defines an isomorphism (1, b) = M2(k), because the matrices