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 1The 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 2We 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 3defines 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