Semistable Abelian Varieties and unipotent action

This blog post is inspired by Ribet’s “Endomorphisms of semi-stable abelian varieties over number fields”. I will talk about semi-stability for Abelian varieties, the minimal field of definition of endomorphisms and Grothendieck’s quasi-unipotent theorem.

Let’s begin with semi-stable Abelian varieties. Suppose we have a DVR R and an Abelian variety over K, the fraction field of the DVR. We say that the Abelian variety has good reduction if there is a smooth, proper model over R. On the other hand, we say that an Abelian variety has semi-stable reduction if the special fiber of the Neron model is the extension of an Abelian variety by an algebraic torus.

By Chevalley’s theorem, this is equivalent to saying that there is no additive portion over the special fiber. In the case of elliptic curves, semi stable means that the reduction can be either an elliptic curve or \mathbb G_m. We have the following criterion for semi-stability:

Theorem 1: In the above situation, an Abelian variety has semi-stable reduction if and only if the action of the inertia group of K on the Tate module is unipotent.

Proof: This is a very hard theorem (of Grothendieck?). In the case of curves, it’s quite straightforward as we now show.

If our elliptic curve has semistable reduction, consider then G_n to be the etale part of the \ell^n torsion of the Neron model of the curve (over R with $latex \ell$ not equal to the characteristic). This is non trivial (because we have semi-stable reduction) and contains \mathbb Z/\ell^n for all n since the reduction is \mathbb G_m. Therefore, the Inertia group fixes this vector in the Tate module and since the determinant is the cyclotomic character which is trivial on the Inertia group, this proves unipotency.

In the other direction, if the Inertia group fixes a vector, then the Tate module of the reduction contains a non trivial vector and so cannot be \mathbb G_a.

This theorem is closely related to the Neron-Ogg-Shafarevich criterion which is much easier to prove (see Serre-Tate). This theorem states that good reduction corresponds to the Inertia action being trivial. An important corollary is that good/semi-stable reduction depends only on the isogeny type.

In fact, etale extensions don’t change the reduction type since Neron model formation commutes with smooth base change.

Next, let us talk about Grothendieck’s quasi-unipotent theorem which will apply to Abelian varieties to show that all Abelian varieties are semi-stable after a finite (ramified) base change.

Theorem: Suppose we have a mixed characteristic DVR R with fraction field K, Galois group G_K and inertia group I_K. Suppose we have any \ell-adic finite dimensional representation V (for \ell not characteristic). Suppose the cyclotomic character is not trivial on G_K.

Then, after a finite base change, the Inertia group acts unipotently.

Proof: We make several easy simplifications. We can pass to the maximal unramified extension and so assume that G_K = I. Since the wild inertia group is pro-p, it’s order in GL(V) is finite and we can assume that it is trivial.

Thus, we have to show that the tame inertia group acts in a unipotent fashion. The tame inertia group has a topological generator (say g) which satisfies the relation \sigma g = g^\chi(\sigma) \sigma for any element \sigma \in G_K.

But then, g and g^q are conjugate for some q = \chi(\sigma). Thus, if \alpha_1,\dots\alpha_n are the eigenvalues of g, then raising to the q-th power permutes these which shows that \alpha_i^{q^r-1} = 1 for some r.

A couple of remarks about the above theorem are in order. By spreading out etc, we can in fact extend the above theorem to the geometric context: Suppose we have a monodromy representation of some Riemann surface, then this action is potentially unipotent!!

By Theorem 1 + 2, we see that any Abelian variety has semi-stable reduction after a finite base change. Now let us focus on the endomorphisms of semi-stable Abelian Varieties. This material is from Ribet’s paper.

Theorem 3: Suppose we have a semi stable abelian variety over a DVR as above and an endomorphism f defined over an algebraic closure. Then, in fact the endomorphism is defined over an unramified extension.

Proof: We know that the Inertia action is unipotent. To say that the endomorphism is defined over some field is to say that f commutes with the G_K action in the endomorphism ring of the Tate Module. Therefore, we have to show that the Inertia group commutes with f.

Let \sigma be an element in the inertia group. Then \sigma acts unipotently (by semi-stability). On the other hand, some power of it commutes with f (since the endomorphism is defined after some finite base change).

Now we have an elementary lemma that finishes the proof.

The elementary lemma in linear algebra is as follows:

Elementary lemma: Suppose T,U are endomorphisms on a finite dimensional vector space such that U is unipotent and T commutes with some power U^k. Then U commutes with T.

Proof: U^k = (I+N)^k = I + k N + o(N^2) where N,N' are nilpotent. This shows that N can be written as a polynomial in U^k (by the implicit function theorem and nilpotency…) and therefore N commutes with T.

Question: In the case that U is diagonalizable, the lemma is again true because to commute is equivalent to preserving the eigenspaces. Does this in fact prove the lemma for any U whatsoever by Jordan block decomposition?

Theorem 3 now gives us several quick consequences.

Theorem 4:  Let A,A' be semi-stable abelian varieties over \mathbb Q.

a) For a semi-stable abelian variety over Q, all endomorphisms are defined over Q.

b) Any subvariety of A is defined over \mathbb Q.

c) Any isogeny A \to A' is defined over \mathbb Q.

Proof: The first is a consequence of the fact that \mathbb Q has no unramified extension. For the second, consider the endomorphism of projecting onto a factor. For the third, consider the isogeny as an endomorphism of A\times A'.

Let us look at some examples in the case of elliptic curves. In particular, if we consider CM elliptic curves (which is the only interesting case), then we see that CM elliptic curves over \mathbb Q are never semi-stable.

This is because the endomorphism ring always injects into the endomorphism ring of the vector space of rational differential forms which is one dimensional over the base field. Therefore, over the rational numbers, the only endomorphisms can be the integers.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s