In many posts on this blog we have talked about elliptic curves, which are examples of **algebraic groups** (which is itself a specific instance of a **group scheme**) – a variety whose points form a group. As varieties, elliptic curves (and abelian varieties in general) are *projective*. There are also algebraic groups which are *affine*, and in this post we will discuss a special class of affine algebraic groups, called **reductive groups**, which as we shall see are related to many familiar objects, and are well-studied. In particular, in the case when they are defined over algebraically closed fields we will discuss their classification in terms of **root datum**. We will also discuss how this root datum helps us understand the automorphisms of such a reductive group.

An example of a reductive group is ; let’s assume that this is a variety defined over some field . If is some -algebra, then the -valued points of (in the “functor of points” point of view) is the group of matrices with nonzero determinant. Geometrically, we may think of the nonzero determinant condition as the polynomial equation that cuts out the variety .

**Linear algebraic groups** are smooth closed algebraic subgroups of , and they have their own “representation theory”, a “representation” in this context being a morphism from some linear algebraic group to the algebraic group , for some vector space over some field . The algebraic group is the algebraic group whose -valued points give the group of linear transformations of the -vector space .

A linear algebraic group is a **reductive group** if it is geometrically connected and every representation is **semisimple** (a direct product of irreducible representations).

We also denote the reductive group by . A **torus** is a reductive group which is isomorphic to a product of copies of . A torus contained in a reductive group is called **maximal** if it is not contained in some strictly larger torus contained in .

Let be a maximal torus of the reductive group . The **Weyl group** is the quotient where is the **normalizer** of in (the subgroup consisting of all elements in such that for any element in is an element of ) and is the **centralizer** of in (the subgroup consisting of all elements in that commute with all the elements of ).

Now let us discuss the classification of reductive groups, for which we will need the concept of **roots** and **root datum**.

For a maximal torus in a reductive group , the characters (homomorphisms from to ) and the cocharacters (homomorphisms from to ) will play an important role in this classification. Let us denote the characters of by , and the cocharacters of by .

Just like Lie groups, reductive groups have a **Lie algebra** (the tangent space to the identity), on which it acts (therefore giving a representation of the reductive group, called the **adjoint representation**). We may restrict to a maximal torus contained in the reductive group , so that the Lie algebra of gives a representation of . This gives us a decomposition of as follows:

Here is the subspace of on which acts as a character . The nonzero characters for which is nonzero are called **roots**. We denote the set of roots by .

For a character , let be the connected component of the kernel of . Let be the centralizer of in . Then the Weyl group will only have two elements, the identity and one other element, which we shall denote by . There will be a unique cocharacter satisfying the equation

for all characters . This cocharacter is called a **coroot**. We denote the set of coroots by .

The datum is called the **root datum** associated to . This root datum is actually independent of the chosen maximal torus, which follows from all maximal tori being contained in a unique conjugacy class in .

There is also a concept of an “abstract” root datum, a priori having seemingly nothing to do with reductive groups, just some datum where and are finitely generated abelian groups, is a subset of , and is a subset of , and they satisfy the following axioms:

- There is a perfect pairing .
- There is a bijection between and .
- For any , and its image in under the aforementioned bijection, we have .
- For any , the automorphism of given by preserves .
- The subgroup of generated by is finite.

Again, a priori, such a datum of finitely generated abelian groups and their subsets, satisfying these axioms, seems to have nothing to do with reductive groups. However, we have the following amazing theorem:

**Any abstract root datum is the root datum associated to some reductive group.**

For reductive groups over an algebraically closed field, the root datum classifies reductive groups:

**Two reductive groups over an algebraically closed field have the same root datum if and only if they are isomorphic.**

Let us now discuss how root datum helps us understand the automorphisms of a reductive group. For this we need to expand the information contained in the root datum.

A **root basis** is a subset of the roots such that any root can be expressed as a unique linear combination of the roots, where the integer coefficients are either all positive or all negative. A **based root datum** is given by , i.e. the usual root datum together with the additional datum of a root basis .

The root datum already determines the reductive group . What does the additional data of a root basis mean? The root basis corresponds to a Borel subgroup of that contains our chosen maximal torus . A **Borel subgroup** of is a maximal connected solvable Zariski closed algebraic subgroup of .

A **pinning** is the datum where is a maximal torus, is a Borel subgroup containing , and is a basis element of . Given a pinning, a **pinned automorphism** of is an automorphism of that preserves the pinning.

An **inner automorphism** of a group is one that comes from conjugation by some element; in a way they are the automorphisms that are easier to understand. The inner automorphisms form a normal subgroup of the group of automorphisms , and the quotient is called . We have similar notions for algebraic groups.

Now a pinned automorphism is an automorphism, therefore has a map to . A pinned automorphism also has a map to the automorphisms of the corresponding based root datum. Both of these maps are actually isomorphisms! Therefore we have a description of as follows:

**The automorphisms of as an algebraic group are given by the semidirect product of the inner automorphisms and the automorphisms of the based root datum.**

In this post we have only focused on the case of reductive groups over algebraically closed fields. Over more general fields the theory of reductive groups, for instance the classification, is more complicated. This will hopefully be tackled in future posts on this blog.

References:

Algebraic group on Wikipedia

Linear algebraic group on Wikipedia

Reductive group on Wikipedia

Root datum on Wikipedia

Topics in automorphic forms (notes by Chao Li from a course by Jack Thorne)

Representation theory and number theory (notes by Chao Li from a course by Benedict Gross)

Lectures on the geometry and modular representation theory of algebraic groups by Geordie Williamson and Joshua Ciappara

Algebraic groups by J. S. Milne

Pingback: Reductive Groups Part II: Over More General Fields | Theories and Theorems