Welcome to MathOverflow

Question

3

Hello,

In the definition of level structure of level $n$ for an elliptic curve $A$, there are two versions:

an isomorphism of group schemes $(\mathbf Z/n\mathbf Z)^2 \to A[n]$.
an isomorhpism of group schemes $(\mathbf Z/n\mathbf Z)^2 \to A[n]$ after passing to some etale cover of the base.

There is a natural map from the moduli problem of 1 to the moduli problem of 2. This map appears to be etale.

Question: for more general moduli problems (when the level is given by subgroups $H\subset GL(2,n)$), normally 2. is used. What is the reason for this?

Thanks

flag	asked Jun 11 2011 at 14:23 unknown 497●3●3

5

I think you're a bit muddled. A full level $n$ structure is 1. I am not sure what you mean by 2 -- is the cover part of the data for example? -- but my guess is that there's been a misunderstanding here. The reason that one has to be a bit more careful when doing the general $H$ case is because you want to allow the situation that the curve have a level $H$ structure but have no full level $n$ structures at all -- e.g. if $H=\Gamma_0(n)$ then you want an $H$-structure to mean a subgroup of order $n$, but a curve can have such a subgroup without having a full level $n$ structure. – Kevin Buzzard Jun 11 2011 at 16:17

2

So one way of doing a level $H$ structure (assuming $n$ invertible on the base) is to look at the isom scheme and then quotient out, and then observe that even if the isom scheme doesn't have points, the quotient still might. If you want to make this "explicit" you might start allowing base changes so you can see the points moving around under $H$. – Kevin Buzzard Jun 11 2011 at 16:19

1

[s/subgroup/cyclic subgroup/ in the above] – Kevin Buzzard Jun 11 2011 at 16:20

level structures and moduli of abelian varieties

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.