## Finiteness of elliptic curves of a given conductor

It follows from the modularity theorem for elliptic curves over $\mathbb{Q}$ that there are finitely many elliptic curves of a given conductor $N$. Moreover, one can algorithmically enumerate them. [Edit: As Emerton comments below, without further argument, this is only true for elliptic curves up to isogeny!]

Was the finiteness and/or algorithmic enumeration of elliptic curves of a given conductor known before the modularity theorem?

Every elliptic curve over $\mathbb{Q}$ can be written in the form $y^2 = x^3 + ax + b$ where $a, b \in \mathbb{Z}$ with discriminant $\Delta = -16(4a^3 +27b^2) \neq 0$. So the number of elliptic curves of discriminant $D$ is bounded above by number of nontrivial pairs $(a, b) \in \mathbb{Z}^2$ such that $D = -16(4a^3 +27b^2)$.

Let $D \in{\mathbb{Z}}, D \neq 0$ be given. Because $D \neq 0$, the cubic equation $b^2 = \frac{-D}{16\cdot27} - \frac{4a^3}{27}$ is nonsingular, so by Siegel's theorem there are finitely many solutions. It follows that there are finitely many elliptic curves of a given discriminant. Silverman's book says that Baker even gave an explicit upper bound in this case, which was refined by Stark.

However, a priori there is no bound on the size of the discriminant of elliptic curves of a given conductor, so it doesn't immediately follow that there are finitely many elliptic curves of a given conductor. Szpiro's conjecture implies that if one fixes the conductor there are only finitely many discriminants that give that conductor. However, this conjecture is open (or not, depending on the status of Mochizuki's work).

Is there a weaker form of Szpiro's conjecture that has been proved giving an upper bound on the discriminant of an elliptic curve of a given conductor? If so, what's the minimum amount of technology needed to get the results?

Of course there are also issues of effectivity as well, which I also welcome comments on.

-
Finiteness was known long before modularity. Given $N$, there are finitely many possible $D$ up to sixth powers, so finitely many equations $x^3-y^2 = D$ in $S$-units where $S$ is the finite set of prime factors of $2D$. The desired result now follows by applying Siegel's theorem for $S$-integral points on an elliptic curve. – Noam D. Elkies Sep 15 at 21:43
Perhaps I'm being dense, but why are there only finitely many discriminants for a given conductor (up to sixth powers)? – Jonah Sinick Sep 15 at 22:06
I forgot to discuss effectivity in my answer. Baker's linear forms in logs allows one to give an effective bound for the largest solution in $S$-integers to an equation of the form $x^3-y^2=D$, so as sketched by Noam, one gets an effective version of Siegel's theorem, which in turn gives an effective (but quite large) bound for the heights of the coefficients of all elliptic curves of conductor $N$. – Joe Silverman Sep 15 at 22:06
@Jonah: Look at the proof of Shafarevich's theorem, for example in my Arithmetic of Elliptic Curves book. It says something much stronger than the fact that there are only finitely many elliptic curves of a given conductor. – Joe Silverman Sep 15 at 22:08
@Joe Silverman: The way I remember it is that N_tame | N | 1728*N_tame, where N_tame is the tame conductor. – Jamie Weigandt Sep 18 at 15:51

As Noam says, this was well-known long before Wiles. The proof that he sketches can be used to prove Shafarevich's theorem for elliptic curves, i.e., given a finite set of primes $S$, there are only finitely many elliptic curves over $\mathbb{Q}$ with good reduction outside of $S$. So if you have a particular $N$ in mind, you can take $S$ to be the set of primes dividing $N$.

And there were even some fairly explicit upper bounds for the number of elliptic curves of conductor $N$. See for example my paper with Brumer, "The number of elliptic curves over $\mathbb{Q}$ with conductor $N$," Manuscripta Math. 91 (1996), 95-102. Turning things around, we can then use Wiles' theorem and the previously proven upper bound for the number of elliptic curves of conductor $N$ to immediately deduce a non-trivial upper bound for the number of elliptic factors of $J_0(N)$.

-
 Re: The juxtaposition of knowledge of the conductor of elliptic curves together with pairing between elliptic curves and elliptic factors of the Jacobian - the two in conjunction imply that e.g. $J_0(p^3)$ has no elliptic factors for a prime $p > 3$. Can one see this directly on the automorphic side? – Jonah Sinick 0 secs ago – Jonah Sinick Sep 15 at 23:17 No new factors of $J_0(p^3)$, you mean. [$J_0(p)$ is contained in $J_0(p^2)$ which is contained in $J_0(p^3)$.] – Noam D. Elkies Sep 16 at 5:10 @Noam - Yes, that's what I meant. – Jonah Sinick Sep 16 at 16:57

I just want to mention a couple of things to complement what Joe Silverman and Noam Elkies have already said.

As Brian Conrad pointed out in response to this ill-posed question of mine, you need the Shafarevich conjecture (for abelian varieties of all dimensions as proved by Faltings) to prove modularity of elliptic curves.

I also want to mention this paper of Cremona and Lingham:

which deals with the algorithmic problems of finding all elliptic curves of a given conductor as discussed in Noam's first comment. They compute the $S$-integral points on $y^2 - x^3 = D$ assuming that a Mordell-Weil basis has been computed. The ideas are implemented in Sage and can be used to find the elliptic curves with everywhere good reduction outside a sufficiently simple finite set of primes $S$.

For example, if you wanted to find all elliptic curves with everywhere good reduction outside $37$ you would use the following code

sage: egros = EllipticCurves_with_good_reduction_outside_S
sage: time curves = egros([37])
Time: CPU 1.49 s, Wall: 1.50 s
sage: for E in curves:
....:     print E.a_invariants()
....:
(0, 0, 1, -1, 0)
(0, 1, 1, -23, -50)
(0, 1, 1, -1873, -31833)
(0, 1, 1, -3, 1)
(0, 1, 1, -4563, 116200)
(0, 1, 1, -31943, -2138543)
(0, 1, 1, -2564593, -1581651042)
(1, -1, 0, 3166, -59359)
(1, -1, 0, -2276219, -1321241558)
(1, -1, 1, 2, -2)
(1, -1, 1, -1663, -25680)
(0, 0, 1, -1369, 12663)
(0, 1, 1, -12, -17)
(0, 1, 1, -2602, 50229)
(0, 1, 1, -16884, -647702)
(0, 1, 1, -3562594, 2587011456)

-