DOCSLIB.ORG

Modular Forms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Modular Forms Modular Forms Andrew Kobin Fall 2019 Contents Contents Contents 0 The Web of Modularity 1 0.1 The Partition Function . .2 0.2 Quadratic Forms . .3 0.3 Elliptic Curves . .4 0.4 Galois Theory and Quantum Gravity . .4 0.5 Some Perspectives on Modular Forms . .5 1 Theta Functions 6 1.1 Poisson Summation . .6 1.2 The Jacobi Theta Function . .8 2 Modular Groups 12 2.1 The Modular Group SL2(Z)........................... 12 2.2 Congruence Subgroups . 12 2.3 Modular Curves . 15 3 Modular Forms 17 3.1 Definitions and Examples . 17 3.2 Modular Forms for SL2(Z)............................ 32 3.3 Petersson Inner Product . 35 4 Hecke Operators 37 4.1 Hecke Operators on SL2(Z)........................... 37 4.2 The Trace Form . 41 4.3 Atkin{Lehner Theory . 43 4.4 Oldforms and Newforms . 48 5 Connections to L-Functions 51 5.1 L-Functions for Hecke Eigenforms . 51 5.2 Modular Forms with Complex Multiplication . 53 5.3 Connection to Elliptic Curves with CM . 55 5.4 Periods and Critical L-Values . 57 5.5 Shimura Correspondence . 60 i 0 The Web of Modularity 0 The Web of Modularity These notes were taken during a course / seminar on modular forms taught by Dr. Ken Ono at the University of Virginia in fall 2019. The reading list includes: Koblitz's Introduction to Elliptic Curves and Modular Forms, Cohen-Stromberg's Modular Forms, Chapter VII in Serre's A Course in Arithmetic, Diamond-Shurman's A First Course in Modular Forms and Stein's Modular Forms: A Computational Approach among many others. The course centered around a list of special topics directly tied to the theory of modular forms. Some of these topics include: (1) The theory of elliptic functions and harmonic Maas forms (2) Classical theory of complex multiplication and its connections to abelian class field theory (3) Exact combinatorial formulas, e.g. the partition function p(n), values of the Riemann zeta function like ζ(2n), L-functions of an elliptic curve. (4) Quadratic forms { here's an interesting question that turns out to have a natural modular interpretation: which integers can be represented by an arbitrary quadratic form? For example, if the quadratic form is q = x2, the answer is \all perfect squares" of course. For q = x2 + y2, Legendre and Fermat showed that this comes down to whether the integer is divisible by primes congruent to 3 (mod 4), and this can alternatively be phrased in terms of class field theory. For q = x2 + y2 + 10z2, the question is wide open. None of the odd integers n = 3; 7 and 2719 are representable by q, and in fact 2719 is the largest known non-example. Further: Theorem 0.0.1 (Soundararajan). Assuming the Generalized Riemann Hypothesis, 2719 is the last odd integer not of the form x2 + y2 + 10z2. (5) Modularity of elliptic curves (6) Modular forms mod p (7) Brauer's Problem 19: given a finite simple group G and a fixed prime p, is there a complex irreducible representation ρ : G ! GL(V ) which remains irreducible mod p? (8) Thompson's Conjecture: let G be a finite group and K(G) the number field obtained by adjoining the entries of the character table for G to Q. Thompson proved that if n > 24 and m∗ := (−1)(m−1)=2m for m odd, then p ∗ K(An) = Q(f p j odd primes p < n; p 6= n − 2g): He then conjectured that if Π is a finite set of odd primes, then for n sufficiently large (depending on Π), KΠ(An) = Q(fχ j χ in the char. table for An restricted to g 2 An with order p; p 2 Πg) p is equal to Q(f p∗ j p 2 Π; p 6= n − 2g). 1 0.1 The Partition Function 0 The Web of Modularity Loosely speaking, a modular form is a function f : h ! C satisfying az + b a b An invariance property: f = (cz + d)kf(z) for all lying in a fixed cz + d c d subgroup Γ ≤ SL2(Z) and z 2 h. The number k is called the weight of f, while (cz + d)k is called the factor of automorphy. Analytic, meromorphic or real analytic conditions. In the next few sections, we introduce some classical number theory problems that can be elucidated with the theory of modular forms. In some sense these are the foundations of the theory, as many modern techniques were developed with one of these applications in mind. 0.1 The Partition Function Recall that a partition of an integer n is any nonincreasing sequence of positive integers which sum to n. The partition function p : N ! N is defined by p(n) = the number of partitions of n. It turns out that all of the irreducible representations of every finite group can be explicitly constructed from the combinatorial properties of p(n). For example, if n = 4 there are are 5 partitions: (4); (3; 1); (2; 2); (2; 1; 1); (1; 1; 1; 1). Modular forms enter when one tries to compute the generating function for p(n). Lemma 0.1.1 (Euler). The generating function for p(n) is 1 1 X Y 1 p(n)qn = : 1 − qn n=0 n=1 The right side of this equation is what is known as an `Euler product'. This simple, elegant formula has been a testing ground for the theory of modular forms. For example: The first Hecke operators were defined for this function. The circle method was originally developed with this function in mind. Early examples of Galois representations were computed for this example. Many of the earliest theorems about p(n) are due to Ramanujan, including: Theorem 0.1.2 (Ramanujan). For all n ≥ 0, p(5n + 4) ≡ 0 (mod 5) p(7n + 5) ≡ 0 (mod 7) p(11n + 6) ≡ 0 (mod 11): These were later proven to be the only examples of such congruences. Theorem 0.1.3 (Ahlgren-Boylan). If ` is prime and p(`n + b) ≡ 0 (mod `) for some b 2 Z and all n ≥ 0, then (b; `) = (4; 5); (5; 7) or (6; 11). 2 0.2 Quadratic Forms 0 The Web of Modularity On the other hand: Theorem 0.1.4 (Ono). For any (Q; 6) = 1, there are infinitely many non-nested arithmetic progressions An + B such that p(An + B) ≡ 0 (mod Q) for all n ≥ 0: For example, p(4063467631n + 30064597) ≡ 0 (mod 31) for all n ≥ 0. The asymptotic size of p(n) has also been known for decades: 1 p Theorem 0.1.5 (Hardy-Ramanujan). p(n) ∼ p eπ 2n=3. 4n 3 1 All of these results can be accessed by studying the meromorphic, weight − 2 modular 1 Y 1 function P (z) = q−1=24 , where q = q(z) = e2πiz. Unfortunately, this function has 1 − qn n=1 a a pole at \i1" and at every rational number b 2 Q ⊆ C. 0.2 Quadratic Forms Let v 2 N and define v 2 2 rv(n) = #f(x1; : : : ; xv) 2 Z j x1 + ::: + xv = ng: This is a classical function with many old results known, including: Theorem 0.2.1 (Gauss). Every nonnegative integer is the sum of 3 triangular numbers, i.e. m(m+1) those of the form 2 for some m. Thisp statement reduces to studying r3(8n + 3), namely Gauss showed that r3(8n + 3) = αh(Q( −8n − 3)) for some α ≤ 1, where h is the class number. Theorem 0.2.2 (Lagrange). Every nonnegative integer is the sum of four squares. Theorem 0.2.3 (Landau). For all n ≥ 1, X r4(n) = 8 d: 1≤djn 4-d These results about quadratic forms can be interpreted as statements about the holo- morphic weight v=2 modular form 1 X jjx¯jj2 X n θv(z) = q = rv(n)q : x¯2Zv n=0 Unlike P (z) in the last section, this function has no poles at i1 or any rational number, a and in fact the values of θv(z) as z ! b 2 Q encode important data about values of ζ- and L-functions. 3 0.3 Elliptic Curves 0 The Web of Modularity 0.3 Elliptic Curves An elliptic curve is an algebraic curve E given by an affine model (or Weierstrass equation) y2 = x3 + Ax + B where x3 + Ax + B has no repeated roots. A standard problem in number theory involves counting the rational (or integral) points of E. Theorem 0.3.1 (Mordell-Weil). If K is a number field and E is an elliptic curve, then E(K) is a finitely generated abelian group. ∼ r(E;K) In particular, E(K) = E(K)tors × Z where E(K)tors is a finite abelian group and r(E; K) ≥ 0 is the rank of E(K). The fundamental question in the theory of elliptic curves is: what values of r(E; K) are possible? Example 0.3.2. Consider the elliptic curve E : y2 = x3 − x over Q. Then (0; 0); (1; 0) and (−1; 0) are all order 2 points of E, so E(Q) contains a subgroup isomorphic to Z=2Z×Z=2Z. Define a sequence a(n) = aE(n) by 1 1 X Y a(n)qn = q (1 − q4n)2(1 − q8n)2: n=1 n=1 If p is an odd prime, then a(p) = p − #E(Fp) and in fact, a general theorem of Coates-Wiles implies that r(E; Q) = 0 in this case since the first moment of the generating function above is nonzero.
Load more

Recommended publications
  • Arxiv:2003.01675V1 [Math.NT] 3 Mar 2020 of Their Locations
    DIVISORS OF MODULAR PARAMETRIZATIONS OF ELLIPTIC CURVES MICHAEL GRIFFIN AND JONATHAN HALES Abstract. The modularity theorem implies that for every elliptic curve E=Q there exist rational maps from the modular curve X0(N) to E, where N is the conductor of E. These maps may be expressed in terms of pairs of modular functions X(z) and Y (z) where X(z) and Y (z) satisfy the Weierstrass equation for E as well as a certain differential equation. Using these two relations, a recursive algorithm can be used to calculate the q - expansions of these parametrizations at any cusp. Using these functions, we determine the divisor of the parametrization and the preimage of rational points on E. We give a sufficient condition for when these preimages correspond to CM points on X0(N). We also examine a connection between the al- gebras generated by these functions for related elliptic curves, and describe sufficient conditions to determine congruences in the q-expansions of these objects. 1. Introduction and statement of results The modularity theorem [2, 12] guarantees that for every elliptic curve E of con- ductor N there exists a weight 2 newform fE of level N with Fourier coefficients in Z. The Eichler integral of fE (see (3)) and the Weierstrass }-function together give a rational map from the modular curve X0(N) to the coordinates of some model of E: This parametrization has singularities wherever the value of the Eichler integral is in the period lattice. Kodgis [6] showed computationally that many of the zeros of the Eichler integral occur at CM points.
    [Show full text]
  • Generalization of a Theorem of Hurwitz
    J. Ramanujan Math. Soc. 31, No.3 (2016) 215–226 Generalization of a theorem of Hurwitz Jung-Jo Lee1,∗ ,M.RamMurty2,† and Donghoon Park3,‡ 1Department of Mathematics, Kyungpook National University, Daegu 702-701, South Korea e-mail: [email protected] 2Department of Mathematics and Statistics, Queen’s University, Kingston, Ontario, K7L 3N6, Canada e-mail: [email protected] 3Department of Mathematics, Yonsei University, 50 Yonsei-Ro, Seodaemun-Gu, Seoul 120-749, South Korea e-mail: [email protected] Communicated by: R. Sujatha Received: February 10, 2015 Abstract. This paper is an exposition of several classical results formulated and unified using more modern terminology. We generalize a classical theorem of Hurwitz and prove the following: let 1 G (z) = k (mz + n)k m,n be the Eisenstein series of weight k attached to the full modular group. Let z be a CM point in the upper half-plane. Then there is a transcendental number z such that ( ) = 2k · ( ). G2k z z an algebraic number Moreover, z can be viewed as a fundamental period of a CM elliptic curve defined over the field of algebraic numbers. More generally, given any modular form f of weight k for the full modular group, and with ( )π k /k algebraic Fourier coefficients, we prove that f z z is algebraic for any CM point z lying in the upper half-plane. We also prove that for any σ Q Q ( ( )π k /k)σ = σ ( )π k /k automorphism of Gal( / ), f z z f z z . 2010 Mathematics Subject Classification: 11J81, 11G15, 11R42.
    [Show full text]
  • Supersingular Zeros of Divisor Polynomials of Elliptic Curves of Prime Conductor
    Kazalicki and Kohen Res Math Sci(2017) 4:10 DOI 10.1186/s40687-017-0099-8 R E S E A R C H Open Access Supersingular zeros of divisor polynomials of elliptic curves of prime conductor Matija Kazalicki1* and Daniel Kohen2,3 *Correspondence: [email protected] Abstract 1Department of Mathematics, p p University of Zagreb, Bijeniˇcka For a prime number , we study the zeros modulo of divisor polynomials of rational cesta 30, 10000 Zagreb, Croatia elliptic curves E of conductor p. Ono (CBMS regional conference series in mathematics, Full list of author information is 2003, vol 102, p. 118) made the observation that these zeros are often j-invariants of available at the end of the article supersingular elliptic curves over Fp. We show that these supersingular zeros are in bijection with zeros modulo p of an associated quaternionic modular form vE .This allows us to prove that if the root number of E is −1 then all supersingular j-invariants of elliptic curves defined over Fp are zeros of the corresponding divisor polynomial. If the root number is 1, we study the discrepancy between rank 0 and higher rank elliptic curves, as in the latter case the amount of supersingular zeros in Fp seems to be larger. In order to partially explain this phenomenon, we conjecture that when E has positive rank the values of the coefficients of vE corresponding to supersingular elliptic curves defined over Fp are even. We prove this conjecture in the case when the discriminant of E is positive, and obtain several other results that are of independent interest.
    [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]
  • On Modular Forms for the Paramodular Group
    On Modular Forms for the Paramodular Group Brooks Roberts and Ralf Schmidt Contents 1 Definitions 3 2 Linear independence at different levels 6 3 The level raising operators 8 4 Oldforms and newforms 13 5 Saito–Kurokawa liftings 16 6 Two theorems 23 Appendix 26 References 28 Introduction Let F be a p–adic field, and let G be the algebraic F –group GSp(4). In our paper [RS] we presented a conjectural theory of local newforms for irreducible, admissible, generic representations of G(F ) with trivial central character. The main feature of this theory is that it considers fixed vectors under the paramodular groups K(pn), a certain family of compact-open subgroups. The group K(p0) is equal to the standard maximal compact subgroup G(o), where o is the ring of integers of F . In fact, K(p0) and K(p1) represent the two conjugacy classes of maximal compact subgroups of G(F ). In general K(pn) can be conjugated into K(p0) if n is even, and into K(p1) if n is odd. Our theory is analogous to Casselman’s well-known theory for representations of GL(2,F ); see [Cas]. The main conjecture made in [RS] states that for each irreducible, admissible, generic representation (π, V ) of PGSp(4,F ) there exists an n such that the space V (n) of K(pn) invariant vectors is non-zero; if n0 is the minimal such n then dimC(V (n0)) = 1; and the Novodvorski zeta integral of a suitably normalized vector in V (n0) computes the L–factor L(s, π) (for this last statement we assume that V is the Whittaker model of π).
    [Show full text]
  • The Arbeitsgemeinschaft 2017: Higher Gross-Zagier Formulas Notes By
    The Arbeitsgemeinschaft 2017: Higher Gross-Zagier Formulas Notes by Tony Feng1 Oberwolfach April 2-8, 2017 1version of April 11, 2017 Contents Note to the reader 5 Part 1. Day One 7 1. An overview of the Gross-Zagier and Waldspurger formulas (Yunqing Tang) 8 2. The stacks Bunn and Hecke (Timo Richarz) 13 3. (Moduli of Shtukas I) (Doug Ulmer) 17 4. Moduli of Shtukas II (Brian Smithling) 21 Part 2. Day Two 25 5. Automorphic forms over function fields (Ye Tian) 26 6. The work of Drinfeld (Arthur Cesar le Bras) 30 7. Analytic RTF: Geometric Side (Jingwei Xiao) 36 8. Analytic RTF: Spectral Side (Ilya Khayutin) 41 Part 3. Day Three 47 9. Geometric Interpretation of Orbital Integrals (Yihang Zhu) 48 10. Definition and properties of Md (Jochen Heinloth) 52 Part 4. Day Four 57 11. Intersection theory on stacks (Michael Rapoport) 58 12. LTF for Cohomological Correspondences (Davesh Maulik) 64 µ 13. Definition and description of HkM;d: expressing Ir(hD) as a trace (Liang Xiao) 71 3 4 CONTENTS 14. Alternative calculation of Ir(hD) (Yakov Varshavsky) 77 Part 5. Day Five 83 15. Comparison of Md and Nd; the weight factors (Ana Caraiani) 84 16. Horocycles (Lizao Ye) 89 17. Cohomological spectral decomposition and finishing the proof (Chao Li) 93 NOTE TO THE READER 5 Note to the reader This document consists of notes I live-TEXed during the Arbeitsgemeinschaft at Oberwolfach in April 2017. They should not be taken as a faithful transcription of the actual lectures; they represent only my personal perception of the talks.
    [Show full text]
  • Congruences Between Modular Forms
    CONGRUENCES BETWEEN MODULAR FORMS FRANK CALEGARI Contents 1. Basics 1 1.1. Introduction 1 1.2. What is a modular form? 4 1.3. The q-expansion priniciple 14 1.4. Hecke operators 14 1.5. The Frobenius morphism 18 1.6. The Hasse invariant 18 1.7. The Cartier operator on curves 19 1.8. Lifting the Hasse invariant 20 2. p-adic modular forms 20 2.1. p-adic modular forms: The Serre approach 20 2.2. The ordinary projection 24 2.3. Why p-adic modular forms are not good enough 25 3. The canonical subgroup 26 3.1. Canonical subgroups for general p 28 3.2. The curves Xrig[r] 29 3.3. The reason everything works 31 3.4. Overconvergent p-adic modular forms 33 3.5. Compact operators and spectral expansions 33 3.6. Classical Forms 35 3.7. The characteristic power series 36 3.8. The Spectral conjecture 36 3.9. The invariant pairing 38 3.10. A special case of the spectral conjecture 39 3.11. Some heuristics 40 4. Examples 41 4.1. An example: N = 1 and p = 2; the Watson approach 41 4.2. An example: N = 1 and p = 2; the Coleman approach 42 4.3. An example: the coefficients of c(n) modulo powers of p 43 4.4. An example: convergence slower than O(pn) 44 4.5. Forms of half integral weight 45 4.6. An example: congruences for p(n) modulo powers of p 45 4.7. An example: congruences for the partition function modulo powers of 5 47 4.8.
    [Show full text]
  • 25 Modular Forms and L-Series
    18.783 Elliptic Curves Spring 2015 Lecture #25 05/12/2015 25 Modular forms and L-series As we will show in the next lecture, Fermat's Last Theorem is a direct consequence of the following theorem [11, 12]. Theorem 25.1 (Taylor-Wiles). Every semistable elliptic curve E=Q is modular. In fact, as a result of subsequent work [3], we now have the stronger result, proving what was previously known as the modularity conjecture (or Taniyama-Shimura-Weil conjecture). Theorem 25.2 (Breuil-Conrad-Diamond-Taylor). Every elliptic curve E=Q is modular. Our goal in this lecture is to explain what it means for an elliptic curve over Q to be modular (we will also define the term semistable). This requires us to delve briefly into the theory of modular forms. Our goal in doing so is simply to understand the definitions and the terminology; we will omit all but the most straight-forward proofs. 25.1 Modular forms Definition 25.3. A holomorphic function f : H ! C is a weak modular form of weight k for a congruence subgroup Γ if f(γτ) = (cτ + d)kf(τ) a b for all γ = c d 2 Γ. The j-function j(τ) is a weak modular form of weight 0 for SL2(Z), and j(Nτ) is a weak modular form of weight 0 for Γ0(N). For an example of a weak modular form of positive weight, recall the Eisenstein series X0 1 X0 1 G (τ) := G ([1; τ]) := = ; k k !k (m + nτ)k !2[1,τ] m;n2Z 1 which, for k ≥ 3, is a weak modular form of weight k for SL2(Z).
    [Show full text]
  • Elliptic Curves, Modular Forms, and L-Functions Allison F
    Claremont Colleges Scholarship @ Claremont HMC Senior Theses HMC Student Scholarship 2014 There and Back Again: Elliptic Curves, Modular Forms, and L-Functions Allison F. Arnold-Roksandich Harvey Mudd College Recommended Citation Arnold-Roksandich, Allison F., "There and Back Again: Elliptic Curves, Modular Forms, and L-Functions" (2014). HMC Senior Theses. 61. https://scholarship.claremont.edu/hmc_theses/61 This Open Access Senior Thesis is brought to you for free and open access by the HMC Student Scholarship at Scholarship @ Claremont. It has been accepted for inclusion in HMC Senior Theses by an authorized administrator of Scholarship @ Claremont. For more information, please contact [email protected]. There and Back Again: Elliptic Curves, Modular Forms, and L-Functions Allison Arnold-Roksandich Christopher Towse, Advisor Michael E. Orrison, Reader Department of Mathematics May, 2014 Copyright c 2014 Allison Arnold-Roksandich. The author grants Harvey Mudd College and the Claremont Colleges Library the nonexclusive right to make this work available for noncommercial, educational purposes, provided that this copyright statement appears on the reproduced ma- terials and notice is given that the copying is by permission of the author. To dis- seminate otherwise or to republish requires written permission from the author. Abstract L-functions form a connection between elliptic curves and modular forms. The goals of this thesis will be to discuss this connection, and to see similar connections for arithmetic functions. Contents Abstract iii Acknowledgments xi Introduction 1 1 Elliptic Curves 3 1.1 The Operation . .4 1.2 Counting Points . .5 1.3 The p-Defect . .8 2 Dirichlet Series 11 2.1 Euler Products .
    [Show full text]
  • Modular Forms and the Hilbert Class Field
    Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j−invariant function of elliptic curves with complex multiplication and the Maximal unramified abelian extensions of imaginary quadratic fields related to these curves. In the second section we prove that the j−invariant is a modular form of weight 0 and takes algebraic values at special points in the upper halfplane related to the curves we study. In the third section we use this function to construct the Hilbert class field of an imaginary quadratic number field and we prove that the Ga- lois group of that extension is isomorphic to the Class group of the base field, giving the particular isomorphism, which is closely related to the j−invariant. Finally we give an unexpected application of those results to construct a curious approximation of π. 1 Introduction We say that an elliptic curve E has complex multiplication by an order O of a finite imaginary extension K/Q, if there exists an isomorphism between O and the ring of endomorphisms of E, which we denote by End(E). In such case E has other endomorphisms beside the ordinary ”multiplication by n”- [n], n ∈ Z. Although the theory of modular functions, which we will define in the next section, is related to general elliptic curves over C, throughout the current paper we will be interested solely in elliptic curves with complex multiplication. Further, if E is an elliptic curve over an imaginary field K we would usually assume that E has complex multiplication by the ring of integers in K.
    [Show full text]
  • Andrew Wiles's Marvelous Proof
    Andrew Wiles’s Marvelous Proof Henri Darmon ermat famously claimed to have discovered “a truly marvelous proof” of his Last Theorem, which the margin of his copy of Diophantus’s Arithmetica was too narrow to contain. While this proof (if it ever existed) is lost to posterity, AndrewF Wiles’s marvelous proof has been public for over two decades and has now earned him the Abel Prize. According to the prize citation, Wiles merits this recogni- tion “for his stunning proof of Fermat’s Last Theorem by way of the modularity conjecture for semistable elliptic curves, opening a new era in number theory.” Few can remain insensitive to the allure of Fermat’s Last Theorem, a riddle with roots in the mathematics of ancient Greece, simple enough to be understood It is also a centerpiece and appreciated Wiles giving his first lecture in Princeton about his by a novice of the “Langlands approach to proving the Modularity Conjecture in (like the ten- early 1994. year-old Andrew program,” the Wiles browsing of Theorem 2 of Karl Rubin’s contribution in this volume). the shelves of imposing, ambitious It is also a centerpiece of the “Langlands program,” the his local pub- imposing, ambitious edifice of results and conjectures lic library), yet edifice of results and which has come to dominate the number theorist’s view eluding the con- conjectures which of the world. This program has been described as a “grand certed efforts of unified theory” of mathematics. Taking a Norwegian per- the most brilliant has come to dominate spective, it connects the objects that occur in the works minds for well of Niels Hendrik Abel, such as elliptic curves and their over three cen- the number theorist’s associated Abelian integrals and Galois representations, turies, becoming with (frequently infinite-dimensional) linear representa- over its long his- view of the world.
    [Show full text]
  • Fermat's Last Theorem
    Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) Fermat's Last Theorem states that no three positive integers a, b, and c satisfy the equation an + bn = cn for any integer value of n greater than 2. The cases n = 1 and n = 2 have been known since antiquity to have an infinite number of solutions.[1] The proposition was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of Arithmetica; Fermat added that he had a proof that was too large to fit in the margin. However, there were first doubts about it since the publication was done by his son without his consent, after Fermat's death.[2] After 358 years of effort by mathematicians, the first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995; it was described as a "stunning advance" in the citation for Wiles's Abel Prize award in 2016.[3] It also proved much of the modularity theorem and opened up entire new approaches to numerous other problems and mathematically powerful modularity lifting techniques. The unsolved problem stimulated the development of algebraic number theory in the 19th century and the proof of the modularity theorem in the 20th century. It is among the most notable theorems in the history of mathematics and prior to its proof was in the Guinness Book of World Records as the "most difficult mathematical problem" in part because the theorem has the largest number of unsuccessful proofs.[4] Contents The 1670 edition of Diophantus's Arithmetica includes Fermat's Overview commentary, referred to as his "Last Pythagorean origins Theorem" (Observatio Domini Petri Subsequent developments and solution de Fermat), posthumously published Equivalent statements of the theorem by his son.
    [Show full text]