Algebraic Groups and Arithmetic Groups
J.S. Milne
Version 1.01 June 4, 2006 These notes provide an introductory overview of the theory of algebraic groups, Lie algebras, Lie groups, and arithmetic groups. They are a revision of those posted during the teaching of a course at CMS, Zhejiang University, Hangzhou in Spring, 2005.
v0.00 (February 28 – May 7, 2005). As posted during the course. v1.00 May 22, 2005. Minor corrections and revisions; added table of contents and index. v1.01 June 4, 2006. Fixed problem with the diagrams.
Please send comments and corrections to me at [email protected]
Available at http://www.jmilne.org/math/
The photo is of the famous laughing Buddha on The Peak That Flew Here, Hangzhou.
Copyright c 2005, 2006 J.S. Milne.
This electronic version of this work is licensed under a Creative Commons Licence (Attribution- NonCommercial-NoDerivs 2.5). This means that you are free to copy, distribute, display, and perform the work under the following conditions: Attribution. You must attribute the work in the manner specified by the author or licensor. Noncommercial. You may not use this work for commercial purposes. No Derivative Works. You may not alter, transform, or build upon this work. For any reuse or distribution, you must make clear to others the license terms of this work. For more details, see http://creativecommons.org/licenses/by-nc-nd/2.5/ Contents
Introduction 1 Notations 2; Prerequisites 2; References 3
1 Overview and examples 4 The building blocks 4; Semisimple groups 5; Extensions 6; Summary 7; Exercises 8
2 Definition of an affine algebraic group 10 Principle of permanence of identities 10; Affine algebraic groups 10; Homomorphisms of al- gebraic groups 13; The Yoneda lemma 13; The coordinate ring of an algebraic group 14; Very brief review of tensor products. 14; Products of algebraic groups 15; Fibred products of al- gebraic groups 15; Extension of the base field (extension of scalars) 15; Algebraic groups and bi-algebras 16; Homogeneity 18; Reduced algebras and their tensor products 19; Reduced alge- braic groups and smooth algebraic groups 20; Smooth algebraic groups and group varieties 20; Algebraic groups in characteristic zero are smooth 22; Cartier duality 23; Exercises 24
3 Linear representations 25 Linear representations and comodules 25; Stabilizers of subspaces 30
4 Matrix Groups 32 An elementary result 32; How to get bialgebras from groups 32; A little algebraic geometry 33; Variant 34; Closed subgroups of GLn and algebraic subgroups 35
5 Example: the spin group 36 Quadratic spaces 36; The orthogonal group 40; Super algebras 40; Brief review of the tensor algebra 41; The Clifford algebra 42; The Spin group 46; The Clifford group 47; Action of O.q/ on Spin.q/ 48; Restatement in terms of algebraic groups 48
6 Group Theory 49 Review of group theory 49; Review of flatness 49; The faithful flatness of bialgebras 51; Definitions; factorization theorem 51; Embeddings; subgroups. 52; Kernels 52; Quotient maps 54; Existence of quotients 55; The isomorphism theorem 56
7 Finite (etale)´ algebraic groups 58 Separable k-algebras 58; Classification of separable k-algebras 59; Etale algebraic groups 60; Examples 60
8 The connected components of an algebraic group 62 Some algebraic geometry 62; Separable subalgebras 64; The group of connected components of an algebraic group 65; Connected algebraic groups 66; Exact sequences and connectedness 68; Where we are 69
9 Diagonalizable groups; tori 70 A remark about homomorphisms 70; Group-like elements in a bialgebra 70; The characters of an algebraic group 70; The algebraic group D.M / 71; Characterizing the groups D.M / 72; Diagonalizable groups 73; Diagonalizable groups are diagonalizable 74; Split tori and their rep- resentations 75; Rigidity 76; Groups of multiplicative type 76
10 Jordan decompositions 78 Jordan normal forms 78; Jordan decomposition in GLn.V / (k k) 79; Jordan decomposition in GL.V /, k perfect 80; Infinite-dimensional vector spaces 81; TheD regular representation contains all 81; The Jordan decomposition in the regular representation 82 11 Solvable algebraic groups 85 Brief review of solvable groups (in the usual sense) 85; Remarks on algebraic subgroups 85; Commutative groups are triangulizable 86; Decomposition of a commutative algebraic group 87; The derived group of algebraic group 88; Definition of a solvable algebraic group 89; Independence of characters 90; The Lie-Kolchin theorem 91; Unipotent groups 92; Structure of solvable groups 93; Tori in solvable groups 93; The radical of an algebraic group 94; Structure of a general (affine) algebraic group 94; Exercises 95
12 The Lie algebra of an algebraic group: basics 96 Lie algebras: basic definitions 96; The Lie algebra of an algebraic group 97; The functor Lie 98; Examples 98; Extension of the base field 101; Definition of the bracket 101; Alternative construction of the bracket. 102; The unitary group 103; Lie preserves fibred products 104
13 The Lie algebra of an algebraic group 106 Some algebraic geometry 106; Applications 107; Stabilizers 108; Isotropy groups 109; Normalizers and centralizers 110; A nasty example 111
14 Semisimple algebraic groups and Lie algebras 112 Semisimple Lie algebras 112; Semisimple Lie algebras and algebraic groups 112; The map ad 113; The Lie algebra of Autk.C / 113; The map Ad 114; Interlude on semisimple Lie algebras 115; Semisimple algebraic groups 119
15 Reductive algebraic groups 121 Structure of reductive groups 121; Representations of reductive groups 122; A criterion to be reductive 124
16 Split reductive groups: the program 126 Split tori 126; Split reductive groups 127; Program 129
17 The root datum of a split reductive group 130 Roots 130; Example: GL2 130; Example: SL2 130; Example: PGL2 131; Example: GLn 131; Definition of a root datum 132; First examples of root data 132; Semisimple groups of rank 0 or 1 134; Centralizers and normalizers 134; Definition of the coroots 135; Computing the centre 137; Semisimple and toral root data 137; The main theorems. 138; Examples 138
18 Generalities on root data 142 Definition 142
19 Classification of semisimple root data 146 Generalities on symmetries 146; Generalities on lattices 147; Root systems 147; Root systems and semisimple root data 148; The big picture 149; Classification of the reduced root system 149; The Coxeter graph 153
20 The construction of all split reductive groups 155 Preliminaries on root data/systems 155; Brief review of diagonalizable groups 156; Construction of all almost-simple split semisimple groups 157; Split semisimple groups. 157; Split reductive groups 157; Exercise 157
21 Borel fixed point theorem and applications 158 Brief review of algebraic geometry 158; The Borel fixed point theorem 159; Quotients 159; Borel subgroups 160; Parabolic subgroups 162; Examples of Borel and parabolic subgroups 162
22 Parabolic subgroups and roots 164 Lie algebras 165; Algebraic groups 166 23 Representations of split reductive groups 167 The dominant weights of a root datum 167; The dominant weights of a semisimple root datum 167; The classification of representations 167; Example: 168; Example: GLn 168; Example: SLn 169
24 Tannaka duality 170 Recovering a group from its representations 170; Properties of G versus those of Repk.G/ 170; (Neutralized) Tannakian categories 171; Applications 172
25 Algebraic groups over R and C; relation to Lie groups 174 The Lie group attached to an algebraic group 174; Negative results 174; Complex groups 175; Real groups 176
26 The cohomology of algebraic groups; applications 177 Introduction 177; Non-commutative cohomology. 177; Applications 180; Classifying the forms of an algebraic group 181; Infinite Galois groups 182; Exact sequences 183; Examples 183; (Weil) restriction of the base field 184; Reductive algebraic groups 184; Simply connected semisimple groups 184; Absolutely almost-simple simply-connected semisimple groups 185; The main theo- rems on the cohomology of groups 186
27 Classical groups and algebras with involution 188 The forms of Mn.k/ 188; The inner forms of SLn 189; Involutions of k-algebras 190; All the forms of SLn 190; Forms of Sp2n 191; The forms of Spin./ 192; Algebras admitting an in- volution 192; The involutions on an algebra 193; Hermitian and skew-hermitian forms 194; The groups attached to algebras with involution 194; Conclusion. 195
28 Arithmetic subgroups 196 Commensurable groups 196; Definitions and examples 196; Questions 197; Independence of and L. 197; Behaviour with respect to homomorphisms 198; Adelic` description of congruence subgroups 199; Applications to manifolds 200; Torsion-free arithmetic groups 200; A fundamen- tal domain for SL2 201; Application to quadratric forms 202; “Large” discrete subgroups 203; Reduction theory 204; Presentations 206; The congruence subgroup problem 207; The theorem of Margulis 208; Shimura varieties 209
Index of definitions 211
1
Introduction For one who attempts to unravel the story, the problems are as perplexing as a mass of hemp with a thousand loose ends. Dream of the Red Chamber, Tsao Hsueh-Chin.
Algebraic groups are groups of matrices determined by polynomial conditions. For example, the group of matrices of determinant 1 and the orthogonal group of a symmetric bilinear form are both algebraic groups. The elucidation of the structure of algebraic groups and the classification of them were among the great achievements of twentieth century mathematics (Borel, Chevalley, Tits and others, building on the work of the pioneers on Lie groups). Algebraic groups are used in most branches of mathematics, and since the famous work of Hermann Weyl in the 1920s they have also played a vital role in quantum mechanics and other branches of physics (usually as Lie groups). Arithmetic groups are groups of matrices with integer entries. They are an important source of discrete groups acting on manifolds, and recently they have appeared as the sym- metry groups of several string theories in physics. These are the notes for a 40 hour course that I gave at CMS, Zhejiang University, Hangzhou, in the spring of 2005. My goal was to give an introductory overview of al- gebraic groups, Lie algebras, Lie groups, and arithmetic groups. However, to adequately cover this topic would take twice as long and twice as many pages (but not more!). Thus, the treatment is very sketchy in places, and some important topics (for example, the cru- cial real case) are barely mentioned. Nevertheless, I hope that the notes may be useful for someone looking for a rapid introduction to the subject. Sometime I plan to produce an expanded version.
The approach to algebraic groups taken in these notes In most of the expository lit- erature, the theory of algebraic groups is based (in spirit if not in fact) on the algebraic geometry of Weil’s Foundations.1 Thus coordinate rings are not allowed to have nonzero nilpotents, which means, for example, that the centre of SLp in characteristic p is vis- ible only through its Lie algebra. Moreover, the isomorphism theorem in group theory, HN=N H=N H, fails, and so the intuition provided by group theory is unavailable. It ' \ is true that in characteristic zero, all algebraic groups are reduced, but this is a theorem that can only be stated when nilpotents are allowed. Another problem is that an algebraic group over a field k is defined to be an algebraic group over some large algebraically closed field together with a k-structure. This leads to a confusing terminology in conflict with that of today’s algebraic geometry and prevents, for example, the theory of split reductive groups to be developed intrinsically over the base field. Of course, the theory of algebraic groups should be based on Grothendieck’s theory of schemes. However, the language of schemes is not entirely appropriate either, since the nonclosed points are an unnecessary complication when working over a field and they prevent the underlying space of an algebraic group from being a group. In these notes, we usually regard algebraic groups as functors (or bi-algebras), except that, in order to be able to apply algebraic geometry, we sometimes interpret them as algebraic varieties or algebraic spaces (in the sense of AG 11).
1Weil, Andre.´ Foundations of algebraic geometry. AMS, 1962 2
The expert need only note that by “algebraic group over a field” we mean “affine alge- braic group scheme over a field”, and that our ringed spaces have only closed points (thus, we are using Spm rather than Spec).
Notations
We use the standard (Bourbaki) notations: N 0; 1; 2; : : : , Z ring of integers, R D f g D D field of real numbers, C field of complex numbers, Fp Z=pZ field of p elements, p D D D a prime number. Given an equivalence relation, Œ denotes the equivalence class containing . A family of elements of a set A indexed by a second set I , denoted .ai /i I , is a function 2 i ai I A. 7! W ! Throughout, k is a field and k is an algebraic closure of k. Rings will be commutative with 1 unless stated otherwise, and homomorphisms of rings are required to map 1 to 1.A k-algebra is a ring A together with a homomorphism k A. ! For a ring A, A is the group of units in A:
A a A there exists a b A such that ab 1 : D f 2 j 2 D g We use Gothic (fraktur) letters for ideals:
abcmnpqABCMNPQ abcmnpqABCMNPQ
df X YX is defined to be Y , or equals Y by definition; D X YX is a subset of Y (not necessarily proper, i.e., X may equal Y ); X YX and Y are isomorphic; X YX and Y are canonically isomorphic (or there is a given or unique isomorphism). ' Prerequisites A standard course on algebra, for example, a good knowledge of the Artin 1991. ˘ Some knowledge of the language of algebraic geometry, for example, the first few ˘ sections of AG.
Acknowledgements I thank the Scientific Committee and Faculty of CMS (Yau Shing-Tung, Liu Kefeng, Ji Lizhen, . . . ) for the invitation to lecture at CMS; Xu Hongwei and Dang Ying for helping to make my stay in Hangzhou an enjoyable one; and those attending the lectures, especially Ding Zhiguo, Han Gang, Liu Gongxiang, Sun Shenghao, Xie Zhizhang, Yang Tian, Zhou Yangmei, and Munir Ahmed, for their questions and comments. 3
References
BASICALGEBRA Artin 1991: Algebra, Prentice-Hall. FT: Milne, J., Fields and Galois theory, available at www.jmilne.org/math/. GT: Milne, J., Group theory, available at www.jmilne.org/math/. COMMUTATIVE ALGEBRA Atiyah and Macdonald 1969: Commutative algebra, Addison-Wesley. ALGEBRAIC GEOMETRY AG: Milne, J., Algebraic geometry, available at www.jmilne.org/math/. GROUP VARIETIES Borel 1991: Linear algebraic groups, Springer. Humphreys 1975: Linear algebraic groups, Springer. Springer 1998: Linear algebraic groups, Birkhauser.¨ GROUPSCHEMES Demazure and Gabriel, 1970: Groupes algebriques.´ Masson, Paris. SGA3: Schemas´ en Groupes, Seminar organized by Demazure and Grothendieck (1963–64), available at www.grothendieck-circle.org. Waterhouse 1979: Introduction to affine group schemes, Springer. LIEALGEBRAS Humphreys 1972: Introduction to Lie algebras and representation theory, Springer. Serre 1987: Complex semisimple Lie algebras, Springer. LIEGROUPS Hall 2003: Lie groups, Lie algebras and representation theory, Springer. ARITHMETICOFALGEBRAICGROUPS Platonov and Rapinchuk 1994: Algebraic groups and number theory, Academic. ARITHMETICGROUPS Borel 1969: Introduction aux groupes arithmetiques,´ Hermann. HISTORY Borel 2001: Essays in the history of Lie groups and algebraic groups, AMS. 1 OVERVIEW AND EXAMPLES 4
1 Overview and examples
Loosely speaking, an algebraic group is a group defined by polynomials. Following Mike Artin’s dictum (Artin 1991, p xiv), I give the main examples before the precise abstract definition. The determinant of an n n matrix A .aij / is a polynomial in the entries of A, D specifically, X det.A/ .sgn.//a a D 1.1/ n.n/ Sn 2 where Sn is the symmetric group on n letters, and sgn./ is the sign of . Moreover, the entries of the product of two matrices are polynomials in the entries of the two matrices. Therefore, for any field k, the group SLn.k/ of n n matrices with determinant 1 is an algebraic group (called the special linear group). The group GLn.k/ of n n matrices with nonzero determinant is also an algebraic group (called the general linear group) because its elements can be identified with the 2 n 1-tuples ..aij /1 i;j n; t/ such that C Ä Ä
det.aij /t 1: D More generally, for a finite-dimensional vector space V , we define GL.V / (resp. SL.V /) to be the groups automorphisms of V (resp. automorphisms with determinant 1). These are again algebraic groups. On the other hand, the subgroup
x .x; e / x R f j 2 g of R R is not an algebraic subgroup because any polynomial f .X; Y / RŒX; Y zero 2 on it is identically zero. An algebraic group is connected if it has no quotient algebraic group Q such that Q.k/ is finite and 1. ¤ The building blocks Unipotent groups Recall that an endomorphism ˛ of a vector space V is nilpotent if ˛n 0 for some n > 0 D 0 Á and that it is unipotent if 1 ˛ is nilpotent. For example, a matrix A of the form 0 0 0 0 0 1 Á is nilpotent (A3 0) and so a matrix of the form 1 A 0 1 is unipotent. D D 0 0 1 An algebraic subgroup of GL.V / is unipotent if there exists a basis of V relative to which G is contained in the group of all n n matrices of the form 01 1 B0 1 C B C B : : :: : :C B : : : : :C ; (1) B C @0 0 1 A 0 0 0 1 which we denote it Un. Thus, the elements of a unipotent group are unipotent. 1 OVERVIEW AND EXAMPLES 5
Algebraic tori An endomorphism ˛ of a vector space V is diagonalizable if V has a basis of eigenvectors for ˛, and it is semisimple if it becomes diagonalizable after an extension of the field k. For example, the linear map x Ax kn kn defined by an n n matrix A is diagonalizable 7! W ! 1 if and only if there exists an invertible matrix P with entries in k such that PAP is diagonal, and it is semisimple if and only if there exists such a matrix P with entries in some field containing k. Let k be an algebraic closure of k. A connected algebraic subgroup T of GL.V / is an algebraic torus if, over k, there exists a basis of V relative to which T is contained in the group of all diagonal matrices 0 0 0 01 B0 0 0C B C B : : :: : :C B : : : : :C ; B C @0 0 0A 0 0 0 which we denote Dn. Thus, the elements of T are semisimple.
Semisimple groups
Let G1;:::;Gr be algebraic subgroups of an algebraic group G. If
.g1; : : : ; gr / g1 gr G1 Gr G 7! W ! is a surjective homomorphism with finite kernel, then we say that G is the almost direct product of the Gi . In particular, this means that each Gi is normal and that the Gi commute with each other. For example,
G SL2 SL2 =N; N .I; I /; . I; I/ (2) D D f g is the almost direct product of SL2 and SL2, but it can’t be written as a direct product. A connected algebraic group G is simple if it is non-commutative and has no normal algebraic subgroups, and it is almost simple2 if its centre Z is finite and G=Z is simple. For example, SLn is almost-simple because its centre ( ! ˇ ) 0 ˇ : ˇ n Z :: ˇ 1 D 0 ˇ D is finite, and PSLn SLn =Z is simple. D A connected algebraic group is semisimple if it is an almost direct product of almost- simple subgroups. For example, the group G in (2) is semisimple. A central isogeny of connected algebraic groups is a surjective homomorphism G ! H whose kernel is finite and contained in the centre of G (in characteristic zero, a finite subgroup of a connected algebraic group is automatically central, and so “central” can be omitted from these definitions). We say that two algebraic groups H1 and H2 are centrally isogenous if there exist central isogenies
H1 G H2: ! 2Also called “quasi-simple” or, often, just “simple”. 1 OVERVIEW AND EXAMPLES 6
Thus, two algebraic groups are centrally isogenous if they differ only by finite central sub- group. This is an equivalence relation. If k is algebraically closed, then every almost-simple algebraic group is centrally isoge- nous to exactly one on the following list: An .n 1/; the special linear group SLn 1 consisting of all n 1 n 1 matrices A with C C C det.A/ 1 D I Bn .n 2/; the special orthogonal group SO2n 1 consisting of all 2n 1 2n 1 matrices C C C A such that At A I and det.A/ 1; D D Cn .n 3/; the symplectic group Sp2n consisting of all invertible 2n 2n matrices A such  0 I à that At JA J where J ; D D I 0 Dn .n 4/; the special orthogonal group SO2n; E6;E7;E8;F4;G2 the five exceptional types.
Abelian varieties Abelian varieties are algebraic groups that are complete (which implies that they are pro- jective and commutative3). An abelian variety of dimension 1 is an elliptic curve, which can be given by a homogeneous equation
Y 2Z X 3 aXZ2 bZ3: D C C In these lectures, we shall not be concerned with abelian varieties, and so I’ll say nothing more about them.
Finite groups Every finite group can be regarded as an algebraic group. For example, let be a per- mutation of 1; : : : ; n and let I./ be the matrix obtained from the identity matrix by f g using to permute the rows. Then, for any n n matrix A, I./A is obtained from A by permuting the rows according to . In particular, if and 0 are two permutations, then I./I. / I. /. Thus, the matrices I./ realize Sn as a subgroup of GLn. Since every 0 D 0 finite group is a subgroup of some Sn, this shows that every finite group can be realized as 4 a subgroup of GLn, which is automatically algebraic.
Extensions For the remainder of this section, assume that k is perfect.
Solvable groups An algebraic group G is solvable if it there exists a sequence of connected algebraic sub- groups G G0 Gi Gn 1 D D 3See for example my Storrs lectures (available on my website under preprints/reprints 1986b). 4 n Any finite subset of k is algebraic. For example, .a1; : : : ; an/ is the zero-set of the polynomials Xi ai , f g 1 i n, and .a1; : : : ; an/; .b1; : : : ; bn/ is the zero-set of the polynomials .Xi ai /.X bj /, 1 i; j n, andÄ soÄ on. f g Ä Ä 1 OVERVIEW AND EXAMPLES 7
such that Gi 1 is normal in Gi and Gi =Gi 1 is commutative. According to the table below, they are extensionsC of tori by unipotent groups.C For example, the group of upper triangular matrices Tn is solvable: 1 Un Tn Dn 1. ! ! ! ! The Lie-Kolchin theorem says that, when k k, for any connected solvable subgroup G D of GL.V /, there exists a basis for V such that G Tn. Reductive groups An algebraic group is reductive if it has no nontrivial connected unipotent subgroups. Ac- cording to the table, they are extensions of semisimple groups by tori. For example, GLn is reductive: 1 Gm GLn PGLn 1: ! ! ! ! Nonconnected groups The orthogonal group. There is an exact sequence
det 1 SO.n/ O.n/ 1 1 ! ! ! f˙ g ! which shows that O.n/ is not connected.
The monomial matrices. Let M be the group of monomial matrices, i.e., those with exactly one nonzero element in each row and each column. Then M contains both Dn and the group Sn of permutation matrices. Moreover, for any diagonal matrix diag.a1; : : : ; an/;
1 I./ diag.a1; : : : ; an/ I./ diag.a ; : : : ; a /. (3) D .1/ .n/ As M DnSn and D Sn 1, this shows that Dn is normal in M and that M is the D \ D semi-direct product M Dn Ì Sn D where Sn Aut.Dn/ sends to Inn.I.//. W ! Summary When k is perfect, every smooth algebraic group has a composition series whose quotients are (respectively) a finite group, an abelian variety, a semisimple group, a torus, and a unipotent group. More precisely (all algebraic groups are smooth): An algebraic group G contains a unique normal connected subgroup G such that ˘ ı G=Gı is finite and smooth (see 8.13). A connected algebraic group G contains a unique normal affine algebraic subgroup ˘ H such that G=H is an abelian variety (Barsotti-Chevalley theorem).5
5B. Conrad, A modern proof of Chevalley’s theorem on algebraic groups, available at www.math.lsa.umich.edu/ bdconrad/papers/chev.pdf. 1 OVERVIEW AND EXAMPLES 8
A connected affine group G contains a largest6 normal solvable subgroup (called the ˘ radical RG of G) that contains all other normal solvable subgroups (see p94). The quotient G=RG is semisimple. A connected affine group G contains a largest normal unipotent subgroup (called the ˘ unipotent radical RuG of G) (see p94). The quotient G=RuG is reductive, and is a torus if G is solvable. (When k k, G contains reductive groups H, called Levi D subgroups, such that G RuG Ì H.) D The derived group DG of a reductive group G is a semisimple algebraic group and the ˘ connected centre Z.G/ı of G is a torus; G is an extension of a semisimple algebraic group by a torus (see 15.1). In the following tables, the group at left has a composition series whose quotients are the groups at right.
General algebraic group Affine algebraic group Reductive general finite affine G j connected finite j abelian variety connected G reductive j ı connected affine semisimple semisimple j j semisimple solvable RG torus j solvable torus torus j j torus unipotent RuG 1 j f g unipotent unipotent j unipotent 1 j f g 1 f g ASIDE 1.1 We have seen that the theory of algebraic groups includes the theory of finite groups and the theory of abelian varieties. In listing the finite simple groups, one uses the listing of the almost-simple algebraic groups given above. The theory of abelian varieties doesn’t use the theory of algebraic groups until one begins to look at families of abelian varieties when one needs both the theory of algebraic groups and the theory of arithmetic groups.
Exercises
x 1-1 Show that a polynomial f .X; Y / RŒX; Y such that f .x; e / 0 for all x R is 2 x D 2 2 zero (as an element of RŒX; Y ). Hence .x; e / x R is not an algebraic subset of R f j 2 g (i.e., it is not the zero set of a collection of polynomials).
1-2 Let T be a commutative subgroup of GL.V / consisting of diagonalizable elements. Show that there exists a basis for V relative to which T Dn. 1-3 Let be a positive definite bilinear form on a real vector space V , and let SO./ be the algebraic subgroup of SL.V / of ˛ such that .˛x; ˛y/ .x; y/ for all x; y V . D 2 Show that every element of SO./ is semisimple (but SO./ is not diagonalizable because it is not commutative).
6This means that RG is a normal solvable subgroup of G and that it contains all other normal solvable subgroups of G. 1 OVERVIEW AND EXAMPLES 9
1-4 Let k be a field of characteristic zero. Show that every element of GLn.k/ of fi- nite order is semisimple. (Hence the group of permutation matrices in GLn.k/ consists of semisimple elements, but it is not diagonalizable because it is not commutative). 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 10
2 Definition of an affine algebraic group
In this section, I assume known some of the language of categories and functors (see, for example, AG 1).
Principle of permanence of identities
Let f .X1;:::;Xm/ and g.X1;:::;Xm/ be two polynomials with coefficients in Z such that f .a1; : : : ; am/ g.a1; : : : ; am/ (4) D for all real numbers ai . Then f .X1;:::;Xm/ g.X1;:::;Xm/ as polynomials with coef- D ficients in R — see Artin 1991, Chapter 12, 3.8, or (4.1) below — and hence as polynomials with coefficients in Z. Therefore, (4) is true with the ai in any ring R. Application. When we define the determinant of an n n matrix M .mij / by D X det.M / .sgn.//m m ; D 1.1/ n.n/ Sn 2 then det.MN / det.M / det.N / (5) D and adj.M / M det.M /I M adj.M / (Cramer’s rule). (6) D D Here I is the identity matrix, and adj.M / is the n n matrix whose .i; j /th entry is i j th . 1/ det Mj i with Mij the matrix obtained from M by deleting the i row and the C j th column. For matrices with entries in the field of real numbers, this is proved, for example, in Artin 1991, Chapter I, 5, but we shall need the result for matrices with entries in any com- mutative ring R. There are two ways of proving this: observe that Artin’s proof applies in general, or by using the above principle of permanence of identities. Briefly, when we con- sider a matrix M whose entries are symbols Xij , (5) becomes an equality of polynomials in ZŒX11;:::;Xnn. Because it becomes true when we replace the Xij with real numbers, it is true when we replace the Xij with elements of any ring R. A similar argument applies to (6) (regard it as a system of n2 equalities).
Affine algebraic groups In 1, I said that an algebraic group over k is a group defined by polynomial equations with coefficients in k. Given such an object, we should be able to look at the solutions of the equations in any k-algebra, and so obtain a group for every k-algebra. We make this into a definition. Thus, let G be a functor from k-algebras to groups. Recall that this means that for each k-algebra R we have a group G.R/ and for each homomorphism of k-algebras ˛ R S W ! we have a homomorphism G.˛/ G.R/ G.S/; moreover, W !
G.idR/ id all R D G.R/ G.ˇ ˛/ G.ˇ/ G.˛/ all composable ˛; ˇ: ı D ı 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 11
We say that G is an affine algebraic group7 if there exists a finitely generated k-algebra A such that G.R/ Hom .A; R/ D k-algebra functorially in R. Since we shall be considering only affine algebraic groups in these lec- tures (no abelian varieties), I’ll omit the “affine”. In the following examples, we make repeated use of the following observation. Let A kŒX1;:::;Xm; then a k-algebra homomorphism A R is determined by the images D ! ai of the Xi , and these are arbitrary. Thus, to give such a homomorphism amounts to giving an m-tuple .ai /1 i m in R. Let A kŒX1;:::;Xm=a where a is the ideal generated by Ä Ä D some polynomials fj .X1;:::;Xm/. The homomorphism Xi ai kŒX1;:::;Xm R 7! W ! factors through A if and only if the ai satisfy the equations fj .a1; : : : ; am/ 0. Therefore, D to give a k-algebra homomorphism A R amounts to giving an m-tuple a1; : : : ; am such ! that fj .a1; : : : ; am/ 0 for all j . D EXAMPLE 2.1 Let Ga be the functor sending a k-algebra R to R considered as an additive group, i.e., Ga.R/ .R; /. Then D C Ga.R/ Homk-alg.kŒX; R/; ' and so Ga is an algebraic group, called the additive group.
EXAMPLE 2.2 Let Gm.R/ .R; /. Let k.X/ be the field of fractions of kŒX, and let 1 D 1 kŒX; X be the subring of k.X/ of polynomials in X and X . Then 1 Gm.R/ Homk-alg.kŒX; X ; R/; ' and so Gm is an algebraic group, called the multiplicative group.
EXAMPLE 2.3 From (5) and the fact that det.I / 1, we see that if M is an invert- D ible matrix in Mn.R/, then det.M / R . Conversely, Cramer’s rule (6) shows that if 2 det.M / R , then M in invertible (and it gives an explicit polynomial formula for the 2 inverse). Therefore, the n n matrices of determinant 1 with entries in a k-algebra R form a group SLn.R/, and R SLn.R/ is a functor. Moreover, 7! Â Ã kŒX11;:::;Xnn SLn.R/ Homk-alg ;R ' .det.Xij / 1/ and so SLn is an algebraic group, called the special linear group. Here det.Xij / is the polynomial P sgn./X X : 1.1/ 2.2/ EXAMPLE 2.4 The arguments in the last example show that the n n matrices with entries in a k-algebra R and determinant a unit in R form a group GLn.R/, and R GLn.R/ is 7! a functor. Moreover,8 Â Ã kŒX11;:::;Xnn; Y GLn.R/ Homk-alg ;R ' .det.Xij /Y 1/ and so GLn is an algebraic group, called the general linear group.
7When k has characteristic zero, this definition agrees with that in Borel 1991, Humphreys 1975, and Springer 1998; when k has nonzero characteristic, it differs (but is better) — see below. 8To give an element on the right is to given an n n matrix M with entries in R and an element c R such 1 2 that det.M /c 1. Thus, c is determined by M (it must be det.M / /, and M can be any matrix such that det.M / R .D 2 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 12
EXAMPLE 2.5 For a k-algebra R, let G.R/ be the group of invertible matrices in Mn.R/ having exactly one nonzero element in each row and column. For each Sn (symmetric 2 group), let A kŒGLn=.Xij j .i// D j ¤ Q and let kŒG A . The kŒG represents G, and so G is an algebraic group, called D Sn the group of monomial2 matrices.
EXAMPLE 2.6 Let C be a symmetric matrix with entries in R. An automorph9 of C is an invertible matrix T such that T t C T C , in other words, such that D X tj i c t c ; i; l 1; : : : ; n: jk kl D il D j;k
Let G be the functor sending R to the group of automorphs of C with entries in R. Then G.R/ Hom .A; R/ with A the quotient of kŒX11;:::;Xnn; Y by the ideal generated D k-alg by the polynomials det.Xij /Y 1 P Xj i c X c ; i; l 1; : : : ; n: j;k jk kl D il D EXAMPLE 2.7 Let G be the functor such that G.R/ 1 for all k-algebras R. Then D f g G.R/ Hom .k; R/, and so G is an algebraic group, called the trivial algebraic ' k-algebra group.
n EXAMPLE 2.8 Let n be the functor n.R/ r R r 1 . Then D f 2 j D g n n.R/ Hom .kŒX=.X 1/; R/; ' k-alg n and so n is an algebraic group with kŒn kŒX=.X 1/. D EXAMPLE 2.9 In characteristic p 0, the binomial theorem takes the form .a b/p ¤ C D ap bp. Therefore, for any k-algebra R over a field k of characteristic p 0, C ¤ p ˛p.R/ r R r 0 D f 2 j D g p is a group, and R ˛p.R/ is a functor. Moreover, ˛p.R/ Hom .kŒT =.T /; R/, 7! D k-alg and so ˛p is an algebraic group.
EXAMPLE 2.10 There are abstract versions of the above groups. Let V be a finite-dimensional vector space over k, and let be a symmetric bilinear V V k. Then there are algebraic ! groups with
SLV .R/ automorphisms of R V with determinant 1 , D f ˝k g GLV .R/ automorphisms of R V , D f ˝k g O./ automorphisms ˛ of R V such that .˛v; ˛w/ .v; w/ all v; w R V . D f ˝k D 2 ˝k g 9If we let .x; y/ xt Cy, x; y kn, then the automorphs of C are the linear isomorphisms T kn kn such that .T x; Ty/ D .x; y/. 2 W ! D 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 13
Homomorphisms of algebraic groups A homomorphism of algebraic groups over k is a natural homomorphism10 G H, i.e., ! a family of homomorphisms ˛.R/ G.R/ H.R/ such that, for every homomorphism of W ! k-algebras R S, the diagram ! ˛.R/ G.R/ H.R/ ? ! ? ? ? y y ˛.S/ G.S/ H.S/ ! commutes. For example, the determinant defines a homomorphism
det GLn Gm; W ! and the homomorphisms
Â1 aà R SL2.R/; a ; ! 7! 0 1 define a homomorphism Ga SL2. ! The Yoneda lemma
Any k-algebra A defines a functor hA from k-algebras to sets, namely,
df R hA.R/ Hom .A; R/: 7! D k-alg
A homomorphism ˛ A B defines a morphism of functors hB hA, namely, W ! !
ˇ ˇ ˛ hB .R/ hA.R/: 7! ı W !
Conversely, a morphism of functors hB hA defines a homomorphism ˛ A B, ! W ! namely, the image of idB under hB .B/ hA.B/. ! It is easy to check that these two maps are inverse (exercise!), and so
Hom .A; B/ Hom.hB ; hA/: (7) k-alg ' This remarkably simple, but useful result, is known as the Yoneda lemma. A functor F from k-algebras to sets is representable if it is isomorphic to hA for some k-algebra A (we then say that A represents F ). With this definition, an algebraic group is a functor from k-algebras to groups that is representable (as a functor to sets) by a finitely generated k-algebra. 1 1 Let A be the functor sending a k-algebra R to R (as a set); then kŒX represents A :
R Hom .kŒX; R/. ' k-alg Note that 1 Yoneda Homfunctors.hA; A / Homk-alg.kŒX; A/ A: (8) ' ' 10Also called a natural transformation or a morphism of functors. 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 14
The coordinate ring of an algebraic group A coordinate ring of an algebraic group G is a finitely generated k-algebra A together with an isomorphism of functors hA G. If hA G and hA G are coordinate rings, ! 1 ! 2 ! then we get an isomorphism hA G hA 2 ! ! 1 by inverting the first isomorphism. Hence, by the Yoneda lemma, we get an isomorphism
A1 A2, ! and so the coordinate ring of an algebraic group is uniquely determined up to a unique isomorphism. We sometimes write it kŒG:
Let .A; hA ' G/ be a coordinate ring for G. Then ! .8/ 1 1 A Hom.hA; A / Hom.G; A /: ' ' Thus, an f A defines a natural map11 G.R/ R, and each such natural map arises from 2 ! a unique f . For example,12
kŒ: : : ; Xij ; : : : kŒGLn kŒ: : : ; xij ; : : : ; y; D .Y det.Xij / 1/ D th and xij sends a matrix in GLn.R/ to its .i; j / -entry and y to the inverse of its determinant.
Very brief review of tensor products. Let A and B be k-algebras. A k-algebra C together with homomorphisms i A C W ! and j B C is called the tensor product of A and B if it has the following universal W ! property: for every pair of homomorphisms (of k-algebras) ˛ A R and ˇ B R, W ! W ! there is a unique homomorphism C R such that i ˛ and j ˇ: W ! ı D ı D i j A > C < B . . Š. (9) ˛ 9 . ˇ > . < R_ If it exists, the tensor product, is uniquely determined up to a unique isomorphism by this property. We write it A B.is an isomorphism. For its construction, see AG 1: ˝k EXAMPLE 2.11 For a set X and a k-algebra R, let A be the set of maps X R. Then A ! becomes a k-algebra with the structure
.f g/.x/ f .x/ g.x/; .fg/.x/ f .x/g.x/. C D C D Let Y be a second set and let B be the k-algebra of maps Y R. Then the elements of ! A B define maps X Y R by ˝k ! .f g/.x; y/ f .x/g.y/. ˝ D 11That is, a natural transformation of functors from k-algebras to sets. 12 Here, and elsewhere, I use xij to denote the image of Xij in the quotient ring. 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 15
The maps X Y R arising from elements of A B are exactly those that can be ! ˝k expressed as X .x; y/ fi .x/gi .y/ 7! for some maps fi X R and gi Y R. W ! W !
EXAMPLE 2.12 Let A be a k-algebra and let k0 be a field containing k. The homomor- phism i k k A makes k A into a k -algebra. If R is a second k -algebra, a W 0 ! 0 ˝k 0 ˝k 0 0 k0-algebra homomorphism k0 k A R is simply a k-algebra homomorphism such that i W ˝ ! k k A R is the given homomorphism. Therefore, in this case, (9) becomes 0 ! 0 ˝k ! Homk -alg.k0 k A; R/ Homk-alg.A; R/. (10) 0 ˝ ' Products of algebraic groups Let G and H be algebraic groups, and let G H be the functor .G H /.R/ G.R/ H.R/: D Then, .9/ .G H /.R/ Hom .kŒG kŒH ; R/; ' k-alg ˝k and so G H is an algebraic group with coordinate ring kŒG H kŒG kŒH : (11) D ˝k Fibred products of algebraic groups
Let G1 H G2 be homomorphisms of algebraic groups, and let G1 H G2 be the ! functor sending a k-algebra R to the set .G1 H G2/.R/ of pairs .g1; g2/ G1.R/ G2.R/ 2 having the same image in H.R/. Then G1 H G2 is an algebraic group with coordinate ring kŒG1 H G2 kŒG1 kŒG2: (12) D ˝kŒH This follows from a standard property of tensor products, namely, that A1 B A2 is the ˝ largest quotient of A1 A2 such that ˝k B A2 ? ! ? ? ? y y
A1 A1 B A2 ! ˝ commutes.
Extension of the base field (extension of scalars)
Let G be an algebraic group over k, and let k0 be a field containing k. Then each k0-algebra R can be regarded as a k-algebra through k k R, and so G.R/ is defined; moreover ! 0 ! .10/ G.R/ Homk-alg.kŒG; R/ Homk -alg.k0 k kŒG; R/: ' ' 0 ˝ Therefore, by restricting the functor G to k -algebras, we get an algebraic group G over 0 k0 k with coordinate ring kŒGk k k kŒG. 0 0 D 0 ˝ 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 16
Algebraic groups and bi-algebras Let G be an algebraic group over k with A kŒG. The functor G G is represented by D A A, and the functor R 1 is represented by k. Therefore, by the Yoneda lemma, ˝k 7! f g the maps of functors
(m)ultiplication G G G; (i)dentity 1 G; (inv)erse G G W ! W f g ! W ! define homomorphisms of k-algebras
A A A; A k; S A A. W ! ˝k W ! W ! Let13 f A. Then .f / is the (unique) element of A A such that, for any k-algebra R 2 ˝k and elements x; y G.R/, 2 .f /.x; y/ f .xy/: (13) D Similarly, .f /.1/ f .1/ (14) D and .Sf /.x/ f .x 1/; x G.R/: (15) D 2 For example,
points ring S Ga .R; / kŒX .X/ X 1 1 X .X/ 0 X X C 1 D ˝ C ˝ D 7! 1 Gm .R; / kŒX; X .X/ X X .X/ 1 X X ( DP ˝ 8 x 17! 7! .xik/ xij xjk < ii kŒX11;:::;Xnn;Y D ˝ 7! GLn GLn.R/ j 1;:::;n xij 0, i j Cramer’s rule. .Y det.Xij / 1/ D .y/ y y : y 7!1 ¤ D ˝ 7! In more detail: kŒX kŒX is a polynomial ring in the symbols X 1 and 1 X, and we ˝k ˝ ˝ mean (for Ga) that is the unique homomorphism of k-algebras kŒX kŒX 1; 1 X ! ˝ ˝ sending X to X 1 1 X; thus, a polynomial f .X/ in X maps to f .X 1 1 X/. ˝ C ˝ th k l ˝ C ˝ For G GLn, S maps xkl to the .k; l/ -entry of y. 1/ C det Mlk where Mkl is D th th the matrix obtained from the matrix .xij / by omitting the k -row and l -column (see Cramer’s rule). We should check that these maps of k-algebras have the properties (13,14,15), at least for GLn. For equation (13), X .x /..aij /; .bij // . xij x /..aij /; .bij // (definition of ) ik D ˝ jk j 1;:::;n XD aij b (recall that x ..aij // a ) D jk kl D kl j
x ..aij /.bij //: D ik th Also, we defined so that .xij / is the .i; j / -entry of I , and we defined S so that th 1 .Sxij /.M / .i; j / entry of M . D 13The picture to think of:
m i inv G.R/ G.R/ G.R/ 1 G.R/ G.R/ G.R/ ! f g ! !S A A A k AA A ˝ 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 17
The diagrams below on the left commute by definition, and those on the right commute because the maps all come from those on the left via the Yoneda lemma:
id m id G G G > G GA A A < ˝ A A ˝k ˝k ˝k ^ ^ m id m id ˝ m G _ G > G_ A A < A ˝k associativity coassociativity
id i id 1 G > G G k A < ˝ A A f g ˝k < ˝k ^ ^ i id ' m id ' ˝ m > G _ G > G_ A A < A ˝ identity coidentity .inv;i/ .S;id/ > < G > G GA < A k A .i;inv/ .id;S/ ˝ ^ ^ m
_ i 1 > G_ k < A f g inverse coinverse We define a bi-algebra (or bialgebra) over k to be a finitely generated k-algebra A together with maps , , and S such that the three diagrams commute, i.e., such that
.id / . id/ (co-associativity) (16) ˝ ı D ˝ ı
P X a .ai /bi (co-identity) if .a/ ai bi , then D P (17) D ˝ .a/ S.ai /bi (co-inverse) D (Terminology varies — sometimes this is called a Hopf algebra, or a Hopf algebra with identity, or bi-algebra with antipode, or . . . .)
PROPOSITION 2.13 The functor G kŒG is a contravariant equivalence from the cate- 7! gory of algebraic groups over k to the category of bi-algebras over k.
PROOF. We have seen that an algebraic group defines a bi-algebra, and conversely the structure of a bi-algebra on A makes hA a functor to groups (rather than sets). For example,
G.R/ G.R/ Hom .A; R/ Hom .A; R/ D k-alg k-alg Hom .A A; R/ (see (9)) ' k-alg ˝k and defines a map from Hom .A A; R/ to Hom .A; R/. Thus, defines a law k-alg ˝k k-alg of composition on G which the existence of and S and the axioms show to be a group law. The rest of the verification is completely straightforward. 2
EXAMPLE 2.14 Let F be a finite group, and let A be the set of maps F k with its ! natural k-algebra structure. Then A is a product of copies of k indexed by the elements of 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 18
F . More precisely, let e be the function that is 1 on and 0 on the remaining elements of F . Then the e ’s are a complete system of orthogonal idempotents for A:
2 X e e ; e e 0 for ; e 1. D D ¤ D The maps
X 1 if 1 .e/ e e ; .e / D ; S.e / e 1 : 0 otherwise D ˝ D D D define a bi-algebra structure on A. Let F be the associated algebraic group, so that
F .R/ Hom .A; R/: D k-alg If R has no idempotents other than 0 or 1, then a k-algebra homomorphism A R must ! send one e to 1 and the remainder to 0. Therefore, F .R/ , and one checks that ' the group structure provided by the maps ; ; S is the given one. For this reason, F is called the constant algebraic group defined by F and often denoted by F (even though for k-algebras R with more idempotents than 0 and 1, F .R/ will be bigger than F ).
Homogeneity Let G be an algebraic group over a field k. An a G.k/ defines an element of G.R/ for 2 each k-algebra, which we denote aR (or just a). Let e denote the identity element of G.k/.
PROPOSITION 2.15 For each a G.k/, the natural map 2
Ta G.R/ G.R/; g aRg; W ! 7! is an isomorphism of set-valued functors. Moreover,
Te idG D Ta T T ; all a; b G.k/: ı b D ab 2
PROOF. It is obvious that Ta is a natural map (i.e., a morphism of set-valued functors) and that Te idG and Ta Tb Tab. From this it follows that Ta Ta 1 idG, and so Ta is D ı D ı D an isomorphism. 2
For a G.k/, we let ma denote the kernel of a kŒG k. Then kŒG=ma k, 2 W ! ' and so ma is a maximal ideal in kŒG. Let kŒGma denote the ring of fractions obtained by inverting the elements of
S f kŒG f ma f kŒG f .a/ 0 : D f 2 j … g D f 2 j ¤ g
Then kŒGma is a local ring with maximal ideal makŒGma (AG 1.28).
PROPOSITION 2.16 For each a G.k/, kŒGm kŒGm : 2 a ' e
PROOF. The homomorphism t kŒG kŒG corresponding (by the Yoneda lemma) to Ta W ! 1 is defined by t.f /.g/ f .ag/, all g G.R/. Therefore, t me ma, and so t extends D 2 D to an isomorphism kŒGm kŒGm . 2 a ! e 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 19
REMARK 2.17 The map Ta corresponds to the map
a idkŒG kŒG kŒG kŒG ˝ k kŒG kŒG ! ˝k ! ˝k ' of k-algebras.
Warning: For an algebraic group G over a nonalgebraically closed field k, it is not true that the local rings of kŒG are all isomorphic. For example, if G 3 over Q, then D kŒG Q QŒp 3: D Reduced algebras and their tensor products Recall that a ring is reduced if it has no nonzero nilpotents, i.e., no elements a 0 such ¤ that an 0 for n > 1. For example, A kŒX=.X n/ is not reduced if n 2. D D PROPOSITION 2.18 A finitely generated k-algebra A is reduced if and only if \ m m maximal ideal in A 0: f j g D PROOF. : When m is maximal, A=m is reduced, and so every nilpotent element of A (H lies in m. Therefore, every nilpotent element of A lies in T m 0. D : Let a be a nonnilpotent element of A. The map A k A is injective, and H) ! ˝k so a is not nilpotent in k A. It follows from the strong Nullstellensatz (AG 2.11), that ˝k there exists a k-algebra homomorphism f k A k such that f .a/ 0.14 Then f .A/ W ˝k ! ¤ is a field, and so its kernel is a maximal ideal not containing a. 2
For a nonperfect field k of characteristic p 0, there exists an element a of k that is ¤ not a pth power. Then X p a is irreducible in kŒX, but X p a .X ˛/p in kŒX. D Therefore, A kŒX=.X p a/ is a field, but k A kŒX=.X ˛/p is not reduced. We D ˝ D now show that such things do not happen when k is perfect.
PROPOSITION 2.19 Let A be a finitely generated k-algebra over a perfect field k. If A is reduced, then so also is K A for all fields K k. ˝k P PROOF. Let .ei / be a basis for K as a k-vector space, and suppose ˛ ei ai is a D ˝ nonzero nilpotent in K A. Because A is reduced, the intersection of the maximal ideals ˝k in it is zero. Let m be a maximal ideal in A that does not contain all of the ai . The image ˛ of ˛ in K k .A=m/ is a nonzero nilpotent, but A=m is a finite separable field extension of ˝ 15 k, and so this is impossible. 2
PROPOSITION 2.20 Let A and B be finitely generated k algebras. If A and B are reduced, then so also is A B. ˝k P PROOF. Let .ei / be a basis for B as a k-vector space, and suppose ˛ ai ei is a D ˝ nonzero nilpotent element of A B. Choose a maximal ideal m in A not containing all of ˝k the ai . Then the image ˛ of ˛ in .A=m/ B is a nonzero nilpotent. But A=m is a field, ˝k and so this is impossible by (2.19). 2
14 Write k A kŒX1;:::;Xn=a, and take f to be evaluation at a point not in the zero-set of .a/ in V.a/. ˝k D 15Every separable field extension of k is of the form kŒX=.f .X// with f .X/ separable and therefore with- out repeated factors in any extension field of k (see FT, especially 5.1). 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 20
Reduced algebraic groups and smooth algebraic groups
DEFINITION 2.21 An algebraic group G over k is reduced if kŒG is reduced, and it is smooth if G is reduced. (Thus, the notions coincide when k k.) k D PROPOSITION 2.22 If G is smooth, then it is reduced; the converse is true when k is perfect.
PROOF. Since kŒG k kŒG kŒG is injective, the first part of the statement is ! ˝k ' k obvious, and the second part follows (2.19). 2
REMARK 2.23 Let k be perfect. Let G be an algebraic group over k with coordinate ring A, and let A be the quotient of A by its nilradical N (ideal of nilpotent elements). Because A A is reduced (2.20), the map A A A factors through A. Similarly, S and are ˝k W ! ˝k defined on A, and it follows easily that there exists a unique structure of a k-bi-algebra on A such that A A is a homomorphism. Let G G be the corresponding homomorphism ! ! of algebraic groups over k. Then G is smooth, and any homomorphism H G with H ! smooth factors through G G. We denote G by Gred, and called it the reduced algebraic ! group attached to G.
Smooth algebraic groups and group varieties In this subsection, k is algebraically closed. In this subsection and the next, I assume the reader is familiar with 1,2,3,5 of my notes AG. In particular, I make use of the isomorphisms
n n r n r n A=m Am=n ; m =m n =n (18) ' ' which hold when m is a maximal ideal of a noetherian ring A and n mAm (AG 1.31). To D avoid confusion, I shall refer to an algebraic variety G over k equipped with regular maps
0 m G G G; inv G G; i A G W ! W ! W ! making G into a group in the usual sense as a group variety (see AG 4.23). For any reduced k-bi-algebra A, the maps ; S; define on Spm A the structure of a group variety.
PROPOSITION 2.24 The functor G Spm kŒG defines an equivalence from the category 7! of smooth algebraic groups to the category of affine group varieties (k algebraically closed).
PROOF. The functors sending a smooth algebraic group or an affine group variety to its co- ordinate ring are both contravariant equivalences to the category of reduced k-bi-algebras.2
Recall that the (Krull) dimension of a local noetherian ring A is the greatest length of a chain of prime ideals m pd pd 1 p0 D with strict inclusions. For a local noetherian ring A with maximal ideal m, the associated L n n 1 graded ring is gr.A/ n 0 m =m C with the multiplication defined as follows: for D a mn and a mn0 ; 2 0 2 .a mn 1/ .a mn0 1/ aa mn n0 1: C C 0 C C D 0 C C C 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 21
PROPOSITION 2.25 For a noetherian local ring A of dimension d and residue field k0 D A=m, the following conditions are equivalent: (a) gr.A/ is a polynomial ring over k0 in d symbols; (b) dim .m=m2/ d; k0 D (c) m can be generated by d elements. Moreover, any ring satisfying these conditions is an integral domain.
PROOF. Atiyah and MacDonald 1969, 11.22, 11.23. 2
A noetherian local ring satisfying the equivalent conditions of the proposition is said to be regular.
PROPOSITION 2.26 An algebraic group G over k (algebraically closed) is smooth if and only if kŒGm is regular for all a G.k/. a 2
PROOF. As k is algebraically closed, the ideals ma, a G.k/, are exactly the maximal 2 ideals of kŒG (AG 2.14). If each kŒGma is regular, then it is reduced, which implies that kŒG is reduced (Atiyah and MacDonald 1969, 3.8). Conversely, if G is smooth, then kŒG kŒG for G a group variety, but it is known that the local rings of a group variety D 0 0 are regular (AG 5.20, 5.25). 2
For the next section, we need the following criterion.
PROPOSITION 2.27 An algebraic group G over k (algebraically closed) is smooth if every 2 nilpotent element of kŒG is contained in me .
PROOF. Let G be the associated reduced algebraic group (2.23), and let e be the neutral element of G.k/. Then kŒG kŒG=N, and so kŒGm and kŒGm have the same Krull D e e dimension. The hypothesis implies that
2 2 me=m me=m e ! e is an isomorphism of k-vector spaces, and so kŒGme is regular. Now (2.16) shows that kŒGm is regular for all maximal ideals m in kŒG, and we can apply (2.26). 2
ASIDE 2.28 Now allow k to be an arbitrary field. (a) In AG, 11, I define an affine algebraic space to be the max spectrum of a fi- nitely generated k-algebra A. Define an affine group space to be an affine algebraic space equipped with regular maps
0 m G G G; inv G G; i A G W ! W ! W ! making G.R/ into a group for all k-algebras R. Then G Spm G is an equivalence from 7! the category of algebraic groups over k to the category of affine group spaces over k (and each is contravariantly equivalent with the category of k-bi-algebras). (b) The functor G Spec G defines an equivalence from the category of algebraic 7! groups over k to the category of affine group schemes of finite type over k. 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 22
Algebraic groups in characteristic zero are smooth
LEMMA 2.29 Let .A; ; S; / be a k-bi-algebra, and let m Ker./. D (a) As a k-vector space, A k m. D ˚ (b) For any a m, 2 .a/ a 1 1 a mod m m. D ˝ C ˝ ˝ PROOF. (a) The maps k A k are k-linear, and compose to the identity. ! ! (b) Choose a basis .fi / for m as a k-vector space, and extend it to a basis for A by taking f0 1. Write D X a di fi ; di A: D i 0 ˝ 2 From the identities .idA; / idA .; idA/ ı D D ı we find that X d0f0 a .di /fi : D D i 1 Therefore, X .a/ a 1 1 a .di .di // fi m m: ˝ ˝ D i 1 ˝ 2 ˝ 2
LEMMA 2.30 Let V and V 0 be vector spaces, and let W be a subspace of V such that V=W is finite-dimensional.16 For x V , y V , 2 2 0 x y W V x W or y 0: ˝ 2 ˝ 0 ” 2 D PROOF. Because V=W is finite dimensional, there exists a finite set S in V whose image in V=W is a basis. The subspace W 0 of V spanned by S is a complement to W in V , i.e., V W W , and so x decomposes uniquely as x xW xW with xW W and D ˚ 0 D C 0 2 xW W . As 0 2 0 V V .W V / .W V /; ˝ 0 D ˝ 0 ˚ 0 ˝ 0 we see that x y W V if and only if xW y 0, which holds if and only if xW ˝ 2 ˝ 0 0 ˝ D 0 or y is zero. 2
THEOREM 2.31 (CARTIER) Every algebraic group over a field of characteristic zero is smooth.
PROOF. We may replace k with its algebraic closure. Thus, let G be an algebraic group over an algebraically closed field k of characteristic zero, and let A kŒG. Let m me. D D According to (2.27), it suffices to show that every nilpotent element a of A lies in m2. .18/ 2 2 If a maps to zero in Am, then then it maps to zero in A=m Am=.mAm/ , and there n ' n 1 is nothing to prove. Thus, we may suppose that a 0 in Am but a 0 in Am. Now D ¤ san 0 in A for some s m. On replacing a with sa, we may suppose that an 0 in A Dn 1 … D but a 0 in Am. ¤ Now a m (because A=m k has no nilpotents), and so (see 2.29) 2 D .a/ a 1 1 a y with y m m. D ˝ C ˝ C 2 ˝k 16We assume this only to avoid using Zorn’s lemma. 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 23
Because is a homomorphism of k-algebras,
0 .an/ .a/n .a 1 1 a y/n. D D D ˝ C ˝ C When expanded, the right hand side becomes a sum of terms
.a 1/h.1 a/i yj ; h i j n: ˝ ˝ C C D Those with i j 2 lie in A m2, and so C ˝k nan 1 a an 1m A A m2 (inside A A). ˝ 2 ˝k C ˝k ˝k In the quotient A A=m2 this becomes ˝k nan 1 a an 1m A=m2 (inside A A=m2). (19) ˝ 2 ˝k ˝k As k has characteristic zero, n is a nonzero element of k, and hence it is a unit in n 1 n 1 n 1 n 1 A. On the other hand, a a m, because if a a m with m m, then n 1 … D n 1 2 .1 m/a 0; as 1 m is a unit in Am, this would imply a 0 in Am. nD 1 n 1 2 D Hence na a m, and so (see 2.30), a m . This completes the proof. 2 … 2 Cartier duality To give a k-bi-algebra is to give a multiplication map A A A, a homomorphism ˝k ! i k A, and maps , , S satisfying certain conditions which can all be expressed by the W ! commutativity of certain diagrams. Now suppose that A is finite-dimensional as a k-vector space. Then we can form its dual A Hom .A; k/ and tensor products and Homs behave as you would hope with _ D k-lin respect to duals. Thus, from the k-linear maps at left, we get the k-linear maps at right.
m A A A m A A A W ˝k ! _W _ ! _ ˝k _ i k A i A k W ! _W _ ! S A AS A A W ! _W _ ! _ A k k A W ! _W ! _ A A A A A A : W ! ˝k _W _ ˝ _ ! _
This raises the natural question: does A_ become a k-bi-algebra with these structures? The answer is “no”, because the multiplication m is commutative but there is no commutativity condition on . In turns out that this is the only problem. Call a k-bialgebra A cocommu- tative if the diagram a b b a A A ˝ 7! ˝ > A A < ˝ > ˝
A commutes. Then a b b a A A ˝ 7! ˝> A A _ ˝ _ _ ˝ _
> _ < _ A_ 2 DEFINITION OF AN AFFINE ALGEBRAIC GROUP 24 commutes, and so A is a commutative k-algebra. Now one can show that A A sends _ 7! _ cocommutative finite k-bi-algebras to cocommutative finite k-bi-algebras (and A A) __ ' (Waterhouse 1979, 2.4). Obviously, the algebraic group G corresponding to the k-bi-algebra A is commutative if and only A is cocommutative. We say that an algebraic group G is finite if A is finite- dimensional as a k-vector space. Thus commutative finite algebraic groups correspond to finite-dimensional cocommutative k-bialgebras, and so the functor A A defines a 7! _ functor G G such that G G. The group G is called the Cartier dual of G. 7! _ __ ' _ For example, if G is the constant algebraic group defined by a finite commutative group , then G_ is the constant algebraic group defined by the dual group Hom. ; Q=Z/ provided the order of is not divisible by the characteristic. If k has characteristic p, then ˛p_ ˛p p D and .Z=pZ/_ p, where p is the algebraic group R r R r 1 . D 7! f 2 j D g Exercises 2-1 Show that there is no algebraic group G over k such that G.R/ has two elements for every k-algebra R.
2-2 Verify directly that kŒGa and kŒGm (as described in the table) satisfy the axioms to be a bi-algebra.
2-3 Verify all the statements in 2.14:
NOTES In most of the literature, for example, Borel 1991, Humphreys 1975, and Springer 1998, “algebraic group” means “smooth algebraic group” in our sense. Our definition of “algebraic group” is equivalent to “affine group scheme algebraic over a field”. The approach through functors can be found in Demazure and Gabriel 1970 and Waterhouse 1979. The important Theorem 2.31 was announced in a footnote to Cartier 196217. The proof given here is from Oort 1966.18
17Cartier, P. Groupes algebriques´ et groupes formels. 1962 Colloq. Theorie´ des Groupes Algebriques´ (Brux- elles, 1962) pp. 87–111, GauthierVillars, Paris. 18Oort, F. Algebraic group schemes in characteristic zero are reduced. Invent. Math. 2 1966 79–80. 3 LINEAR REPRESENTATIONS 25
3 Linear representations
The main result in this section is that all affine algebraic groups can be realized as subgroups of GLn for some n. At first sight, this is a surprising result. For example, it says that all possible multiplications in algebraic groups are just matrix multiplication in disguise. Before looking at the case of algebraic groups, we should review how to realize a finite group as a matrix group. Let G be a finite group. A representation of G on a k-vector space V is a homomorphism of groups G Aut .V /, i.e., an action G V V in which ! k-lin ! each G acts as a k-linear map. Let X G X be a (right) action of G on a finite set 2 ! X. Define V to be the k-vector space of maps X k, and let G act on V by the rule: ! . f /.x/ f .x / G, f V , x X: D 2 2 2 This defines a representation of G on V , which is injective if G acts effectively on X. The vector space V has a natural basis consisting of the maps that send one element of X to 1 and the remaining elements to 0, and so this gives a homomorphism G GLn.k/ where ! n #X. D For example, for Sn acting on 1; 2; : : : ; n , this gives the map I./ Sn f g 7! W ! GLn.k/ in 1. When we take X G, the representation we get is called the regular D representation, and the map G Aut .V / is injective. ! k-linear Linear representations and comodules Let G be an algebraic group over k, and let V be a vector space over k (not necessarily finite dimensional). A linear representation of G on V is a natural homomorphism19
˚ G.R/ AutR .V R/. W ! -lin ˝k In other words, for each k-algebra R, we have an action
G.R/ .V R/ V R ˝k ! ˝k of G.R/ on V R in which each g G.R/ acts R-linearly, and for each homomorphism ˝k 2 of k-algebras R S, the following diagram ! G.R/ V R V R ˝k ! ˝k ### G.S/ V S V S: ˝k ! ˝k commutes. We often drop the “linear”. Let ˚ be a linear representation of G on V . Given a homomorphism ˛ R S and an W ! element g G.R/ mapping to h in G.S/, we get a diagram: 2 ˚.g/ R G.R/ g V R > V R ˝k ˝k
˛ idV ˛ idV ˛ ˝ ˝ _ _ ˚.h/ S_ G.S/ h V _ S > V _ S ˝k ˝k 19The reader should attach no importance to the fact that I sometimes write R V and sometimes V R. ˝k ˝k 3 LINEAR REPRESENTATIONS 26
Now let g G.R/ Hom .A; R/. Then g A R sends the “universal” element 2 D k-alg W ! idA G.A/ Hom .A; A/ to g, and so the picture becomes the bottom part of 2 D k-alg V V k k D ˝ ˚.idA/ V k D j ˝
> _ ˚.idA/;A-linear A G.A/ idA V A > V A ˝k ˝k
g idV g idV g ˝ ˝ _ ˚.g/;R-linear R_ G.R/ g_ V _ R > V _ R ˝k ˝k In particular, we see that ˚ defines a k-linear map df ˚.idA/ V V V k A. D j W ! ˝ 20 Moreover, it is clear from the diagram that determines ˚, because ˚.idA/ is the unique A-linear extension of to V A, and ˚.g/ is the unique R-linear extension of ˚.idA/ to ˝k V R. ˝k Conversely, suppose we have a k-linear map V V A. Then the diagram shows W ! ˝k that we get a natural map
˚ G.R/ AutR .V R/, W ! -lin ˝k namely, given g A R, ˚.g/ is the unique R-linear map making W ! V V k A ? ! ˝? ? ?idV g y y ˝ ˚.g/ V R V R ˝k ! ˝k commute. These maps will be homomorphisms if and only if the following diagrams commute: V > V AV > V A ˝k ˝k
idV idV (20) ˝ ˝ D > _ _ idA _ V k V A ˝ > V A A ˝k ˝k ˝k ˝k For example, we must have ˚.1G.R// idV k R. By definition, 1G.R/ .A k R/ D ˝ D ! ! as an element of Homk-alg.A; R/, and so the following diagram must commute
V V k A !k-linear ˝ ? ? ? ?idV y y ˝
V k V k k ˝? ! ˝? ? ? y y
idV k R V R ˝ V R: ˝k ! ˝k 20 Let R S be a homomorphism of rings, and let M be an R-module. Then m 1 m M S R M is R-linear! and universal: any other R-linear map M N from M to an S-module7! factors˝ uniquelyW ! through˝ it: ! Hom .M; N / ' Hom .M S; N /: R-lin ! S-lin ˝R 3 LINEAR REPRESENTATIONS 27
This means that the upper part of the diagram must commute with the map V k ˝k ! V k being the identity map, which is the first of the diagrams in (20). Similarly, the ˝k second diagram in (20) commutes if and only if the formula
˚.gh/ ˚.g/˚.h/ D holds.21
DEFINITION 3.1 A comodule over a k-bialgebra A is a k-linear map V V A such ! ˝k that the diagrams (20) commute.
The above discussion has proved the following proposition:
PROPOSITION 3.2 Let G be an algebraic group over k with corresponding bialgebra A, and let V be a k-vector space. To give a linear representation of G on V is the same as to give an A-comodule structure on V .
An element g of G.R/ Hom .kŒG; R/ acts on v V R according to the D k-alg 2 ˝k rule: gv ..idV ; g/ /.v/: (23) D ı EXAMPLE 3.3 For any k-bialgebra A, the map A A A is a comodule structure W ! ˝k on A. The corresponding representation of A is called the regular representation.
A k-subspace W of an A-comodule V is a subcomodule if .W / W A. Then W ˝k itself is an A-comodule, and the linear representation of G on W defined by this comodule structure is the restriction of that on V .
PROPOSITION 3.4 Let .V; / be a comodule over a k-bialgebra A. Every finite subset of V is contained in a sub-comodule of V having finite dimension over k.
PROOF. Since a finite sum of (finite-dimensional) subcomodules is again a (finite-dimensional) subcomodule, it suffices to show that each element v of V is contained in finite-dimensional subcomodule. Let ai be a basis (possibly infinite) for A as a k-vector space, and let f g X .v/ vi ai ; vi V; D ˝ 2 i
21Here (from Waterhouse 1979, p23) is the argument that the commutativity of the second diagram in (20) means that ˚.gh/ ˚.g/˚.h/ for g; h G.R/. By definition, gh is the composite D 2 .g;h/ A A A R ! ˝k ! and so ˚.gh/ is the extension of
idV idV .g;h/ V V A ˝ V A A ˝ V R (21) ! ˝k ! ˝k ˝k ! ˝k to V R. On the other hand, ˚.g/ ˚.h/ is given by ˝k ı idV h idR id .g;id/ V V A ˝ V R ˝ V A R ˝ V R; ! ˝k ! ˝k ! ˝k ˝k ! ˝ which equals idA id .g;h/ V V A ˝ V A A ˝ V R: (22) ! ˝k ! ˝k ˝k ! ˝ Now (21) and (22) agree for all g; h if and only if the second diagram in (20) commutes. 3 LINEAR REPRESENTATIONS 28
(finite sum, i.e., only finitely many vi are nonzero). Write X .ai / r .aj a /; r k. D ijk ˝ k ijk 2 j;k
We shall show that X .v / vi r aj (24) k D ˝ ijk i;j from which it follows that the k-subspace of V spanned by v and the vi is a subcomodule containing v. Recall from (20) that
. idA/ .idV / : ˝ ı D ˝ ı On applying the left hand side to v, we get X . idA/..v// .vi / ai (inside V A A/: ˝ D ˝ ˝k ˝k i On applying the right hand side to v, we get X .idV /..v// vi r aj a : ˝ D ˝ ijk ˝ k i;j;k
22 On comparing the coefficients of 1 1 a , we obtain (24) . 2 ˝ ˝ k Let ˚ be a linear representation of G on finite-dimensional vector space V . On choos- ing a basis .ei /1 i n for V , we get a homomorphism G GLn, and hence a homomor- Ä Ä ! phism of k-algebras
1 kŒGLn kŒ: : : ; Xij ;:::; det.Xij / A. D ! Let X .ej / ei aij ; aij A: D ˝ 2 i
LEMMA 3.5 The image of Xij in A is aij .
PROOF. Routine. 2
DEFINITION 3.6 A homomorphism G H of algebraic groups is an embedding if the ! corresponding map of algebras kŒH kŒG is surjective. We then call G an algebraic ! subgroup of H.
PROPOSITION 3.7 If G H is an embedding, then the homomorphisms G.R/ H.R/ ! ! are all injective.
22 The choice of a basis .ai /i I for A as a k-vector space determines an isomorphism 2 A k.I / ' (direct sum of copies of k indexed by I ). When tensored, this becomes
V A A .V A/.I /: ˝k ˝k ' ˝k We are equating the components in the above decomposition corresponding to the index k. 3 LINEAR REPRESENTATIONS 29
PROOF. When kŒH kŒG is surjective, two homomorphisms kŒG R that become ! ! equal when composed with it must already be equal. 2
THEOREM 3.8 Let G be an algebraic group. For some n, there exists an embedding G ! GLn.
PROOF. Let A kŒG, and let V be a finite-dimensional subcomodule of A containing a D set of generators for A as a k-algebra. Let .ei /1 i n be a basis for V , and write .ej / P Ä Ä D ei aij . According to (3.5), the image of kŒGLV A contains the aij . But i ˝ ! .20/ X ej . idA/.ej / .ei /aij ; .ei / k; D ˝ D 2 i and so the image contains V ; it therefore equals A. 2
In other words, every algebraic group can be realized as an algebraic subgroup of a GLn for some n. The theorem is analogous to the theorem that every finite-dimensional vector space is isomorphic to kn for some n. Just as that theorem does not mean that we should consider only the vector spaces kn, Theorem 3.8 does not mean that we should consider only subgroups of GLn because realizing an algebraic group in this way involves many choices.
PROPOSITION 3.9 Let G GLV be a faithful representation of G. Then every other ! representation of G can be obtained from V by forming tensor products, direct sums, duals, and subquotients.
PROOF. Omitted for the present (see Waterhouse 1979, 3.5). 2
EXAMPLE 3.10 Let G be the functor sending a k-algebra R to R R R with .x; y; z/ .x ; y ; z / .x x ; y y ; z z xy /: 0 0 0 D C 0 C 0 C 0 C 0 This is an algebraic group because it is representable by kŒX; Y; Z, and it is noncommuta- tive. The map 01 x z1 .x; y; z/ @0 1 yA 7! 0 0 1 is an embedding of G into GL3. Note that the functor R R R R also has an obvious ! commutative group structure (componentwise addition), and so the k-algebra kŒX; Y; Z has more than one bialgebra structure.
REMARK 3.11 In the notes, we make frequent use of the fact that, when k is a field, V 7! V W is an exact functor (not merely right exact). To prove it, note that any subspace V ˝k 0 of V has a complement, V V V , and W preserves direct sums (see also 6.5). D 0 ˚ 00 ˝k 3 LINEAR REPRESENTATIONS 30
Stabilizers of subspaces
PROPOSITION 3.12 Let G GLV be a representation of G, and let W subspace of V . ! For a k-algebra R, define
GW .R/ g G.R/ g.W R/ W R : D f 2 j ˝k D ˝k g
Then the functor GW is an algebraic subgroup of G.
PROOF. Let e1; : : : ; em be a basis for W , and extend it to a basis e1; : : : ; en for V . Write X .ej / ei aij : D ˝ Let g G.R/ Hom .A; R/. Then 2 D k-alg X gej ei g.aij /: D ˝
Thus, g.W R/ W R if and only if g.aij / 0 for j m; i > m. Hence GW is ˝k ˝k D Ä represented by the quotient of A by the ideal generated by aij j m; i > m : 2 f j Ä g
The algebraic group GW is called the stabilizer of W in G.
THEOREM 3.13 (CHEVALLEY) Every algebraic subgroup of an algebraic group G arises as the stabilizer of a subspace in some finite-dimensional linear representation of G; the subspace can even be taken to be one-dimensional.
PROOF. Waterhouse 1979, 16.1. 2 3 LINEAR REPRESENTATIONS 31
Summary of formulas k is a field. A functor G such that G hA for some k-algebra A is said to be representable (by A). Algebra Functor Functor hA k-algebras Sets W ! k-algebra A hA.R/ Homk-alg.A; R/ D˛ hA.R S/ .g ˛ g/ ! D 7! ı Law of composition
A A k A G.R/ G.R/ G.R/ W ! ˝ ! ı hA.R/ hA.R/ hA k A.R/ hA.R/ ' ˝ ! Natural map 1 G.R/ A k f g ! W ! h .R/ ı hA.R/ k ! Natural map G.R/ G.R/ S A A S ! W ! hA.R/ ı hA.R/ idA ! A A A < ˝ A A ˝k ˝k ˝k ^ ^ The law of composition idA ˝ is associative. A k A < A ˝ idA A < ˝ A A < ˝k ^ idA ^ The element 1 G.R/ idA 2 ˝ given by is neutral. A k A < A ˝.S;idA/ A < A k A .idA;S/ ˝ ^ For g G.R/, g S ^ 2 ı is an inverse. k < A k-bialgebra algebraic group if A f.g. k-vector space V Natural map ˚ G.R/ EndR-linear .V k R/ W ! ˝ V > V k A V V A k-linear ˝ W ! ˝k idV g ˝ _ ˚.g/ unique _ V R R > V k R ˝ R-linear ˝ V > V A ˝k
' idV ˚.1G.R// idV k R > ˝ D ˝ _ V k k ˝ V > V A ˝k
idV ˚.g g / ˚.g/ ˚.g /: ˝ 0 D ı 0 _ idA _ V k A ˝ > V k A k A ˝ A-comodule˝ ˝ linear representation of G on V 4 MATRIX GROUPS 32
4 Matrix Groups
In this section, k is an infinite field. An algebraic subgroup G of GLn defines a subgroup G.k/ of GLn.k/. In this section, we determine the subgroups of GLn.k/ that arise in this way from algebraic subgroups of GLn, and we shall see that this gives an elementary way of defining many algebraic groups.
An elementary result
n PROPOSITION 4.1 Let f kŒX1;:::;Xn. If f .a1; : : : ; an/ 0 for all .a1; : : : an/ k , 2 D 2 then f is the zero polynomial (i.e., all its coefficients are zero).
PROOF. We use induction on n. For n 1, it becomes the statement that a nonzero D polynomial in one variable has only finitely many roots (which follows from unique fac- P i torization, for example). Now suppose n > 1 and write f gi Xn with each gi n 1 D 2 kŒX1;:::;Xn 1. For every .a1; : : : ; an 1/ k , f .a1; : : : ; an 1;Xn/ is a polynomial 2 of degree 1 with infinitely many zeros, and so each of its coefficients gi .a1; : : : ; an 1/ 0. D By induction, this implies that each gi is the zero polynomial. 2
COROLLARY 4.2 Let f; g kŒX1;:::;Xn with g not the zero polynomial. If f is zero at 2 every .a1; : : : ; an/ with g.a1; : : : ; an/ 0, then f is the zero polynomial. ¤ n PROOF. The polynomial fg is zero on all of k . 2
The proposition shows that we can identify kŒX1;:::;Xn with a ring of functions on kn (the ring of polynomial functions).
How to get bialgebras from groups For a set X, let R.X/ be the ring of maps X k. For sets X and Y , let R.X/ R.Y / ! ˝k act on X Y by .f g/.x; y/ f .x/g.y/. ˝ D LEMMA 4.3 The map R.X/ R.Y / R.X Y/ just defined is injective. ˝k ! P PROOF. Let .gi /i I be a basis for R.Y / as a k-vector space, and let h fi gi be a 2 D ˝ nonzero element of R.X/ k R.Y /. Some fi , say fi0 , is not the zero function. Let x X ˝ P 2 be such that fi0 .x/ 0. Then fi .x/gi is a linear combination of the gi with at least one ¤ P coefficient nonzero, and so is nonzero. Thus, there exists a y such that fi .x/gi .y/ 0; ¤ hence h.x; y/ 0. 2 ¤ Let be a group. From the group structure on , we get the following maps:
R. / k; .f / f .1 /; W ! D S R. / R. /; .Sf /.g/ f .g 1/; W ! D R. / R. /; .f /.g; g / f .gg /. W ! 0 D 0 PROPOSITION 4.4 If maps R. / into the subring R. / R. / of R. /, then ˝k .R. /; ; S; / is a k-bialgebra. 4 MATRIX GROUPS 33
PROOF. We have to check (see p17) that, for example,
..id / /.f / .. id/ /.f / ˝ ı D ˝ ı for all f R. /, but, because of the lemma it suffices to prove that the two sides are equal 2 P P as functions on . Let .f / fi gi , so that fi .x/gi .y/ f .xy/ for D ˝ D all x; y . Then 2 X ..id / /.f //.x; y; z/ . fi .gi //.x; y; z/ ˝ ı D ˝ X fi .x/gi .yz/ D f .x.yz//: D Similarly, .. id/ /.f / f ..xy/z/: ˝ ı D 2
A little algebraic geometry A subset V of kn is23 closed if it is the set of common zeros of some set S of polynomials
n V .a1; : : : ; an/ k f .a1; : : : ; an/ 0 all f .X1;:::;Xn/ S . D f 2 j D 2 g We write V .S/ for the zero-set (set of common zeros) of S. P The ideal a generated by S consists of all finite sums fi gi with fi kŒX1;:::;Xn 2 and gi S. Clearly, V.a/ V .S/, and so the algebraic subsets can also be described as 2 D the zero-sets of ideals in kŒX1;:::;Xn. According to the Hilbert basis theorem (AG, 2.2), every ideal in kŒX1;:::;Xn is finitely generated, and so every algebraic set is the zero-set of a finite set of polynomials. T If the sets Vi are closed, then so also is Vi . Moreover, if W is the zero-set of some 24 polynomials fi and V is the zero-set of the polynomials gj , then V W is the zero-set n [ of the polynomials fi gj . As V .1/ and k V .0/ are both closed, this shows that the ;D D closed sets are the closed sets for a topology on kn, called the Zariski topology. Note that D.h/ P kn h.P / 0 D f 2 j ¤ g n is an open subset of k , being the complement of V .h/. Moreover, D.h1/ ::: D.hn/ n [ [ is the complement of V .h1; : : : ; hn/, and so every open subset of k is a finite union of D.h/’s; in particular, the D.h/’s form a base for the topology on kn. Let V be a closed set, and let I.V / be the set of polynomials zero on V . Then
df kŒV kŒX1;:::;Xn=I.V / D can be identified with the ring of functions V k defined by polynomials. ! We shall need two easy facts.
23Or algebraic, but that would cause confusion for us. 24 Certainly, the fi gj are zero on V W ; conversely, if fi .P /gj .P / 0 for all i; j and gj .P / 0 for [ D ¤ some j , then fi .P / 0 for all i, and so P V . D 2 4 MATRIX GROUPS 34
4.5 Let W be a closed subset of km and let V be a closed subset of kn. Let ' km kn W ! be the map defined by polynomials fi .X1;:::;Xm/, 1 i n. Then '.W / V if and Ä Ä only if the map Xi fi kŒX1;:::;Xn kŒX1;:::;Xm sends I.V / into I.W /, and so 7! W ! gives rise to a commutative diagram
m ' n k > k ' kŒX1;:::;Xm kŒX1;:::;Xn ? ? ? ? [[ y y W > V kŒW kŒV : 4.6 Let W km and V kn be closed sets. Then W V km kn is a closed subset m n of k C , and the canonical map kŒW kŒV kŒW V ˝k ! is an isomorphism. In more detail, let a I.W / kŒX1;:::;Xm and b I.V / D D kŒY1;:::;Yn; then
kŒW kŒV kŒX1;:::;Xm;Y1;:::;Yn=.a; b/ ˝k ' where .a; b/ is the ideal generated by a and b (see AG 4.14). Certainly .a; b/ I.W V/, but because of (4.3) it equals I.W V/. Moreover, we have a commutative diagram Xi 1 Xi 1 X˝i 7!Xm i ˝ 7! C kŒX1;:::;Xm k kŒX1;:::;Xn kŒX1;:::;Xm n ˝? ! ? C ? ? y y kŒW kŒV kŒW V ˝k ! The radical of an ideal a, rad.a/, is f f n a for some n 1 . Clearly, it is again f j 2 g an ideal. An ideal a is radical if a rad.a/, i.e., if kŒX1;:::;Xn=a is reduced. n D For a subset S of k , let I.S/ be the set of f kŒX1;:::;Xn such that f .a1; : : : ; an/ 2 D 0 for all .a1; : : : ; an/ S. 2 THEOREM 4.7 (STRONG NULLSTELLENSATZ) For any ideal a, IV.a/ rad.a/, and equality holds if k is algebraically closed.
PROOF. If f n a, then clearly f is zero on V.a/, and so the inclusion is obvious. For a 2 proof of the second part, see AG 2.11. 2
When k is not algebraically closed, then in general IV.a/ a. For example, let k R 2 2 ¤ D and let a .X Y 1/. Then V.a/ is empty, and so IV.a/ kŒX1;:::;Xn. D C C D Variant
Let k.X1;:::;Xn/ be the field of fractions of kŒX1;:::;Xn. Then, for any nonzero 1 polynomial h, the subring kŒX1;:::;Xn; h of k.X1;:::;Xn/ is the ring obtained from kŒX1;:::;Xn by inverting h (AG 1.27). Because of (4.2), it can be identified with a ring of functions on D.h/. The closed subsets of D.h/ (as a subspace of kn), are just 1 the zero-sets of collections of functions in kŒX1;:::;Xn; h . Now the above discussion n 1 holds with k and kŒX1;:::;Xn replaced by D.h/ and kŒX1;:::;Xn; h . This can be n 1 proved directly, or by identifying D.h/ with the closed subset V .hXn 1 1/ of k C via 1 C .x1; : : : ; xn/ .x1; : : : ; xn; h.x1; : : : ; xn/ /. 7! 4 MATRIX GROUPS 35
Closed subgroups of GLn and algebraic subgroups 1 We now identify kŒGLn with the subring kŒX11;:::;Xnn; of k.: : : ; Xij ; : : :/, and det.Xij / apply the last paragraph. Because kŒGLn is obtained from kŒX11;:::;Xnn by inverting 1 det.Xij /, a k-algebra homomorphism kŒ: : : ; Xij ;:::; R is determined by the det.Xij / ! images of the Xij , and these can be any values rij such that det.rij / is a unit. Let G GLn be an algebraic subgroup of GLn. By definition, the embedding G, ! ! GLn is defined by a surjective homomorphism ˛ kŒGLn kŒG. Let a be the kernel of W ! ˛. Then
G.k/ Hom .A; k/ D k-alg ' kŒGLn k Ker.'/ Ker.˛/ D f W ! j g V.a/. '
Thus, G.k/ is a closed subgroup of GLn.k/. Conversely, let be a closed subgroup GLn.k/ and let kŒ be the ring of polynomial functions on (i.e., functions defined by elements of kŒGLn). The map S sends polyno- mial functions on to polynomial functions on because it is defined by a polynomial (Cramer’s rule). Similarly, sends polynomial functions on to polynomial functions on , i.e., to elements of kŒ kŒ kŒ . Now one sees as in the proof of ' ˝k (4.4) that .kŒ ; ; S; / is a k-bialgebra. Moreover, it is clear that the algebraic subgroup G of GLn corresponding to it has G.k/ . D From an algebraic subgroup G of GLn, we get
G G.k/ G . (25) D 0
If kŒG is the quotient of kŒGLn by the ideal a, then kŒG0 is the quotient of kŒGLn by the ideal IV.a/. Therefore, when k k the strong Nullstellensatz shows that G G if and D D 0 only if G is smooth (i.e., kŒG is reduced). In summary:
THEOREM 4.8 Let be a subgroup of GLn.k/. There exists an algebraic subgroup G of GLn such that G.k/ if and only if is closed, in which case there exists a well-defined D reduced G with this property (that for which kŒG is the ring of polynomial functions on ). When k is algebraically closed, the algebraic subgroups of GLn arising in this way are exactly the smooth algebraic groups.
The algebraic group G corresponding to can be described as follows: let a kŒGLn be the ideal of polynomials zero on ; then G.R/ is the zero-set of a in GLn.R/.
ASIDE 4.9 When k is not algebraically closed, then not every reduced algebraic subgroup of GLn arises from an closed subgroup of GLn.k/. For example, consider 3 regarded as a subgroup of Gm GL1 over R. Then 3.R/ 1, and the algebraic group associated D D with 1 is 1. Assume, for simplicity, that k has characteristic zero, and let G be an algebraic subgroup of GLn. Then, with the notation of (25), G G if and only if G.k/ is dense in D 0 G.k/ for the Zariski topology. It is known that this is always true when G.k/ is connected for the Zariski topology, but unfortunately, the proof uses the structure theory of algebraic groups (Borel 1991, 18.3, p220). 5 EXAMPLE: THE SPIN GROUP 36
5 Example: the spin group
Let be a nondegenerate bilinear form on a k-vector space V . The special orthogonal group SO./ is connected and almost-simple, and it has a 2-fold covering Spin./ which we now define. Throughout this section, k is a field not of characteristic 2 and “k-algebra” means “as- sociative (not necessarily commutative) k-algebra containing k its centre”. For example, the n n matrices with entries in k become such a k-algebra Mn.k/ once we identify an element c of k with the scalar matrix cIn.
Quadratic spaces Let k be a field not of characteristic 2, and let V be a finite-dimensional k-vector space. A quadratic form on V is a mapping q V k W ! such that q.x/ q.x; x/ for some symmetric bilinear form q V V k. Note that D W ! q.x y/ q.x/ q.y/ 2q.x; y/, (26) C D C C and so q is uniquely determined by q.A quadratic space is a pair .V; q/ consisting of a finite-dimensional vector space and a quadratic form q. Often I’ll write (rather than q) for the associated symmetric bilinear form and denote .V; q/ by .V; q/ or .V; /.A nonzero vector x in V is isotropic if q.x/ 0 and anisotropic if q.x/ 0. D ¤ Let .V1; q1/ and .V2; q2/ be quadratic spaces. An injective k-linear map V1 V2 is W ! an isometry if q2.x/ q1.x/ for all x V (equivalently, .x; y/ .x; y/ for all D 2 D x; y V ). By .V1; q1/ .V2; q2/ we mean the quadratic space .V; q/ with 2 ˚ V V1 V2 D ˚ q.x1 x2/ q.x1/ q.x2/. C D C Let .V; q/ be quadratic space. A basis e1; : : : ; en for V is said to be orthogonal if .ei ; ej / 0 for all i j . D ¤ PROPOSITION 5.1 Every quadratic space has an orthogonal basis (and so is an orthogonal sum of quadratic spaces of dimension 1).
PROOF. If q.V / 0, every basis is orthogonal. Otherwise, there exist x; y V such that D 2 .x; y/ 0. From (26) we see that at least one of the vectors x; y; x y is anisotropic. ¤ C Thus, let e V be such that q.e/ 0, and extend it to a basis e; e2; : : : ; en for V . Then 2 ¤ .e; e2/ .e; en/ e; e2 ; : : : ; en q.e/ q.e/ is again a basis for V , and the last n 1 vectors span a subspace W for which .e; W / 0. D Apply induction to W . 2
An orthogonal basis defines an isometry .V; q/ .kn; q /, where 0 2 2 q .x1; : : : ; xn/ c1x cnx ; ci q.ei / k: 0 D 1 C C n D 2 If every element of k is a square, for example, if k k, we can even scale the ei so that D each ci is 0 or 1. 5 EXAMPLE: THE SPIN GROUP 37
Theorems of Witt and Cartan-Dieudonne´ A quadratic space .V; q/ is said to be regular25 (or nondegenerate,. . . ) if for all x 0 in ¤ V , there exists a y such that .x; y/ 0. Otherwise, it is singular. Also, .V; q/ is ¤ isotropic if it contains an isotropic vector, i.e., if q.x/ 0 for some x 0; ˘ D ¤ totally isotropic if every nonzero vector is isotropic, i.e., if q.x/ 0 for all x, and ˘ D anistropic if it is not isotropic, i.e., if q.x/ 0 implies x 0. ˘ D D Let .V; q/ be a regular quadratic space. Then for any nonzero a V , 2 df a x V .a; x/ 0 h i? D f 2 j D g is a hyperplane in V (i.e., a subspace of dimension dim V 1). For an anisotropic a V , 2 the reflection in the hyperplane orthogonal to a is defined to be 2.a; x/ Ra.x/ x a. D q.a/
Then Ra sends a to a and fixes the elements of W a . Moreover, D h i? 2.a; x/ 4.a; x/2 q.Ra.x// q.x/ 4 .a; x/ q.a/ q.x/; D q.a/ C q.a/2 D and so Ra is an isometry. Finally, relative to a basis a; e2; : : : ; en with e2; : : : ; en a basis for W , its matrix is diag. 1; 1; : : : ; 1/, and so det.Ra/ 1. D THEOREM 5.2 Let .V; q/ be a regular quadratic space, and let be an isometry from a subspace W of V into V . Then there exists a composite of reflections V V extending . ! PROOF. Suppose first that W x with x anisotropic, and let x y. Geometry in the D h i D plane suggests we should reflect in the line x y, which is the line orthogonal to x y. In C fact, if x y is anistropic, Rx y.x/ y D as required. To see this, note that
.x y; x/ .x y; y/ D because q.x/ q.y/, and so D .x y; x y/ 2.x y; x/; D which shows that 2.x y; x/ Rx y.x/ x .x y/ x .x y/ y. D .x y; x y/ D D If x y is isotropic, then 4q.x/ q.x y/ q.x y/ q.x y/ D C C D C and so x y is anistropic. In this case, C
Rx y Rx.x/ Rx . y/. x/ y: C ı D D 25 With the notations of the last paragraph, .V; q/ is regular if c1 : : : cn 0. ¤ 5 EXAMPLE: THE SPIN GROUP 38
We now proceed26 by induction on
m.W / dim W 2 dim.W W /: D C \ ? CASE W NOT TOTALLY ISOTROPIC: As in the proof of (5.1), there exists an anisotropic vector x W , and we let W x W . Then, for w W , w .w;x/ x W ; 2 0 D h i? \ 2 q.x/ 2 0 and so W x W (orthogonal decomposition). As m.W / m.W / 1, we can D h i ˚ 0 0 D apply induction to obtain a composite ˙ of reflections such that ˙ W W . From 0 0j 0 D j 0 the definition of W , x W ; moreover, for any w W , 0 2 0? 0 2 0 .˙ 1x; w / .x; 1˙ w / .x; w / 0; 0 0 D 0 0 D 0 D df and so y ˙ 1x W . By the argument in the first paragraph, there exists reflections D 0 2 0? (one or two) of the form Rz, z W , whose composite ˙ maps x to y. Because ˙ 2 0? 00 00 acts as the identity on W , ˙ ˙ is the map sought: 0 0 ı 00 .˙ ˙ /.cx w / ˙ .cy w / cx w : 0 ı 00 C 0 D 0 C 0 D C 0 CASE W TOTALLY ISOTROPIC: Let V Hom .V; k/ be the dual vector space, and _ D k-lin consider the surjective map
x .x; / f f W ˛ V 7! V 7! j W W ! _ ! _ (so x V is sent to the map y .x; y/ on W ). Let W be a subspace of V mapped 2 7! 0 isomorphically onto W . Then W W 0 and we claim that W W is a regular _ \ 0 D f g C 0 subspace of V . Indeed, if x x W W with x 0, then there exists a y W such C 0 2 C 0 0 ¤ 2 that 0 .x ; y/ .x x ; y/; ¤ 0 D C 0 if x 0, there exists a y W such that .x; y/ 0. ¤ 2 0 ¤ Endow W W with the symmetric bilinear form ˚ _ .x; f /; .x ; f / f .x / f .x/. 0 0 7! 0 C 0 Relative to this bilinear form, the map
x x .x; ˛.x // W W W W (27) C 0 7! 0 W C 0 ! ˚ _ is an isometry. The same argument applied to W gives a subspace W 00 and an isometry x x .x; : : :/ W W W .W / : (28) C 00 7! W C 00 ! ˚ _ Now the map
.27/ 1 .28/ W W W W ˚ _ W .W / W W V C 0 ! ˚ _ ! ˚ _ ! C 00 is an isometry extending . As
m.W W / 2 dim W < 3 dim W m.W / ˚ 0 D D we can apply induction to complete the proof. 2
26Following W. Scharlau, Quadratic and Hermitian Forms, 1985, Chapter 1, 5.5. 5 EXAMPLE: THE SPIN GROUP 39
COROLLARY 5.3 Every isometry of .V; q/ is a composite of reflections.
PROOF. This is the special case of the theorem in which W V . 2 D COROLLARY 5.4 (WITT CANCELLATION) Suppose .V; q/ has orthogonal decompositions
.V; q/ .V1; q1/ .V2; q2/ .V ; q / .V ; q / D ˚ D 10 10 ˚ 20 20 with .V1; q1/ and .V10; q10 / regular and isometric. Then .V2; q2/ and .V20; q20 / are isometric.
PROOF. Extend an isometry V1 V V to an isometry of V . It will map V2 V ! 10 D 1? isometrically onto V V . 2 20 D 10? COROLLARY 5.5 All maximal totally isotropic subspace of .V; q/ have the same dimen- sion.
PROOF. Let W1 and W2 be maximal totally isotropic subspaces of V , and suppose that dim W1 dim W2. Then there exists an injective linear map W1 W2 V , which is Ä W ! automatically an isometry. Therefore, by Theorem 5.2 it extends to an isometry V V . 1 W ! Now W2 is a totally isotropic subspace of V containing W1. Because W1 is maximal, 1 1 W1 W2, and so dim W1 dim W2 dim W2. 2 D D D REMARK 5.6 In the situation of Theorem 5.2, Witt’s theorem says simply that there exists an isometry extending to V (not necessarily a composite of reflections), and the Cartan- Dieudonne´ theorem says that every isometry is a composite of at most dim V reflections. When V is anisotropic, the proof of Theorem 5.2 shows this, but the general case is consid- erably more difficult — see E Artin, Geometric Algebra, 1957.
DEFINITION 5.7 The (Witt) index of a regular quadratic space .V; q/ is the maximum di- mension of a totally isotropic subspace of V .
DEFINITION 5.8 A hyperbolic plane is a regular isotropic quadratic space .V; q/ of dimen- sion 2. Â 0 1 Ã Equivalent conditions: for some basis, the matrix of the form is ; the discrim- 1 0 inant of .V; q/ is 1 (modulo squares). THEOREM 5.9 (WITTDECOMPOSITION) A regular quadratic space .V; q/ with Witt index m has an orthogonal decomposition
V H1 Hm Va (29) D ˚ ˚ ˚ with the Hi hyperbolic planes and Va anisotropic; moreover, Va is uniquely determined up to isometry.
PROOF. Let W be a maximal isotropic subspace of V , and let e1; : : : ; em be a basis for W . One easily extends the basis to a linearly independent set e1; : : : ; em; em 1; : : : ; e2m C such that .ei ; em j / ıi;j (Kronecker delta) and q.em i / 0 for i m. Then V C D27 C D Ä decomposes as (29) with Hi ei ; em i and Va e1; : : : ; e2m ?. The uniqueness of D h C i D h i Va follows from Witt cancellation (5.4). 2
27We often write S for the k-space spanned by a subset S of a vector space V . h i 5 EXAMPLE: THE SPIN GROUP 40
The orthogonal group Let .V; q/ be a regular quadratic space. Define O.q/ to be the group of isometries of .V; q/. Relative to a basis for V , O.q/ consists of the automorphs of the matrix M ..ei ; ej //, D i.e., the matrices T such that T t M T M: D Thus, O.q/ is an algebraic subgroup of GLV (see 2.6), called the orthogonal group of q (it is also called the orthogonal group of , and denoted O./). Let T O.q/. As det M 0, det.T /2 1, and so det.T / 1. The subgroup of 2 ¤ D D ˙ isometries with det 1 is an algebraic subgroup of SLV , called the special orthogonal DC group SO.q/.
Super algebras
A super (or graded) k-algebra is k-algebra C together with a decomposition C C0 C1 D ˚ of C as a k-vector space such that
k C0;C0C0 C0;C0C1 C1;C1C0 C1;C1C1 C0:
Note that C0 is a k-subalgebra of C .A homomorphism of super k-algebras is a homomor- phism ' C D of algebras such that '.Ci / Di for i 0; 1: W ! D EXAMPLE 5.10 Let c1; : : : ; cn k. Define C.c1; : : : ; cn/ to be the k-algebra with gener- 2 ators e1; : : : ; en and relations
2 e ci ; ej ei ei ej (i j ). i D D ¤ i1 in As a k-vector space, C.c1; : : : ; cn/ has basis e1 : : : en ij 0; 1 , and so has dimen- n f j 2 f gg sion 2 . With C0 and C1 equal to the subspaces
i1 in C0 e : : : e i1 in even D h 1 n j C C i i1 in C1 e : : : e i1 in odd ; D h 1 n j C C i
C.c1; : : : ; cn/ becomes a superalgebra.
Let C C0 C1 and D D0 D1 be two super k-algebras. The super tensor D ˚ D ˚ product of C and D;C D, is C D as a vector space, but ˝b ˝k C bD 0 .C0 D0/ .C1 D1/ ˝ D ˝ ˚ ˝ C D .C0 D1/ .C1 D0/ ˝b 1 D ˝ ˚ ˝ jk .ci dj /.c d / . 1/ .ci c dj d / ci Ci , dj Dj etc.. ˝ k0 ˝ l0 D k0 ˝ l0 2 2 The maps
iC C C D; c c 1 W ! ˝b 7! ˝ iD D C D; d 1 d W ! ˝b 7! ˝ have the following universal property: for any homomorphisms of k-superalgebras
f C T; g D T W ! W ! 5 EXAMPLE: THE SPIN GROUP 41 whose images anticommute in the sense that ij f .ci /g.dj / . 1/ g.dj /f .ci /; ci Ci ; dj Dj ; D 2 2 there is a unique homomorphism h C D T such that f h iC , g h iD. W ˝b ! D ı D ı EXAMPLE 5.11 As a k-vector space, C.c1/bC.c2/ has basis 1 1 ( 1 ), ˝ ˝ D C.c1/bC.c2/ e 1, 1 e, e e, and ˝ ˝ ˝ ˝ 2 2 .e 1/ e 1 c1 ˝ D ˝ D 2 2 .1 e/ 1 e c2 ˝ D ˝ D .e 1/.1 e/ e e .1 e/.e 1/: ˝ ˝ D ˝ D ˝ ˝ Therefore,
C.c1/ C.c2/ C.c1; c2/ ˝b ' e 1 e1 ˝ $ 1 e e2: ˝ $ Similarly, C.c1; : : : ; ci 1/bC.ci / C.c1; : : : ; ci /, ˝ ' and so, by induction, C.c1/ C.cn/ C.c1; : : : ; cn/: ˝b ˝b ' EXAMPLE 5.12 Every k-algebra A can be regarded as a k-superalgebra by setting A0 A D and A1 0. If A; B are both k-algebras, then A B A B. D ˝k D ˝bk L i EXAMPLE 5.13 Let X be a manifold. Then H.X/ df i H .X; R/ becomes an R- D L 2i algebra under cup-product, and even a superalgebra with H.X/0 i H .X; R/ and L 2i 1 D H.X/1 H C .X; R/. If Y is a second manifold, the Kunneth¨ formula says that D i H.X Y/ H.X/ H.Y / D ˝b (super tensor product).
Brief review of the tensor algebra L n Let V be a k-vector space. The tensor algebra of V is TV n 0 V ˝ , where D V 0 k; ˝ D V 1 V; ˝ D V n V V .n copies of V/ ˝ D ˝k ˝k with the algebra structure defined by juxtaposition, i.e.,
.v1 vm/ .vm 1 vm n/ v1 vm n: ˝ ˝ C ˝ ˝ C D ˝ ˝ C It is a k-algebra. If V has a basis e1; : : : ; em, then TV is the k-algebra of noncommuting polynomials in e1; : : : ; em. There is a k-linear map V TV , namely, V V 1 , L V n, and any other ! D ˝ ! n 0 ˝ k-linear map from V to a k-algebra R extends uniquely to a k-algebra homomorphism TV R. ! 5 EXAMPLE: THE SPIN GROUP 42
The Clifford algebra Let .V; q/ be a quadratic space, and let be the corresponding bilinear form on V .
DEFINITION 5.14 The Clifford algebra C.V; q/ is the quotient of the tensor algebra T .V / of V by the two-sided ideal I.q/ generated by the elements x x q.x/ .x V/. ˝ 2 Let V C.V; q/ be the composite of the canonical map V T .V / and the quotient W ! ! map T .V / C.V; q/. Then is k-linear, and28 ! .x/2 q.x/, all x V: (30) D 2 Note that if x is anisotropic in V then .x/ is invertible in C.V; q/, because (30) shows that .x/ .x/ 1. q.x/ D
EXAMPLE 5.15 If V is one-dimensional with basis e and q.e/ c, then T .V / is a D polynomial algebra in one symbol e, T .V / kŒe, and I.q/ .e2 c/. Therefore, D D C.V; q/ C.c/. EXAMPLE 5.16 If q 0, then C.V; q/ is the exterior algebra on V , i.e., C.V; q/ is the D quotient of T .V / by the ideal generated by all squares x2, x V . In C.V; q/, 2 0 ..x/ .y//2 .x/2 .x/.y/ .y/.x/ .y/2 .x/.y/ .y/.x/ D C D C C C D C and so .x/.y/ .y/.x/. D PROPOSITION 5.17 Let r be a k-linear map from V to a k-algebra D such that r.x/2 D q.x/. Then there exists a unique homomorphism of k-algebras r C.V; q/ D such that W ! r r: ı D V > C.V; /
r r > D:_
PROOF. By the universal property of the tensor algebra, r extends uniquely to a homomor- phism of k-algebras r T .V / D, namely, 0W !
r .x1 xn/ r.x1/ r.xn/. 0 ˝ ˝ D As r .x x q.x// .r.x/2 q.x// 0; 0 ˝ D D r0 factors uniquely through C.V; q/. 2
As usual, .C.V; q/; / is uniquely determined up to a unique isomorphism by the uni- versal property in the proposition.
28More careful authors define a k-algebra to be a ring R together with a homomorphism k R (instead of containing k), and so write (30) as ! .x/2 q.x/ 1 : D C.V;q/ 5 EXAMPLE: THE SPIN GROUP 43
The map C.c1; : : : ; cn/ C.V; q/ ! Because is linear,
.x y/2 ..x/ .y//2 .x/2 .x/.y/ .y/.x/ .y/2: C D C D C C C On comparing this with
.30/ .x y/2 q.x y/ q.x/ q.y/ 2.x; y/; C D C D C C we find that .x/.y/ .y/.x/ 2.x; y/: (31) C D In particular, if f1; : : : ; fn is an orthogonal basis for V , then
2 .fi / q.fi /; .fj /.fi / .fi /.fj / .i j /: D D ¤
Let ci q.fi /. Then there exists a surjective homomorphism D
ei .fi / C.c1; : : : ; cn/ C.V; /: (32) 7! W ! The grading (superstructure) on the Clifford algebra Decompose
T .V / T .V /0 T .V /1 D ˚ M m T .V /0 V ˝ D m even M m T .V /1 V : D ˝ m odd
As I.q/ is generated by elements of T .V /0,
I.q/ .I.q/ T .V /0/ .I.q/ T .V /1/ ; D \ ˚ \ and so C.V; q/ C0 C1 with Ci T .V /i =I.q/ T .V /i : D ˚ D \ Clearly this decomposition makes C.V; q/ into a super algebra. In more down-to-earth terms, C0 is spanned by products of an even number of vectors from V , and C1 is spanned by products of an odd number of vectors.
The behaviour of the Clifford algebra with respect to direct sums Suppose .V; q/ .V1; q1/ .V2; q2/: D ˚ Then the k-linear map
r V V1 V2 C.V1; q1/ C.V2; q2/ D ˚ ! ˝b x .x1; x2/ 1.x1/ 1 1 2.x2/: D 7! ˝ C ˝ 5 EXAMPLE: THE SPIN GROUP 44 has the property that
2 2 r.x/ .1.x1/ 1 1 2.x2// D ˝ C ˝ .q.x1/ q.x2//.1 1/ D C ˝ q.x/; D because
..x1/ 1/.1 .x2// .x1/ .x2/ .1 .x2//..x1/ 1//: ˝ ˝ D ˝ D ˝ ˝ Therefore, it factors uniquely through C.V; q/:
C.V; q/ C.V1; q1/ C.V2; q2/. (33) ! ˝b Explicit description of the Clifford algebra
THEOREM 5.18 Let .V; q/ a quadratic space of dimension n. (a) For every orthogonal basis for .V; q/, the homomorphism (32)
C.c1; : : : ; cn/ C.V; q/ ! is an isomorphism. (b) For every orthogonal decomposition .V; q/ .V1; q1/ .V2; q2/, the homomor- D ˚ phism (33) C.V; q/ C.V1; q1/ C.V2; q2/ ! ˝b is an isomorphism. (c) The dimension of C.V; q/ as a k-vector space is 2n.
PROOF. If n 1, all three statements are clear from (5.15). Assume inductively that they D are true for dim.V / < n. Certainly, we can decompose .V; q/ .V1; q1/ .V2; q2/ in such D ˚ a way that dim.Vi / < n. The homomorphism (33) is surjective because its image contains 1.V1/ 1 and 1 2.V2/, which generate C.V1; q1/ C.V2; q2/, and so ˝ ˝ ˝b dim.C.V; q// 2dim.V1/2dim.V2/ 2n: D From an orthogonal basis for .V; q/, we get a surjective homomorphism (33). Therefore,
dim.C.V; q// 2n: Ä It follows that dim.C.V; q// 2n. By comparing dimensions, we deduce that the homo- D morphism (32) and (33) are isomorphisms. 2
COROLLARY 5.19 The map V C.V; q/ is injective. W ! From now on, we shall regard V as a subset of C.V; q/ (i.e., we shall omit ).
REMARK 5.20 Let L be a field containing k. Then extends uniquely to an L-bilinear form V V L;V L V; 0W 0 0 ! 0 D ˝k and C.V ; / L C.V; /: 0 0 ' ˝k 5 EXAMPLE: THE SPIN GROUP 45
The centre of the Clifford algebra
Assume that .V; q/ is regular, and that n dim V > 0. Let e1; : : : ; en be an orthogonal D basis for .V; q/, and let q.ei / ci . Let D n.n 1/ n.n 1/ . 1/ 2 c1 cn . 1/ 2 det./. D D We saw in (5.18) that C.c1; : : : ; cn/ C.V; q/: ' 2 Note that, in C.c1; : : : ; cn/, .e1 en/ . Moreover, D i 1 ei .e1 en/ . 1/ ci .e1 ei 1ei 1 en/ D C n i .e1 en/ ei . 1/ ci .e1 ei 1ei 1 en/. D C
Therefore, e1 en lies in the centre of C.V; q/ if and only if n is odd. PROPOSITION 5.21 (a) If n is even, the centre of C.V; q/ is k; if n is odd, it is of degree 2 over k, generated by e1 en: In particular, C0 Centre.C.q// k. \ D (b) No nonzero element of C1 centralizes C0.
PROOF. First show that a linear combination of reduced monomials is in the centre (or cen- tralizes C0) if and only if each monomial does, and then find the monomials that centralize the ei (or the ei ej ). 2
In Scharlau 1985, Chapter 9, 2.10, there is the following description of the complete structure of C.V; q/:
If n is even, C.V; q/ is a central simple algebra over k, isomorphic to a tensor product of quaternion algebras. If n is odd, the centre of C.V; q/ is generated over k by the element e1 en whose square is , and, if is not a square in k, then C.V; q/ is a central simple algebra over the field kŒp.
The involution An involution of a k-algebra D is a k-linear map D D such that .ab/ ba and t W ! D a 1. For example, M M (transpose) is an involution of Mn.k/. D 7! Let C.V; q/opp be the opposite k-algebra to C.V; q/, i.e., C.V; q/opp C.V; q/ as a D k-vector space but ab in C.V; q/opp ba in C.V; q/. D The map V C.V; q/opp is k-linear and has the property that .x/2 q.x/. Thus, W ! D there exists an isomorphism C.V; q/ C.V; q/opp inducing the identity map on V , and W ! which therefore has the property that
.x1 xr / xr x1 D for x1; : : : ; xr V . We regard as an involution of A. Note that, for x V , x x q.x/. 2 2 D 5 EXAMPLE: THE SPIN GROUP 46
The Spin group Initially we define the spin group as an abstract group.
DEFINITION 5.22 The group Spin.q/ consists of the elements t of C0.V; q/ such that (a) t t 1; D (b) tV t 1 V , D (c) the map x txt 1 V V has determinant 1: 7! W !
REMARK 5.23 (a) The condition (a) implies that t is invertible in C0.V; q/, and so (b) makes sense. (b) We shall see in (5.27) below that the condition (c) is implied by (a) and (b).
The map Spin.q/ SO.q/ ! Let t be an invertible element of C.V; q/ such that tV t 1 V . Then the mapping x D 7! txt 1 V V is an isometry, because W ! q.txt 1/ .txt 1/2 tx2t 1 tq.x/t 1 q.x/. D D D D Therefore, an element t Spin.q/ defines an element x txt 1of SO.q/. 2 7! THEOREM 5.24 The homomorphism
Spin.q/ SO.q/ ! just defined has kernel of order 2, and it is surjective if k is algebraically closed.
PROOF. The kernel consists of those t Spin./ such that txt 1 x for all x V . As 2 D 2 V generates C , such a t must lie in the centre of C . Since it is also in C0, it must lie in k. Now the condition t t 1 implies that t 1. D D ˙ For an anisotropic a V , let Ra be the reflection in the hyperplane orthogonal to a. 2 According to Theorem 5.2, each element of SO.q/ can be expressed Ra1 Ram for m D some ai . As det.Ra Ra / . 1/ , we see that m is even, and so SO.q/ is generated 1 m D by elements RaRb with a; b anisotropic elements of V . If k is algebraically closed, we can even scale a and b so that q.a/ 1 q.b/. D D Now
axa 1 . xa 2.a; x// a 1 as .ax xa 2.a; x/, see (31)) D C C D Â 2.a; x/ Ã x a as a2 q.a/ D q.a/ D
Ra.x/: D Moreover, .ab/ ab baab q.a/q.b/: D D Therefore, if q.a/q.b/ 1, then RaR is in the image of Spin.q/ SO.q/. As we noted D b ! above, such elements generate SO when k is algebraically closed. 2
In general, the homomorphism is not surjective. For example, if k R, then Spin.q/ D is connected but SO.q/ will have two connected components when is indefinite. In this case, the image is the identity component of SO.q/. 5 EXAMPLE: THE SPIN GROUP 47
The Clifford group
Write for the automorphism of C.V; q/ that acts as 1 on C0.V; q/ and as 1 on C1.V; q/. DEFINITION 5.25 The Clifford group is