I’m going to describe some ongoing work with a friend of mine, John Halliday. We’re working under David Zureick-Brown.
The project concerns the moduli of abelian varieties; specifically, the goal is to provide formulae for the Frobenius and Verschiebung on, and consequently compute a certain invariant of, the Jacobian of a hyperelliptic curve in odd characteristic. The motivation for this project comes from the Hasse invariant.
There are multiple equivalent ways to state that an elliptic curve defined by over a field (of characteristic ) is ordinary, some of which are as follows.
- The formal group associated to is of height , i.e., is isogenous to .
- We have for all .
- The trace of Frobenius on is nonzero.
- The Newton polygon of is ‘‘as low as possible’’, i.e., has a line of slope from to , and has a line of slope from to .
- Let denote the coefficient of in . Then .
The last invariant is called the Hasse invariant (one can show that the Hasse invariant is congruent, modulo , to the trace of Frobenius), generalizations of which will be the focus of this post.
Supersingular elliptic curves admit a similar characterization:
- The formal group associated to is of height .
- We have for all .
- The trace of Frobenius on is zero.
- The Newton polygon is a line of slope .
- The Hasse invariant is zero.
The Hasse invariant is easy to compute, but the way it’s defined doesn’t give intuition as to why this is the correct definition. To explain the definition, we need to set some notation. Let denote the Frobenius on ; this is a morphism of schemes . The dual of this is the Verschiebung, which is a morphism .
The Verschiebung induces a morphism on (co)tangent spaces, and in particular, gives a morphism , where and is . (Note that the Frobenius also gives a morphism .) We can compute this map explicitly by fixing a nice basis for the differential forms of degree and of the first kind (these are exactly the global sections of ). This is just a one-dimensional -vector space, and choose the basis consisting of the vector , which we’ll denote by .
To determine , it suffices to determine . Explicitly, we find that we can write any element of in the form , where and , and that sends this to (exactly as one would expect the Verschiebung to behave if it’s to be a dual to the Frobenius!). Computing will be a minute’s walk away if we can write in this form.
This is easy: define numbers by the expansion . Then
One can then compute (we’ll do this in more generality below) that . Similarly, one finds that , where is the universal derivation.
In particular, the nonvanishing of the Hasse invariant is equivalent to the tangent map of the Verschiebung being nonzero. This in particular means that the multiplication-by- map (which is the Verschiebung composed with the Frobenius) will be some sort of covering of degree — and one can show that this is equivalent to having connected components.
The method of generalization to hyperelliptic curves is an exact analogue of this discussion. Let now be a hyperelliptic curve of genus , so that the degree of is . Then – exactly as above – we can consider the effect of the Verschiebung and the Frobenius on the sheaf of Kahler differentials. This gives what are known as the ‘‘modified Cartier’’ and the ‘‘Cartier’’ operators, respectively. We may pick the basis (as a -vector space) for the global sections of given by for . We can rewrite
and then attempt to compute the effect of applying and .
Again, we find that we can write any element of in the form , where and , and that sends this to .
Lemma: The action of and on is determined by the following equations.
Proof. It’s clear that , so we’ll just compute . This computation will be immediate if we can write in the form , which we can do: since , we get
It follows that
Define a matrix via ; then, if denotes the matrix such that , the Verschiebung acts via . This matrix is the Hasse-Witt matrix. It’s clear that it’s unique up to transformations of the form , where .
An important application of this construction is the following theorem.
Theorem (Yui): Let be a hyperelliptic curve of genus over . If the Hasse-Witt matrix of is in , then the Jacobian is supersingular and is isogenous to copies of a supersingular curve (over some finite extension of ).
Notice that and both take exact forms to zero. In fact, the Hasse-Witt matrix is exactly the matrix (in that basis written down above) for the action of the Frobenius on . Equivalently, by Serre duality, it is the matrix of the Verschiebung on the zeroth cohomology of the de Rham complex.
There is a larger vector space which contains more information than just and . This is the (first) de Rham cohomology of . Recall that the Hodge–de-Rham spectral sequence runs
The resulting filtration on is called the Hodge filtration. There’s a hard theorem, which is established with analytic techniques:
Theorem: The Hodge–de-Rham spectral sequence collapses at the -page if is smooth and proper.
This is fabulous, because now the associated graded of the Hodge filtration is exactly . Let . Serre duality gives us , where is the dimension of . One also has “conjugation symmetry”, which says that .
We can, in particular, consider the Hodge filtration for . This is rather easy; given the description above, we have a short exact sequence
The two associated graded are of the same dimension.
As above, suppose that was a smooth geometrically connected projective hyperelliptic curve over of genus . It follows from GAGA that is a -dimensional -vector space. Since lives over , we still have an action of and on , and so we might ask if there’s any additional information that could be gained if we were to study this action on this larger cohomology group. One way to concretely phrase this desire is through the following question.
Question: Can we write down the action of the Frobenius (and the Verschiebung) on ? This is an approximation to a harder question of computing the action of and on the crystalline cohomology of (which reduces mod to de Rham cohomology); so: equivalently, can we compute the Dieudonne module of modulo ?
The goal of our project is to answer this question. As a consequence of performing this computation, we’ll also be able to describe the “Ekedahl-Oort type” (or at least the canonical type) of Jacobians of hyperelliptic curves. I’ll describe this computation, and the final type, in the next post.