I’ve been trying to learn something about deformations of abelian varieties lately. One of the big results is:
Theorem 1 The “local moduli space” of an abelian variety is smooth of dimension , if .
Why might you care about this result? Let’s say you’re in the case , so then presumably you’re interested in the stack of elliptic curves. This is a Deligne-Mumford stack: that is, there are enough étale maps from affine schemes, and as a result it makes sense to talk about the strict henselianization at a point (or the completion at a “point” from an algebraically closed field). Then, the point of the above theorem is that you can work out exactly what that is: it’s a one-dimensional thing. This isn’t too surprising, because the isomorphism class of an elliptic curve depends on one parameter (the -invariant). So knowing the deformation theory of elliptic curves lets you say what looks like, very locally.
Let’s make this a bit more precise. An actual formulation of the theorem would specify what “local moduli” really means. For us, it means deformations. A deformation of an abelian variety over an artin local ring with residue field is the data of an abelian scheme (that is, a proper flat group scheme with abelian variety fibers) together with an isomorphism of abelian varieties .
Theorem 2 Let be an algebraically closed field, and let be an abelian variety. Then the functor of deformations of is prorepresentable by for the ring of Witt vectors over .
In other words, to give a deformation of over an artin local with residue field is the same as giving a homomorphism of local rings
The relevance of here essentially comes from the fact that every complete (e.g. artin) local ring with residue field is uniquely a continuous -algebra. If we restricted ourselves to -algebras, we could replace by .
1. Schlessinger’s criterion
It turns out that the above result is part of a very general phenomenon: many nice formal moduli problems turn out to be prorepresentable by power series rings over Witt vectors.
For instance, let be a separably closed field, and let be a formal group law over of height . We might ask for deformations of : that is, formal group laws over an artin local ring with residue field which reduce to mod the maximal ideal, modulo isomorphisms which are the identity mod the maximal ideal. A theorem of Lubin and Tate states:
Theorem 3 (Lubin, Tate) The functor classifying deformations of (mod isomorphism) is prorepresentable by .
(For instance, the multiplicative group has no nontrivial deformations.)
This theorem turns out to be connected with the formal moduli problem for abelian varieties—a theorem of Serre and Tate states that, for instance, deformations of a supersingular elliptic curve are the same as deformations of their formal group. A supersingular elliptic curve has a formal group law of height two, so Lubin-Tate theory gives the same answer as we would have expected: the deformation theory of such an elliptic curve is prorepresentable by .
As another example, we might consider the deformation theory of curves of genus . Again it turns out that the deformations of such a curve are prorepresentable by ; this reflects the fact that such a curve should depend on parameters.
Anyway, it turns out that the Lubin-Tate theorem, as well as the theorem mentioned at the beginning, all fit into a common framework: roughly speaking, moduli problems which do not admit infinitesimal automorphisms, and which have no obstructions to lifting, will be prorepresentable by power series rings over .
Let be a field, and let be the category of artin local algebras with residue field .
Theorem 4 (Schlessinger) Let be a moduli problem (i.e., a functor with ). Suppose satisfies:
- for every triple and surjections .
- is formally smooth: for a surjection , the map is surjective.
- The tangent space to is of finite dimension .
Then is prorepresentable by the ring .
This is really a special case of Schlessinger’s more general criterion for when a moduli problem is prorepresentable (or more generally, has a “hull”). The tangent space to is defined as ; it’s not too hard to show that under the above hypotheses, this acquires the structure of a -vector space.
such that (i.e., isomorphism classes of elements of ). A very natural condition to require now is that
where one uses the appropriate 2-fibered product of groupoids. When passing to , we get a surjection rather than a bijection in (1).
The reason that the condition on is natural is that is obtained by a gluing process: are glued along the common closed subscheme . So, roughly, giving a geometric object over is the same as giving one over and one over together with an isomorphism of the two restrictions to . For instance, this is true for flat families of schemes.
Now, if the groupoid-valued functor is discrete, then the reduction does satisfy (1) above. This is going to be the case for deformations of abelian varieties, which are rigid in this sense, and it’s also the case for deformations of formal group laws and curves of genus . Finally, the smoothness condition is what makes the prorepresenting object be a power series ring: it reflects the formal smoothness of the prorepresenting ring.
2. The proof of Schlessinger’s theorem
The proof of Schlessinger’s criterion in the formally smooth, left-exact case (which is all we need here) is a lot easier than in the general case. So, let’s say we have a left-exact functor satisfying the conditions of the theorem. In particular, we have a collection of elements which form a basis for this vector space. Since is formally smooth, each can be lifted to for each , and in the limit we get elements
Since is product-preserving, these together define an element of , or a morphism of functors
By construction, this natural transformation of functors is an isomorphism on ; the goal is to show that it is an isomorphism on all rings in .
This can be done by induction on the length of an element of ; the key point is that and the functor prorepresented by are formally smooth—because the Witt vectors are formally smooth, though this isn’t immediate. Let , and suppose the map (2) is an isomorphism on rings of smaller length than . Now, choose a nonzero annihilated by the maximal ideal . We have a map , which induces a surjective map
this gives a pull-back diagram
Now via the map which sends and to the diagonal. It follows that the action of on over (obtained by adding ) actually exhibits as a -torsor over in the category .
Since is product-preserving and is surjective by smoothness, it follows that is naturally a torsor over for the tangent space at . The same is true for the smooth, prorepresentable functor . By induction, the map in (2)
is an isomorphism, and the map on tangent spaces is an isomorphism. It follows that (2) is an isomorphism for as well. This proves Schlessinger’s theorem.
3. Deformations of abelian varieties: outline
Now let’s specialize to the case of interest in this post: deformations of abelian varieties. Let be an abelian variety. We are interested in abelian schemes for a local artin algebra with residue field , together with an isomorphism of with over the closed point. We want to see that this is a moduli problem prorepresentable by . Most of this will follow from:
Proposition 5 Deformations of abelian varieties are unobstructed and have no infinitesimal automorphisms.
In other words, if is a deformation of and is an infinitesimal thickening, then the deformation can be lifted to ; this is the smoothness condition. Moreover, has no nontrivial automorphisms reducing to the identity on the special fiber. The latter means that the (more natural) groupoid-valued functor
which is product-preserving, is actually discrete. Consequently, the less fancy set-valued functor
is also product-preserving. This is something special: a scheme admits infinitesimal automorphisms if (i.e., there are nontrivial vector fields). But for an abelian variety, a vector field is determined by its value at zero, and that must be zero if it is an infinitesimal automorphism of the abelian variety.
So, if we believe these two things, then we find by Schlessinger’s theorem that the deformation problem for an abelian variety is prorepresentable by for some —to determine which, we need to analyze deformations over . Fortunately, that turns out to be relatively straightforward, in view of the following.
Proposition 6 There is a bijection between isomorphism classes of deformations of as an abelian variety over and abstract deformations of as a plain variety over .
In general, abstract deformations of a plain variety over (“first-order deformations”) are classified by . For an abelian variety, because the tangent bundle is parallelizable, and has dimension . This gives the as claimed.
In the next post, I’ll describe the proof of the above facts, and analyze the situation more carefully.