Beyond Fermat s Last Theorem

Relaterede dokumenter
Exercise 6.14 Linearly independent vectors are also affinely independent.

Linear Programming ١ C H A P T E R 2

University of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3

Basic statistics for experimental medical researchers

Sign variation, the Grassmannian, and total positivity

Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium

Skriftlig Eksamen Beregnelighed (DM517)

University of Copenhagen Faculty of Science Written Exam April Algebra 3

Skriftlig Eksamen Automatteori og Beregnelighed (DM17)

University of Copenhagen Faculty of Science Written Exam - 8. April Algebra 3

The X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen

Trolling Master Bornholm 2014

Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1

Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)

Trolling Master Bornholm 2014

CHAPTER 8: USING OBJECTS

Besvarelser til Lineær Algebra Reeksamen Februar 2017

Unitel EDI MT940 June Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004)

Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov.

Vina Nguyen HSSP July 13, 2008

Sampling real algebraic varieties for topological data analysis

Skriftlig Eksamen Beregnelighed (DM517)

Brug sømbrættet til at lave sjove figurer. Lav fx: Få de andre til at gætte, hvad du har lavet. Use the nail board to make funny shapes.

PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU

Help / Hjælp

The complete construction for copying a segment, AB, is shown above. Describe each stage of the process.

On the complexity of drawing trees nicely: corrigendum

Sport for the elderly

Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi

Our activities. Dry sales market. The assortment

Portal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration

Heuristics for Improving

Statistical information form the Danish EPC database - use for the building stock model in Denmark

Trolling Master Bornholm 2015

Trolling Master Bornholm 2016 Nyhedsbrev nr. 3

Observation Processes:

Barnets navn: Børnehave: Kommune: Barnets modersmål (kan være mere end et)

Skriftlig Eksamen Diskret matematik med anvendelser (DM72)

ECE 551: Digital System * Design & Synthesis Lecture Set 5

Trolling Master Bornholm 2016 Nyhedsbrev nr. 7

Financial Literacy among 5-7 years old children

Trolling Master Bornholm 2016 Nyhedsbrev nr. 6

IBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1

1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file.

X M Y. What is mediation? Mediation analysis an introduction. Definition

LESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview

Statistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , )

Danish Language Course for International University Students Copenhagen, 12 July 1 August Application form

Generalized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US

Bilag. Resume. Side 1 af 12

what is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages?

Trolling Master Bornholm 2012

Noter til kursusgang 9, IMAT og IMATØ

Engelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og

Timetable will be aviable after sep. 5. when the sing up ends. Provicius timetable on the next sites.

Det er muligt at chekce følgende opg. i CodeJudge: og

Remember the Ship, Additional Work

Trolling Master Bornholm 2016 Nyhedsbrev nr. 8

Rejse Logi. Logi - Resultat. Logi - Booking. At spørge efter vej til et logi. ... et værelse som man kan leje?... a room to rent?

how to save excel as pdf

CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2

StarWars-videointro. Start din video på den nørdede måde! Version: August 2012

Statistik for MPH: 7

Strings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +

3. Har du oplevet blackout, mens du har styret skibet? Have you ever been steering the vessel, when a blackout have happened?

Multivariate Extremes and Dependence in Elliptical Distributions

Get Instant Access to ebook Madkundskab PDF at Our Huge Library MADKUNDSKAB PDF. ==> Download: MADKUNDSKAB PDF

Foredrag i Eulers Venner 30. nov. 2004

Trolling Master Bornholm 2016 Nyhedsbrev nr. 5

Danish Language Course for Foreign University Students Copenhagen, 13 July 2 August 2016 Advanced, medium and beginner s level.

Agenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark

Trolling Master Bornholm 2013

Nyhedsmail, december 2013 (scroll down for English version)

Applications. Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION. Slides adapted from Phillip Koehn

Trolling Master Bornholm 2014

Tema: Pets Fag: Engelsk Målgruppe: 4. klasse Titel: Me and my pet Vejledning Lærer

Particle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints

Den nye Eurocode EC Geotenikerdagen Morten S. Rasmussen

Læs vejledningen godt igennem, før du begynder at samle vuggen. Please read the instruction carefully before you start.

IPTV Box (MAG250/254) Bruger Manual

Managing stakeholders on major projects. - Learnings from Odense Letbane. Benthe Vestergård Communication director Odense Letbane P/S

Kort A. Tidsbegrænset EF/EØS-opholdsbevis (anvendes til EF/EØS-statsborgere) (Card A. Temporary EU/EEA residence permit used for EU/EEA nationals)

Angle Ini/al side Terminal side Vertex Standard posi/on Posi/ve angles Nega/ve angles. Quadrantal angle

Dendrokronologisk Laboratorium

Get Instant Access to ebook Udleveret PDF at Our Huge Library UDLEVERET PDF. ==> Download: UDLEVERET PDF

Sortering fra A-Z. Henrik Dorf Chefkonsulent SAS Institute

Fejlbeskeder i SMDB. Business Rules Fejlbesked Kommentar. Validate Business Rules. Request- ValidateRequestRegist ration (Rules :1)

Shooting tethered med Canon EOS-D i Capture One Pro. Shooting tethered i Capture One Pro 6.4 & 7.0 på MAC OS-X & 10.8

Trolling Master Bornholm 2016 Nyhedsbrev nr. 3

TM4 Central Station. User Manual / brugervejledning K2070-EU. Tel Fax

Black Jack --- Review. Spring 2012

Some results for the weighted Drazin inverse of a modified matrix

Noter til kursusgang 8, IMAT og IMATØ

JEG GL DER MIG I DENNE TID PDF

SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 19. juni 2003 kl Alle hjælpemidler er tilladt

A multimodel data assimilation framework for hydrology

The River Underground, Additional Work

Udbud på engelsk i UCL. Skabelon til beskrivelse

INGEN HASTVÆRK! NO RUSH!

Aktivering af Survey funktionalitet

Transkript:

Beyond Fermat s Last Theorem David Zureick-Brown Slides available at http://www.mathcs.emory.edu/~dzb/slides/ EUMMA talk October 18, 2018 a 2 + b 2 = c 2

Basic Problem (Solving Diophantine Equations) Setup Let f 1,..., f m Z[x 1,..., x n ] be polynomials. Let R be a ring (e.g., R = Z, Q). Problem Describe the set { (a1,..., a n ) R n : i, f i (a 1,..., a n ) = 0 }. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 2 / 35

Basic Problem (Solving Diophantine Equations) Setup Let f 1,..., f m Z[x 1,..., x n ] be polynomials. Let R be a ring (e.g., R = Z, Q). Problem Describe the set { (a1,..., a n ) R n : i, f i (a 1,..., a n ) = 0 }. Fact Solving diophantine equations is hard. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 2 / 35

Hilbert s Tenth Problem The ring R = Z is especially hard. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 3 / 35

Hilbert s Tenth Problem The ring R = Z is especially hard. Theorem (Davis-Putnam-Robinson 1961, Matijasevič 1970) There does not exist an algorithm solving the following problem: input: f 1,..., f m Z[x 1,..., x n ]; output: YES / NO according to whether the set { (a1,..., a n ) Z n : i, f i (a 1,..., a n ) = 0 } is non-empty. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 3 / 35

Hilbert s Tenth Problem The ring R = Z is especially hard. Theorem (Davis-Putnam-Robinson 1961, Matijasevič 1970) There does not exist an algorithm solving the following problem: input: f 1,..., f m Z[x 1,..., x n ]; output: YES / NO according to whether the set { (a1,..., a n ) Z n : i, f i (a 1,..., a n ) = 0 } is non-empty. This is also known for many rings (e.g., R = C, R, F q, Q p, C(t)). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 3 / 35

Hilbert s Tenth Problem The ring R = Z is especially hard. Theorem (Davis-Putnam-Robinson 1961, Matijasevič 1970) There does not exist an algorithm solving the following problem: input: f 1,..., f m Z[x 1,..., x n ]; output: YES / NO according to whether the set { (a1,..., a n ) Z n : i, f i (a 1,..., a n ) = 0 } is non-empty. This is also known for many rings (e.g., R = C, R, F q, Q p, C(t)). This is still open for many other rings (e.g., R = Q). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 3 / 35

Fermat s Last Theorem Theorem (Wiles et. al) The only solutions to the equation x n + y n = z n, n 3 are multiples of the triples (0, 0, 0), David Zureick-Brown (Emory University) (±1, 1, 0), ±(1, 0, 1), Beyond Fermat s Last Theorem (0, ±1, ±1). October 18, 2018 4 / 35

Fermat s Last Theorem Theorem (Wiles et. al) The only solutions to the equation x n + y n = z n, n 3 are multiples of the triples (±1, 1, 0), (0, 0, 0), ±(1, 0, 1), (0, ±1, ±1). This took 300 years to prove! David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 4 / 35

Fermat s Last Theorem Theorem (Wiles et. al) The only solutions to the equation x n + y n = z n, n 3 are multiples of the triples (±1, 1, 0), (0, 0, 0), ±(1, 0, 1), (0, ±1, ±1). This took 300 years to prove! David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 4 / 35

Basic Problem: f 1,..., f m Z[x 1,..., x n ] Qualitative: Does there exist a solution? Do there exist infinitely many solutions? Does the set of solutions have some extra structure (e.g., geometric structure, group structure). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 5 / 35

Basic Problem: f 1,..., f m Z[x 1,..., x n ] Qualitative: Does there exist a solution? Do there exist infinitely many solutions? Does the set of solutions have some extra structure (e.g., geometric structure, group structure). Quantitative How many solutions are there? How large is the smallest solution? How can we explicitly find all solutions? (With proof?) David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 5 / 35

Basic Problem: f 1,..., f m Z[x 1,..., x n ] Qualitative: Does there exist a solution? Do there exist infinitely many solutions? Does the set of solutions have some extra structure (e.g., geometric structure, group structure). Quantitative How many solutions are there? How large is the smallest solution? How can we explicitly find all solutions? (With proof?) Implicit question Why do equations have (or fail to have) solutions? Why do some have many and some have none? What underlying mathematical structures control this? David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 5 / 35

Example: Pythagorean triples Lemma The equation x 2 + y 2 = z 2 has infinitely many non-zero coprime solutions. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 6 / 35

Pythagorean triples Slope = t = y x+1 x = 1 t2 1+t 2 y = 2t 1+t 2 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 7 / 35

Pythagorean triples Lemma The solutions to are all multiples of the triples a 2 + b 2 = c 2 a = 1 t 2 b = 2t c = 1 + t 2 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 8 / 35

The Mordell Conjecture Example The equation y 2 + x 2 = 1 has infinitely many solutions. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 9 / 35

The Mordell Conjecture Example The equation y 2 + x 2 = 1 has infinitely many solutions. Theorem (Faltings) For n 5, the equation y 2 + x n = 1 has only finitely many solutions. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 9 / 35

The Mordell Conjecture Example The equation y 2 + x 2 = 1 has infinitely many solutions. Theorem (Faltings) For n 5, the equation y 2 + x n = 1 has only finitely many solutions. Theorem (Faltings) For n 5, the equation y 2 = f (x) has only finitely many solutions if f (x) is squarefree, with degree > 4. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 9 / 35

Fermat Curves Question Why is Fermat s last theorem believable? 1 x n + y n z n = 0 looks like a surface (3 variables) 2 x n + y n 1 = 0 looks like a curve (2 variables) David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 10 / 35

Mordell Conjecture Example y 2 = (x 2 1)(x 2 2)(x 2 3) This is a cross section of a two holed torus. The genus is the number of holes. Conjecture (Mordell) A curve of genus g 2 has only finitely many rational solutions. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 11 / 35

Fermat Curves Question Why is Fermat s last theorem believable? 1 x n + y n 1 = 0 is a curve of genus (n 1)(n 2)/2. 2 Mordell implies that for fixed n > 3, the nth Fermat equation has only finitely many solutions. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 12 / 35

Fermat Curves Question What if n = 3? 1 x 3 + y 3 1 = 0 is a curve of genus (3 1)(3 2)/2 = 1. 2 We were lucky; Ax 3 + By 3 = Cz 3 can have infinitely many solutions. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 13 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 6 3 2 + 4 2 = 5 2, 3 4 = 2 6 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 14 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 157 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 15 / 35

Congruent number problem The pair of equations x 2 + y 2 = z 2, xy = 2 157 has infinitely many solutions. How large Is the smallest solution? How many digits does the smallest solution have? David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 16 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 157 has infinitely many solutions. How large Is the smallest solution? How many digits does the smallest solution have? David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 17 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 157 has infinitely many solutions. How large Is the smallest solution? How many digits does the smallest solution have? x = 157841 4947203 52677109576 2 3 2 5 13 17 37 101 17401 46997 356441 y = 2 32 5 13 17 37 101 157 17401 46997 356441 157841 4947203 52677109576 z = 20085078913 1185369214457 942545825502442041907480 2 3 2 5 13 17 37 101 17401 46997 356441 157841 4947203 52677109576 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 17 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 157 has infinitely many solutions. How large Is the smallest solution? How many digits does the smallest solution have? x = 157841 4947203 52677109576 2 3 2 5 13 17 37 101 17401 46997 356441 y = 2 32 5 13 17 37 101 157 17401 46997 356441 157841 4947203 52677109576 z = 20085078913 1185369214457 942545825502442041907480 2 3 2 5 13 17 37 101 17401 46997 356441 157841 4947203 52677109576 The denominator of z has 44 digits! David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 17 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 157 has infinitely many solutions. How large Is the smallest solution? How many digits does the smallest solution have? x = 157841 4947203 52677109576 2 3 2 5 13 17 37 101 17401 46997 356441 y = 2 32 5 13 17 37 101 157 17401 46997 356441 157841 4947203 52677109576 z = 20085078913 1185369214457 942545825502442041907480 2 3 2 5 13 17 37 101 17401 46997 356441 157841 4947203 52677109576 The denominator of z has 44 digits! How did anyone ever find this solution? David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 17 / 35

Congruent number problem x 2 + y 2 = z 2, xy = 2 157 has infinitely many solutions. How large Is the smallest solution? How many digits does the smallest solution have? x = 157841 4947203 52677109576 2 3 2 5 13 17 37 101 17401 46997 356441 y = 2 32 5 13 17 37 101 157 17401 46997 356441 157841 4947203 52677109576 z = 20085078913 1185369214457 942545825502442041907480 2 3 2 5 13 17 37 101 17401 46997 356441 157841 4947203 52677109576 The denominator of z has 44 digits! How did anyone ever find this solution? Next soluton has 176 digits! David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 17 / 35

Back of the envelope calculation (as of 2011) x 2 + y 2 = z 2, xy = 2 157 Num, den(x, y, z) 10 10 6 many, 1 min on Emory s computers. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 18 / 35

Back of the envelope calculation (as of 2011) x 2 + y 2 = z 2, xy = 2 157 Num, den(x, y, z) 10 10 6 many, 1 min on Emory s computers. Num, den(x, y, z) 10 44 10 264 many, 10 258 mins = 10 252 years. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 18 / 35

Back of the envelope calculation (as of 2011) x 2 + y 2 = z 2, xy = 2 157 Num, den(x, y, z) 10 10 6 many, 1 min on Emory s computers. Num, den(x, y, z) 10 44 10 264 many, 10 258 mins = 10 252 years. 10 9 many computers in the world so 10 243 years David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 18 / 35

Back of the envelope calculation (as of 2011) x 2 + y 2 = z 2, xy = 2 157 Num, den(x, y, z) 10 10 6 many, 1 min on Emory s computers. Num, den(x, y, z) 10 44 10 264 many, 10 258 mins = 10 252 years. 10 9 many computers in the world so 10 243 years Expected time until heat death of universe 10 100 years. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 18 / 35

Fermat Surfaces Conjecture The only solutions to the equation x n + y n = z n + w n, n 5 satisfy xyzw = 0 or lie on the lines lines x = ±y, z = ±w (and permutations). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 19 / 35

The Swinnerton-Dyer K3 surface x 4 + 2y 4 = 1 + 4z 4 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 20 / 35

The Swinnerton-Dyer K3 surface x 4 + 2y 4 = 1 + 4z 4 Two obvious solutions (±1 : 0 : 0). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 21 / 35

The Swinnerton-Dyer K3 surface x 4 + 2y 4 = 1 + 4z 4 Two obvious solutions (±1 : 0 : 0). The next smallest solutions are ( ± 1484801 1169407, ± 1203120 1169407, ± 1157520 1169407). Problem Find another solution. Remark 1 10 16 years to find via brute force. 2 Age of the universe 13.75 ±.11 billion years (roughly 10 10 ). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 22 / 35

Fermat-like equations Theorem (Poonen, Schaefer, Stoll) The coprime integer solutions to x 2 + y 3 = z 7 are the 16 triples (±1, 1, 0), (±1, 0, 1), ±(0, 1, 1), David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 23 / 35

Fermat-like equations Theorem (Poonen, Schaefer, Stoll) The coprime integer solutions to x 2 + y 3 = z 7 are the 16 triples (±1, 1, 0), (±1, 0, 1), ±(0, 1, 1), (±3, 2, 1), David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 23 / 35

Fermat-like equations Theorem (Poonen, Schaefer, Stoll) The coprime integer solutions to x 2 + y 3 = z 7 are the 16 triples (±1, 1, 0), (±1, 0, 1), ±(0, 1, 1), (±3, 2, 1), (±71, 17, 2), David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 23 / 35

Fermat-like equations Theorem (Poonen, Schaefer, Stoll) The coprime integer solutions to x 2 + y 3 = z 7 are the 16 triples (±1, 1, 0), (±1, 0, 1), ±(0, 1, 1), (±3, 2, 1), (±71, 17, 2), (±2213459, 1414, 65), (±15312283, 9262, 113), (±21063928, 76271, 17). David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 23 / 35

Generalized Fermat Equations Problem What are the solutions to the equation x a + y b = z c? David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 24 / 35

Generalized Fermat Equations Problem What are the solutions to the equation x a + y b = z c? Theorem (Darmon and Granville) Fix a, b, c 2. Then the equation x a + y b = z c has only finitely many coprime integer solutions iff χ = 1 a + 1 b + 1 c 1 0. µ a µ b µ c David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 24 / 35

Known Solutions to x a + y b = z c The known solutions with are the following: 1 a + 1 b + 1 c < 1 1 p + 2 3 = 3 2 2 5 + 7 2 = 3 4, 7 3 + 13 2 = 2 9, 2 7 + 17 3 = 71 2, 3 5 + 11 4 = 122 2 17 7 + 76271 3 = 21063928 2, 1414 3 + 2213459 2 = 65 7 9262 3 + 153122832 2 = 113 7 43 8 + 96222 3 = 30042907 2, 33 8 + 1549034 2 = 15613 3 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 25 / 35

Known Solutions to x a + y b = z c The known solutions with are the following: 1 a + 1 b + 1 c < 1 1 p + 2 3 = 3 2 2 5 + 7 2 = 3 4, 7 3 + 13 2 = 2 9, 2 7 + 17 3 = 71 2, 3 5 + 11 4 = 122 2 17 7 + 76271 3 = 21063928 2, 1414 3 + 2213459 2 = 65 7 9262 3 + 153122832 2 = 113 7 43 8 + 96222 3 = 30042907 2, 33 8 + 1549034 2 = 15613 3 Problem (Beal s conjecture) These are all solutions with 1 a + 1 b + 1 c 1 < 0. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 25 / 35

Generalized Fermat Equations Known Solutions Conjecture (Beal, Granville, Tijdeman-Zagier) This is a complete list of coprime non-zero solutions such that 1 p + 1 q + 1 r 1 < 0. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 26 / 35

Generalized Fermat Equations Known Solutions Conjecture (Beal, Granville, Tijdeman-Zagier) This is a complete list of coprime non-zero solutions such that 1 p + 1 q + 1 r 1 < 0. $1,000,000 prize for proof of conjecture... David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 26 / 35

Generalized Fermat Equations Known Solutions Conjecture (Beal, Granville, Tijdeman-Zagier) This is a complete list of coprime non-zero solutions such that 1 p + 1 q + 1 r 1 < 0. $1,000,000 prize for proof of conjecture......or even for a counterexample. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 26 / 35

Examples of Generalized Fermat Equations Theorem (Poonen, Schaefer, Stoll) The coprime integer solutions to x 2 + y 3 = z 7 are the 16 triples (±1, 1, 0), (±1, 0, 1), ±(0, 1, 1), (±3, 2, 1), (±71, 17, 2), (±2213459, 1414, 65), (±15312283, 9262, 113), (±21063928, 76271, 17). 1 2 + 1 3 + 1 7 1 = 1 42 < 0 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 27 / 35

Examples of Generalized Fermat Equations Theorem (Poonen, Schaefer, Stoll) The coprime integer solutions to x 2 + y 3 = z 7 are the 16 triples (±1, 1, 0), (±1, 0, 1), ±(0, 1, 1), (±3, 2, 1), (±71, 17, 2), (±2213459, 1414, 65), (±15312283, 9262, 113), (±21063928, 76271, 17). 1 2 + 1 3 + 1 7 1 = 1 42 < 0 1 2 + 1 3 + 1 6 1 = 0 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 27 / 35

Examples of Generalized Fermat Equations Theorem (Darmon, Merel) Any pairwise coprime solution to the equation x n + y n = z 2, n > 4 satisfies xyz = 0. 1 n + 1 n + 1 2 1 = 2 n 1 2 < 0 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 28 / 35

Examples of Generalized Fermat Equations Theorem (Klein, Zagier, Beukers, Edwards, others) The equation x 2 + y 3 = z 5 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 29 / 35

Examples of Generalized Fermat Equations Theorem (Klein, Zagier, Beukers, Edwards, others) The equation x 2 + y 3 = z 5 1 2 + 1 3 + 1 5 1 = 1 30 > 0 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 29 / 35

Examples of Generalized Fermat Equations Theorem (Klein, Zagier, Beukers, Edwards, others) The equation x 2 + y 3 = z 5 has infinitely many coprime solutions 1 2 + 1 3 + 1 5 1 = 1 30 > 0 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 29 / 35

Examples of Generalized Fermat Equations Theorem (Klein, Zagier, Beukers, Edwards, others) The equation x 2 + y 3 = z 5 has infinitely many coprime solutions 1 2 + 1 3 + 1 5 1 = 1 30 > 0 (T /2) 2 + H 3 + (f /12 3 ) 5 1 f = st(t 10 11t 5 s 5 s 10 ), 2 H = Hessian of f, 3 T = a degree 3 covariant of the dodecahedron. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 29 / 35

(p, q, r) such that χ < 0 and the solutions to x p + y q = z r have been determined. {n, n, n} Wiles,Taylor-Wiles, building on work of many others {2, n, n} Darmon-Merel, others for small n {3, n, n} Darmon-Merel, others for small n {5, 2n, 2n} Bennett (2, 4, n) Ellenberg, Bruin, Ghioca n 4 (2, n, 4) Bennett-Skinner; n 4 {2, 3, n} Poonen-Shaefer-Stoll, Bruin. 6 n 9 {2, 2l, 3} Chen, Dahmen, Siksek; primes 7 < l < 1000 with l 31 {3, 3, n} Bruin; n = 4, 5 {3, 3, l} Kraus; primes 17 l 10000 (2, 2n, 5) Chen n 3 (4, 2n, 3) Bennett-Chen n 3 (6, 2n, 2) Bennett-Chen n 3 (2, 6, n) Bennett-Chen n 3 David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 30 / 35

(p, q, r) such that χ < 0 and the solutions to x p + y q = z r have been determined. {n, n, n} Wiles,Taylor-Wiles, building on work of many others {2, n, n} Darmon-Merel, others for small n {3, n, n} Darmon-Merel, others for small n {5, 2n, 2n} Bennett (2, 4, n) Ellenberg, Bruin, Ghioca n 4 (2, n, 4) Bennett-Skinner; n 4 {2, 3, n} Poonen-Shaefer-Stoll, Bruin. 6 n 9 {2, 2l, 3} Chen, Dahmen, Siksek; primes 7 < l < 1000 with l 31 {3, 3, n} Bruin; n = 4, 5 {3, 3, l} Kraus; primes 17 l 10000 (2, 2n, 5) Chen n 3 (4, 2n, 3) Bennett-Chen n 3 (6, 2n, 2) Bennett-Chen n 3 (2, 6, n) Bennett-Chen n 3 (2, 3, 10) ZB David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 30 / 35

Faltings theorem / Mordell s conjecture Theorem (Faltings, Vojta, Bombieri) Let X be a smooth curve over Q with genus at least 2. Then X (Q) is finite. Example For g 2, y 2 = x 2g+1 + 1 has only finitely many solutions with x, y Q. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 31 / 35

Uniformity Problem 1 Given X, compute X (Q) exactly. 2 Compute bounds on #X (Q). Conjecture (Uniformity) There exists a constant N(g) such that every smooth curve of genus g over Q has at most N(g) rational points. Theorem (Caporaso, Harris, Mazur) Lang s conjecture uniformity. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 32 / 35

Uniformity numerics g 2 3 4 5 10 45 g B g (Q) 642 112 126 132 192 781 16(g + 1) Remark Elkies studied K3 surfaces of the form y 2 = S(t, u, v) with lots of rational lines, such that S restricted to such a line is a perfect square. David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 33 / 35

Coleman s bound Theorem (Coleman) Let X be a curve of genus g and let r = rank Z Jac X (Q). Suppose p > 2g is a prime of good reduction. Suppose r < g. Then Remark #X (Q) #X (F p ) + 2g 2. 1 A modified statement holds for p 2g or for K Q. 2 Note: this does not prove uniformity (since the first good p might be large). Tools p-adic integration and Riemann Roch David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 34 / 35

Main Theorem (partial uniformity for curves) Theorem (Katz, Rabinoff, ZB) Let X be any curve of genus g and let r = rank Z Jac X (Q). Suppose r < g 2. Then #X (Q) 84g 2 98g + 28 Tools p-adic integration on annuli comparison of different analytic continuations of p-adic integration Non-Archimedean (Berkovich) structure of a curve [BPR] Combinatorial restraints coming from the Tropical canonical bundle David Zureick-Brown (Emory University) Beyond Fermat s Last Theorem October 18, 2018 35 / 35