For each genus $g$, there are many curves of genus $g$ defined over $\mathbb Q$. How many? We might study this question by considering the rational points of the Deligne-Mumford moduli space of curves $\mathcal M_g$.

Are they Zariski dense? Under the Bombieri-Lang conjecture, rational points are not conjectured to be dense in any variety of general type, and $\mathcal M_g$ is known to be dense, so probably not. So:

> What is the dimension of the largest subvariety of $\mathcal M_g$ with Zariski dense rational points?

Under the Bombieri-Lang conjecture, such a subvariety should not have any dominant rational maps to general type varieties. I think by algebraic geometry this makes it a bundle of rationally connected varieties over a variety of Kodaira dimension 0, or something like that. So one could instead ask for the largest such subvariety, a purely geometric question:

> What is the dimension of the largest subvariety of $\mathcal M_g$ that has no dominant rational maps to a variety of general type?

I'd be happy to see an conjectural and/or asymptotic answer to either question.

----

For a lower bound, observe that the hyperelliptic locus is rational, hence has Zariski dense rational points, and has dimension $2g-1$. There are many other kinds of obvious rational subvarieties in the moduli space of curves (e.g. parameterizing complete intersections), but they all seem to have lower dimensions.

> For large g, is the hyperelliptic locus the largest such subvariety?