ALGEBRAIC GROUPS J. WARNER 1. Definitions and Examples Let k be an algebraically closed field. For simplicity we will work strictly with affine varieties unless otherwise stated. Definition 1.1. An algebraic group G over k is a variety over k together with maps of varieties m : G × G ! G and i : G × G giving G the structure of a group. A morphism of algebraic groups ' : G ! H is both a group homomorphism and a morphism of varieties. 2 Notice that by the group structure we have i = idG so that i is in fact an isomorphism of varieties. The comorphisms m∗ : k[G] ! k[G] ⊗ k[G] and i∗ : k[G] ! k[G] on the coordinate algebra of G give k[G] the structure of a Hopf algebra. Thus we have an equivalence of categories between finitely generated commutative Hopf algebras over k and algebraic groups over k. To first see the interaction of the group and variety structures, consider the following definition. −1 Definition 1.2. For any g 2 G, define λg : k[G] ! k[G] by λgf(x) = f(g x) = f +mg−1x 2 k[G]=mg−1x, an automorphism of the k-algbera k[G]. λg is called left translation of functions by g. ∗ I claim that the comorphism of λg is lg−1 : G ! G, where lg(x) = gx. To see this, consider −1 λg (mx): −1 −1 λg (mx) = ff 2 k[G] j f(g x) = 0g = ff 2 k[G] j f 2 mg−1xg = mg−1x ∗ −1 so that λg(x) = g x. From this discussion we see that lg is an isomorphism of varieties, whose inverse is lg−1 . It's just as natural to define right translation of functions by g as the map ρgf(x) = f(xg). The comorphism of ρg can be seen, as above, to be rg : G ! G where rg(x) = xg. The map ρ : G ! GL(k[G]) given by g 7! ρg is an injective morphism of algebraic groups. Injectivity follows from the fact that f(g) = f(h) for all f 2 k[G] if and only if mg = mh. 2. Subgroups Lemma 2.1. If A ⊂ G is any subset of G, not necessarily a subgroup, then gA = gA for all g 2 G. Date: Spring 2013. 1 Proof. Since lg : G ! G is a homeomorphism, any closed set containing gA is of the form gE for some closed set E containing A. Homeomorphisms split across intersections so we have \ \ gA = g E = gE = gA A⊂E A⊂E Corollary 2.2. If H ≤ G, then H ≤ G. Proof. Since i : G ! G is a homeomorphism, a similar argument to the one in the lemma shows that i(H) = i(H) = H so that H is closed under inverses. Similarly, for any x 2 H we have xH = xH = H. Now take any x 2 H. Corollary 2.3. If H/G then H/G. Proof. Clearly the result of the lemma also holds in the case of multiplication on the right, −1 so that we have gHg = gHg−1 = H. From abstract group theory, we know that the product of two subgroups is a subgroup when one normalizes the other, and the product is normal when both are normal. What can we say about the product of two closed subgroups? We begin with some preliminary work. Lemma 2.4. Let U ⊂ G be any dense open set, and V be any nonempty open set. Then UV = G. −1 Proof. Choose any g 2 G. Since i and lg are both homeomorphisms, we have gV is open −1 in G. It follows that gV \ U 6= ?, so that g = uv for some u 2 U; v 2 V . Definition 2.5. Let X be any topological space. A subset A ⊂ X is locally closed if it is an intersection of an open set and a closed set. A subset A ⊂ X is constructible if it is the union of finitely many locally closed sets. We will need the following two facts about constructible sets which we state without proof. (1) Constructible sets contain a dense open set in their closure (2) The image of a constructible set under a morphism of varieties is again constructible. Constuctible subgroups are closed. To see this, suppose H is a constructible subgroup and let U be a dense open set of H, which is a subgroup by corollary 2.2. Then by lemma 2.4 we have H = UU ⊂ HH = H One result of this discussion is that if ' : G ! G0 is a map of algebraic groups, then '(G) is closed in G0 (G is closed, so constructible, so '(G) is a constructible subgroup, so closed). We can finally state the following result. Proposition 2.6. Suppose A and B are closed subgroups of an algebraic group G, and B normalizes A. Then AB is a closed subgroup of G. Proof. The only new content here is that AB is closed. This follows from AB being the image of the morphism of varieties m : A × B ! G, and the second fact listed above (A × B is constructible because it is closed in G × G). 2 3. The Identity Component S Proposition 3.1. Let G = Gi be the decomposition of G into its irreducible components. There is a unique irreducible component containing e 2 G. Proof. Renumbering if necessary, let G1;:::;Gn be the irreducible components containing e. Irreducible components are necessarily closed, and the product of closed, irreducible sets is again closed and irreducible, because the tensor product of finitely generated domains over an algebraically closed field k is again a domain (true, but not clear). It follows that G1 :::Gn is irreducible as it is the image of G1 × ::: × Gn under the continuous map G × ::: × G ! G. Since e 2 G1 :::Gn, and the Gi are maximal, it follows that G1 :::Gn 2 Gi for some i. It is also true that Gj 2 G1 :::Gn for all j. It follows that n = 1. Denote by G◦ the unique irreducible component of G containing the identity. We call G connected if G = G◦, i.e., if there is only one irreducible component. 4. Embedding in GL(n; k) The following theorem allows us to always keep in mind matrices when working with any affine algebraic group. Before stating the theorem, we state a finiteness result that is used in the proof of the theorem. Lemma 4.1. k[G] is a union of finite-dimensional G-stable subspaces, where G acts on k[G] via G ! GL(k[G]) which maps g to ρg. P Proof. Let f 2 k[G]. If ∆ is the coproduct of the Hopf algebra k[G], write ∆(f) = fi ⊗ gi. Then, for any g; x 2 G we have: −1 −1 X −1 ρgf(x) = f(g x) = ∆(f)(g ; x) = fi(g )gi(x) P −1 so that ρgf = fi(g )gi. It follows that the span of the gi is a finite dimensional vector space which contains all ρgf for all g 2 G. It then follows that the span of all ρgf is finite dimensional, and G-stable. Theorem 4.2. Let G be an algebraic group over k. Then G is isomorphic to a closed subgroup of some GL(n; k). 5. Quotients Given an abstract group G and a normal subgroup N, we know that the quotient G=N is also a group. In the case of algebraic groups, we would like to make sense of what G=N means when N is closed. Here is a result towards this end. For any vector space V , call a morphism of algebraic groups ' : G ! GL(V ) a rational representation. Theorem 5.1. Let G be an algebraic group, and N a closed, normal subgroup of G. Then there exists a rational representation ' : G ! GL(V ) such that ker ' = N. As groups, we know that G=N ∼= '(G), and '(G) is a closed subgroup in GL(V ), so it is an affine algebraic group. Thus, we think of G=N as the image of the rational representation given in the theorem. It can be shown that the quotient algebraic groups obtained in this way from two different rational representations are isomorphic. 3 6. Jordan Decomposition For any algebraic group G, and any element g 2 G, we seek a canonical decomposition of g into the product of a semisimple and unipotent element. First we work in GL(n; k). An element g 2 GL(n; k) is called semisimple if its minimal polynomial has distinct roots. Since k is algebraically closed, its minimal polynomial factors into distinct linear factors, and thus g is semisimple if and only if g is diagonalizable. We say that g is unipotent if g − In is nilpotent, or equivalently, if the only eigenvalue of g is 1. Theorem 6.1. For any g 2 GL(n; k), there are unique, commuting elements s; u 2 GL(n; k) such that g = su, s is semisimple, and u is unipotent. This unique decomposition is called the Jordan decomposition. Earlier we considered the faithful representation of an algebraic group G via right trans- lation of functions ρ : G ! GL(k[G]). We would like to see that this representation in some sense preserves the Jordan decomposition. First, we need to make some modifications to the idea of semisimple and unipotent for infinite dimensional vector spaces. For an infinite dimensional vector space V , the strict definition of semisimple and unipotent in GL(V ) is too restrictive for our purposes, so we will need to work with local conditions.