10
$\begingroup$

Sometime back i watched the documentary of Andrew Wiles proving the Fermat's Last theorem. A truly inspiring video and i still watch it whenever i am in a depressed mood. There are certain things(infact many) which i couldn't follow and i would like it to be explained here.

The first is:

The Taniyama-Shimura conjecture. In the video it's said that that an elliptic curve is a modular form in disguise. I would want someone to explain this statement. I have seen the definition of a Modular form in Wikipedia, but i can't correlate this with an elliptic curve. The definition of an elliptic curve is simply a cubic equation of the form $y^{2}=x^{3}+ax+b$. How can it be a modular form?

Next, there was a mention of this Mathematician named "Gerhard Frey" who seems to considered this question of what could happen if there was a solution to the equation, $x^{n}+y^{n}=z^{n}$, and by considering this he constructed a curve which is not modular, contradicting Taniyama-Shimura. If he had constructed such a curve then what was the need for Prof. Ribet to actually prove the Epsilon conjecture.

Lastly, here i would like to know this answer: How many of you agree with Wiles, that possibly Fermat could have fooled himself by saying that he had a proof of this result? I certainly disagree with his statement. Well, the reason, is just instinct!

  • 2
    To be frank, Chandru, this is one of your better questions. :)2010-09-18
  • 2
    @Chandru1: Frey did not prove that the Frey curve is not modular. That is what Ribet did.2010-09-18
  • 1
    I remember someone guessing that Fermat had proved his theorem for $n = 3$ and he supposed his proof would generalize, while it turns out that it doesn't.2010-11-22

2 Answers 2

7

The elliptic curve is not a modular form. The idea that there is a modular form $f$ associated to $E$. It satisfies $$f(z)=\sum_{n=1}^\infty c_n q^n$$ where $q=\exp(2\pi i z)$, $c_1=1$ and (with finitely many exceptions) for prime $p$, the equation $y^2=x^3+ax=b$ has $p-c_p$ solutions $(x,y)$ considered modulo $p$. It also satisfies various other conditions that I won't spell out (that it's a "newform" for a modular group $\Gamma_0(N)$ etc.)

  • 0
    Robin, please correct my impression of the whole setup if I'm wrong: what Frey did amounted to constructing a "weird" elliptic curve that, if it did not have an associated modular form, would imply the falsity of TSC and thus FLT. Meaning, what Ribet essentially did to settle the ε conjecture was to show that the Frey curve does have an associated modular form.2010-09-18
  • 2
    @J. M.: Ribet proved (a statement that implies) that the Frey curve is _not_ modular. That is the contradiction that allows the Taniyama-Shimura conjecture to imply FLT.2010-09-18
2

The starting point of the link between elliptic curves and modular forms is the following.

From a topological point of view, elliptic curves are just (2-dimensional) tori, i.e. products $S^1\times S^1$, where $S^1$ is a circle.

A torus has always an invariant never vanishing tangent field. Dually, one can find a non-vanishing invariant differential form $\omega$ on every elliptic curve $E$. It is a useful exercise to write $\omega$ in terms of the coordinates $x$ and $y$ when $E$ is given as a Weierstrass cubic.

If you have a modular parametrization $\pi:X_0(N)\rightarrow E$ you can pull-back the form $\omega$ to $X_0(N)$ and in terms of the coordinate $z$ in the complex upper halfplane $\pi^*(\omega)=f(z)dz$ for some holomorphic function $f(z)$. It is basically immediate that $f(z)$ is a modular form of weight $2$.

  • 0
    btw, my opinion is that Fermat didn't have a valid proof of his statement.2010-09-18
  • 0
    Non-expert's question: the parametrization of an elliptic curve as $(x\;y)=(\wp\left(u;g_2,g_3\right)\;\wp^{\prime}\left(u;g_2,g_3\right))$ is a modular parametrization?2010-09-18
  • 2
    No, that's Weierstrass parametrization. The Weierstrass $\wp$ function and its derivative are meromorphic functions on the complex plane wich are periodic with respect to a lattice $\Lambda$. Thus, they realize an embedding of ${\Bbb C}/\Lambda$ into the projective plane whose image turns out to be a cubic.2010-09-18
  • 2
    Weierstrass parametrizations exist for all elliptic curves (where "elliptic curve"="algebraic curve of genus 1") whereas modular parametrizations are more an arithmetic phenomenon (STW conjecture dealt only with elliptic curves defined over the rationals)2010-09-18
  • 0
    Hmm,the precious little I know is something like: Weierstrass functions are doubly periodic (elliptic) , and their having a period parallelogram allows the embedding of the corresponding lattice into the projective plane. I sort of got lost on why having a Weierstrass parametrization does not correspond to having a modular parametrization. Aren't modular functions just elliptic functions with transformed arguments?2010-09-18
  • 0
    I mean for instance, modular functions can take the nome $q=\exp(i\pi\tau)$ (and apparently sometimes this is squared for convenience) or a ratio of periods $\tau$ as argument, which ties in intimately to elliptic functions (and then theta functions as well)... right?2010-09-18
  • 1
    @J. M.: the Weierstrass function is really a function of two things: a parameter tau which lives on the upper half plane, and another parameter which lives in the elliptic curve C/(1, tau). Generally we speak of the Weierstrass function as if tau were constant (making it an elliptic function), but it is also possible to speak of the Weierstrass function as a Laurent series in its second parameter while varying tau (making its _coefficients_ modular forms). The Weierstrass function in its totality is therefore something more complicated called a Jacobi form.2010-09-18
  • 0
    @Qiaochu: Thanks for the great answers, I was more accustomed to applications where Weierstrass $\wp$ has indeed fixed $g_2$ and $g_3$ (and thus fixed $\tau=\frac{\omega_3}/{\omega_1}$, yes). $\tau$ having to be in the upper half of the complex plane I understood because at least one of the periods $2\omega_1$ and $2\omega_3$ should have nonzero imaginary part (or Weierstrass won't be elliptic, eh?), and modular transforms can be used so that the ratio of the two has positive imaginary part.2010-09-19
  • 0
    In any event, so I could answer my own questions instead of asking in comments, could you point me to a nice book on these? I'll only say for background that I'm already familiar with (Jacobi and Weierstrass) elliptic functions, but my knowledge of number theory is very basic.2010-09-19
  • 0
    @J. M.: for the most elementary aspects of the theory you can't do better than the relevant section of Serre's _Course in Arithmetic._ You might also be interested in Stevenhagen's notes (http://websites.math.leidenuniv.nl/algebra/), and for a basic introduction to the number-theoretic aspects of elliptic curves the standard elementary reference is Silverman's _Rational Points on Elliptic Curves._2010-09-19
  • 0
    @Qiaochu Yuan: Is Silverman's Rational points on Elliptic curves elementary?2010-09-21
  • 1
    @Chandru1: compared to anything else you're going to read about elliptic curves, yes.2010-09-21
  • 0
    @AndreaMori, any idea how Frey got that curve?2017-03-02
  • 1
    @NumThcurious, Frey picked up this curve in Yves Hellegouarch's thesis *Courbes elliptiques et équation de Fermat", Besançon, 1972. Hell. himself has written a nice introductory book on the subject, "Invitation aux math. de Fermat-Wiles", Masson ed., 1997 (I don't know if there is an English translation). At the beginning of the 70s, Hell. had not the necessary coceptual tools to conjecture that his elliptic curve could not be modular, but he was aware that it possessed so many extraordinary properties that he had nicknamed it "Roland's mare" (Roland - Orlando in Italian - was..2017-11-26
  • 1
    .. presumably a nephew of emperor Charlemagne, a legendary hero in French mythology, and the central character of Tasso's epic poem "Orlando furioso"), a fabulous animal which had all the qualities in the world except... existence. Only in 1985, with all the theoretical progress made in more than 10 years, Frey was able to state his conjecture that "Roland's mare" could not be modular. See the historical appendix of Hell.'s book.2017-11-26