Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I want to show that there are only finitely many elliptic curves over Spec $\mathbf Z$ without appealing to Siegel's theorem or Shafarevich' theorem.

Firstly, I think (but I am not sure) that such an elliptic curve has a Weierstrass equation $y^2=x^3+Ax+B$ with $A$ and $B$ in $\mathbf Z$. Is this true? (I think there are some problems at the primes $2$ and $3$.)

Then, by the fact that this is an elliptic curve over $\mathbf Z$, we have that the discriminant $-16(4A^3+27B^2)$ is an element of $\mathbf Z^\times = \{\pm 1\}$. Is this true?

But the absolute value of the discriminant is at least $16$, so it is never $1$. QED

Is this a correct proof?

share|improve this question
3  
How do you get the Weierstrass equation? –  Martin Brandenburg Jan 29 '13 at 23:07
    
I wanted to be sure myself, but let $E$ be an elliptic curve over $\mathbf Q$ with good reduction over $\mathbf Z$. Then its minimal regular model coincides with its minimal Weierstrass model. –  Harry Jan 29 '13 at 23:53

2 Answers 2

up vote 2 down vote accepted

For 2 elementary proofs of this fact see: http://www.cems.uvm.edu/~voight/notes/274-Schoof.pdf

share|improve this answer
    
Unfortunately, John Voight has left UVM. Here is an updated link: math.dartmouth.edu/~jvoight/notes/274-Schoof.pdf. You may want to quote part of the proof in case he moves again! –  SpamIAm Jan 17 at 1:51

Yes your equation is not the good one at $p=2, 3$. An elliptic curve over $\mathbb Z$ has an equation $$ y^2+(a_1x+a_3)y=x^3+a_2x^2+a_4x+a_6, \quad a_i\in \mathbb Z$$ with discriminant equal to $\pm 1$. The discriminant of this equation is $$\Delta=2^{-8}\mathrm{disc}(4(x^3+a_2x^2+a_4x+a_6)+(a_1x+a_3)^2).$$ You can find an explicit formula of the discriminant $\Delta$ in terms of the $a_i$ in Silverman's book. I am told that Tate proved there is no elliptic curve of $\mathbb Z$ by direct computations.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.