## Rosati involutions

Posted by Martin Orr on Wednesday, 05 December 2012 at 16:04

I intend to return to the basic theory of abelian varieties and write write a few posts on their endomorphism algebras and associated moduli spaces. To begin with, I will discuss the Rosati involution which is an involution of the endomorphism algebra coming from a polarisation. The existence of such an involution is crucial for the classification of endomorphism algebras which I will discuss next.

### Involutions and bilinear forms

To motivate the definition of the Rosati involution, we will begin by considering the correspondence between bilinear forms on a vector space and anti-automorphisms of its endomorphism algebra. This correspondence is also used in the classification of algebras with involution.

Let ` be a field and `

` a finite-dimensional `

```
-vector space.
If we have a nonsingular bilinear form
```

` on `

`, then we for each linear map `

`, there is a unique adjoint map `

```
satisfying
```

```
We can construct
```

` explicitly by letting `

` be the map `

` sending `

` to `

```
and then
```

This defines an *anti-automorphism* of the matrix algebra `: that is, a linear bijection `

```
which reverses the order of multiplication.
For example, if
```

` and `

` is the standard symmetric bilinear form then `

` is matrix transposition.`

Theorem.The map sending a bilinear form to its adjoint anti-automorphism is a bijection between

- equivalence classes of nonsingular bilinear forms on
`, up to multiplication by scalars; and`

- anti-automorphisms of
`.`

The main thing to be proved is that every anti-automorphism comes from some bilinear form.
This relies on the Skolem-Noether theorem, that every automorphism of ` is conjugation by some invertible matrix.`

We say that an anti-automorphism is an *involution* if its square is the identity.
Under the bijection, a bilinear form corresponds to an involution if and only if it is either symmetric or alternating.

### The Rosati involution

Let ```
be an abelian variety.
Recall that a polarisation is an isogeny
```

```
associated with an ample line bundle.
This should be thought of as being "like a bilinear form on
```

```
" although no such thing exists directly.
Being "associated with a line bundle" implies the symmetry condition
```

`, and the ampleness is a positivity condition.`

We can therefore apply the same formula as in linear algebra to define an involution of the endomorphism algebra:
```
where
```

` is the inverse of `

` in `

```
.
This is called the
```

*Rosati involution* associated with the polarisation ```
.
(Note that the involution depends on the choice of polarisation.
It preserves the order
```

` if the polarisation is principal, but not necessarily otherwise.)`

If we look at homology, either the `-adic Tate modules over any field or the `

```
-Hodge structure over the complex numbers, then polarisations give rise to symplectic forms (Weil pairings or Riemann forms).
The Rosati involution satisfies the adjoint identity
```

```
for these symplectic forms, and also for the Hermitian form on the tangent space of a complex abelian variety.
```

### Positivity of the Rosati involution

Let ```
.
For
```

`, we define `

` to be the trace of the `

`-linear map `

`.`

The Rosati involution is a *positive involution*, meaning that
```
The justification for this definition is that an involution of
```

` is positive if and only if its corresponding bilinear form on `

```
is either positive or negative definite.
The "or negative definite" might seem a bit odd, but it is because involutions only correspond to bilinear forms up to multiplication by a scalar; in particular we can multiply the form by -1.
```

Hence the positivity of the Rosati involution says that if we think of the polarisation as being "like a bilinear form", then it is "positive or negative definite" (but -1 times a polarisation is not a polarisation, so we can treat polarisations as always being "positive definite").

The general proof that the Rosati involution is positive (valid over all fields, including those of positive characteristic) uses étale cohomology to show that ```
is equal to an intersection number involving ample divisors.
I shall give a simpler proof over the complex numbers only, using the positive-definiteness of the Hermitian form associated with a polarisation.
```

Let ` be the tangent space `

` and recall that a polarisation induces a positive-definite Hermitian form `

` on `

```
.
Any
```

` induces a linear map `

`, and just as for the symplectic Riemann form, `

` is the adjoint involution with respect to `

`.`

Lemma.If`, then all eigenvalues of`

`on`

`are nonnegative real numbers, and at least one is positive.`

Proof.Let`be an eigenvector of`

`with eigenvalue`

`. Then`

`Because`

`is positive definite,`

`is a nonnegative real number and`

`is a positive real number, so`

`is a nonnegative real number.`

Now consider ` acting on `

```
by left multiplication.
The eigenvalues of
```

` on `

` are simply its eigenvalues on `

`, repeated `

` times.`

Finally ` embeds `

` as a subspace of `

` which is stable under left multiplication by `

```
.
The eigenvalues of
```

` acting on this subspace must be a subset of its eigenvalues on `

`, so are all nonnegative real numbers.`

We note also that ```
.
This is because
```

` so there is some `

` such that `

```
.
Then
```

```
so
```

`.`

The trace of ` is the sum of its eigenvalues on `

```
.
We have shown that these are all nonnegative, and becaue
```

```
, at least one eigenvalue is nonzero.
Hence the sum of the eigenvalues is positive.
```