A Proof of the Full Shimura-Taniyama-Weil Conjecture

Total Page:16

File Type:pdf, Size:1020Kb

A Proof of the Full Shimura-Taniyama-Weil Conjecture comm-darmon.qxp 10/19/99 3:17 PM Page 1397 Research News A Proof of the Full Shimura- Taniyama-Weil Conjecture Is Announced Henri Darmon On June 23, 1993, Andrew Wiles unveiled his strat- straight line, finding the third point of intersection egy for proving the Shimura-Taniyama-Weil con- of the line with the curve and reflecting the re- jecture for semistable elliptic curves defined over sulting point about the x-axis. the field Q of rational numbers. Thanks to the After a change of variables is performed to work of Gerhard Frey, Jean-Pierre Serre, and Ken- bring it into the best possible form, the equation neth Ribet, this was known to imply Fermat’s Last defining E can be reduced modulo any prime num- Theorem. Six years later Christophe Breuil, Brian ber p. If the resulting equation is nonsingular over Conrad, Fred Diamond, and Richard Taylor have the finite field with p elements Fp = Z/pZ , then E finally announced a proof of the full Shimura- is said to have good reduction at p. All but finitely Taniyama-Weil conjecture for all elliptic curves many primes are primes of good reduction for a over Q. given E. For example, the elliptic curve defined by the cubic equation The Conjecture The Shimura-Taniyama-Weil conjecture relates el- y2 = x3 x2 +1/4 or, equivalently, (1) liptic curves (cubic equations in two variables of the y2 + y = x3 x2, form y2 = x3 + ax + b, where a and b are rational numbers) and modular forms, objects (to be defined has good reduction at all primes except 11. F below) arising as part of an ostensibly different cir- Let Np be the number of solutions (over p) of cle of ideas. the reduced equation, and set ap(E)=p Np. The { } An elliptic curve E can be made into an abelian sequence ap(E) p (indexed by the primes p of group in a natural way after adjoining to it an good reduction) encodes basic arithmetic infor- extra “solution at infinity” that plays the role of mation on E. Some terms in the sequence ap(E) for the identity element. This is what makes elliptic the elliptic curve of equation (1) are given in Table curves worthy of special study, for they alone, 1. among all projective curves (equations in two vari- ables, compactified by the adjunction of suitable p 2 3 5 7 1113 17 19 23 29 31 ... 10007 points at infinity) are endowed with such a natural Np 4 4 4 9 – 9 19 19 24 29 24 ... 9989 group law. If one views solutions geometrically as ap (E) –2 –1 1 –2 – 4 –2 0 –1 0 7 ... 18 points in the (x, y)-plane, the group operation con- sists in connecting two points on the curve by a Table 1. Sequence ap(E) for the elliptic curve (1). Henri Darmon is associate professor of mathematics at McGill University and a member of CICMA (Centre In- It has been a long-standing concern of number teruniversitaire en Calcul Mathématique Algébrique) and theory to search for patterns satisfied by sequences the CRM (Centre de Recherches Mathématiques). His e-mail of this sort. For example, in the simpler case of the address is [email protected]. quadratic equation in one variable x2 d =0with DECEMBER 1999 NOTICES OF THE AMS 1397 comm-darmon.qxp 10/19/99 3:17 PM Page 1398 d an integer, any prime p that does not divide 2d stable elliptic curve). It turns out that the space of is a prime of good reduction, and for such a p the weight two cusp forms of level 11 is one- integer Np is equal to 2 or 0, depending on whether dimensional and is spanned by the function d is a square or not modulo p. Gauss’s quadratic Y∞ reciprocity law implies that this seemingly subtle q (1 qn)2 (1 q11n)2 property of p depends only on the residue class n=1 of p modulo 4d, so that the sequence Np obeys a = q 2q2 q3 +2q4 + q5 +2q6 2q7 simple periodicity law. 9 10 11 12 13 14 In the case of elliptic curves, a similar pattern 2q 2q + q 2q + 4q +4q arises. It is, however, a good deal more subtle—so q15 4q16 2q17 +4q18 +2q20 +2q21 much so that it emerged as a precise conjecture 2q22 q23 4q25 8q26 +5q27 4q28 only in the 1950s through the work of Shimura, 30 31 10007 Taniyama, and Weil. This pattern involves the no- +2q + 7q + + 18q + . tion of a modular form of weight two: an analytic function on the complex upper half-plane The reader will note that the Fourier coefficients {z ∈ C with Im(z) > 0} satisfying suitable growth of this function agree with the numbers computed, conditions at the boundary as well as a transfor- by wholly different methods, in Table 1. mation rule of the form The Shimura-Taniyama-Weil conjecture was widely believed to be unbreachable, until the sum- az + b f =(cz + d)2f (z), mer of 1993, when Wiles announced a proof that cz + d ! every semistable elliptic curve is modular. A full ab proof of this result appeared in 1994 in the two for all ∈ , cd articles [W] and [TW], the second joint with Tay- lor. Shortly afterwards, Diamond [Di1] was able to where is an appropriate “congruence subgroup” remove the semistability assumption in Wiles’s ar- Z of SL2( ). The main example of a congruence sub- gument at all the primes except 3 and 5. Then, in group, sufficient for the formulation of the 1998 Conrad, Diamond, and Taylor [CDT] refined Shimura-Taniyama-Weil conjecture, is the group the techniques still further, establishing the Z 0(N) of matrices in SL2( ) whose lower-left entries Shimura-Taniyama-Weil conjecture for all elliptic are divisible by N. A modular form of weight two curves whose conductor is not divisible by 27. on 0(N) (also said to be of level N) is, in particu- This is where matters stood at the start of the lar, invariant under translation by 1, and it can be summer of 1999, before the announcement of expressed as a Fourier series Breuil, Conrad, Diamond, and Taylor. X∞ n 2iz f (z)= an(f )q , where q = e . The Importance of the Conjecture n=0 The Shimura-Taniyama-Weil conjecture and its subsequent, just-completed proof stand as a crown- Of particular interest are the so-called “cusp ing achievement of number theory in the twenti- forms” satisfying a more stringent growth condi- eth century. This statement can be defended on (at tion at the boundary that implies, in particular, that least) three levels. a0(f )=0. The Shimura-Taniyama-Weil conjecture asserts that if E is an elliptic curve over Q, then Fermat’s Last Theorem there is an integer N 1 and a weight-two cusp Firstly, the Shimura-Taniyama-Weil conjecture im- form f of level N, normalized so that a1(f )=1, plies Fermat’s Last Theorem. This is surprising at n n n such that first, because the equation x + y = z is not a ap(E)=ap(f ), cubic and bears, on the face of it, no relation with elliptic curves. But to a nontrivial solution for all primes p of good reduction for E. When this ap + bp = cp of Fermat’s equation with prime ex- is the case, the curve E is said to be modular. The ponent p>5, Frey associated the elliptic curve conjecture also predicts the precise value of N: it (now known as a “Frey curve”) given by the equa- should be equal to the “conductor” of E, an arith- tion y2 = x(x ap)(x + bp) . The conductor of E metically defined quantity that measures the Dio- when a, b, and c are relatively prime is the prod- phantine complexity of the associated cubic equa- uct of the primes dividing abc (so that, in partic- tion. Its prime divisors are precisely the primes of ular, E is semistable). Ribet, guided by conjectures bad reduction of E. If p divides N but p2 does not, of Serre, proved that such an elliptic curve could then E is said to have semistable reduction at p. In not possibly correspond to a modular form in the particular, E has semistable reduction at all primes way predicted by the Shimura-Taniyama-Weil con- p (i.e., is semistable) precisely when N is square- jecture. free. Because the Frey curve is semistable, the origi- For instance, the elliptic curve of equation (1) nal result of [W] and [TW] is enough to imply Fer- has conductor 11 (and thus is an example of a semi- mat’s Last Theorem, and the new result of Breuil, 1398 NOTICES OF THE AMS VOLUME 46, NUMBER 11 comm-darmon.qxp 10/19/99 3:17 PM Page 1399 Conrad, Diamond, and Taylor yields nothing new This conjecture is of fundamental importance for on Fermat’s equation. It does imply, however, other the arithmetic of elliptic curves and is still far results of the same nature, such as the statement from being settled, although the work of Gross- that a perfect cube cannot be written as a sum of Zagier and Kolyvagin shows that it is true when two relatively prime nth powers with n 3, gen- ords=1(L(E,s)) 1. eralizing Euler’s result for n =3. As in the case of Knowing that E is modular also gives control on Fermat’s Last Theorem, a solution to the equation the arithmetic of E in other ways, by allowing the ap + bp = c3 is used to construct an elliptic curve construction of certain global points on E defined whose existence is shown in [DM] to contradict the over abelian extensions of quadratic imaginary Shimura-Taniyama-Weil conjecture.
Recommended publications
  • On Mod P Local-Global Compatibility for Unramified GL by John Enns A
    On mod p local-global compatibility for unramified GL3 by John Enns A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Department of Mathematics University of Toronto c Copyright 2018 by John Enns Abstract On mod p local-global compatibility for unramified GL3 John Enns Doctor of Philosophy Department of Mathematics University of Toronto 2018 Let F=F + be a CM number field and wjp a place of F lying over a place of F + that splits in F . Ifr ¯ : GF ! GLn(Fp) is a global Galois representation automorphic with respect to a definite + 0 unitary group over F then there is a naturally associated GLn(Fw)-representation H (¯r) over 0 Fp constructed using mod p automorphic forms, and it is hoped that H (¯r) will correspond to r¯j under a conjectural mod p local Langlands correspondence. The goal of the thesis is to GFw study how to recover the data ofr ¯j from H0(¯r) in certain cases. GFw Assume that Fw is unramified and n = 3. Under certain technical hypotheses onr ¯, we give an explicit recipe to find all the data ofr ¯j inside the GL (F )-action on H0(¯r) when GFw 3 w r¯j is maximally nonsplit, Fontaine-Laffaille, generic, and has a unique Serre weight. This GFw generalizes work of Herzig, Le and Morra [HLM17] who found analogous results when Fw = Qp as well as work of Breuil and Diamond [BD14] in the case of unramified GL2. ii For Cathleen iii Acknowledgements I want to thank my advisor Florian for suggesting this problem and for his advice since the beginning stages of this work.
    [Show full text]
  • Curriculum Vitae
    CURRICULUM VITAE JANNIS A. ANTONIADIS Department of Mathematics University of Crete 71409 Iraklio,Crete Greece PERSONAL Born on 5 of September 1951 in Dryovouno Kozani, Greece. Married with Sigrid Arnz since 1983, three children : Antonios (26), Katerina (23), Karolos (21). EDUCATION-EMPLOYMENT 1969-1973: B.S. in Mathematics at the University of Thessaloniki, Greece. 1973-1976: Military Service. 1976-1979: Assistant at the University of Thessaloniki, Greece. 1979-1981: Graduate student at the University of Cologne, Germany. 1981 Ph.D. in Mathematics at the University of Cologne. Thesis advisor: Prof. Dr. Curt Meyer. 1982-1984: Lecturer at the University of Thessaloniki, Greece. 1984-1990: Associate Professor at the University of Crete, Greece. 1990-now: Professor at the University of Crete, Greece. 2003-2007 Chairman of the Department VISITING POSITIONS - University of Cologne Germany, during the period from December 1981 until Ferbruary 1983 as researcher of the German Research Council (DFG). - MPI-for Mathematics Bonn Germany, during the periods: from May until September of the year 1985, from May until September of the year 1986, from July until January of the year 1988 and from July until September of the year 1988. - University of Heidelberg Germany, during the period: from September 1993 until January 1994, as visiting Professor. University of Cyprus, during the period from January 2008 until May 2008, as visiting Professor. Again for the Summer Semester of 2009 and of the Winter Semester 2009-2010. LONG TERM VISITS: - University
    [Show full text]
  • Sir Andrew J. Wiles
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society March 2017 Volume 64, Number 3 Women's History Month Ad Honorem Sir Andrew J. Wiles page 197 2018 Leroy P. Steele Prize: Call for Nominations page 195 Interview with New AMS President Kenneth A. Ribet page 229 New York Meeting page 291 Sir Andrew J. Wiles, 2016 Abel Laureate. “The definition of a good mathematical problem is the mathematics it generates rather Notices than the problem itself.” of the American Mathematical Society March 2017 FEATURES 197 239229 26239 Ad Honorem Sir Andrew J. Interview with New The Graduate Student Wiles AMS President Kenneth Section Interview with Abel Laureate Sir A. Ribet Interview with Ryan Haskett Andrew J. Wiles by Martin Raussen and by Alexander Diaz-Lopez Allyn Jackson Christian Skau WHAT IS...an Elliptic Curve? Andrew Wiles's Marvelous Proof by by Harris B. Daniels and Álvaro Henri Darmon Lozano-Robledo The Mathematical Works of Andrew Wiles by Christopher Skinner In this issue we honor Sir Andrew J. Wiles, prover of Fermat's Last Theorem, recipient of the 2016 Abel Prize, and star of the NOVA video The Proof. We've got the official interview, reprinted from the newsletter of our friends in the European Mathematical Society; "Andrew Wiles's Marvelous Proof" by Henri Darmon; and a collection of articles on "The Mathematical Works of Andrew Wiles" assembled by guest editor Christopher Skinner. We welcome the new AMS president, Ken Ribet (another star of The Proof). Marcelo Viana, Director of IMPA in Rio, describes "Math in Brazil" on the eve of the upcoming IMO and ICM.
    [Show full text]
  • A Glimpse of the Laureate's Work
    A glimpse of the Laureate’s work Alex Bellos Fermat’s Last Theorem – the problem that captured planets moved along their elliptical paths. By the beginning Andrew Wiles’ imagination as a boy, and that he proved of the nineteenth century, however, they were of interest three decades later – states that: for their own properties, and the subject of work by Niels Henrik Abel among others. There are no whole number solutions to the Modular forms are a much more abstract kind of equation xn + yn = zn when n is greater than 2. mathematical object. They are a certain type of mapping on a certain type of graph that exhibit an extremely high The theorem got its name because the French amateur number of symmetries. mathematician Pierre de Fermat wrote these words in Elliptic curves and modular forms had no apparent the margin of a book around 1637, together with the connection with each other. They were different fields, words: “I have a truly marvelous demonstration of this arising from different questions, studied by different people proposition which this margin is too narrow to contain.” who used different terminology and techniques. Yet in the The tantalizing suggestion of a proof was fantastic bait to 1950s two Japanese mathematicians, Yutaka Taniyama the many generations of mathematicians who tried and and Goro Shimura, had an idea that seemed to come out failed to find one. By the time Wiles was a boy Fermat’s of the blue: that on a deep level the fields were equivalent. Last Theorem had become the most famous unsolved The Japanese suggested that every elliptic curve could be problem in mathematics, and proving it was considered, associated with its own modular form, a claim known as by consensus, well beyond the reaches of available the Taniyama-Shimura conjecture, a surprising and radical conceptual tools.
    [Show full text]
  • Arxiv:Math/9807081V1 [Math.AG] 16 Jul 1998 Hthsbffldtewrdsbs Id O 5 Er Otl Bed-Time Tell to Years Olivia
    Oration for Andrew Wiles Fanfare We honour Andrew Wiles for his supreme contribution to number theory, a contribution that has made him the world’s most famous mathematician and a beacon of inspiration for students of math; while solving Fermat’s Last Theorem, for 350 years the most celebrated open problem in mathematics, Wiles’s work has also dramatically opened up whole new areas of research in number theory. A love of mathematics The bulk of this eulogy is mathematical, for which I make no apology. I want to stress here that, in addition to calculations in which each line is correctly deduced from the preceding lines, mathematics is above all passion and drama, obsession with solving the unsolvable. In a modest way, many of us at Warwick share Andrew Wiles’ overriding passion for mathematics and its unsolved problems. Three short obligatory pieces Biography Oxford, Cambridge, Royal Society Professor at Oxford from arXiv:math/9807081v1 [math.AG] 16 Jul 1998 1988, Professor at Princeton since 1982 (lamentably for maths in Britain). Very many honours in the last 5 years, including the Wolf prize, Royal Society gold medal, the King Faisal prize, many, many others. Human interest story The joy and pain of Wiles’s work on Fermat are beautifully documented in John Lynch’s BBC Horizon documentary; I par- ticularly like the bit where Andrew takes time off from unravelling the riddle that has baffled the world’s best minds for 350 years to tell bed-time stories to little Clare, Kate and Olivia. 1 Predictable barbed comment on Research Assessment It goes with- out saying that an individual with a total of only 14 publications to his credit who spends 7 years sulking in his attic would be a strong candidate for early retirement at an aggressive British research department.
    [Show full text]
  • Fermat's Last Theorem, a Theorem at Last
    August 1993 MAA FOCUS Fermat’s Last Theorem, that one could understand the elliptic curve given by the equation a Theorem at Last 2 n n y = x(x − a )( x + b ) Keith Devlin, Fernando Gouvêa, and Andrew Granville in the way proposed by Taniyama. After defying all attempts at a solution for Wiles’ approach comes from a somewhat Following an appropriate re-formulation 350 years, Fermat’s Last Theorem finally different direction, and rests on an amazing by Jean-Pierre Serre in Paris, Kenneth took its place among the known theorems of connection, established during the last Ribet in Berkeley strengthened Frey’s mathematics in June of this year. decade, between the Last Theorem and the original concept to the point where it was theory of elliptic curves, that is, curves possible to prove that the existence of a On June 23, during the third of a series of determined by equations of the form counter example to the Last Theorem 2 3 lectures at a conference held at the Newton y = x + ax + b, would lead to the existence of an elliptic Institute in Cambridge, British curve which could not be modular, and mathematician Dr. Andrew Wiles, of where a and b are integers. hence would contradict the Shimura- Princeton University, sketched a proof of the Taniyama-Weil conjecture. Shimura-Taniyama-Weil conjecture for The path that led to the June 23 semi-stable elliptic curves. As Kenneth announcement began in 1955 when the This is the point where Wiles entered the Ribet, of the University of California at Japanese mathematician Yutaka Taniyama picture.
    [Show full text]
  • Fermat's Last Theorem and Andrew Wiles
    Fermat's last theorem and Andrew Wiles © 1997−2009, Millennium Mathematics Project, University of Cambridge. Permission is granted to print and copy this page on paper for non−commercial use. For other uses, including electronic redistribution, please contact us. June 2008 Features Fermat's last theorem and Andrew Wiles by Neil Pieprzak This article is the winner of the schools category of the Plus new writers award 2008. Students were asked to write about the life and work of a mathematician of their choice. "But the best problem I ever found, I found in my local public library." Andrew Wiles. Image © C. J. Mozzochi, Princeton N.J. There is a problem that not even the collective mathematical genius of almost 400 years could solve. When the ten−year−old Andrew Wiles read about it in his local Cambridge library, he dreamt of solving the problem that had haunted so many great mathematicians. Little did he or the rest of the world know that he would succeed... Fermat's last theorem and Andrew Wiles 1 Fermat's last theorem and Andrew Wiles "Here was a problem, that I, a ten−year−old, could understand and I knew from that moment that I would never let it go. I had to solve it." Pierre de Fermat The story of the problem that would seal Wiles' place in history begins in 1637 when Pierre de Fermat made a deceptively simple conjecture. He stated that if is any whole number greater than 2, then there are no three whole numbers , and other than zero that satisfy the equation (Note that if , then whole number solutions do exist, for example , and .) Fermat claimed to have proved this statement but that the "margin [was] too narrow to contain" it.
    [Show full text]
  • On Galois Representations in Theory and Praxis Gerhard Frey, University of Duisburg-Essen
    On Galois Representations in Theory and Praxis Gerhard Frey, University of Duisburg-Essen One of the most astonishing success stories in recent mathematics is arithmetic geo- metry, which unifies methods from classical number theory with algebraic geometry (\schemes"). In this context an extremely important role is played by the Galois groups of base schemes like rings of integers of number fields or rings of holomor- phic functions of curves over finite fields. These groups are the algebraic analogues of topological fundamental groups, and their representations induced by the action on divisor class groups of varieties over these domains yield spectacular results like Serre's Conjecture for two-dimensional representations of the Galois group of Q, which implies for example the modularity of elliptic curves over Q and so Fermat's Last Theorem (and much more). At the same time the algorithmic aspect of arithmetical objects like lattices and ideal class groups of global fields becomes more and more important and accessible, stimulated by and stimulating the advances in theory. An outstanding result is the theorem of F. Heß and C.Diem yielding that the addition in divisor class groups of curves of genus g over finite fields Fq is (probabilistically) of polynomial complexity in g ( fixed) and log(q)(g fixed). So one could hope to use such groups for public key cryptography, e.g. for key exchange, as established by Diffie-Hellman for the multiplicative group of finite fields. But the obtained insights play not only a constructive role but also a destructive role for the security of such systems.
    [Show full text]
  • Seminar on Potential Modularity and Its Applications
    Seminar on Potential Modularity and its Applications Panagiotis Tsaknias April 1, 2011 1 Intro A main theme of modern (algebraic) number theory is the study of the absolute Galois group GQ of Q and more specifically its representations. Although one dimensional Galois representations admit an elegant description through class field theory, the general case is nowhere near that easy to handle. The well known Langlands Program is a far reaching web of conjectures that was devised in effort to describe such representations. On one side one has analytic objects (automorphic representations) whose behavior is\better understood", i.e. the L-function associated with them admits an analytic continuation to the whole complex plane and satisfies a functional equation. On the other side, one has L-series that come from Galois representations and whose analytic continuation and functional equation is difficult to show. The Langlands program suggests that one can indirectly prove that by showing that the Galois representation in question is associated with an automorphic representation, i.e. they are associated with the same L-function. One of the first examples of this approach was the classical proof that CM elliptic curves are modular, and therefore their L-function admits an analytic continuation and satisfies a functional equation. For more general classes of elliptic curves the first major break through was done by Wiles [22] and Taylor-Wiles [19] who proved that all semisimple elliptic curves are modular. Subsequent efforts culminating with the work done by Breuil-Conrad-Diamond-Taylor [2] finally proved modularity for all elliptic curves over Q.
    [Show full text]
  • Serre Weights and Breuil's Lattice Conjecture In
    SERRE WEIGHTS AND BREUIL'S LATTICE CONJECTURE IN DIMENSION THREE DANIEL LE, BAO V. LE HUNG, BRANDON LEVIN, AND STEFANO MORRA Abstract. We prove in generic situations that the lattice in a tame type induced by the com- pleted cohomology of a U(3)-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above p. This is a generalization to GL3 of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil{M´ezardconjecture for (tamely) potentially crys- talline deformation rings with Hodge-Tate weights (2; 1; 0) as well as the Serre weight conjectures of [Her09] over an unramified field extending the results of [LLHLM18]. We also prove results in modular representation theory about lattices in Deligne{Luzstig representations for the group GL3(Fq). Contents 1. Introduction 3 1.1. Breuil's lattice conjecture 3 1.2. Serre weight and Breuil{M´ezardconjectures 4 1.3. Representation theory results 5 1.4. Notation 6 2. Extension graph 10 2.1. Definition and properties of the extension graph 10 2.2. Types and Serre weights 13 2.3. Combinatorics of types and Serre weights 14 3. Serre weight conjectures 20 3.1. Background 20 3.2. Etale´ '-modules with descent data 22 3.3. Semisimple Kisin modules 24 3.4. Shapes and Serre weights 27 3.5. Serre weight conjectures 28 3.6. The geometric Breuil{M´ezardconjecture 35 4. Lattices in generic Deligne{Lusztig representations 56 4.1. The classification statement 56 4.2. Injective envelopes 59 4.3.
    [Show full text]
  • Elliptic Curves and Modularity
    Elliptic curves and modularity Manami Roy Fordham University July 30, 2021 PRiME (Pomona Research in Mathematics Experience) Manami Roy Elliptic curves and modularity Outline elliptic curves reduction of elliptic curves over finite fields the modularity theorem with an explicit example some applications of the modularity theorem generalization the modularity theorem Elliptic curves Elliptic curves Over Q, we can write an elliptic curve E as 2 3 2 E : y + a1xy + a3y = x + a2x + a4x + a6 or more commonly E : y 2 = x3 + Ax + B 3 2 where ai ; A; B 2 Q and ∆(E) = −16(4A + 27B ) 6= 0. ∆(E) is called the discriminant of E. The conductor NE of a rational elliptic curve is a product of the form Y fp NE = p : pj∆ Example The elliptic curve E : y 2 = x3 − 432x + 8208 12 12 has discriminant ∆ = −2 · 3 · 11 and conductor NE = 11. A minimal model of E is 2 3 2 Emin : y + y = x − x with discriminant ∆min = −11. Example Elliptic curves of finite fields 2 3 2 E : y + y = x − x over F113 Elliptic curves of finite fields Let us consider E~ : y 2 + y = x3 − x2 ¯ ¯ ¯ over the finite field of p elements Fp = Z=pZ = f0; 1; 2 ··· ; p − 1g. ~ Specifically, we consider the solution of E over Fp. Let ~ 2 2 3 2 #E(Fp) = 1 + #f(x; y) 2 Fp : y + y ≡ x − x (mod p)g and ~ ap(E) = p + 1 − #E(Fp): Elliptic curves of finite fields E~ : y 2 − y = x3 − x2 ~ ~ p #E(Fp) ap(E) = p + 1 − #E(Fp) 2 5 −2 3 5 −1 5 5 1 7 10 −2 13 10 4 .
    [Show full text]
  • Sir Andrew Wiles Awarded Abel Prize
    Sir Andrew J. Wiles Awarded Abel Prize Elaine Kehoe with The Norwegian Academy of Science and Letters official Press Release ©Abelprisen/DNVA/Calle Huth. Courtesy of the Abel Prize Photo Archive. ©Alain Goriely, University of Oxford. Courtesy the Abel Prize Photo Archive. Sir Andrew Wiles received the 2016 Abel Prize at the Oslo award ceremony on May 24. The Norwegian Academy of Science and Letters has carries a cash award of 6,000,000 Norwegian krone (ap- awarded the 2016 Abel Prize to Sir Andrew J. Wiles of the proximately US$700,000). University of Oxford “for his stunning proof of Fermat’s Citation Last Theorem by way of the modularity conjecture for Number theory, an old and beautiful branch of mathemat- semistable elliptic curves, opening a new era in number ics, is concerned with the study of arithmetic properties of theory.” The Abel Prize is awarded by the Norwegian Acad- the integers. In its modern form the subject is fundamen- tally connected to complex analysis, algebraic geometry, emy of Science and Letters. It recognizes contributions of and representation theory. Number theoretic results play extraordinary depth and influence to the mathematical an important role in our everyday lives through encryption sciences and has been awarded annually since 2003. It algorithms for communications, financial transactions, For permission to reprint this article, please contact: and digital security. [email protected]. Fermat’s Last Theorem, first formulated by Pierre de DOI: http://dx.doi.org/10.1090/noti1386 Fermat in the seventeenth century, is the assertion that 608 NOTICES OF THE AMS VOLUME 63, NUMBER 6 the equation xn+yn=zn has no solutions in positive integers tophe Breuil, Brian Conrad, Fred Diamond, and Richard for n>2.
    [Show full text]