Kummer Surfaces: 200 Years of Study

Total Page:16

File Type:pdf, Size:1020Kb

Load more

Kummer Surfaces: 200 Years of Study Igor Dolgachev The fascinating story about the Kummer surface starts from material where double refraction occurs: a ray of light the discovery by Augustin-Jean Fresnel in 1822 of the equa- splits into two, traveling at the same speed along different tion describing the propagation of light in an optically paths. The speed of light may depend on the coordinates biaxial crystal [Fre]. Biaxial crystals are an example of 푥 = (푥1, 푥2, 푥3) of a point and the unit direction vector 휉 = (휉1, 휉2, 휉3). The propagation of light is described by Igor Dolgachev is a professor of mathematics, emeritus, at the University of the speed 푣(푥, 휉) at 푥 in the direction 휉. We say that the Michigan. His email address is [email protected]. matter is homogeneous if 푣 does not depend on 푥 and we The article is based on the author’s Oliver Club talk at Cornell University de- livered on October 10, 2019, exactly 121 years since the first meeting of the say that it is isotropic if it does not depend on 휉. For exam- club, at which then the faculty member John Hutchinson spoke. As we will see, ple, while a student, James Maxwell described a lens that Hutchinson contributed significantly to the theory of Kummer surfaces. reminded him of the eyes of a fish. Through his fish eye, Communicated by Notices Associate Editor Angela Gibney. he found that light is inhomogeneous but isotropic, bend- For permission to reprint this article, please contact: ing in arcs whose shape depends on where they start and [email protected]. converging to a single point. DOI: https://doi.org/10.1090/noti2168 NOVEMBER 2020 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 1527 Figure 1. Augustin-Jean Fresnel. A biaxial crystal gives an example of homogeneous but Figure 2. Sir William Hamilton. anisotropic propagation. Fresnel found the equation of the propagation of light in such a crystal to be of the form: planes forming a tetrahedron such that each plane cuts out 휉2 휉2 휉2 1 + 2 + 3 = 0, (1) the surface along a pair of conics. The three vertices of the −2 −2 −2 −2 −2 −2 푎1 − 푣 푎2 − 푣 푎3 − 푣 tetrahedron are conjugate with respect to the two conics where 푎1, 푎2, 푎3 are constants describing the property of lying in the face of the tetrahedron they span. Moreover the crystal (principal refraction indices). By substituting 16 intersection points of four pairs of conics are singular (푧1, 푧2, 푧3) = 푣(휉1, 휉2, 휉3), one can rewrite the previous points of the surface. Cayley also discovered an important equation as property of tetraedroid quartic surfaces: they are projec- tively self-dual (or reciprocal). Wave surfaces were the sub- 푎2푧2 푎 푧2 1 1 + 2 2 ject of study for many famous mathematicians of the 19th 2 2 2 2 2 2 2 2 푧1 + 푧2 + 푧3 − 푎1 푧1 + 푧2 + 푧 − 푎2 century. 푎 푧2 Among them were A. Cauchy, J. Darboux, J. MacCul- + 3 3 = 0. 2 2 2 2 lagh, J. Sylvester, and W. Hamilton (see [Lor96, pp. 114– 푧1 + 푧2 + 푧3 − 푎3 115]). A nice modern exposition of the theory of Fresnel’s After clearing the denominators and homogenizing, we wave surfaces can be found in [Knö86]. find an equation of a quartic surface in ℙ3. In 1833 Sir Projective equivalence classes of Fresnel’s wave surfaces William Hamilton discovered that the surface has four real depend on two parameters and as we shall see momen- singular points tarily, these are examples of Kummer surfaces which are 2 2 2 2 determined by three parameters. 푎1 − 푎2 푎2 − 푎3 (±푎3 , 0, ±푎1 , 1) In 1847 Adolph Göpel, using the transcendental theory of √푎2 − 푎2 √푎2 − 푎2 1 3 1 3 theta functions, had found a relation of order four between and also four real planes 훼푥 + 훽푦 + 훾푧 + 푤 = 0 that cut out theta functions of second order in two variables that ex- the surface along a conic (trope-conics), where presses an equation of a general Kummer surface [Göp47]. 2 2 2 2 To give Göpel’s equation, we next briefly discuss theta func- 푎3 푎1 − 푎2 푎1 푎2 − 푎3 (훼, 훽, 훾, 1) = (± 2 2 2 , 0, ± 2 2 2 , 1) tions. 푎2 √푎1 − 푎3 푎2 √푎1 − 푎3 Let 푇 = ℂ푔/Λ be a compact 푔-dimensional torus, the [Ham37, p. 134]. In fact, as we shall see later, over ℂ, it quotient of ℂ푔 by the group of translations Λ isomor- has additionally 12 nodes and 12 trope-conics. phic to ℤ2푔. There are no nonconstant holomorphic func- In 1849 Arthur Cayley proved that Fresnel’s wave surface tions on 푇 because it is a compact complex manifold; in- is a special kind of a tetraedroid quartic surface. The latter stead one considers nonzero holomorphic sections of a is characterized by the following property. There are four holomorphic line bundle 퐿 on 푇. For general Λ no line 1528 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 67, NUMBER 10 Figure 4. Ernst Kummer. of zeros in ℙ3 of a quartic polynomial Figure 3. Arthur Cayley. 퐹 = 퐴(푥4 + 푦4 + 푧4 + 푤4) + 2퐵(푥2푦2 + 푧2푤2) bundle has enough sections to embed 푇 into a projective + 2퐶(푥2푧2 + 푦2푤2) + 2퐷(푥2푤2 + 푦2푧2) + 4퐸푥푦푧푤, space, i.e., 푇 does not admit a structure of a projective alge- braic variety. However, in 1857 Bernard Riemann found where the coefficients (퐴, 퐵, 퐶, 퐷, 퐸) satisfy a certain ex- a condition on Λ such that 푇 admits a line bundle 퐿 with plicit equation in terms of theta constants, the values of dim Γ(푇, 퐿푛) = 푛푔 and whose sections embed 푇 onto a pro- theta functions at 0. The images of 16 two-torsion points 1 jective space. Such complex tori are now called principally 휖 ∈ Λ/Λ ∈ ℂ2/Λ are singular points of 푋. The Abel-Jacobi 2 1 푥 푥 polarized abelian varieties. They depend on 푔(푔 + 1) com- map 퐶 → Jac(퐶), 푥 ↦ (∫ 휔 , ∫ 휔 ) mod Λ embeds 퐶 2 푥0 1 푥0 2 plex parameters. Holomorphic sections of 퐿푛 can be lifted into Jac(퐶) and the images of the curves 퐶+휖 = {푐+휖, 푐 ∈ 퐶} to holomorphic functions on ℂ푔 that are Λ-invariant up are the 16 trope-conics of 푋. to some multiplicative factor. They are called theta func- In 1864 Ernst Kummer had shown that 16-nodal quar- tions of order 푛. For 푛 = 1, such a holomorphic func- tic surfaces depend on three complex parameters and Fres- tion is the famous Riemann theta function Θ(푧, Λ). One nel’s wave surface represents only a special case of these can modify Riemann’s expression for Θ(푧, Λ) to include quartic surfaces. Kummer proved that such surfaces con- some parameters which are elements (푚, 푚′) of the group tain 16 trope-conics which together with 16 nodes form 푔 푔 (ℤ/푛ℤ) ⊕ (ℤ/푛ℤ) , called theta characteristics. They gen- an abstract incidence configuration (166) (this means that erate the linear space Γ(푇, 퐿푛). each node lies on six trope-conics and each trope-conic An example of a principally polarized abelian variety is contains six nodes) [Kum64]. Kummer shows that any 16- the Jacobian variety Jac(퐶) of a Riemann surface 퐶 of genus nodal quartic surface has a tetrahedron with conic-tropes 푔. Here Λ is spanned by vectors 푣 = (∫ 휔 ,…, ∫ 휔 ) ∈ in the faces intersecting at two points on the edges. More- 푖 훾푖 1 훾푖 푔 푔 ℂ , 푖 = 1, … , 2푔, where (휔1, … , 휔푔) is a basis of the linear over, he proved that no vertex can be a node. From this he space of holomorphic differential 1-forms and (훾1, … , 훾2푔) deduced that there exists a quadric surface that contains is a basis of 퐻1(푇, ℤ). the four trope-conics. Using this observation, he found an Göpel was able to find a special basis (휃0, 휃1, 휃2, 휃3) in equation of a general Kummer surface of the form the space Γ(Jac(퐶), 퐿2) ≅ ℂ4 such that the map (푥2 + 푦2 + 푧2 + 푤2 + 푎(푥푦 + 푧푤) + 푏(푥푧 + 푦푤) Φ ∶ 푇 → ℙ3, (푧 , 푧 ) ↦ (휃 (푧) ∶ 휃 (푧) ∶ 휃 (푧) ∶ 휃 (푧)) 1 2 0 1 2 3 +푐(푥푤 + 푦푧))2 + 퐾푥푦푧푤 = 0, satisfies Φ(−푧1, −푧2) = Φ(푧1, 푧2) and its image 푋 is the set where 푥푦푧푤 = 0 is the equation of a chosen tetrahedron NOVEMBER 2020 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 1529 Figure 5. Carl Borchardt. Figure 6. Felix Klein. and 퐾 = 푎2 + 푏2 + 푐2 − 2푎푏푐 − 1. Since then any 16-nodal quartic surface became known as a Kummer quartic surface. The first book entirely devoted to Kummer surfaces It took almost 30 years since Göpel’s discovery to real- that combines geometric, algebraic, and transcendental ap- ize that the Göpel equation, after a linear change of vari- proaches to their study was published by Ronald Hudson in ables, can be reduced to a Kummer equation. This was 1905 [Hud05]. done by Carl Borchardt in 1877 [Bor77]. In fact, Göpel’s As I understand, Kummer’s interest in 16-nodal quar- discovery leads to a modern definition of the Kummer sur- tic surfaces arose from his pioneering study of two- face and its higher-dimensional version, the Kummer va- dimensional families (congruences) of lines in ℙ3. They riety. One considers any 푔-dimensional complex torus 푇 are naturally parameterized by irreducible surfaces in the 3 3 and divides it by the involution 푧 ↦ −푧; the orbit space is Grassmann variety 퐺1(ℙ ) of lines in ℙ .
Recommended publications
  • La Controverse De 1874 Entre Camille Jordan Et Leopold Kronecker

    La Controverse De 1874 Entre Camille Jordan Et Leopold Kronecker

    La controverse de 1874 entre Camille Jordan et Leopold Kronecker. * Frédéric Brechenmacher ( ). Résumé. Une vive querelle oppose en 1874 Camille Jordan et Leopold Kronecker sur l’organisation de la théorie des formes bilinéaires, considérée comme permettant un traitement « général » et « homogène » de nombreuses questions développées dans des cadres théoriques variés au XIXe siècle et dont le problème principal est reconnu comme susceptible d’être résolu par deux théorèmes énoncés indépendamment par Jordan et Weierstrass. Cette controverse, suscitée par la rencontre de deux théorèmes que nous considèrerions aujourd’hui équivalents, nous permettra de questionner l’identité algébrique de pratiques polynomiales de manipulations de « formes » mises en œuvre sur une période antérieure aux approches structurelles de l’algèbre linéaire qui donneront à ces pratiques l’identité de méthodes de caractérisation des classes de similitudes de matrices. Nous montrerons que les pratiques de réductions canoniques et de calculs d’invariants opposées par Jordan et Kronecker manifestent des identités multiples indissociables d’un contexte social daté et qui dévoilent des savoirs tacites, des modes de pensées locaux mais aussi, au travers de regards portés sur une histoire à long terme impliquant des travaux d’auteurs comme Lagrange, Laplace, Cauchy ou Hermite, deux philosophies internes sur la signification de la généralité indissociables d’idéaux disciplinaires opposant algèbre et arithmétique. En questionnant les identités culturelles de telles pratiques cet article vise à enrichir l’histoire de l’algèbre linéaire, souvent abordée dans le cadre de problématiques liées à l’émergence de structures et par l’intermédiaire de l’histoire d’une théorie, d’une notion ou d’un mode de raisonnement.
  • Kummer, Regular Primes, and Fermat's Last Theorem

    Kummer, Regular Primes, and Fermat's Last Theorem

    e H a r v a e Harvard College r d C o l l e Mathematics Review g e M a t h e m Vol. 2, No. 2 Fall 2008 a t i c s In this issue: R e v i ALLAN M. FELDMAN and ROBERTO SERRANO e w , Arrow’s Impossibility eorem: Two Simple Single-Profile Versions V o l . 2 YUFEI ZHAO , N Young Tableaux and the Representations of the o . Symmetric Group 2 KEITH CONRAD e Congruent Number Problem A Student Publication of Harvard College Website. Further information about The HCMR can be Sponsorship. Sponsoring The HCMR supports the un- found online at the journal’s website, dergraduate mathematics community and provides valuable high-level education to undergraduates in the field. Sponsors http://www.thehcmr.org/ (1) will be listed in the print edition of The HCMR and on a spe- cial page on the The HCMR’s website, (1). Sponsorship is available at the following levels: Instructions for Authors. All submissions should in- clude the name(s) of the author(s), institutional affiliations (if Sponsor $0 - $99 any), and both postal and e-mail addresses at which the cor- Fellow $100 - $249 responding author may be reached. General questions should Friend $250 - $499 be addressed to Editors-In-Chief Zachary Abel and Ernest E. Contributor $500 - $1,999 Fontes at [email protected]. Donor $2,000 - $4,999 Patron $5,000 - $9,999 Articles. The Harvard College Mathematics Review invites Benefactor $10,000 + the submission of quality expository articles from undergrad- uate students.
  • Methodology and Metaphysics in the Development of Dedekind's Theory

    Methodology and Metaphysics in the Development of Dedekind's Theory

    Methodology and metaphysics in the development of Dedekind’s theory of ideals Jeremy Avigad 1 Introduction Philosophical concerns rarely force their way into the average mathematician’s workday. But, in extreme circumstances, fundamental questions can arise as to the legitimacy of a certain manner of proceeding, say, as to whether a particular object should be granted ontological status, or whether a certain conclusion is epistemologically warranted. There are then two distinct views as to the role that philosophy should play in such a situation. On the first view, the mathematician is called upon to turn to the counsel of philosophers, in much the same way as a nation considering an action of dubious international legality is called upon to turn to the United Nations for guidance. After due consideration of appropriate regulations and guidelines (and, possibly, debate between representatives of different philosophical fac- tions), the philosophers render a decision, by which the dutiful mathematician abides. Quine was famously critical of such dreams of a ‘first philosophy.’ At the oppos- ite extreme, our hypothetical mathematician answers only to the subject’s internal concerns, blithely or brashly indifferent to philosophical approval. What is at stake to our mathematician friend is whether the questionable practice provides a proper mathematical solution to the problem at hand, or an appropriate mathematical understanding; or, in pragmatic terms, whether it will make it past a journal referee. In short, mathematics is as mathematics does, and the philosopher’s task is simply to make sense of the subject as it evolves and certify practices that are already in place.
  • The History of the Formulation of Ideal Theory

    The History of the Formulation of Ideal Theory

    The History of the Formulation of Ideal Theory Reeve Garrett November 28, 2017 1 Using complex numbers to solve Diophantine equations From the time of Diophantus (3rd century AD) to the present, the topic of Diophantine equations (that is, polynomial equations in 2 or more variables in which only integer solutions are sought after and studied) has been considered enormously important to the progress of mathematics. In fact, in the year 1900, David Hilbert designated the construction of an algorithm to determine the existence of integer solutions to a general Diophantine equation as one of his \Millenium Problems"; in 1970, the combined work (spanning 21 years) of Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson showed that no such algorithm exists. One such equation that proved to be of interest to mathematicians for centuries was the \Bachet equa- tion": x2 +k = y3, named after the 17th century mathematician who studied it. The general solution (for all values of k) eluded mathematicians until 1968, when Alan Baker presented the framework for constructing a general solution. However, before this full solution, Euler made some headway with some specific examples in the 18th century, specifically by the utilization of complex numbers. Example 1.1 Consider the equation x2 + 2 = y3. (5; 3) and (−5; 3) are easy to find solutions, but it's 2 not obviousp whetherp or not there are others or whatp they might be. Euler realized by factoring x + 2 as (x + 2i)(x − 2i) and then using the facts that Z[ 2i] is a UFD andp the factorsp given are relatively prime that the solutions above are the only solutions,p namelyp because (x + 2i)(x − 2i) being a cube forces each of these factors to be a cube (i.e.
  • Point Sets in Projective Spaces and Theta Functions

    Point Sets in Projective Spaces and Theta Functions

    Astérisque IGOR DOLGACHEV DAVID ORTLAND Point sets in projective spaces and theta functions Astérisque, tome 165 (1988) <http://www.numdam.org/item?id=AST_1988__165__1_0> © Société mathématique de France, 1988, tous droits réservés. L’accès aux archives de la collection « Astérisque » (http://smf4.emath.fr/ Publications/Asterisque/) implique l’accord avec les conditions générales d’uti- lisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ 165 ASTÉRISQUE 1988 POINT SETS IN PROJECTIVE SPACES AND THETA FUNCTIONS Igor DOLGACHEV and David ORTLAND SOCIÉTÉ MATHÉMATIQUE DE FRANCE Publié avec le concours du CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE A.M.S. Subjects Classification : 14-02, 14C05, 14C21, 14D25, 14E07, 14H10, 14H40, 14H45, 14J26, 14J25, 14J30, 14K25, 14N99, 14J50, 20C30, 17B20, 17B67. TO HILARY AND NATASHA Table of Contents Introduction 3 I. CROSS-RATIO FUNCTIONS 1. The variety Pmn (first definition) 7 2. Standard monomials .9 3. Examples 13 II. GEOMETRIC INVARIANT THEORY 1. Pmn (second definition) 21 2. A criterion of semi-stability.... 22 3. Most special point sets 2.6 4. Examples 31 III. ASSOCIATED POINT SETS 1. The association 33 2. Geometric properties of associated point sets 41 3. Self-associated point sets .43 IV. BLOWING-UPS OF POINT SETS 1. Infinitely near point sets 53 2. Analysis of stability in m .57 V. GENERALIZED DEL PEZZO VARIETIES 1. The Neron-Severi bilattice 63 2.
  • Kummer Surfaces: 200 Years of Study

    Kummer Surfaces: 200 Years of Study

    Kummer Surfaces: 200 Years of Study Igor Dolgachev The fascinating story about the Kummer surface starts from material where double refraction occurs: a ray of light the discovery by Augustin-Jean Fresnel in 1822 of the equa- splits into two, traveling at the same speed along different tion describing the propagation of light in an optically paths. The speed of light may depend on the coordinates biaxial crystal [Fre]. Biaxial crystals are an example of 푥 = (푥1, 푥2, 푥3) of a point and the unit direction vector 휉 = (휉1, 휉2, 휉3). The propagation of light is described by Igor Dolgachev is a professor of mathematics, emeritus, at the University of the speed 푣(푥, 휉) at 푥 in the direction 휉. We say that the Michigan. His email address is [email protected]. matter is homogeneous if 푣 does not depend on 푥 and we The article is based on the author’s Oliver Club talk at Cornell University de- livered on October 10, 2019, exactly 121 years since the first meeting of the say that it is isotropic if it does not depend on 휉. For exam- club, at which then the faculty member John Hutchinson spoke. As we will see, ple, while a student, James Maxwell described a lens that Hutchinson contributed significantly to the theory of Kummer surfaces. reminded him of the eyes of a fish. Through his fish eye, Communicated by Notices Associate Editor Angela Gibney. he found that light is inhomogeneous but isotropic, bend- For permission to reprint this article, please contact: ing in arcs whose shape depends on where they start and [email protected].
  • L-Functions and Non-Abelian Class Field Theory, from Artin to Langlands

    L-Functions and Non-Abelian Class Field Theory, from Artin to Langlands

    L-functions and non-abelian class field theory, from Artin to Langlands James W. Cogdell∗ Introduction Emil Artin spent the first 15 years of his career in Hamburg. Andr´eWeil charac- terized this period of Artin's career as a \love affair with the zeta function" [77]. Claude Chevalley, in his obituary of Artin [14], pointed out that Artin's use of zeta functions was to discover exact algebraic facts as opposed to estimates or approxi- mate evaluations. In particular, it seems clear to me that during this period Artin was quite interested in using the Artin L-functions as a tool for finding a non- abelian class field theory, expressed as the desire to extend results from relative abelian extensions to general extensions of number fields. Artin introduced his L-functions attached to characters of the Galois group in 1923 in hopes of developing a non-abelian class field theory. Instead, through them he was led to formulate and prove the Artin Reciprocity Law - the crowning achievement of abelian class field theory. But Artin never lost interest in pursuing a non-abelian class field theory. At the Princeton University Bicentennial Conference on the Problems of Mathematics held in 1946 \Artin stated that `My own belief is that we know it already, though no one will believe me { that whatever can be said about non-Abelian class field theory follows from what we know now, since it depends on the behavior of the broad field over the intermediate fields { and there are sufficiently many Abelian cases.' The critical thing is learning how to pass from a prime in an intermediate field to a prime in a large field.
  • Geometric Aspects on Humbert-Edge's Curves of Type 5

    Geometric Aspects on Humbert-Edge's Curves of Type 5

    GEOMETRIC ASPECTS ON HUMBERT-EDGE’S CURVES OF TYPE 5, KUMMER SURFACES AND HYPERELLIPTIC CURVES OF GENUS 2 ABEL CASTORENA AND JUAN BOSCO FR´IAS-MEDINA Abstract. In this work we study the Humbert-Edge’s curves of type 5, defined as a complete intersection of four diagonal quadrics in P5. We characterize them using Kummer surfaces and using the geometry of these surfaces we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert- Edge’s curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we let see how this argument can be generalized to state an isomorphism between the moduli space of n−1 hyperelliptic curves of genus g = 2 and the moduli space of Humbert-Edge’s curves of type n ≥ 5 where n is an odd number. Keywords: Intersection of quadrics; Curves with automorphisms, Jacobian variety. 1. Introduction W.L. Edge began the study of Humbert’s curves in [5], such curves are defined as canonical curves in P4 that are complete intersection of three diagonal quadrics. A natural generalization of Humbert’s curve was later introduced by Edge in [7]: irreducible, non-degenerated and non-singular curves on Pn that are the complete intersection of n − 1 diagonal quadrics. One important feature of Humbert-Edge’s curves of type n noted by Edge in [7] is that each one can be write down in a normal form. Indeed, we can assume that the n − 1 quadrics in Pn are given by n i 2 Qi = ajxj , i =0,...,n − 1 j=0 X where aj ∈ C for all j ∈ {0,...,n} and aj 6= ak if j 6= k.
  • Dedekind's 1871 Version of the Theory of Ideals∗

    Dedekind's 1871 Version of the Theory of Ideals∗

    Dedekind's 1871 version of the theory of ideals¤ Translated by Jeremy Avigad March 19, 2004 Translator's introduction By the middle of the nineteenth century, it had become clear to mathe- maticians that the study of ¯nite ¯eld extensions of the rational numbers is indispensable to number theory, even if one's ultimate goal is to understand properties of diophantine expressions and equations in the ordinary integers. It can happen, however, that the \integers" in such extensions fail to satisfy unique factorization, a property that is central to reasoning about the or- dinary integers. In 1844, Ernst Kummer observed that unique factorization fails for the cyclotomic integers with exponent 23, i.e. the ring Z[³] of inte- gers of the ¯eld Q(³), where ³ is a primitive twenty-third root of unity. In 1847, he published his theory of \ideal divisors" for cyclotomic integers with prime exponent. This was to remedy the situation by introducing, for each such ring of integers, an enlarged domain of divisors, and showing that each integer factors uniquely as a product of these. He did not actually construct these integers, but, rather, showed how one could characterize their behav- ior qua divisibility in terms of ordinary operations on the associated ring of integers. Richard Dedekind and Leopold Kronecker later took up the task of ex- tending the theory to the integers in arbitrary ¯nite extensions of the ratio- nals. Despite their common influences and goals, however, the theories they ¤Work on this translation has been supported by a New Directions fellowship from the Andrew W.
  • Sir Andrew Wiles Awarded Abel Prize

    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.
  • A History of Stickelberger's Theorem

    A History of Stickelberger's Theorem

    A History of Stickelberger’s Theorem A Senior Honors Thesis Presented in Partial Fulfillment of the Requirements for graduation with research distinction in Mathematics in the undergraduate colleges of The Ohio State University by Robert Denomme The Ohio State University June 8, 2009 Project Advisor: Professor Warren Sinnott, Department of Mathematics 1 Contents Introduction 2 Acknowledgements 4 1. Gauss’s Cyclotomy and Quadratic Reciprocity 4 1.1. Solution of the General Equation 4 1.2. Proof of Quadratic Reciprocity 8 2. Jacobi’s Congruence and Cubic Reciprocity 11 2.1. Jacobi Sums 11 2.2. Proof of Cubic Reciprocity 16 3. Kummer’s Unique Factorization and Eisenstein Reciprocity 19 3.1. Ideal Numbers 19 3.2. Proof of Eisenstein Reciprocity 24 4. Stickelberger’s Theorem on Ideal Class Annihilators 28 4.1. Stickelberger’s Theorem 28 5. Iwasawa’s Theory and The Brumer-Stark Conjecture 39 5.1. The Stickelberger Ideal 39 5.2. Catalan’s Conjecture 40 5.3. Brumer-Stark Conjecture 41 6. Conclusions 42 References 42 2 Introduction The late Professor Arnold Ross was well known for his challenge to young students, “Think deeply of simple things.” This attitude applies to no story better than the one on which we are about to embark. This is the century long story of the generalizations of a single idea which first occurred to the 19 year old prodigy, Gauss, and which he was able to write down in no less than 4 pages. The questions that the young genius raised by offering the idea in those 4 pages, however, would torment the greatest minds in all the of the 19th century.
  • A Letter of Hermann Amandus Schwarz on Isoperimetric Problems

    A Letter of Hermann Amandus Schwarz on Isoperimetric Problems

    Research Collection Journal Article A Letter of Hermann Amandus Schwarz on Isoperimetric Problems Author(s): Stammbach, Urs Publication Date: 2012-03 Permanent Link: https://doi.org/10.3929/ethz-b-000049843 Originally published in: The Mathematical Intelligencer 34(1), http://doi.org/10.1007/s00283-011-9267-7 Rights / License: In Copyright - Non-Commercial Use Permitted This page was generated automatically upon download from the ETH Zurich Research Collection. For more information please consult the Terms of use. ETH Library Years Ago David E. Rowe, Editor n 1995 (or thereabouts), Eli Maor, then at Loyola A Letter of Hermann University, discovered a little booklet at a used book fair IIin Chicago containing a reprint of a paper published by Hermann Amandus Schwarz in 1884 [Sch1]. Interestingly, it Amandus Schwarz also contained an original letter by Schwarz written in the old German script. The letter, dated January 28, 1884, began with the words: Hochgeehrter Herr Director! Maor could decipher on Isoperimetric enough of the text to realize that it dealt with isoperimetric problems, which further awakened his interest. With the help Problems of Reny Montandon and Herbert Hunziker, he contacted Gu¨nther Frei, who was able to read and transcribe the old URS STAMMBACH German script. Thanks to his detailed knowledge of the history of mathematics of the 19th century, Frei was also able to provide a number of pertinent remarks. Unfortunately, before completing this task, Gu¨nther Frei fell gravely ill. The text of the letter together with his remarks was then given to Years Ago features essays by historians and the present author, who agreed to continue the work.