# Is there an algebraic curve over Q which is not modular?

Every elliptic curve $E/\mathbf Q$ is modular, in the sense that there exists a nonconstant morphism $X_0(N) \to E$ for some $N$.

It is tempting to extend this definition in a naïve way to an arbitrary projective curve over $\mathbf Q$; if $Y$ is such a curve, we might say that $Y$ is modular if there exists a nonconstant morphism $X_0(N) \to Y$ for some $N$. A necessary condition for $Y$ to be modular is that it should have at least one rational point, since $X_0(N)$ always has a rational point. For an elliptic curve, this condition is satisfied by definition.

There are certainly a great deal of curves which are modular in this sense. But is there an example of a curve (with a rational point) which is not modular?

-

One expects that the majority of algebraic curves over number fields having genus $> 1$ should not be modular in this sense.

For instance, take a sufficiently general genus 2 curve $C$ over $\mathbf{Q}$. Then its $\ell$-adic $H^1$ (which is just the $\ell$-adic Tate module of its Jacobian) will be a 4-dimensional Galois representation whose image lands inside $\mathrm{GSp}_4(\mathbf{Z}_\ell)$. If $C$ is sufficiently generic, then the image of this Galois representation should be the whole of $\mathrm{GSp}_4(\mathbf{Z}_\ell)$ for all but finitely many $\ell$; in particular, it will be absolutely irreducible. (I don't know if this is known, but certainly one expects it to be the case.) On the other hand, if $C$ admits a non-constant map from $X_0(N)$, then the its $H^1$ would have to be a quotient of the $H^1$ of $X_0(N)$, and this can be calculated in terms of modular forms; in particular all its absolutely irreducible subquotients have dimension 2. So most genus 2 curves $C$ will not be modular in your sense. and if you get one that is, you should regard it as a rather unlikely coincidence.

(A more high-powered interpretation of this is that $H^1(C)$ should be the Galois representation attached to a degree 2 Siegel modular form. In some very special cases this Siegel modular form will be endoscopic, i.e. describable in terms of lifts from elliptic modular forms, but most Siegel mod forms will not be endoscopic and thus will not have anything to do with $X_0(N)$ for any $N$.)

If you're willing to relax your definition of "modular", though, you can get many more possibilities. There's a very striking result of Belyi stating that any algebraic curve defined over a number field can be obtained as the quotient of the upper half-plane by some subgroup of $PSL(2, \mathbf{Z})$, although the corresponding group will usually not be a congruence subgroup.

-
The H^1 is (up to twist) the Tate module of the Jacobian, and the representation on the Tate module of the Jacobian has to preserve the Weil pairing into roots of unity, which is a symplectic pairing. – David Loeffler May 12 '13 at 9:19
Wouldn't you expect the modular forms to be attached to automorphic reps of GSpin? – Keerthi Madapusi Pera May 12 '13 at 16:30
Ah, thank you David – Bruno Joyal May 12 '13 at 17:34
@Keerthi: it is true that irreducible 2g-dimensional symplectic Galois representations should correspond to automorphic forms on $GSpin(2n+1)$, but there is an exceptional isomorphism between $GSpin(5)$ and $GSp(4)$. – David Loeffler May 12 '13 at 20:46
(Sorry, that should say $GSpin(2g + 1)$, of course.) – David Loeffler May 12 '13 at 20:46

It is conjectured that there are only finitely many curves over $\mathbf{Q}$ of given genus $g \geq 2$ which are covered by a modular curve, see Conjecture 1.1 in the following paper :

Baker, M. H. ; González-Jiménez, E. ; González, J. ; Poonen, B. . Finiteness results for modular curves of genus at least 2. Amer. J. Math. 127 (2005), no. 6, 1325--1387.

In fact, the authors prove a strong result towards this conjecture, namely that there are only finitely such curves which are new (in an appropriate sense).

-
A complement to David's very good answer. A necessary condition for a curve $C$ over $\mathbb Q$ to be modular in your sense is as follows:
(RM): each simple abelian variety $A$ that appear at a quotient of the Jacobian of $C$ is such that $End(A) \otimes \mathbb Q$ contains a totally real field of degree dim $A$ over $\mathbb Q$.
Note that the condition on $A$ depends only on the isogeny class of $A$, so by Poincaré's theorem (RM) does not change if we replace the word "quotient" by "sub-abelian variety{. Note also that, to paraphrase David's argument, a generic abelian variety, and even a generic Jacobian should have $End(A)=\mathbb Z$, so should not satisfy the relevant condition if the genus is greater than one.