Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.

Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]$ classifying abelian varieties with $N$-level structure.

Is there a finite proper map $A_g(N)\to A_g$ over $\mathbb Z$ with a

nice moduli interpretation, which recovers the usual notion of $N$-level structure over $\mathbb Z[\frac 1N]$?

**Remark:** In fact, I believe that such an $A_g(N)\to A_g$ is determined canonically from $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]$ by "normalizing in the function field", so the content of the question is really to have a good moduli interpretation for this canonical extension.

In more informal terms, I'm just asking:

What is the "right" notion of $p$-level structure on an abelian variety in characteristic $p$?

The impression I get from reading in various places is that the answer to this is well-known, but I haven't been able to find a good reference. I don't have a specific type of level structure in mind. I'd just like to know what is known (and where to find it) for some common notions of level structure. **EDIT**: Actually, for level structures consisting of a choice of *subgroup(s)*, there is a natural choice of moduli space over $\mathbb Z$ classifying abelian varieties with a choice of subgroup scheme(s) (or equivalently, isogenies) and this is valid in "bad" characteristics -- see, e.g. the end of Chai. So, let me state my question for level structures given by choices of *point(s)*, e.g. "a point of exact order $N$", or full level $N$ structure.

For elliptic curves, Katz--Mazur showed that the answer is provided by the notion of a *Drinfeld level structure* (first considered by Drinfeld). For example, the "right" notion of a $p$-torsion point on an elliptic curve $E\to S$ (for *any* scheme $S$) is a point $P:S\to E$ so that:

- $pP=1$.
- The Cartier divisor $\sum_{i=0}^{p-1}[iP]$ is a subgroup scheme.

As Katz--Mazur write, it is not clear how to generalize this notion to abelian varieties since points are no longer divisors.

principally polarizedabelian schemes (of relative dimension $g$); the polarization aspect comes along for free uniquely when $g=1$ but not otherwise, as you undoubtedly know. I was once told that there is a paper by Chai and Norman (title I do not know) which shows in some sense that there isn't a good version of Drinfeld's idea beyond relative dimension 1. Perhaps email your question to Chai (or Kai-Wen Lan) if you don't receive a satisfactory answer here. $\endgroup$ – user76758 Dec 28 '13 at 20:19