On the generalized Fermat equation x 2l + y 2m = z p
|
|
- Lee Paul Garrett
- 5 years ago
- Views:
Transcription
1 On the generalized Fermat equation x 2l + y 2m = z p Samuele Anni joint work with Samir Siksek University of Warwick University of Debrecen, 29 th Journées Arithmétiques; 6 th July 2015
2 Generalized Fermat Equation 1 Generalized Fermat Equation 2 x 2l + y 2m = z p 3 The proof
3 Generalized Fermat Equation Generalized Fermat Equation Let (p, q, r) Z 3 2. The equation x p + y q = z r is a Generalized Fermat Equation of signature (p, q, r). A solution (x, y, z) Z 3 is called non-trivial if xyz 0, primitive if gcd(x, y, z) = 1. Poonen Schaefer Stoll: (2, 3, 7). Bruin: (2, 3, 8), (2, 8, 3), (2, 3, 9), (2, 4, 5), (2, 5, 4). Many others...
4 Generalized Fermat Equation Infinite Families of Exponents: Wiles: (p, p, p). Darmon and Merel: (p, p, 2), (p, p, 3). Many other infinite families by many people... The study of infinite families uses Frey curves, modularity and level-lowering over Q (or Q-curves).
5 Generalized Fermat Equation Solve x p + y p = z l Naïve idea To solve x p + y p = z l factor over Q (ζ), where ζ is a p-th root of unity. (x + y)(x + ζy)... (x + ζ p 1 y) = z l. x + ζ j y = α j ξ l j, α j finite set. ɛ j Q (ζ) such that ɛ 0 (x + y) + ɛ 1 (x + ζy) + ɛ 2 (x + ζ 2 y) = 0. γ 0 ξ l 0 + γ 1 ξ l 1 + γ 2 ξ l 2 = 0 (γ 0, γ 1, γ 2 ) finite set. It looks like x l + y l + z l = 0 solved by Wiles. Problems Problem 1: trivial solutions (1, 0, 1) and (0, 1, 1) become non-trivial. Problem 2: modularity theorems over non-totally real fields.
6 x 2l + y 2m = z p 1 Generalized Fermat Equation 2 x 2l + y 2m = z p 3 The proof
7 x 2l + y 2m = z p Theorem (Anni-Siksek) Let p = 3, 5, 7, 11 or 13. Let l, m 5 be primes. The only primitive solutions to x 2l + y 2m = z p are (±1, 0, 1) and (0, ±1, 1). Remark: this is a bi-infinite family of equations.
8 x 2l + y 2m = z p Let l, m, p 5 be primes, l p, m p. x 2l + y 2m = z p, gcd(x, y, z) = 1. Modulo 8 we get 2 z so WLOG 2 x. Only expected solution (0, ±1, 1). { x l + y m i = (a + bi) p x l y m i = (a bi) p a, b Z gcd(a, b) = 1. x l = 1 p 1 2 ((a + bi)p + (a bi) p ( ) = a (a + bi) + (a bi)ζ j ) = a (p 1)/2 j=1 j=1 ( (θj + 2)a 2 + (θ j 2)b 2) θ j = ζ j + ζ j Q (ζ + ζ 1 ).
9 x 2l + y 2m = z p Let K := Q (ζ + ζ 1 ) then x l = a (p 1)/2 j=1 ( (θj + 2)a 2 + (θ j 2)b 2) }{{} f j (a,b) θ j = ζ j + ζ j K. p x = a = α l, f j (a, b) O K = b l j, p x = a = p l 1 α l, f j (a, b) O K = p b l j, p = (θ j 2) p. (θ 2 2)f 1 (a, b) + (2 θ 1 )f 2 (a, b) + 4(θ 1 θ 2 )a 2 = 0. }{{}}{{}}{{} u v w
10 x 2l + y 2m = z p Frey curve ( ) E : Y 2 = X (X u)(x + v), = 16u 2 v 2 w 2. Problems Problem 1: trivial solutions (0, ±1, 1) become non-trivial. Trivial solution x = 0 implies a = 0 so w = 0 = = 0. Problem 2: modularity theorems over non-totally real fields. K := Q (ζ + ζ 1 )
11 x 2l + y 2m = z p Lemma Suppose p x. Let E be the Frey curve ( ). The curve E is semistable, with multiplicative reduction at all primes above 2 and good reduction at p. It has minimal discriminant and conductor Lemma D E/K = 2 4ln 4 α 4l b 2l j b 2l k, N E/K = 2 (αb j b k ). Suppose p x. Let E be the Frey curve ( ). The curve E is semistable, with multiplicative reduction at p and at all primes above 2. It has minimal discriminant and conductor D E/K = 2 4ln 4 p 2δ α 4l b 2l j b 2l k, N E/K = 2p (αb j b k ).
12 x 2l + y 2m = z p Lemma Suppose p x. Let E be the Frey curve ( ). The curve E is semistable, with multiplicative reduction at all primes above 2 and good reduction at p. It has minimal discriminant and conductor Lemma D E/K = 2 4ln 4 α 4l b 2l j b 2l k, N E/K = 2 (αb j b k ). Suppose p x. Let E be the Frey curve ( ). The curve E is semistable, with multiplicative reduction at p and at all primes above 2. It has minimal discriminant and conductor D E/K = 2 4ln 4 p 2δ α 4l b 2l j b 2l k, N E/K = 2p (αb j b k ).
13 The proof 1 Generalized Fermat Equation 2 x 2l + y 2m = z p 3 The proof
14 The proof Let l be a prime, and E elliptic curve over totally real field K. The mod l Galois Representation attached to E is given by ρ E,l : G K Aut(E[l]) = GL 2 (F l ) G K = Gal(K/K). The l-adic Galois Representation attached to E is given by ρ E,l : G K Aut(T l (E)) = GL 2 (Z l ), where T l (E) = lim E[l n ] is the l-adic Tate module. Definition E is modular if there exists a cuspidal Hilbert modular eigenform f such that ρ E,l ρ f,l.
15 The proof Proof of Fermat s Last Theorem uses three big theorems: 1 Mazur: irreducibility of mod l representations of elliptic curves over Q for l > 163 (i.e. absence of l-isogenies). 2 Wiles (and others): modularity of elliptic curves over Q. 3 Ribet: level lowering for mod l representations this requires irreducibility and modularity. Over totally real fields we have 1 Merel s uniform boundedness theorem for torsion. No corresponding result for isogenies. 2 Partial modularity results, no clean statements. 3 Level lowering for mod l representations works exactly as for Q : theorems of Fujiwara, Jarvis and Rajaei. Requires irreducibility and modularity.
16 The proof Reducible representations Let E be a Frey curve as in ( ). Lemma Suppose ρ E,l is reducible. Then either E/K has non-trivial l-torsion, or is l-isogenous to an an elliptic curve over K that has non-trivial l-torsion. Lemma For p = 5, 7, 11, 13, and l 5, with l p, the mod l representation ρ E,l is irreducible.
17 The proof Modularity Theorem (Anni-Siksek) Let K be a real abelian number field. Write S 5 = {q 5}. Suppose (a) 5 is unramified in K; (b) the class number of K is odd; (c) for each non-empty proper subset S of S 5, there is some totally positive unit u of O K such that Norm Fq/F 5 (u mod q) 1. q S Then every semistable elliptic curve E over K is modular. This theorem buids over results of Thorne and Skinner & Wiles.
18 The proof Corollary For p = 5, 7, 11, 13, the Frey curve E is modular. Proof. For p = 7, 11, 13 apply the above. For p = 5 we have K = Q ( 5). Modularity of elliptic curves over quadratic fields was proved by Freitas, Le Hung & Siksek.
19 The proof Let E/K be the Frey curve ( ), then ρ E,l is modular and irreducible. Then ρ E,l ρ f,λ for some Hilbert cuspidal eigenform f over K of parallel weight 2 that is new at level N l, where { 2O K if p x N l = 2p if p x. Here λ l is a prime of Q f, the field generated over Q by the eigenvalues of f. For p = 3 the modular forms to consider are classical newform of weight 2 and level 6: there is no such newform and so we conclude.
20 The proof If p 1 (mod 4), the field K = Q (ζ + ζ 1 ) has a unique subfield K of degree (p 1)/4. In the case p x the Frey curve E is defined over K. This not true in the case p x, but we can take a twist of the Frey curve some that it is defined over K. This way we can work with Hilbert modular cuspforms over a totally real field of lower degree. The conductor of this Frey curve can be computed similarly to the previous case.
21 The proof p Case Level Eigenforms f [Q f : Q ] 5 5 x 2O K 5 x 2p 7 7 x 2O K 7 x 2p f x 2O K f x 2p f 3, f x 2B 2 f 10,..., f 21 3 f 13 22, f f 24,..., f 27 f 5,..., f x 2B f 28, f 29 1 f 30, f 31 3 In each case we deduce a contradiction using the q-expansions of the Hilber modular forms in the table coefficients and the study of the Frey curve described before.
22 The proof Final remarks In order to solve x 2l + y 2m = z p for p 17 we need to be able to compute Hilbert modular cuspforms over totally real field of high degree. Anyway the following theorem hold: Theorem (Anni-Siksek) Let p be an odd prime and let K = Q (ζ + ζ 1 ). Let O K be the ring of integers of K and p be the unique prime ideal above p. Suppose that there are no elliptic curves E/K with full 2-torsion and conductors 2O K, 2p. Then there is an ineffective constant C p (depending only on p) such that for all primes l, m C p, the only primitive solutions to x 2l + y 2m = z p are (x, y, z) = (±1, 0, 1) and (0, ±1, 1).
23 The proof On the generalized Fermat equation x 2l + y 2m = z p Samuele Anni joint work with Samir Siksek University of Warwick University of Debrecen, 29 th Journées Arithmétiques; 6 th July 2015 Thanks!
Diophantine equations and semistable elliptic curves over totally real fields
Diophantine equations and semistable elliptic curves over totally real fields Samuele Anni (IWR - Universität Heidelberg) joint with Samir Siksek (University of Warwick) Journées Algophantiennes Bordelaises
More informationThe Asymptotic Fermat Conjecture
The Asymptotic Fermat Conjecture Samir Siksek (Warwick) joint work with Nuno Freitas (Warwick), and Haluk Şengün (Sheffield) 23 August 2018 Motivation Theorem (Wiles, Taylor Wiles 1994) Semistable elliptic
More informationGENERALIZED FERMAT EQUATIONS : A MISCELLANY
GENERALIZED FERMAT EQUATIONS : A MISCELLANY MICHAEL A. BENNETT, IMIN CHEN, SANDER R. DAHMEN AND SOROOSH YAZDANI Abstract. This paper is devoted to the generalized Fermat equation x p + y q = z r, where
More informationarxiv: v3 [math.nt] 16 Jul 2014
THE ASYMPTOTIC FERMAT S LAST THEOREM FOR FIVE-SIXTHS OF REAL QUADRATIC FIELDS arxiv:1307.3162v3 [math.nt] 16 Jul 2014 NUNO FREITAS AND SAMIR SIKSEK Abstract. Let K be a totally real field. By the asymptotic
More informationGENERALIZED FERMAT EQUATIONS: A MISCELLANY. Contents
GENERALIZED FERMAT EQUATIONS: A MISCELLANY MICHAEL A. BENNETT, IMIN CHEN, SANDER R. DAHMEN AND SOROOSH YAZDANI Abstract. This paper is devoted to the generalized Fermat equation x p + y q = z r, where
More informationNumber Theory Seminar Spring, 2018: Modularity
Number Theory Seminar Spring, 2018: Modularity Motivation The main topic of the seminar is the classical theory of modularity à la Wiles, Taylor Wiles, Diamond, Conrad, Breuil, Kisin,.... Modularity grew
More informationGalois Representations
Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy
More informationHigher genus curves and the inverse Galois problem
Higher genus curves and the inverse Galois problem Samuele Anni joint work with Pedro Lemos and Samir Siksek University of Warwick Congreso de Jóvenes Investigadores de la Real Sociedad Matemática Española
More informationTernary Diophantine Equations via Galois Representations and Modular Forms
Canad. J. Math. Vol. 56 (1), 2004 pp. 23 54 Ternary Diophantine Equations via Galois Representations and Modular Forms Michael A. Bennett and Chris M. Skinner Abstract. In this paper, we develop techniques
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More informationEndomorphism algebras of semistable abelian varieties over Q of GL(2)-type
of semistable abelian varieties over Q of GL(2)-type UC Berkeley Tatefest May 2, 2008 The abelian varieties in the title are now synonymous with certain types of modular forms. (This is true because we
More informationWorkshop on Serre s Modularity Conjecture: the level one case
Workshop on Serre s Modularity Conjecture: the level one case UC Berkeley Monte Verità 13 May 2009 Notation We consider Serre-type representations of G = Gal(Q/Q). They will always be 2-dimensional, continuous
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationSOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p
MATHEMATICS OF COMPUTATION Volume 79, Number 269, January 2010, Pages 535 544 S 0025-5718(09)02294-7 Article electronically published on July 22, 2009 SOLVING FERMAT-TYPE EQUATIONS x 5 + y 5 = dz p NICOLAS
More informationl-adic MODULAR DEFORMATIONS AND WILES S MAIN CONJECTURE
l-adic MODULAR DEFORMATIONS AND WILES S MAIN CONJECTURE FRED DIAMOND AND KENNETH A. RIBET 1. Introduction Let E be an elliptic curve over Q. The Shimura-Taniyama conjecture asserts that E is modular, i.e.,
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationarxiv: v3 [math.nt] 30 Oct 2016
ON THE ASYMPTOTIC FERMAT S LAST THEOREM OVER NUMBER FIELDS arxiv:1609.04458v3 [math.nt] 30 Oct 2016 MEHMET HALUK ŞENGÜN AND SAMIR SIKSEK Abstract. Let K be a number field, S be the set of primes of K above
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationModular congruences, Q-curves, and the diophantine equation x 4 +y 4 = z p
arxiv:math/0304425v1 [math.nt] 27 Apr 2003 Modular congruences, Q-curves, and the diophantine equation x 4 +y 4 = z p Luis V. Dieulefait Centre de Recerca Matemática Apartat 50, E-08193 Bellaterra, Spain
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationThe Fermat equation over Q( 2)
Journal of Number Theory 109 (2004) 182 196 www.elsevier.com/locate/jnt The Fermat equation over Q( 2) Frazer Jarvis, Paul Meekin Department of Pure Mathematics, University of Sheffield, Sheffield S3 7RH,
More informationOn the equation a 3 + b 3n = c 2
ACTA ARITHMETICA 163.4 (2014) On the equation a 3 + b 3n = c 2 by Michael A. Bennett (Vancouver, BC), Imin Chen (Burnaby, BC), Sander R. Dahmen (Amsterdam) and Soroosh Yazdani (Lethbridge, AB) 1. Introduction.
More informationWinding quotients and some variants of Fermat s Last Theorem
Winding quotients and some variants of Fermat s Last Theorem Henri Darmon at Montréal Loïc Merel at Berkeley September 9, 2007 Introduction The motivation (or perhaps the excuse?) for this paper is the
More informationCongruences, graphs and modular forms
Congruences, graphs and modular forms Samuele Anni (IWR - Universität Heidelberg) joint with Vandita Patel (University of Warwick) (work in progress) FoCM 2017, UB, 12 th July 2017 The theory of congruences
More informationRECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k)
RECIPES FOR TERNARY DIOPHANTINE EQUATIONS OF SIGNATURE (p, p, k) MICHAEL A. BENNETT Abstract. In this paper, we survey recent work on ternary Diophantine equations of the shape Ax n + By n = Cz m for m
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationCalculation and arithmetic significance of modular forms
Calculation and arithmetic significance of modular forms Gabor Wiese 07/11/2014 An elliptic curve Let us consider the elliptic curve given by the (affine) equation y 2 + y = x 3 x 2 10x 20 We show its
More informationARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS
ARITHMETIC PROGRESSIONS OF SQUARES, CUBES AND n-th POWERS L. HAJDU 1, SZ. TENGELY 2 Abstract. In this paper we continue the investigations about unlike powers in arithmetic progression. We provide sharp
More informationMath Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013
Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so
More informationOverview. exp(2πiq(x)z) x Z m
Overview We give an introduction to the theory of automorphic forms on the multiplicative group of a quaternion algebra over Q and over totally real fields F (including Hilbert modular forms). We know
More informationTables of elliptic curves over number fields
Tables of elliptic curves over number fields John Cremona University of Warwick 10 March 2014 Overview 1 Why make tables? What is a table? 2 Simple enumeration 3 Using modularity 4 Curves with prescribed
More informationAN IMAGE OF INERTIA ARGUMENT FOR ABELIAN SURFACES AND FERMAT EQUATIONS OF SIGNATURE (13, 13, n) 1. Introduction
AN IMAGE OF INERTIA ARGUMENT FOR ABELIAN SURFACES AND FERMAT EQUATIONS OF SIGNATURE (13, 13, n) NICOLAS BILLEREY, IMIN CHEN, LASSINA DEMBÉLÉ, LUIS DIEULEFAIT, AND NUNO FREITAS Abstract. Building on previous
More informationIndependence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen)
Independence of Heegner Points Joseph H. Silverman (Joint work with Michael Rosen) Brown University Cambridge University Number Theory Seminar Thursday, February 22, 2007 0 Modular Curves and Heegner Points
More informationPossibilities for Shafarevich-Tate Groups of Modular Abelian Varieties
Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties William Stein Harvard University August 22, 2003 for Microsoft Research Overview of Talk 1. Abelian Varieties 2. Shafarevich-Tate
More informationRecent Work on Serre s Conjectures
Recent Work on s UC Berkeley UC Irvine May 23, 2007 Prelude In 1993 1994, I was among the number theorists who lectured to a variety of audiences about the proof of Fermat s Last Theorem that Andrew Wiles
More informationThe Fermat equation over Q( 2)
The Fermat equation over Q( 2) Frazer Jarvis and Paul Meekin Department of Pure Mathematics, University of Sheffield, Sheffield S3 7RH, U.K. a.f.jarvis@shef.ac.uk pmp99pm@shef.ac.uk tel. 00441142223845,
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields
More informationMICHAEL A. BENNETT, VANDITA PATEL, AND SAMIR SIKSEK
SUPERELLIPTIC EQUATIONS ARISING FROM SUMS OF CONSECUTIVE POWERS arxiv:1509.06619v1 [math.nt] 22 Sep 2015 MICHAEL A. BENNETT, VANDITA PATEL, AND SAMIR SIKSEK Abstract. Using only elementary arguments, Cassels
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationMathematical Research Letters 2, (1995) MODULARITY OF A FAMILY OF ELLIPTIC CURVES. Fred Diamond and Kenneth Kramer
Mathematical Research Letters 2, 299 304 (1995) MODULARITY OF A FAMILY OF ELLIPTIC CURVES Fred Diamond and Kenneth Kramer We shall explain how the following is a corollary of results of Wiles [W]: Theorem.
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationThe level 1 weight 2 case of Serre s conjecture
Rev. Mat. Iberoamericana 23 (2007), no. 3, 1115 1124 The level 1 weight 2 case of Serre s conjecture Luis Dieulefait A Ana Chepich, la chica del 17 (24 de marzo de 1917-8 de julio de 2004): In memoriam
More informationReciprocity maps with restricted ramification
Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at
More informationOverview of the proof
of the proof UC Berkeley CIRM 16 juillet 2007 Saturday: Berkeley CDG Sunday: CDG MRS Gare Saint Charles CIRM Monday: Jet lag Jet lag = Slides Basic setup and notation G = Gal(Q/Q) We deal with 2-dimensional
More informationRigid local systems, Hilbert modular forms, and Fermat s last theorem
Rigid local systems, Hilbert modular forms, and Fermat s last theorem Henri Darmon March 3, 1999 Contents 1 Frey representations 4 1.1 Definition............................. 4 1.2 Classification: the
More informationRigid local systems, Hilbert modular forms, and Fermat s last theorem
Rigid local systems, Hilbert modular forms, and Fermat s last theorem Henri Darmon September 5, 2007 Contents 1 Frey representations 4 1.1 Definition............................. 4 1.2 Classification:
More informationFermat s Last Theorem
Fermat s Last Theorem T. Muthukumar tmk@iitk.ac.in 0 Jun 014 An ancient result states that a triangle with vertices A, B and C with lengths AB = a, BC = b and AC = c is right angled at B iff a + b = c.
More informationCORRESPONDENCES ON SHIMURA CURVES AND MAZUR S PRINCIPLE AT p. Frazer Jarvis
CORRESPONDENCES ON SHIMURA CURVES AND MAZUR S PRINCIPLE AT p Frazer Jarvis In this paper, we continue our earlier study of Mazur s Principle for totally real fields, and extend the main result to one also
More informationTWISTS OF X(7) AND PRIMITIVE SOLUTIONS TO x 2 + y 3 = z 7
TWISTS OF X(7) AND PRIMITIVE SOLUTIONS TO x 2 + y 3 = z 7 BJORN POONEN, EDWARD F. SCHAEFER, AND MICHAEL STOLL Abstract. We find the primitive integer solutions to x 2 + y 3 = z 7. A nonabelian descent
More informationQ-curves and Galois representations
Q-curves and Galois representations Jordan S. Ellenberg Princeton University ellenber@math.princeton.edu 30 Jan 2003 Introduction and definitions Let K be a number field, Galois over Q. A Q-curve over
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationarxiv:math/ v2 [math.nt] 29 Apr 2003
Modularity of rigid Calabi-Yau threefolds over Q Luis Dieulefait and Jayanta Manoharmayum arxiv:math/0304434v2 [math.nt] 29 Apr 2003 Abstract We prove modularity for a huge class of rigid Calabi-Yau threefolds
More informationCLASSICAL AND MODULAR APPROACHES TO EXPONENTIAL DIOPHANTINE EQUATIONS I. FIBONACCI AND LUCAS PERFECT POWERS
CLASSICAL AND MODULAR APPROACHES TO EXPONENTIAL DIOPHANTINE EQUATIONS I. FIBONACCI AND LUCAS PERFECT POWERS YANN BUGEAUD, MAURICE MIGNOTTE, SAMIR SIKSEK Abstract. This is the first in a series of papers
More informationPRODUCTS OF CONSECUTIVE INTEGERS
PRODUCTS OF CONSECUTIVE INTEGERS MICHAEL A. BENNETT Abstract. In this paper, we deduce a number of results on the arithmetic structure of products of integers in short intervals. By way of example, we
More information26 Fermat s Last Theorem
18.783 Elliptic Curves Spring 2017 Lecture #26 05/17/2017 26 Fermat s Last Theorem In this final lecture we give an overview of the proof of Fermat s Last Theorem. Our goal is to explain exactly what Andrew
More informationGrowth of Hecke fields over a slope 0 family
Growth of Hecke fields over a slope 0 family Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A conference talk on January 27, 2014 at Simons Conference (Puerto Rico). The
More informationDiophantine equations and beyond
Diophantine equations and beyond lecture King Faisal prize 2014 Gerd Faltings Max Planck Institute for Mathematics 31.3.2014 G. Faltings (MPIM) Diophantine equations and beyond 31.3.2014 1 / 23 Introduction
More informationTHE PARAMODULAR CONJECTURE ARMAND BRUMER
THE PARAMODULAR CONJECTURE ARMAND BRUMER (Joint work with Ken Kramer and Magma) Modular Forms and Curves of Low Genus: Computational Aspects @ ICERM Sept. 30, 2015 B&Kramer: Certain abelian varieties bad
More informationHecke fields and its growth
Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially
More informationIntroduction to Q-curves
Introduction to Q-curves Imin Chen Simon Fraser University ichen@math.sfu.ca November 24, 2008 Introduction Some Galois cohomology Abelian varieties of GL 2 -type Explicit splitting maps for example References
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationPOWERS IN LUCAS SEQUENCES VIA GALOIS REPRESENTATIONS
POWERS IN LUCAS SEQUENCES VIA GALOIS REPRESENTATIONS JESSE SILLIMAN AND ISABEL VOGT Abstract. Let u n be a nondegenerate Lucas sequence. We generalize the results of Bugeaud, Mignotte, and Siksek [6] to
More informationON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS
ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose
More informationComputing central values of twisted L-functions of higher degre
Computing central values of twisted L-functions of higher degree Computational Aspects of L-functions ICERM November 13th, 2015 Computational challenges We want to compute values of L-functions on the
More informationp-adic iterated integrals, modular forms of weight one, and Stark-Heegner points.
Stark s Conjecture and related topics p-adic iterated integrals, modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor
More informationDiscrete Logarithms. Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set
Discrete Logarithms Let s begin by recalling the definitions and a theorem. Let m be a given modulus. Then the finite set Z/mZ = {[0], [1],..., [m 1]} = {0, 1,..., m 1} of residue classes modulo m is called
More informationCYCLOTOMIC FIELDS CARL ERICKSON
CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and
More informationAttempt QUESTIONS 1 and 2, and THREE other questions. penalised if you attempt additional questions.
UNIVERSITY OF EAST ANGLIA School of Mathematics Main Series UG Examination 2017 18 FERMAT S LAST THEOREM MTHD6024B Time allowed: 3 Hours Attempt QUESTIONS 1 and 2, and THREE other questions. penalised
More informationThe Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January
The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian
More informationDiscrete Mathematics with Applications MATH236
Discrete Mathematics with Applications MATH236 Dr. Hung P. Tong-Viet School of Mathematics, Statistics and Computer Science University of KwaZulu-Natal Pietermaritzburg Campus Semester 1, 2013 Tong-Viet
More informationRational Points on Curves in Practice. Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017
Rational Points on Curves in Practice Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017 The Problem Let C be a smooth projective and geometrically
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics UNRAMIFIED HILBERT MODULAR FORMS, WITH EXAMPLES RELATING TO ELLIPTIC CURVES JUDE SOCRATES AND DAVID WHITEHOUSE Volume 219 No. 2 April 2005 PACIFIC JOURNAL OF MATHEMATICS
More informationLaval University, Québec September 2010
Conférence Québec-Maine Laval University, Québec September 2010 The Birch and Swinnerton-Dyer conjecture for Q-curves and Oda s period relations... Joint work in progress with Victor Rotger (Barcelona),
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationArithmetic of elliptic curves and diophantine equations
Arithmetic of elliptic curves and diophantine equations Loïc Merel Introduction and background In 1952, P. Dénes, from Budapest 1, conjectured that three non-zero distinct n-th powers can not be in arithmetic
More informationGeneralization of Fermat s Last Theorem to Real Quadratic Fields
Treball final de màster MÀSTER DE MATEMÀTICA AVANÇADA Facultat de Matemàtiques Universitat de Barcelona Generalization of Fermat s Last Theorem to Real Quadratic Fields Autor: Alex Cebrian Galan Director:
More informationarxiv: v2 [math.nt] 5 Sep 2017
THE GENERALIZED FERMAT EQUATION WITH EXPONENTS 2, 3, n NUNO FREITAS, BARTOSZ NASKRĘCKI, AND MICHAEL STOLL arxiv:1703.05058v2 [math.nt] 5 Sep 2017 Abstract. We study the Generalized Fermat Equation x 2
More informationDiophantine and tropical geometry
Diophantine and tropical geometry David Zureick-Brown joint with Eric Katz (Waterloo) and Joe Rabinoff (Georgia Tech) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ University of Colorado-Boulder
More informationSchool of Mathematics
School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationVisibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one
Visibility and the Birch and Swinnerton-Dyer conjecture for analytic rank one Amod Agashe February 20, 2009 Abstract Let E be an optimal elliptic curve over Q of conductor N having analytic rank one, i.e.,
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationA Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced
A Proof of the Full Shimura-Taniyama-Weil Conjecture Is Announced Henri Darmon September 9, 2007 On June 23, 1993, Andrew Wiles unveiled his strategy for proving the Shimura-Taniyama-Weil conjecture for
More informationThe Local Langlands Conjectures for n = 1, 2
The Local Langlands Conjectures for n = 1, 2 Chris Nicholls December 12, 2014 1 Introduction These notes are based heavily on Kevin Buzzard s excellent notes on the Langlands Correspondence. The aim is
More informationOrdinary forms and their local Galois representations
Ordinary forms and their local Galois representations Eknath Ghate Abstract. We describe what is known about the local splitting behaviour of Galois representations attached to ordinary cuspidal eigenforms.
More informationGalois Representations Attached to Elliptic Curves
University of Bordeaux 1 algant master thesis Galois Representations Attached to Elliptic Curves Author: Can Ozan OGUZ Supervisor: Jean Gillibert July 10, 2012 Contents Introduction 2 1. Preliminaries
More informationOptimal Levels for Modular Mod 2 Representations over Totally Real Fields
Documenta Math. 533 Optimal Levels for Modular Mod 2 Representations over Totally Real Fields To John Coates, with thanks and best wishes Frazer Jarvis Received: August 30, 2005 Revised: January 26, 2006
More informationBeyond Fermat s Last Theorem
Beyond Fermat s Last Theorem David Zureick-Brown Emory University UC Irvine math club a 2 + b 2 = c 2 Basic Problem (Solving Diophantine Equations) Analysis Let f 1,..., f m Z[x 1,..., x n ] be polynomials.
More informationGenus 2 Curves of p-rank 1 via CM method
School of Mathematical Sciences University College Dublin Ireland and Claude Shannon Institute April 2009, GeoCrypt Joint work with Laura Hitt, Michael Naehrig, Marco Streng Introduction This talk is about
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationTHE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE
AJSE Mathematics Volume 1, Number 1, June 2009, Pages 97 106 THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE BENEDICT H. GROSS Abstract. We survey the progress that has been made on the arithmetic of elliptic
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationA LOCAL VERSION OF SZPIRO S CONJECTURE
A LOCAL VERSION OF SZPIRO S CONJECTURE MICHAEL A. BENNETT AND SOROOSH YAZDANI Abstract. Szpiro s Conjecture asserts the existence of an absolute constant K > 6 such that if E is an elliptic curve over
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More information