## Character groups of algebraic tori

Posted by Martin Orr on Sunday, 24 January 2010 at 18:10

In this post I will return to the subject of algebraic tori. Just as Pontryagin duality classifies locally compact abelian groups through their characters, so algebraic tori are also classified by their characters.

In order to account for the arithmetic phenomenon of non-split tori, we need to include a Galois action on the character group.
The primary result of this post is that there is an anti-equivalence of categories between {`-tori} and {finitely generated free abelian groups with a continuous action of `

`}.`

### Characters of split tori

A *character* of an algebraic group ` is a homomorphism `

`.`

The characters of ` form an abelian group under pointwise multiplication, denoted `

```
.
The map sending
```

` to its group of characters is a contravariant functor {algebraic groups over `

`} to {abelian groups}.`

For `, the characters are the maps `

` of the form `

` (for `

`).`

Any character of ```
is determined by its values on each of the factors, so is
```

```
for some
```

`.`

Hence the ` is the finitely generated free abelian group `

`.`

The character group functor {split `-tori} to {f.g. free abelian groups} is essentially surjective because isomorphism classes on both sides are indexed by nonnegative integers.`

### Hopf algebra of a split torus

Let ` and `

` be algebraic groups and `

```
a homomorphism.
To prove that the above functor is full and faithful, we need to prove that
```

` corresponds to a unique homomorphism `

`.`

It is quite simple to write this homomorphism down in coordinates, but proving it using Hopf algebras gives us practice for later when using coordinates is not so easy.

In particular the following lemma is important:

Lemma.If`is a split torus, then its characters form a`

`-vector space basis for the Hopf algebra.`

Proof.Note first that by composing with the natural inclusion`, characters can be viewed as regular functions on`

`.`

The ring of regular functions of

`is`

`.`

This has basis

`; but this is precisely the set of characters of`

`.`

End of proof.

Thanks to the lemma, ` induces a linear map (Hopf algebra of `

`) to (Hopf algebra of `

`).`

This linear map always preserves the coalgebra structure,
and because ```
is a homomorphism it also preserves the algebra structure.
And so the anti-equivalence between algebraic groups and Hopf algebras gives a unique homomorphism
```

`.`

### Characters of non-split tori

Now let ` be an arbitrary torus over a field `

`.`

If ` is non-split, the characters of `

` defined over `

```
no longer contain enough information.
Instead we work with characters defined over the separable closure:
```

`.`

Because all tori over a separably closed field are split, ` is a finitely-generated free abelian group.`

### Galois action on the characters

` comes with a continuous action of `

`.`

To construct the action we use Hopf algebras:
let ` be the Hopf algebra of `

` (over `

`).`

Then the Hopf algebra of ` is `

` and `

` acts on this via the second factor, and this action takes characters to characters.`

(The coordinate description of this action is much more complicated: first embed ` in affine space over `

```
.
With respect to this embedding, regular functions defined over
```

` are polynomials with coefficients in `

`. Let `

` act on these coefficients.)`

A morphism of tori ` is defined over `

` iff the corresponding homomorphism of character groups commutes with the Galois actions.`

So ` is a full and faithful contravariant functor {`

`-tori} to {f.g. free abelian groups with a continuous action of `

`}.`

### Obtaining a torus from a character group

All that remains to complete the anti-equivalence of categories
is to construct a ```
-torus for any given character group (with Galois action).
This Galois descent construction is very awkward to do rigorously without using Hopf algebras.
```

So suppose we are given `, a f.g. free abelian group of rank `

` with a Galois action.`

Let ` be the Hopf algebra of `

` over `

`.`

We know that characters of ` form a basis for `

```
;
write
```

` for the basis vector corresponding to `

`.`

Let ` act on `

` by`

This is a `-semilinear action and commutes with the Hopf algebra structure.`

Let ` be the subset of `

` fixed by `

```
.
By a standard Galois descent argument,
```

` is a `

`-Hopf algebra and `

`.`

Then the algebraic group over ` with Hopf algebra `

` is the required torus.`