It seems to be a folklore that for any genus $g$, there is a number field $K$ and a curve $X$ over $K$, such that $X$ has good reduction at all the places of $K$. Are any simple proofs of this?
3
-
1$\begingroup$ Perhaps you could just construct them; my guess is that something like $y^2=x^n+1$ has potentially good reduction at every prime. $\endgroup$– Tim DokchitserCommented Aug 19, 2013 at 8:05
-
$\begingroup$ Related: math.stackexchange.com/questions/1780629 $\endgroup$– WatsonCommented Dec 3, 2018 at 13:29
-
$\begingroup$ As I mentioned in the above link, for $g=2$, an explicit example is given here. $\endgroup$– WatsonCommented Dec 4, 2018 at 10:59
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
2
One way of seeing this is by appealing to Rumely's general local-global principle over $\bar{\mathbb{Z}}$, applied here to the moduli stack: an algebraic scheme over the algebraic integers $\bar{\mathbb{Z}}$ has a solution (point) in $\bar{\mathbb{Z}}$ if and only if it does in all $v$-adic completions $\bar{\mathbb{Z}}_v$. I don't know if this is a simple proof, though - it is probably not what you are looking for.
Here is a link to Rumely's paper:
answered Aug 19, 2013 at 2:23
-
1$\begingroup$ Rumely's paper solves the problem for affine irreducible schemes over the algebraic integers. The extension to Artin stacks is due to Laurent Moret-Bailly, see his paper Problèmes de Skolem sur les champs algébriques, Compositio Math. 125, 1--30, 2001. Moret-Bailly gives applications to moduli stacks of curves; see notably his Exemple 0.9. $\endgroup$– ACLCommented Aug 19, 2013 at 7:34
-
4$\begingroup$ You can also apply Rumely's theorem directly to the moduli space of tricanonically embedded smooth curves of genus $g\geq2$: this is a scheme (subscheme of some Hilbert scheme), which is quasiprojective, smooth and surjective over $\mathrm{Spec}\:\mathbb{Z}$. Moreover it is a $GL_N$-bundle over the stack $M_g$ for some $N$, hence has geometrically connected fibers over $\mathrm{Spec}\:\mathbb{Z}$ by Deligne-Mumford. So Rumely's theorem applies. $\endgroup$ Commented Aug 19, 2013 at 14:52