Elliptic curves, modular forms, and the TaniyamaShimura Conjecture: the three ingredients to Andrew Wiles’ proof of Fermat’s Last Theorem.

This is by far the hardest video I've ever had to make: both in terms of learning the content and explaining it. So there a few questions I don't have answers for. If you're up for it, feel free to answer these as a YouTube comment or on Twitter (@00aleph00)!

QUESTIONS:

1. The TaniyamaShimura Conjecture seems really contrived. We made a weirdly specific sequence from elliptic curves. We made a weirdly specific sequence from modular forms. And behold, the sequences match! It seems manufactured to work. What’s profound about it?

2. Why do we care about elliptic curves of all things? It’s described by, again, a weirdly specific equation: why is it the darling child of number theory?

3. Does the TaniyamaShimura conjecture also guarantee uniqueness? That is, does it say that for every elliptic curve there is a unique modular form with the same sequence as it?

4. We defined how a matrix from the group SL2Z “acts” on a complex number. Does anyone have a geometric picture for this? Does a matrix act on a complex number just like how it would act on a vector in R^2 (i.e: by rotating it)?

5. This is a more advanced question. Most elliptic curve books encode the sequence m_n of a modular form using something called a Dirichlet Lfunction, a generalization of the Reimann Zeta function. More precisely, instead of associating a modular form to a *sequence*, we associate it to a modified version of the Riemann Zeta Function, where the n_th coefficient of the series is the term m_n. (This is sometimes called the HasseWeil Lfunction of a modular form). This seems unnecessary. What is the benefit of doing this?

6. Does anyone understand Andrew Wiles’ paper? LOL

SOURCES I USED TO STUDY:

Keith Conrad’s Lectures on Modular Forms (8 part video series):
   • Introduction to Modular Forms  Part ...  

Keith Conrad’s Notes on Modular Forms:
https://ctntsummer.math.uconn.edu/wp...

“Elliptic Curves, Modular Forms, and their LFunctions” by A. LozanoRobledo.
(The above book is very accessible! You only need basic calculus to understand it. You also need to know the definition of a group, but that’s pretty much it.)

“The Arithmetic of Elliptic Curves” by Joseph Silverman

HOMEWORK IDEA CREDIT goes to Looking Glass Universe!

SAGE RESOURCES:

“Sage for Undergraduates”: Gregory Bard’s Free Online Book on SAGE : http://www.gregorybard.com/Sage.html
Download SAGE: https://www.sagemath.org/download.html

Proof of the HasseWeil Bound on Terry Tao’s Blog: https://terrytao.wordpress.com/2014/0...

OTHER VIDEOS ON THESE TOPICS:

Numberphile Playlist:    • Fermat's Last Theorem on Numberphile  

Elliptic Curves and Modular Forms:    • Elliptic curves and modular forms  

SOFTWARE USED TO MAKE THIS VIDEO:

SAGE for the code and the graphs
https://github.com/hernanat/dcolor for domain coloring
Adobe Premiere Elements For Video Editing

MUSIC:
Music Info: Documentary AShamaluevMusic.
Music Link: https://www.ashamaluevmusic.com

Follow me!

Twitter:   / 00aleph00  
Instagram:   / 00aleph00  

Intro: (0:00)
Elliptic Curves: (0:58)
Modular Forms: (3:26)
Taniyama Shimura Conjecture: (7:26)
Fermat's Last Theorem: (8:02)
Questions for you!: (8:51)