This is the script for a presentation I gave for the Directed Reading Program at the University of Minnesota in the Fall of 2019. In it, I dicuss how the root datum is an extension of the root system, and how we can use it to distinguish between linear algebraic groups.

#### Motivation

In the following all linear algebraic groups are assumed semisimple. Linear algebraic groups are of crucial importance in the study of algebraic geometry. We would like to understand the structure of these linear algebraic groups, and studying maps to and from the group can be more fruitful than working with the group directly. Characters and cocharacters are these maps and give rise to root systems. Root systems are the primary invariant for linear algebraic groups, but they do not completely characterize the linear algebraic group. We would like to extend this invariant to completely characterize the linear algebraic group; this is the root datum. Two prototypical examples of linear algebraic groups are

.

The root datum of these two linear algebraic groups are

and ; so how does the root datum really distinguish between these two linear algebraic groups? It’s more subtle than one might think.

#### Characters and Cocharacters

The setting is a linear algebraic group over . On we have maps called characters which are multiplicative homomorphisms. We denote the set of characters on by . Dual to the characters, we have cocharacters: multiplicative homomorphisms . We denote the set of cocharacters on by . The characters and cocharacters form respective groups under multiplication.

In there exists subgroups called tori which are characterized by being isomorphic to the set of diagonal matrices in for . With respect to inclusion, there exists maximal tori (we may have more than one but they all isomorphic up to conjugation). Choosing a maximal torus , we may restrict the characters and cocharacters to . We usually consider characters on , and write and for the set of characters and cocharacters restricted to respectively.

#### Characters and Cocharacters of and

Let’s determine the characters and cocharacters with respect to a maximal torus for and :

- A maximal torus for is given by the set of matrices

.

Any character must be a multiplicative homomorphism, so the characters take the form

.

Dually, the cocharacters are given by the maps

.

In particular, we can identify the character and cocharacter groups with .

- A maximal torus for is given by the classes

.

Analogous to the case for , the characters are

,

and the cocharacters are

.

In particular, we can identify the characters with and the cocharacters with .

#### Root Systems

Defined the root system of by

,

where is a technical condition meaning there exists some matrix such that for any we have . In other words, acts like conjugation by for at least one matrix . We usually label roots by . Dual to every root , there is a unique coroot defined by . These coroots form a coroot system not necessarily isomorphic to .

#### Root and Coroot Systems of and

Both and have root systems of type meaning there is only one root (and its negative). Root systems of type are self-dual so the coroot system also has one root (and its negative). Let’s describe the root and coroot for and .

- The root for is the map

.

The corresponding coroot is the map

.

- The root for is the map

.

The corresponding coroot is the map

.

#### Lattices

The root lattice of is the -module generated by . Dually, the coroot lattice is the -module generated by . Denoting the lattices by and , its a general fact that and and these subgroup are invariants of . This additional combinatorical data with the root datum classifies the semisimple linear algebraic group completely, and gives us a way to distinguish between and purely from the root information.

#### Root Datum

The root datum of is the quadruple with an implicit bijection (this is the map ). The root dataum classifies the semisimple linear algebraic group completely by a theorem of Chevalley:

Theorem (Chevalley Classification Theorem): Two semisimple linear algebraic groups are isomorphic if and only if they have isomorphic root datum. To each root datum there exists a semisimple linear algebraic group which realizes it.

The importance piece to take away from this theorem is that with the root datum we can deduce how the root and coroot lattices fit inside the space of characters, and its this data which characterizes the semisimple linear algebraic group.

#### Root Datum of and

Let’s show and and not isomorphic by only using the root datum. By the Chevalley classification theorem we only need to show the root datum are not isomorphic.

- The root datum of is . The root is

so any element in is of the form

.

Therefore is an index subgroup of . The coroot is

so any element in is of the form

.

Therefore the whole .

- The root datum of is . The root is

so any element in is of the form

.

Therefore is the whole . The coroot is

so any element in is of the form

.

Therefore is an index subgroup of .

This tells us that the roots and coroots of fit into the corresponding lattices dual to how the root and coroots of fit into the corresponding lattices. Because of this reason the root datum cannot be isomorphic and so and are not isomorphic.