Let be the moduli stack of elliptic curves. Given a scheme
, maps
are given by the groupoid of elliptic curves over
, together with isomorphisms between them. The goal of this post is to compute
away from the primes
. (This is done in Mumford’s paper “Picard groups of moduli problems.”)
In the previous post, we saw that could be described as a quotient stack. Namely, consider the scheme
and the Weierstrass equation
cutting out a subscheme . This is a flat family of projective cubic curves over
with a section (the point at infinity given by
). There is an open subscheme
over which the family
is smooth, i.e., consists of elliptic curves. A little effort with cohomology and Riemann-Roch allows us to show that, Zariski locally, any elliptic curve
can be pulled back from one of these: that is, any elliptic curve locally admits a Weierstrass equation.
The Weierstrass equation was not unique, though; any change of parametrization (in affine coordinates here)
preserves the form of the equation, and these are the only transformations preserving it. In other words, the map
exhibits as a torsor over
for the group scheme
with a multiplication law given by composing linear transformations. That is,
that is, to give a map , one has to choose an étale cover
of
(Zariski is enough here), maps
inducing elliptic curves over the
, and isomorphisms (coming from maps to
) over
.
1. The presentation away from 2 and 3
It turns out that admits a simpler and less “stacky” presentation: it is a quotient of of an open subset of affine space by
.
Namely, consider any Weierstrass equation
over a ring where
are invertible. Then completing the square and the cube reduces the equation to the form
This equation is not unique either, but there are far fewer automorphisms of an equation of this form. Namely, they are given by
This transformation acts by .
There is a “universal” Weierstrass equation of the above form; namely, we consider the scheme
and the subscheme of cut out by the equation
. This is an elliptic curve over
(the invertibility of the discriminant
precisely takes care of that). By the same analogy, we find that over a
-scheme (i.e., one over which
is invertible), any elliptic curve can Zariski locally be pulled back from this one in a manner unique up to
-action.
Putting this together, we find:
Proposition 1 The stack
is isomorphic to the quotient stack
where the multiplicative group acts as above.
This gives an alternative smooth cover of away from
and
, which is a little easier to work with (one is quotienting by a smaller group).
2. -actions and gradings
From here it will be straightforward to obtain a description of . Namely, we saw in the previous section that
was the quotient of
under the action of the multiplicative group
, and thus gave a faithfully flat cover of the stack.
Now, by descent theory, we can identify line bundles on with
-equivariant line bundles on
: in other words, one should have a projective module of rank one over
together with a coaction of the Hopf algebra
associated to the multiplicative group.
What can such an equivariant line bundle be? is a unique factorization domain, so any line bundle is trivial. The only question is that of the
-action and how that can vary. Here a fruitful point of view is that a
-action on an abelian group
(that is, the structure of a comodule over
on
) is the same thing as a
–grading of
. If we imagine the situation analytically, the intuition is that a
-action on a topological vector space gives a grading of the vector space by decomposition into character eigenspaces. That is, given an
-action on the topological vector space
, we have
where a vector belongs to
if and only if
is an eigenvector for
with eigenvalue given by the character
.
In the algebraic situation, one has a structure map
if is given a structure of comodule over
. Given an element
, we have
Coassociativity and the fact that the comultiplication sends implies that
It follows that ; this is the analog of being an eigenvector in the earlier sense. If we define
to consist of all vectors
satisfying
, then we get a decomposition
which is to say a grading of .
3. The Picard group
We saw in the previous section that (where I will abbreviate
) can be identified with the group of isomorphism classes of
-equivariant line bundles on
. We also saw two things that simplify the problem considerably:
- Every (nonequivariant) line bundle on
is trivial.
- A
-action is the same as a grading.
So, in other words, is just the group of isomorphism classes of free
-modules of rank 1. Any such is a shift of
, so the Picard group is a quotient of
: we just need to see when two shifts can be isomorphic.
For this, let’s determine the grading on the ring (which we need even to make sense of this problem). The grading came from the
-action on
: here
was multiplied by
and
by
. It follows that
is in degree
and
in degree
.
Now, the only way a grading shift by of the module
(considered as graded from the graded ring) could be isomorphic to
is if there is an invertible element, homogeneous of degree
. This happens precisely if
is a multiple of
: the invertible elements in the ring are just
, and
lives in degree twelve.
We find:
Theorem 2 We have an isomorphism
.
We don’t yet have a very geometric interpretation of the generator of this Picard group (other than saying that it corresponds to a suitable module with a -action). It can be constructed as follows (even when
is not invertible). In order to define a line bundle
over
, we need to specify, for each ring
and elliptic curve
, an
-module projective of rank one together with certain naturality isomorphisms. Given
, we define the
-module
where is the sheaf of Kähler differentials on
.
Proposition 3
defines a line bundle over
, which when restricted to the locus where
is invertible is a generator for the Picard group.
To see this, we will show more generally that if is any elliptic curve, then formation of the pushforward
commutes with base change in
and is always a locally free sheaf of rank one. This follows from the general machine of cohomology and base change, and the fact that it is true for an algebraically closed field (by Riemann Roch). (I think: there are a few details to check which I’m omitting here when the base is nonreduced.)
Now, given an elliptic curve defined by a Weierstrass equation , there is a global nonzero holomorphic differential
on the curve. (One has to check that it is actually holomorphic at .) For instance, this would define a differential on the elliptic curve over
. Under action of the multiplicative group,
is multiplied by
and
by
, so
lives in grading
. Since
is a generator, it follows that the line bundle
corresponds to
in the previous isomorphism
.
4. Projective case
The idea that -actions are the same as gradings can be used in a simpler example, where one knows the answer by other means: projective space. Let
be a ring. Consider the open subscheme
given by the locus where any one of the coordinates is invertible: to give a map of
-schemes
(for an
-algebra) is the same as choosing
elements of
, one of which is invertible. There is an action of
on
, which places each of the polynomial generators in degree 1; the subscheme
is stable and inherits a
-action.
We have:
The left-hand-side here means a stacky quotient, although in fact no automorphisms are introduced by it. From this point of view, it is straightforward to see that if
is, say, a field. For in this case any line bundle over
is trivial (
is, modulo codimension
, affine space). So the only data necessary to specify a line bundle on
is a grading; this corresponds to the classical isomorphism
(valid for a field
). In addition, this observation makes more apparent the connection between quasi-coherent sheaves on projective space and graded
-modules.
Leave a Reply