## Endomorphisms of simple abelian varieties

Posted by Martin Orr on Thursday, 03 January 2013 at 15:51

Today I will discuss the classification of endomorphism algebras of simple abelian varieties.
The endomorphism algebra of a non-simple abelian variety can easily be computed from the endomorphism algebras of its simple factors.
For a simple abelian variety, its endomorphism algebra is a division algebra of finite dimension over ```
.
(A division algebra is a not-necessarily-commutative algebra in which every non-zero element is invertible.)
As discussed last time, the endomorphism algebra also has a positive involution, the Rosati involution.
There may be many Rosati involutions, coming from different polarisations of the abelian variety, but all we care about today is the existence of a positive involution.
Division algebras with positive involutions were classified by Albert in the 1930s.
```

The table lists the four types of endomorphism algebras of simple abelian varieties.
Here, ` and `

` is the centre of `

```
.
The
```

*index* of ` is `

` where `

` is the centre of `

` (`

` is always a square because `

` is a matrix algebra over `

```
).
We write
```

` for the index of `

` and `

```
.
The "involution type" column is explained below.
```

In the dimension conditions, ```
is the dimension of our abelian variety.
These conditions are valid only for abelian varieties defined over fields of characteristic zero.
All the rest of the table applies to abelian varieties defined over fields of any characteristic.
There are weaker dimension conditions in positive characteristic (they are listed in Mumford, which I do not have to hand right now).
```

Albert type | Centre | Involution type | Index | Dimension conditions | |

I | totally real | orthogonal | 1 | ||

II | totally real | orthogonal | 2 | ||

III | totally real | symplectic | 2 | ||

IV | CM | unitary |

### Division algebras with involution

Division algebras with involution are divided into two cases depending on the behaviour of the involution on the centre.
Let ` be a division algebra with involution and `

```
its centre.
Then
```

` is a field, and `

` restricts to an automorphism of `

```
.
Let
```

` be the subfield of `

` fixed by `

```
.
Because
```

` is the identity, either `

` or `

```
.
These two cases are called involutions of the
```

*first kind* and *second kind* respectively.

We can fully classify division algebras with involutions of the first kind when ```
is a number field, giving types I, II and III in the Albert classification.
Involutions of the second kind might look simpler because they give only Albert type IV, but really there are just too many of them to classify further.
```

### Involutions of the first kind

If ` is an involution of the first kind, then we can extend it `

`-linearly to an involution of `

`.`

By the Artin-Wedderburn theorem, ` is isomorphic to `

` for some `

```
.
As we saw last week, the antiautomophism
```

` of `

` corresponds to a bilinear form `

` on `

```
(defined up to multiplication by scalars).
Since
```

```
is an involution, the bilinear form is either symmetric or alternating.
Hence we can divide involutions of the first kind into two classes:
```

*involutions of orthogonal type*, which correspond to a symmetric form on `, and `

*involutions of symplectic type*, which correspond to an alternating form `.`

### The Brauer group and involutions of the first kind

We can further constrain algebras with an involution of the first kind by looking at the Brauer group of ```
.
This is the group whose elements are isomorphism classes of division algebras with centre
```

```
and whose multiplication is defined as follows:
if
```

`, `

` are division algebras with centre `

` then by Artin-Wedderburn, `

` for some division algebra `

` with centre `

```
.
We define
```

` in the Brauer group.`

The inverse of a division algebra in the Brauer group is the opposite algebra, that is the algebra with the same elements but with the order of multiplication reversed.
An involution of an algebra ` fixing `

` is an isomorphism of `

`-algebras `

`, so any algebra with involution of the first kind must satisfy `

` in `

`.`

Hence either ` in the Brauer group or `

```
is an element of order 2.
If
```

` then `

```
(and the involution must be of orthogonal type, because there is no non-degenerate alternating form on a space of dimension 1).
This is Type I in the Albert classification.
```

So far our classification has been valid for division algebras over any field.
Now we use the fact that ```
is a number field.
Class field theory implies that the index of a division algebra over a number field is equal to its order in the Brauer group (a corollary of the Albert-Brauer-Hasse-Noether theorem).
So if
```

` has order 2 then `

` is a quaternion algebra over `

```
.
(Over a general field
```

`, `

```
having order 2 only implies that the index is a power of 2.)
According to whether the involution is of orthogonal type or symplectic type, we get Types II and III in the Albert classification.
```

Conversely, given any quaternion algebra, there exists a unique involution of symplectic type and a conjugacy class of involutions of orthogonal type.

### Involutions of the second kind

Now consider an involution of the second kind.
Let ` be its restriction to `

```
.
Then
```

` does not always extend to an automorphism of `

` of order 2, so `

` need not extend to `

```
.
However if
```

` can be extended to an automorphism of `

` of order 2, then `

` can be extended to `

```
.
Then
```

` will be the adjoint involution of `

` corresponding to some Hermitian form on `

```
, similarly to how involutions of the first kind are related to bilinear forms.
Hence the are sometimes called
```

*involutions of unitary type*.
(If the involution is positive, then its restriction to ` is complex conjugation, as we will see below, so it does always extend to `

`.)`

A division algebra with an involution of the second kind satisfies `, where `

` is the Galois conjugate of `

```
.
This does not restrict the order of
```

` in the Brauer group, so the index of `

```
can be unbounded.
Also the condition
```

` is not sufficient condition for the existence of an involution of the second kind.`

### Positive involutions

So far we have only classified division algebras with involutions, without using the positivity of the involution.
The positivity of the involution is needed to get the columns on the centre and on ```
in the table above.
Arguments using the weak approximation lemma show that any field on which the identity is a positive involution must be totally real, while any field with a non-trivial positive involution is a CM field (this also establishes that a non-trivial positive involution of a field must be the restriction of complex conjugation).
```

In order to determine ` for types II and III, we note first that it must be a product of copies of `

` and the Hamilton quaternions `

```
.
Then verify that
```

` has only positive involutions of orthogonal type, while `

` has only a positive involution of symplectic type.`

### The dimension bounds

Most of the dimension bounds come from the fact that ` acts faithfully on `

```
.
(This works only over fields of characteristic zero because
```

```
is only defined in characteristic zero.
In positive characteristic we would have to use the
```

`-adic Tate modules instead, and then `

```
need not be a division algebra.)
Hence
```

` is a "`

`-vector space" and like a vector space over a field, it must be isomorphic to `

` for some integer `

```
.
Hence
```

` divides `

```
.
This gives the bounds for types II, III and IV.
```

In order to get ` instead of `

` for type I, we need to use the fact that the action of `

` on `

```
commutes with the complex structure on the latter.
First, let
```

` and `

```
.
We know that
```

` so `

` splits into `

` subrepresentations `

` of `

`, one for embedding `

```
.
The Galois group
```

` permutes the `

` transitively, so they all have the same dimension.`

Since the action of ` on `

` commutes with the complex structure, each subrepresentation `

```
is a sub-complex structure and so has even dimension.
So
```

` and `

```
is even.
This implies that
```

` divides `

`.`