Algebraic groups Lecture 1

Similar documents
Review of linear algebra

0.2 Vector spaces. J.A.Beachy 1

CLASSICAL GROUPS DAVID VOGAN

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

A PRIMER ON SESQUILINEAR FORMS

Curtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

THE EULER CHARACTERISTIC OF A LIE GROUP

1. Introduction to commutative rings and fields

Exercises on chapter 1

arxiv:math-ph/ v1 31 May 2000

Exercises on chapter 0

2. Introduction to commutative rings (continued)

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

First we introduce the sets that are going to serve as the generalizations of the scalars.

MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003

1 Matrices and Systems of Linear Equations. a 1n a 2n

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

5 Group theory. 5.1 Binary operations

Math 346 Notes on Linear Algebra

Math 308 Midterm Answers and Comments July 18, Part A. Short answer questions

Answers in blue. If you have questions or spot an error, let me know. 1. Find all matrices that commute with A =. 4 3

Problems in Linear Algebra and Representation Theory

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

EXAM 2 REVIEW DAVID SEAL

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

1300 Linear Algebra and Vector Geometry

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

Math 110 Linear Algebra Midterm 2 Review October 28, 2017

CMU CS 462/662 (INTRO TO COMPUTER GRAPHICS) HOMEWORK 0.0 MATH REVIEW/PREVIEW LINEAR ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Matrix-Vector Products and the Matrix Equation Ax = b

Linear Algebra. Min Yan

Definition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition

Announcements Monday, November 13

Graduate Mathematical Economics Lecture 1

Topics in Representation Theory: Roots and Weights

3. The Sheaf of Regular Functions

22A-2 SUMMER 2014 LECTURE 5

(VII.B) Bilinear Forms

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

The Adjoint Functor Theorem.

1. Introduction to commutative rings and fields

a s 1.3 Matrix Multiplication. Know how to multiply two matrices and be able to write down the formula

1 Matrices and Systems of Linear Equations

Math 396. An application of Gram-Schmidt to prove connectedness

we have the following equation:

x i e i ) + Q(x n e n ) + ( i<n c ij x i x j

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces

Categories and functors

Honors Advanced Mathematics Determinants page 1

MAT 2037 LINEAR ALGEBRA I web:

Linear Algebra (Math-324) Lecture Notes

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

(v, w) = arccos( < v, w >

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

Basic Concepts of Group Theory

Math 249B. Nilpotence of connected solvable groups

Hodge Structures. October 8, A few examples of symmetric spaces

Math Linear Algebra Final Exam Review Sheet

Lecture 4.1: Homomorphisms and isomorphisms

Math 291-2: Lecture Notes Northwestern University, Winter 2016

Background on Chevalley Groups Constructed from a Root System

These notes are incomplete they will be updated regularly.

MATH 122 SYLLBAUS HARVARD UNIVERSITY MATH DEPARTMENT, FALL 2014

A 2 G 2 A 1 A 1. (3) A double edge pointing from α i to α j if α i, α j are not perpendicular and α i 2 = 2 α j 2

Linear Algebra Primer

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

Properties of Linear Transformations from R n to R m

Math 370 Spring 2016 Sample Midterm with Solutions

Linear Algebra, Summer 2011, pt. 2

Linear Algebra Highlights

Algebraic Geometry

MAT 1302B Mathematical Methods II

Morita Equivalence. Eamon Quinlan

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

Linear Algebra: Lecture notes from Kolman and Hill 9th edition.

Extra Problems for Math 2050 Linear Algebra I

HOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

Announcements Wednesday, October 10

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

Review 1 Math 321: Linear Algebra Spring 2010

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

1 Hermitian symmetric spaces: examples and basic properties

Lecture 3. Theorem 1: D 6

Linear Algebra Review

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.

Determinants and Scalar Multiplication

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Transcription:

Algebraic groups Lecture Notes by Tobias Magnusson Lecturer: WG September 3, 207 Administration Registration: A sheet of paper (for registration) was passed around. The lecturers will alternate between Rikard Bögvad and Wushi Goldring (WG). Office hours (WG): Thursdays, 9-0. Grading: The examination consists of homework assignments. (Approximately homework assignment every 2-3 weeks.) There ll be no written exams. PhD students are also required to do a presentation at the end of the course. Literature: Important sections of the course literature will (probably) be posted on the course web. The backbone of the course is covered in Knapp s Lie groups, Beyond an Introduction. (In particular chapter and 2.) The nature of the various recommended books is discussed in the syllabus. Prerequisites: The only required course is Algebra III. If you have seen a bit about some of the following, you will probably find it helpful, but it s not required or expected that you have taken courses on these topics: Galois theory, as in the course I gave last term. Topological spaces, in particular the notion of connectedness, as in Alexander s course last term. Some algebraic geometry, as in Jonas and David s course last year A first course in complex analysis I think most of you have taken some fraction of these courses, but many of you have not taken all of them and that s perfectly fine.

Introduction The title of the course is Algebraic Groups, but the course will focus on a special class of algebraic groups called reductive groups. These fit in the following diagram: {Alg. grps} { } Proj. alg. grps i. e. abelian varieties {Linear/affine alg. grps} Needs a separate course. Is more algebro-geometric. An elliptic curve is an abelian variety of dimension. {Reductive grps} Figure : Reductive groups among all algebraic groups At the core is algebraic groups, which we vaguely define as follows. Definition. An algebraic group is a group given by equations, with multiplication and inversion given by equations. By equations we mean specifically rational functions. (I. e. quotients of polynomials.) Given a group G, we can see multiplication as the map m : G G G defined by (x, y) xy and inversion as the i : G G defined x x. Given a field k we shall often talk about the n-dimensional affine space of k, denoted by A n (k), and defined as k n but without the notion of addition and scalar multiplication. So for example, we ve that A n (R) = R n but forgetting addition and scalar multiplication. Let f,..., f m k[x,..., x n ] and consider the following subset of A n (k) V (f,..., f m ) := {(a,..., a n ) A n (k) i. f i (a,..., a n ) = 0}. It has a more natural geometric meaning when k is algebraically closed. (E. g. for k = C, Q or F p.) We want to look at when V (f,..., f m ) has a natural group structure. (Note that an elliptic curve is almost an algebraic according to our definition, but the point at infinity yields problems.) Recall that we get an elliptic curve if we put f (x, y) = y 2 (x 3 + ax + b) and look at solutions in A 2 (k) and add the point at infinity. This is equivalent to looking at solutions of the equation y 2 z = x 3 + axz 2 + bz 3 in P 2 (k). That s why an elliptic curve is an example of a projective algebraic group, but not of an affine algebraic group. Examples The general linear group, GL(n), is a reductive group. WG asked the audience: What is GL(n)? What is GL(n, k)? More generally, let R be a commutative ring with. What is GL(n, R)? Let s start with GL(n, k): We know that GL(n, k) is ( ) invertible linear transformations linear automorphisms = of k n of k n = n n matrices with entries in k and with det 0 2

We know that with GL(n, k) A = (a ij ), det(a) is a polynomial in the n 2 variables a, a 2,..., a nn, so the third characterization seems useful. So, we try to consider GL(n, k) in A n2. Indeed, recall that the set of n n matrices with entries in k, denoted by M n (k), is an n 2 dimensional vector space over k. Why aren t we done? In other words, in comparison to V (f,..., f m ), what s preventing the characterization GL(n, k) = {A A n2 (k) det(a) 0}, from being an algebraic group? The problem is that det(a) 0 isn t an equation of the form f i = 0 for all i as discussed above; it is rather an equation with f i 0. Before solving this problem, let s consider a simpler example for a while. We ve that the special linear group, SL(n, k) is defined as follows SL(n, k) = {A M n (k) det(a) = } = {A A n2 (k) det(a) = 0}. This clearly satisfies the first criterion of being an algebraic group. It s easy to see that matrix multiplication is given by polynomials in the entries of the matrices. Using Cramer s rule to find the inverse of a matrix, we see that the inversion map is given by rational functions, so that indeed SL(n, k) is an algebraic group. But, how to make GL(n) an algebraic group? We use the characterization GL(n) = {(A, t) A n2 + (k) (det A)t = 0}, which satisfies the criteria. The equations have integer coeffcients, so they make sense in any field k, and even in any commutative ring R. Warning: If R is not a field, note that that GL(n, R) is not given by {A M n (R) det A 0}. Indeed the equation above 4 (det A)t = 0 says that det A is invertible in R. If R is a field, then x R \ {0} if and only if x is invertible in R. But if R is not a field, then it contains nonzero x which are not invertible. So the right condition for GL(n, R) is that det A should be invertible in R. We finally come to the question What is GL(n)? without specifying a k or an R. What we have seen is that GL(n) gives us a rule: If we input a commutative ring R, the GL(n) rule outputs GL(n, R). One can also check that associated to every homomorphism of rings R S we have a homomorphism of groups GL(n, R) GL(n, S). If you have seen something about categories and functors, what we have seen is that GL(n) can be seen as a functor from the category of commutative rings to the category of groups. If you haven t heard about functors, that s OK. Just keep in mind that GL(n) can be thought of as a rule which assigns a group to every commutative ring. On affine space BREAK Someone asked a good question during the break: What kind of object is affine space? Some good intuition comes from the topological spaces A n (R) = R n and A n (C) = C n. For more general fields, we will gain a better understanding of A n (k) and A n (R) when we discuss the Zariski topology later in the course. Historically, the Zariski topology was the first attempt to make sense of topology over fields (and later general rings) different from R, C. Finally, in an analogous manner to GL(n), we can view affine space A n as a functor, i.e. as a rule which assigns A n (R) to every commutative ring R. Some more examples of algebraic groups One way to get examples is through bilinear forms. Definition 2. Let V be a vector space over k. A bilinear form is a map B : V V k that is linear in both arguments. In other B(a u + a 2 u 2, v) = a B(u, v) + a 2 B(u 2, v), 3

for all a, a 2 k and all u, u 2, v V, and for all a, a 2 k and all u, v, v 2 V. B(u, a v + a 2 v 2 ) = a B(u, v ) + a 2 B(u, v 2 ), Two special types of bilinear forms are especially interesting. Definition 3. A bilinear form B is called symmetric if for all u, v V it holds that It s called alternating if for all u V it holds that B(u, v) = B(v, u). B(u, u) = 0. By expanding B(u + v, u + v) = 0, we see that B(u, v) = B(v, u), so an alternating bilinear form is skew-symmetric. Over a field of characteristic 2, the conditions B(u, v) = B(v, u) and B(u, u) = 0 for all u, v are equivalent, but over a field of characteristic 2, the condition B(u, v) = B(v, u) is vacuous (because 2B(u, v) = 0). If {e i } is a basis of V, then B can be represented as a matrix If u, v V are represented by x, y in this basis, then A = (a ij ) with a ij = B(e i, e j ). B(u, v) = t xay. In the homework you will be asked to show that, if {f i } is another basis and Xe i = f i (so that X is the change-of-basis matrix) then the matrix of B in the new basis {f i } is t XAX. A symmetric bilinear form is represented by a symmetric matrix, and an alternating bilinear form is represented by a skew-symmetric matrix. Algebraic groups through bilinear forms Let B be a bilinear form. Let Set GL(V ) = linear automorphisms of V G(B)(k) = G(B, k) = {A GL(V ) B(u, v) = B(Au, Av)}. In otherwords G(B, k) consists of the matrices that preserve the bilinear form. Exercise: Show that the above is a group. By the above homework problem on change of basis, G(B, k) = {A GL(V ) t AXA = X, where X is the matrix of B in some basis} This shows that G(B, k) is given by equations in the entries of A. Thus G(B, k) is an algebraic group. On notation: WG typically writes t A for the transpose of A. This is because the inverse of the transpose looks nicer typographically with this notation, namely t A. One important algebraic group formed with bilinear forms is the symplectic group. Let B be alternating and non-degenerate. By definition a bilinear form B is non-degenerate if B(u, v) = 0 for all v implies u = 0. Equivalently, a bilinear form is non-degenerate if the determinant of its matrix is nonzero in some (equivalently every) basis. A standard choice of skew-symmetric matrix is: ( ) 0n I J = n. Exercise: If B is non-degenerate and alternating on V, then dim(v ) is even. I n 0 n 4

Definition 4. With B as above, the symplectic group (of B), denoted by Sp(B), is defined as Sp(B) = {A GL(V ) B(Au, Av) = B(u, v)} = {A GL(V ) t AJA = J}. We also denote it by Sp(J), Sp(2n, k), or Sp 2n (k). We will see later that the symplectic group is another example of a reductive group. Note that if n =, then Sp(J) = Sp(2, k) = SL(2, k), but this isn t so when n >. Let B be symmetric. In the same way as above, we get the orthogonal group of B. Definition 5. With B as above, the orthogonal group of B is defined as G(B). Consider the following example. Let k = R, and V = R n. Let B(u, v) be the standard inner product. So that n B((u,..., u n ), (v,..., v n )) = u i v i. In the standard basis {e i } n i=, with e i = (0,... 0,, 0,..., 0) and the is in the ith position, B has the matrix I n, whence G(B) = {A GL n (R) t AA = I n } = O(n), which might be familiar. If instead we consider the symmetric bilinear form B with matrix p 0 I pq =, q 0 where p + q = n. Then i= G(B) = {A GL(n, k) t AI pq A = I pq } =: O(p, q). Exercise: Show that O(p, q) is a group. Note that O(p, q) = O(n), and in fact {p, q} {p, q } implies that O(p, q) = O(p, q ). The fact that we got many non-isomorphic orthogonal groups for a fixed value of n = p + q is related to the fact that we took k = R, a non-algebraically closed field. Since many things are easier to study in an algebraically closed setting, it makes sense that it should be easier to study algebraic groups over algebraically closed fields too. 5

Endword In the first part of the course we will study the structure theory of reductive groups over algebraically closed fields. (This is analogous in a finite group setting with the Sylow theorems.) This will lead to the classification of reductive groups over an algebraically closed field. (This is analogous in a finite group setting with the classification of finite simple groups, but the classification of reductive groups turns out to be much simpler. In fact, the reductive classification served as a blueprint for the finite simple groups classification) A consequence of the classification is that every simple algebraic group is one of the following Cartan- Killing types: classical exceptional Type A n B n C n D n G 2 F 4 E 6 E 7 E 8 SL(n +, k) SO(2n + ) S p (2n) SO(2n) Figure 2: The Cartan-Killing classification. So there are four infinite families and five exceptional cases. We have gotten some initial idea of the four infinite families by looking at the groups associated to bilinear forms. 6