Inaugural Dissertation

Total Page:16

File Type:pdf, Size:1020Kb

Inaugural Dissertation INAUGURAL DISSERTATION zur Erlangung der Doktorw¨urde der Naturwissenschaftlich-Mathematischen Gesamtfakult¨at der Ruprecht-Karls-Universit¨at Heidelberg vorgelegt von M.Sc. Yamidt Berm´udez Tob´on aus Montebello (Ant.), Kolumbien Tag der m¨undlichen Pr¨ufung: Thema An efficient algorithm to compute an elliptic curve from a corresponding function field automorphic form Gutachter: Prof. Dr. Gebhard B¨ockle Acknowledgements I thank my supervisor Prof. Dr. Gebhard B¨ockle for his guidance and support. Also I would like to thank to Dr. Juan Cervi˜no, he provided sound support and was always willing to help whenever I asked, during the whole core of this work. We had a lot of interesting and enthusiastic discussions which often contained useful ideas. Without their help this thesis would not have been possible. During this work I was supported by the DAAD for three and one half years and the DFG project Nr D.110200/10.005 from 01.01.2013 to 30.04.2014. Abstract Elliptic modular forms of weight 2 and elliptic modular curves are strongly related. In the rank-2 Drinfeld module situation, we have still modular curves that can be described analytically through Drinfeld modular forms. In [GR96] Gekeler and Reversat prove how the results of [Dri74] can be used to construct the analytic uniformization of the elliptic curve attached to a given automorphic form. In [Lon02] Longhi, building on ideas of Darmon, defines a multiplicative integral that theoretically allows to find the corresponding Tate parameter. In this thesis we develop and present a polynomial time algorithm to compute the integral proposed by Longhi. Also we devised a method to find a rational equation of the corresponding representative for the isogeny class. Zusammenfassung Elliptische Modulformen von Gewicht 2 und elliptische Modulkurven stehen in enger Verbindung. Im Fall eines Drinfeld-Moduls von Rang 2 haben wir noch Modulkurven, die durch Drifeldsche Modulformen analytisch beschrieben wer- den k¨onnen. Gekeler und Reversat [GR96] beweisen, wie die Ergebnisse von [Dri74] genutzt werden k¨onnen, um die analytische Uniformisierung der, einer gegeben automorphen Form eingeordneten elliptischen Kurve, zu konstruieren. Auf Darmons Ideen aufbauen definiert Lonhi [Lon02] ein multiplikatives Inte- gral, das es erlaubt, den entsprechenden Tate-Parameter zu finden. In der vor- liegenden Arbeit wird ein Polynomialzeitalgorithmus entwickelt und vorgestellt, um das von Longhi vogeschlagene Integral zu berechnen. Ausserdem wird eine Methode entwickelt, mit der eine rationale Gleichumg der entsprechen- den Vertreter der Isogenieklasse gefunden werden kann. Contents Nomenclature vi 1 Introduction 1 2 Background 7 2.1 Notation..................................... 7 2.2 Notionsfromgraphtheory........................... 7 2.3 TheDrinfeldupperhalfplane ......................... 10 2.4 TheBruhat-Titstree .............................. 11 2.5 Endsofthetree................................. 13 2.6 Thereductionmap ............................... 17 2.7 Drinfeldmodularcurves ............................ 19 2.8 Thequotientgraph............................... 20 2.9 Harmoniccocycles ............................... 21 2.10 Thetafunctionsforarithmeticgroups . ... 24 2.10.1 Theta functions and harmonic cocycles . 25 iii Contents 2.11Heckeoperators................................. 26 2.12 Application to the Shimura-Taniyama-Weil uniformization . ... 27 3 Integration, Theta function and uniformizations 31 3.1 Integration.................................... 31 3.1.1 Measuresandharmoniccocycles. 32 3.1.2 The integral over ∂Ω.......................... 33 3.1.3 Changeofvariables........................... 33 3.2 Thetafunction ................................. 34 3.3 Complexuniformization ............................ 35 3.4 p-adicUniformization.............................. 38 4 The Algorithm 45 4.1 Motivation.................................... 45 4.2 Elementaryfunctions.............................. 46 4.3 AHeckeoperator ................................ 50 4.4 The change of variables and calculation of the integral . ... 61 4.4.1 Choosing the z0 ............................. 62 4.4.2 Thepartitionoftheborder . .. .. 62 4.4.3 Thechangeofvariables......................... 63 5 Applications and examples 69 5.1 Ellipticcurves.................................. 69 5.2 Supersingular elliptic curves . 78 5.3 Elliptic curves over C andEisensteinseries . 79 iv Contents 5.4 Reduction modulo p ofmodularforms .................... 84 5.5 TheTateCurve................................. 87 5.6 ObtainingtheTateparameter . .. .. 90 5.7 Obtainingequationsforthecurves . 91 5.7.1 Elliptic curves in characteristic 2 and 3 . 92 5.7.2 Elliptic curves over characteristic p> 3................ 102 A Algorithms for the Quotient graph 113 A.1 Computational complexity of mathematical operations . .... 113 A.2 Representatives for the edges of Γ T .................... 115 0 \ A.3 Lifting cycles to T ................................ 124 A.4 Findingtherepresentative . .. .. 126 B Algorithms for the table 129 B.1 Algorithms for the calculation of the table . 129 B.2 Algorithms for the calculation of the integral . 141 C Tables 149 C.1 Preliminaries .................................. 149 C.2 Table for degree 3 over F3 ........................... 150 C.3 Table for degree 4 over F3 ........................... 150 C.4 Table for degree 3 over F5 ........................... 152 C.5 Table for non-primes of degree 4 over F5 ................... 153 C.6 Table for primes of degree 4 over F5 ...................... 166 C.7 Table for primes of degree 5 over F5 ...................... 168 v Contents References 174 vi 1. Introduction The theory of modular forms and their relation to the arithmetic of elliptic curves is a central subject in modern mathematics, where most diverse branches of mathematics come together: complex analysis, algebraic geometry, representation theory, algebra and number theory. One of the most exciting and widely mathematical discoveries is the proof, by Andrew Wiles, of “Fermat last’s theorem”, its solution draws an incredible range of modern mathematics, which is precisely the relation between modular forms and elliptic curves. There are a number of analogies between on the one hand, the integers Z and the rational numbers Q and on the other hand, Fq[T ] and its field of fractions Fq(T ). Frequently a problem posed in number fields or, in other words, in finite extensions of Q, admits an analogous problem in function fields, and the other way around. For example, since the appearance of Drinfeld’s work [Dri74], we know that all elliptic curves which are semistable at the place are modular, that is, they appear as a factor of the Jacobian of a Drinfeld ∞ modular curve. We are interested in number theory over function fields, particularly in elliptic curves over Fq(T ). In order to get a better idea of the function field case, it is worth to start with a short description of the classical case, that is, over the rational numbers Q. Let f : H C be −→ a cuspidal modular form of weight two for the Hecke congruence subgroup Γ0(N) which is also a new eigenform with rational Hecke eigenvalues, we call it for short “a Q-rational newform” of level N. From the Eichler-Shimura theory, with f one can associate an elliptic curve E with conductor N and a morphism defined over Q form the modular curve X0(N) to the elliptic curve E. Such an elliptic curve E is called a Weil curve. On the other hand, since the 60’s (after the work of Shimura, Taniyama, and Weil) emerged 1 1. Introduction the conjecture that all elliptic curves over Q (up to isogeny) should be obtainable from the Eichler-Shimura construction. The conjecture known as the Shimura-Taniyama-Weil conjecture, is now a theorem called the modularity theorem [BCDT]. Basically it states that there are canonical bijections between the sets of 1) Normalized Q-rational newforms f of level N with rational Hecke eigenvalues; 2) One dimensional isogeny factors of the new part of the Jacobian of the modular curve X0(N); 3) Isogeny classes of elliptic curves E over Q with conductor N. The previous correspondence yields an effective method to determine all elliptic curves E/Q with a given conductor N, since the modular parametrization is explicitly and effectively computable (c.f. [Cre97]). For tables and numerical results see ([Ibid., Ch. 4]). For some applications it is convenient to consider other kind of parametrizations instead of the modular one, for example the Shimura parametrization, introdued in [BC91] and [BD98]. Let E be an elliptic curve of conductor N and suppose that N is square free and + factorizes as N = N −N where N − has a even number of factors. Then there exits a parametrization of E by the Shimura curve X − + (cf. 3.4), that is a non constant mor- N N § phism from the Jacobian of the Shimura curve to E. However the lack of q-expansions for modular forms on non-split quaternion algebras, forces one to consider p-adic uniformiza- tions of E by certain discrete arithmetic subgroups of SL2(Qp) at the primes p dividing N −. The modular forms considered here may be regarded as functions on oriented edges of certain Bruhat-Tits tree T (cf. 3.4), called harmonic cocycles, which can be identified § 1 with measures on P (Qp). Using these measures Bertolini and Darmon are able to define 1 a multiplicative p-adic integral defined over P (Qp), which theoretically gives rise to the modular parametrization of the Tate curve attached to a given harmonic cocycle. In [Gre06], Greenberg gives an algorithm, running
Recommended publications
  • Mathematisches Forschungsinstitut Oberwolfach the Arithmetic of Fields
    Mathematisches Forschungsinstitut Oberwolfach Report No. 05/2009 The Arithmetic of Fields Organised by Moshe Jarden (Tel Aviv) Florian Pop (Philadelphia) Leila Schneps (Paris) February 1st – February 7th, 2009 Abstract. The workshop “The Arithmetic of Fields” focused on a series of problems concerning the interplay between number theory, arithmetic and al- gebraic geometry, Galois theory, and model theory, such as: the Galois theory of function fields / covers of varieties, rational points on varieties, Galois co- homology, local-global principles, lifting/specializing covers of curves, model theory of finitely generated fields, etc. Mathematics Subject Classification (2000): 12E30. Introduction by the Organisers The sixth conference on “The Arithmetic of Fields” was organized by Moshe Jar- den (Tel Aviv), Florian Pop (Philadelphia), and Leila Schneps (Paris), and was held in the week February 1–7, 2009. The participants came from 14 countries: Germany (14), USA (11), France (7), Israel (7), Canada (2), England (2), Austria (1), Brazil (1), Hungary (1), Italy (1), Japan (1), South Africa (1), Switzerland (1), and The Netherlands (1). All together, 51 people attended the conference; among the participants there were thirteen young researchers, and eight women. Most of the talks concentrated on the main theme of Field Arithmetic, namely Galois theory and its interplay with the arithmetic of the fields. Several talks had an arithmetical geometry flavour. All together, the organizers find the blend of young and experienced researchers and the variety of subjects covered very satisfactory. The Arithmetic of Fields 3 Workshop: The Arithmetic of Fields Table of Contents Moshe Jarden New Fields With Free Absolute Galois Groups ......................
    [Show full text]
  • Mathematicians Fleeing from Nazi Germany
    Mathematicians Fleeing from Nazi Germany Mathematicians Fleeing from Nazi Germany Individual Fates and Global Impact Reinhard Siegmund-Schultze princeton university press princeton and oxford Copyright 2009 © by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW All Rights Reserved Library of Congress Cataloging-in-Publication Data Siegmund-Schultze, R. (Reinhard) Mathematicians fleeing from Nazi Germany: individual fates and global impact / Reinhard Siegmund-Schultze. p. cm. Includes bibliographical references and index. ISBN 978-0-691-12593-0 (cloth) — ISBN 978-0-691-14041-4 (pbk.) 1. Mathematicians—Germany—History—20th century. 2. Mathematicians— United States—History—20th century. 3. Mathematicians—Germany—Biography. 4. Mathematicians—United States—Biography. 5. World War, 1939–1945— Refuges—Germany. 6. Germany—Emigration and immigration—History—1933–1945. 7. Germans—United States—History—20th century. 8. Immigrants—United States—History—20th century. 9. Mathematics—Germany—History—20th century. 10. Mathematics—United States—History—20th century. I. Title. QA27.G4S53 2008 510.09'04—dc22 2008048855 British Library Cataloging-in-Publication Data is available This book has been composed in Sabon Printed on acid-free paper. ∞ press.princeton.edu Printed in the United States of America 10 987654321 Contents List of Figures and Tables xiii Preface xvii Chapter 1 The Terms “German-Speaking Mathematician,” “Forced,” and“Voluntary Emigration” 1 Chapter 2 The Notion of “Mathematician” Plus Quantitative Figures on Persecution 13 Chapter 3 Early Emigration 30 3.1. The Push-Factor 32 3.2. The Pull-Factor 36 3.D.
    [Show full text]
  • Abraham Robinson, 1918 - 1974
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 83, Number 4, July 1977 ABRAHAM ROBINSON, 1918 - 1974 BY ANGUS J. MACINTYRE 1. Abraham Robinson died in New Haven on April 11, 1974, some six months after the diagnosis of an incurable cancer of the pancreas. In the fall of 1973 he was vigorously and enthusiastically involved at Yale in joint work with Peter Roquette on a new model-theoretic approach to diophantine problems. He finished a draft of this in November, shortly before he underwent surgery. He spoke of his satisfaction in having finished this work, and he bore with unforgettable dignity the loss of his strength and the fading of his bright plans. He was supported until the end by Reneé Robinson, who had shared with him since 1944 a life given to science and art. There is common consent that Robinson was one of the greatest of mathematical logicians, and Gödel has stressed that Robinson more than any other brought logic closer to mathematics as traditionally understood. His early work on metamathematics of algebra undoubtedly guided Ax and Kochen to the solution of the Artin Conjecture. One can reasonably hope that his memory will be further honored by future applications of his penetrating ideas. Robinson was a gentleman, unfailingly courteous, with inexhaustible enthu­ siasm. He took modest pleasure in his many honors. He was much respected for his willingness to listen, and for the sincerity of his advice. As far as I know, nothing in mathematics was alien to him. Certainly his work in logic reveals an amazing store of general mathematical knowledge.
    [Show full text]
  • Doing Mathematics in Emmy Noether's Time
    Doing mathematics in Emmy Noether’s time: A survey on the study and work situation of women mathematicians in Germany between the two World Wars Prof.Dr.habil. Ilka Agricola Philipps-Universit¨at Marburg Madrid, April 2019 — a tribute to the 100th anniversary of Noether’s habilitation — 1 What this talk is about. • History of science, because science is done by scientists, so their working and living conditions influence scientific progress • To be seen in historical context: Industrialisation and wars lead to deep changes in society, the formation of a working class, the need for engineers and other professionals, and sometimes a shortage of male employees • Partially based on a case study carried out in Marburg (2017/18) about the first generation of female math students in Marburg (see refs.) • Applies mainly to Germany and, to some extent, neighbouring countries; very different from situation in South Europe and elsewhere 1 Marburg: An old traditional university • Founded in 1527 by Philip I, Landgrave of Hesse • oldest protestant university in the world • Of relevance for us: As a consequence of the Austro-Prussian War (1866), Marburg and G¨ottingen became part of Prussia (the Electorate of Hesse and and the Kingdom of Hannover disappeared) • Hence, Marburg is typical for the development of universities in Germany’s largest state – to be honest, they developed much better after 1866. 1 Das ‘Mathematische Seminar’ • Mathematics was taught in Marburg since the foundation of the university 1527 (Papin, Wolff. ) • 1817: Foundation of the ‘Mathematisch- physikalisches Institut’ by Christian Gerling (student of C.F. Gauß) • 1885: Foudation of the Faculty by H.
    [Show full text]
  • Abraham Robinson 1918–1974
    NATIONAL ACADEMY OF SCIENCES ABRAHAM ROBINSON 1918–1974 A Biographical Memoir by JOSEPH W. DAUBEN Any opinions expressed in this memoir are those of the author and do not necessarily reflect the views of the National Academy of Sciences. Biographical Memoirs, VOLUME 82 PUBLISHED 2003 BY THE NATIONAL ACADEMY PRESS WASHINGTON, D.C. Courtesy of Yale University News Bureau ABRAHAM ROBINSON October 6, 1918–April 11, 1974 BY JOSEPH W. DAUBEN Playfulness is an important element in the makeup of a good mathematician. —Abraham Robinson BRAHAM ROBINSON WAS BORN on October 6, 1918, in the A Prussian mining town of Waldenburg (now Walbrzych), Poland.1 His father, Abraham Robinsohn (1878-1918), af- ter a traditional Jewish Talmudic education as a boy went on to study philosophy and literature in Switzerland, where he earned his Ph.D. from the University of Bern in 1909. Following an early career as a journalist and with growing Zionist sympathies, Robinsohn accepted a position in 1912 as secretary to David Wolfson, former president and a lead- ing figure of the World Zionist Organization. When Wolfson died in 1915, Robinsohn became responsible for both the Herzl and Wolfson archives. He also had become increas- ingly involved with the affairs of the Jewish National Fund. In 1916 he married Hedwig Charlotte (Lotte) Bähr (1888- 1949), daughter of a Jewish teacher and herself a teacher. 1Born Abraham Robinsohn, he later changed the spelling of his name to Robinson shortly after his arrival in London at the beginning of World War II. This spelling of his name is used throughout to distinguish Abby Robinson the mathematician from his father of the same name, the senior Robinsohn.
    [Show full text]
  • Contributions to the History of Number Theory in the 20Th Century Author
    Peter Roquette, Oberwolfach, March 2006 Peter Roquette Contributions to the History of Number Theory in the 20th Century Author: Peter Roquette Ruprecht-Karls-Universität Heidelberg Mathematisches Institut Im Neuenheimer Feld 288 69120 Heidelberg Germany E-mail: [email protected] 2010 Mathematics Subject Classification (primary; secondary): 01-02, 03-03, 11-03, 12-03 , 16-03, 20-03; 01A60, 01A70, 01A75, 11E04, 11E88, 11R18 11R37, 11U10 ISBN 978-3-03719-113-2 The Swiss National Library lists this publication in The Swiss Book, the Swiss national bibliography, and the detailed bibliographic data are available on the Internet at http://www.helveticat.ch. This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broad- casting, reproduction on microfilms or in other ways, and storage in data banks. For any kind of use permission of the copyright owner must be obtained. © 2013 European Mathematical Society Contact address: European Mathematical Society Publishing House Seminar for Applied Mathematics ETH-Zentrum SEW A27 CH-8092 Zürich Switzerland Phone: +41 (0)44 632 34 36 Email: [email protected] Homepage: www.ems-ph.org Typeset using the author’s TEX files: I. Zimmermann, Freiburg Printing and binding: Beltz Bad Langensalza GmbH, Bad Langensalza, Germany ∞ Printed on acid free paper 9 8 7 6 5 4 3 2 1 To my friend Günther Frei who introduced me to and kindled my interest in the history of number theory Preface This volume contains my articles on the history of number theory except those which are already included in my “Collected Papers”.
    [Show full text]
  • Schriftenverzeichnis Peter Roquette 1
    Schriftenverzeichnis Peter Roquette 1. Arithmetische Untersuchung des Charakterringes einer endlichen Gruppe. Mit An- wendungen auf die Bestimmung des minimalen Darstellungsk¨orpers einer Gruppe und in der Theorie der Artinschen L-Funktionen. Journal f¨urdie reine und angewandte Mathematik 190 (1952), 148{168. 2. Arithmetische Untersuchung des Abelschen Funktionenk¨orpers, der einem alge- braischen Funktionenk¨orper h¨oherenGeschlechts zugeordnet ist. Mit einem An- hang ¨uber eine neue Begr¨undungder Korrespondenzentheorie algebraischer Funk- tionenk¨orper. Abhandlungen aus dem Mathematischen Seminar der Universit¨atHamburg 18 (1952), 144{178. 3. Uber¨ die Automorphismengruppe eines algebraischen Funktionenk¨orpers. Archiv der Mathematik 3 (1952), 343{350. 4. Riemannsche Vermutung in Funktionenk¨orpern. Archiv der Mathematik 4 (1953), 6{16. 5. Arithmetischer Beweis der Riemannschen Vermutung in Kongruenzfunktionenk¨orpern beliebigen Geschlechts. Journal f¨urdie reine und angewandte Mathematik 191 (1953), 199{252. 6. L'arithm´etiquedes fonctions ab´eliennes. Centre Belge Rech. Math., Coll. fonctions des plusieurs variables (1953), 69{80. 7. Zur Theorie der Konstantenerweiterungen algebraischer Funktionenk¨orper: Kon- struktion der Koordinatenk¨orper von Divisoren und Divisorklassen. Abhandlungen aus dem Mathematischen Seminar der Universit¨atHamburg 19 (1955), 269{276. 8. Uber¨ das Hassesche Klassenk¨orperzerlegungsgesetz und seine Verallgemeinerung f¨ur beliebige abelsche Funktionenk¨orper. Journal f¨urdie reine und angewandte Mathematik 197 (1957), 49{67. 9. Einheiten und Divisorklassen in endlich erzeugbaren K¨orpern. Jahresbericht der Deutschen Mathematiker Vereinigung 60 (1957), 1{21. 10. On the prolongation of valuations. Transactions of the American Mathematical Society 88 (1958), 42{56. 11. Zur Theorie der Konstantenreduktion algebraischer Mannigfaltigkeiten: Invarianz des arithmetischen Geschlechts einer Mannigfaltigkeit und der virtuellen Dimension ihrer Divisoren.
    [Show full text]
  • Introduction of Langlands
    Peter Roquette 4. Nov. 2004 Mathematisches Institut, Universit¨at Heidelberg Introduction of Langlands at the Arf lecture, 11 November 2004.1 Ladies and Gentlemen ! It is my pleasure and a great honor to me to introduce Robert Langlands as the speaker of the Arf Lecture of this year 2004, here at the Middle East Technical University. Professor Langlands is a permanent member of the Institute for Advanced Study in Princeton, which is one of the most pres- tigious places for mathematical research studies. He has received a number of highly valued awards, among them the Cole Prize in Number Theory from the American Mathematical Society in 1982, the National Academy of Sciences reward in Mathema- tics in 1988, and the Wolf prize from the Wolf foundation in Israel 1996. He is elected fellow of the Royal Society of Canada and the Royal Society of London, and he has received honorary doctorates from at least 7 universities (to my knowledge). In the laudation for the Wolf prize it was said that he received the prize for his “ path-blazing work and extraordinary insights in the fields of number theory, automorphic forms and group representations”. 1Each year there is scheduled a special colloquium lecture at the Middle East Technical University in Ankara, commemorating Cahit Arf who had served as a professor for many years at METU. In the year 2004 the invited speaker was Robert Langlands, and I had been asked to chair his lecture. The following text was read to introduce the speaker. P.Rq. Introduction of Langlands 4.11.04 Seite 2 Ladies and gentlemen, while I was preparing the text for this introduction it soon became clear to me that in this short time I would not be able to describe, not even approximately, Lang- lands’ rich work, its underlying ideas, its enormous impact on the present mathematical research world wide, and its consequence for the future picture of Mathematics.
    [Show full text]
  • Deutsche Nationalbibliografie 2013 B 18
    Deutsche Nationalbibliografie Reihe B Monografien und Periodika außerhalb des Verlagsbuchhandels Wöchentliches Verzeichnis Jahrgang: 2013 B 18 Stand: 02. Mai 2013 Deutsche Nationalbibliothek (Leipzig, Frankfurt am Main) 2013 ISSN 1869-3954 urn:nbn:de:101-ReiheB18_2013-1 2 Hinweise Die Deutsche Nationalbibliografie erfasst eingesandte Pflichtexemplare in Deutschland veröffentlichter Medienwerke, aber auch im Ausland veröffentlichte deutschsprachige Medienwerke, Übersetzungen deutschsprachiger Medienwerke in andere Sprachen und fremdsprachige Medienwerke über Deutschland im Original. Grundlage für die Anzeige ist das Gesetz über die Deutsche Nationalbibliothek (DNBG) vom 22. Juni 2006 (BGBl. I, S. 1338). Monografien und Periodika (Zeitschriften, zeitschriftenartige Reihen und Loseblattausgaben) werden in ihren unterschiedlichen Erscheinungsformen (z.B. Papierausgabe, Mikroform, Diaserie, AV-Medium, elektronische Offline-Publikationen, Arbeitstransparentsammlung oder Tonträger) angezeigt. Alle verzeichneten Titel enthalten einen Link zur Anzeige im Portalkatalog der Deutschen Nationalbibliothek und alle vorhandenen URLs z.B. von Inhaltsverzeichnissen sind als Link hinterlegt. In Reihe B werden Medienwerke, die außerhalb des Ver- den, sofern sie eine eigene Sachgruppe haben, innerhalb lagsbuchhandels erscheinen, angezeigt. Außerhalb des der eigenen Sachgruppe aufgeführt, ansonsten unter der Verlagsbuchhandels erschienene Medienwerke die von Sachgruppe des Gesamtwerkes. Innerhalb der Sachgrup- gewerbsmäßigen Verlagen vertrieben werden, werden
    [Show full text]
  • From FLT to Finite Groups
    From FLT to Finite Groups The remarkable career of Otto Gr¨un by Peter Roquette March 9, 2005 Abstract Every student who starts to learn group theory will soon be confronted with the theorems of Gr¨un. Immediately after their publication in the mid 1930s these theorems found their way into group theory textbooks, with the comment that those theorems are of fundamental importance in connection with the classical Sylow theorems. But little is known about the mathematician whose name is connected with those theorems. In the following we shall report about the re- markable mathematical career of Otto Gr¨un who, as an amateur mathematician without having had the opportunity to attend university, published his first pa- per (out of 26) when he was 46. The results of that first paper belong to the realm of Fermat’s Last Theorem (abbreviated: FLT). Later Gr¨unswitched to group theory. 1 Contents 1 Introduction 3 2 The first letters: FLT (1932) 3 2.1 Gr¨unand Hasse in 1932 . 3 2.2 Vandiver’s conjecture and more . 5 3 From FLT to finite groups (1933) 10 3.1 Divisibility of class numbers: Part 1 . 10 3.2 Divisibility of class numbers: Part 2 . 12 3.3 Representations over finite fields . 13 4 The two classic theorems of Gr¨un(1935) 14 4.1 The second theorem of Gr¨un . 15 4.2 The first theorem of Gr¨un. 16 4.3 Hasse and the transfer . 16 4.4 Gr¨un, Wielandt, Thompson . 21 5 Gr¨unmeets Hasse (1935) 22 5.1 Hasse’s questions .
    [Show full text]
  • The Riemann Hypothesis in Characteristic P, Its Origin and Development Part 2
    Mitt. Math. Ges. Hamburg 22 (2004), 1–68 The Riemann hypothesis in characteristic p, its origin and development Part 2. The first steps by Davenport and Hasse Von Peter Roquette (Heidelberg) Abstract This paper is a continuation of Part 1. We report on how Hasse met Davenport in 1931, how the latter introduced his friend Hasse to the problem on diophantine congruences, and how Artin identified this problem with the Riemann hypothesis for function fields. We discuss Hasse’s first proof for elliptic fields which used classic uniformization and complex multiplication; the idea for this developed during a discussion with Mordell about Siegel’s great paper on binary diophantine equations. Contents 1 Introduction 2 2 Biographic Notes 6 2.1 Hasse 1930 . 6 2.2 Mordell 1930 . 8 2.3 Davenport 1930 . 11 3 Estimating character sums and exponential sums. 14 3.1 Distribution of quadratic residues . 14 3.2 Diophantine congruences . 17 3.3 Reducing exponents . 18 3.4 The Hamburg colloquium and Artin’s comment . 24 3.5 Summary . 29 4 Hasse’s new point of view 30 4.1 The G¨ottingen colloquium . 30 4.2 The GF-method . 37 Peter Roquette 4.3 The Marburg seminar and Hasse’s survey article . 39 4.4 Summary . 40 5 The elliptic case: Hasse’s first proof 41 5.1 The breakthrough . 41 5.2 The problem . 44 5.3 The proof . 46 5.3.1 Lifting of the absolute invariant . 48 5.3.2 Uniformization . 53 5.3.3 Lifting of rational points . 55 5.3.4 Normalization .
    [Show full text]
  • In Memoriam Ernst Steinitz (1871-1928)
    In Memoriam Ernst Steinitz (1871-1928) by Peter Roquette September 12, 2010 In 1910, in volume 137 of Crelle's Journal there appeared a paper with the title Algebraische Theorie der K¨orper (Algebraic Theory of Fields). The author was Ernst Steinitz. Let us use this occasion of a centenary to recall the impact which Steinitz's paper had upon the mathematicians of the time, and its role in the development of today's algebra. Bourbaki [Bou60] states that this paper has been . un travail fondamental qui peut ^etre consid´er´ecomme ayant donn´enaissance `ala conception actuelle de l'Alg`ebre. a fundamental work which may be considered as the origin of today's concept of algebra. One of the first eager readers of Steinitz's paper was Emmy Noether. At the time when the paper appeared she was still living in her hometown Erlangen, during what may be called the period of her apprenticeship, studying the highlights of contemporary mathematics of the time. Her guide and mentor in this period was Ernst Fischer. We can almost be sure that Steinitz's paper was the object of extensive discussions between Fischer and Emmy Noether.1 Steinitz's ideas contributed essentially to the shaping of Emmy Noether's concept of mathematics and in particular of algebra. During the next de- cade every one of Noether's papers (except those on mathematical physics) contains a reference to Steinitz [Ste10]. 1The mathematical letters between Fischer and Noether are preserved in the archive of the University of Erlangen. { Fischer's name is still remembered today from the \Riesz- Fischer Theorem" in the theory of Hilbert spaces.
    [Show full text]