Elliptic Curves, Modular Forms, and the Proof of Fermat’s Last Theorem

Elliptic curves, modular forms, and the Taniyama-Shimura 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 Taniyama-Shimura 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 Taniyama-Shimura 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 L-function, 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 Hasse-Weil L-function 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): https://www.youtube.com/watch?v=LolxzYwN1TQ Keith Conrad’s Notes on Modular Forms: https://ctnt-summer.math.uconn.edu/wp-content/uploads/sites/1632/2016/02/CTNTmodularforms.pdf “Elliptic Curves, Modular Forms, and their L-Functions” by A. Lozano-Robledo. (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 Hasse-Weil Bound on Terry Tao’s Blog: https://terrytao.wordpress.com/2014/05/02/the-bombieri-stepanov-proof-of-the-hasse-weil-bound/ OTHER VIDEOS ON THESE TOPICS: Numberphile Playlist: https://www.youtube.com/playlist?list=PLt5AfwLFPxWLD3KG-XZQFTDFhnZ3GHMlW Elliptic Curves and Modular Forms: https://www.youtube.com/watch?v=A8fsU97g3tg 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: https://twitter.com/00aleph00 Instagram: https://www.instagram.com/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)