9
votes
1answer
300 views

Easiest example where field of definition is not field of moduli

There are many examples of varieties over $\overline{\mathbb Q}$ whose field of moduli is $\mathbb Q$ but which can't be defined over $\mathbb Q$. What is the easiest such example? It should be a ...
3
votes
2answers
224 views

Families of Fano varieties over non-hyperbolic curves

Let $C$ be a non-hyperbolic (smooth quasi-projective connected complex algebraic) curve. That is, $C$ is isomorphic to $\mathbb P^1, \mathbb A^1, \mathbb G_m$, or an elliptic curve. Let $f:X\to C$ be ...
4
votes
0answers
127 views

Shimura varieties and Maximal conditions

Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for ...
1
vote
1answer
257 views

Can the Albanese map be anything?

Sorry for the vague title. This question is about the Albanese map from the variety $M$ of canonically polarized varieties to the set of abelian varieties. (The variety $M$ is not of finite type...) ...
1
vote
2answers
482 views

are moduli stacks deligne-mumford stacks in general

Let M be your favorite moduli stack over the field of complex numbers. Is it reasonable to expect M to be a Deligne-Mumford stack? I know this is true for the moduli space of curves of genus g, ...
3
votes
0answers
159 views

Does the Albanese map satisfy Torelli's theorem

Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...
4
votes
0answers
164 views

Is the moduli space of genus three smooth quartics affine?

Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine? I think this follows from a more general result on smooth complete intersections, but I'm ...
14
votes
1answer
863 views

Does the moduli space of genus three curves contain a complete genus two curve

Inspired by the question Does the moduli space of smooth curves of genus g contain an elliptic curve and its amazing answers, I ask (pure out of curiosity) whether the moduli space $M_3$ of (smooth ...
8
votes
1answer
401 views

Mordell-Weil group of the universal abelian scheme

Let $n>2$ and let $k$ be either $\bf Q$ or a finite field whose characteristic is prime to $n$. Let $A_{g,n}$ be the moduli scheme, which represents the functor, which with every $k$-scheme $S$ ...
20
votes
6answers
2k views

Does the moduli space of smooth curves of genus g contain an elliptic curve

Let $M_g$ be the moduli space of smooth projective geometrically connected curves over a field $k$ with $g\geq 2$. Note that $M_g$ is not complete. Does $M_g$ contain an elliptic curve? The answer ...
3
votes
2answers
398 views

Moduli Space of Abelian Varieties with a N-torsion point

Does there exists (as scheme, or as some sort of stack) the moduli space of principally polarized Abelian Varieties together with a point of order $N$, for $N>1$ an integer? In the case of ...
3
votes
0answers
238 views

Every curve is a Hurwitz space in infinitely many ways

Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space. A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the ...
13
votes
1answer
509 views

Arithmetic and moduli spaces of higher genus curves

Modular curves (as moduli of elliptic curves with level structure) play a key role in the study of the arithmetic of elliptic curves. The higher genus curves have very different arithmetic, but I ...
4
votes
1answer
417 views

A question about moduli spaces over $\mathbb{Z}$

I've seen, on several occasions, papers whose purpose it is to construct a moduli space over $\mathbb{Z}$ for a moduli problem for which a moduli space over $\mathbb{C}$ was already constructed. Let's ...
11
votes
2answers
576 views

Given a family of curves, when does there exist a fibered surface over Spec Z parametrizing them?

Let $X_p$ be a projective curve over the finite field $\mathbf{F}_p$ (i.e. a projective $\mathbf{F}_p$-scheme pure of dimension 1) for every prime number $p$. Let $X_\mathbf{Q}$ be a projective curve ...
6
votes
3answers
640 views

Upper bounds for ranks of modular jacobians

The following question came to me earlier as a "side question"; something I'd like to know, but which is not totally necessary for what I'm thinking about or doing: Consider the genus 32 curve ...
11
votes
2answers
1k views

Why is one interested in the mod p reduction of modular curves and Shimura varieties?

Why is one interested in the mod p reduction of modular curves and Shimura varieties? From an article I learned that this can be used to prove the Eichler-Shimura relation which in turn proves the ...
8
votes
3answers
2k views

Existence of fine moduli space for curves and elliptic curves

For the moduli problem of a curve of genus $g$ with $n$ marked points, how large an $n$ is needed to ensure the existence of a fine moduli space? For this question, terminology is that of Mumford's ...