# Martin's Blog

## 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

1. equivalence classes of nonsingular bilinear forms on , up to multiplication by scalars; and
2. 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.

1. Endomorphisms of simple abelian varieties From Martin's Blog

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 abelia...