DOCSLIB.ORG

Coleman Integration for Hyperelliptic Curves

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Coleman Integration for Hyperelliptic Curves Coleman Integration for Hyperelliptic Curves: Algorithms and Applications ARCHNvES by MASSACHUSETS INSTITUE OF TECHNOLOGY Jennifer Sayaka Balakrishnan =SEPP 0 2 2011 A.B., Harvard University (2006) A.M., Harvard University (2006) L-LI BRA-R iEF-s Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2011 @ Jennifer Sayaka Balakrishnan, MMXI. All rights reserved. The author hereby grants to MIT permission to reproduce and distribute publicly paper and electronic copies of this thesis document in whole or in part. A uthor ... ..... .. .................... Department of Mathematics April 26, 2011 Certified by ........... ..2. .... ... Kiran S. Kedlaya Associate Professor Thesis Supervisor Accepted by ..... .. !. O................................ Bjorn Poonen Chairman, Department Committee on Graduate Theses 2 Coleman Integration for Hyperelliptic Curves: Algorithms and Applications by Jennifer Shyamala Sayaka Balakrishnan Subnitted to the Department of Mathematics on April 26, 2011, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract The Colemani integral is a p-adice line integral that can be used to encapsulate several quantities relevant, to a study of the arithmetic of varieties. In this thesis, I describe algorithms for computing Coleman integrals on hyperelliptic curves and discuss some immediate applications. I give algorithms to compute single and iterated integrals on odd models of hyperelliptic curves, as well as the necessary modifications to iplemieit these algorithms for even models. Furthermore, I show how these algorithinis can be used in various situations. The first application is the method of Chabatv to find rational points on curves of genus greater than 1. The second is Mlihyong Kim's recent nonabelian analogue of the Chabauty method for elliptic curves. The last two applications concern p-adic heights on Jacobians of hyperelliptic curves. necessary to formulate a p-adic analogue of the Birch and Swinnerton-Dyer conjecture. I conclude by stating the analogue of the Mazur-Tate-Teitelbaum conjecture iii our setting and presenting supporting data. Thesis Supervisor: Kiran S. Kedlaya Title: Associate Professor 4 Acknowledgments It is a pleasure to thank my advisor, Kiran Kedlaya, for his support of the efforts that went into this thesis. He has been incredibly generous with his time and ideas, patiently answering my numerous questions, suggesting many interesting problems, and encouraging several collaborations. One such collaboration led to the results in Chapter 3, which form the backbone of this thesis. I would also like to thank a few others who have had a direct impact on this the- sis. During rny first year in college, I happened to take a seminar with William Stein, who introduced me to computational approaches in number theory. Over the years, we have worked on a few things together - most recently, a portion of the material that forms Chapter 9 of this thesis. Special thanks must also go out to two of my coauthors, Minhyong Kirn and Amnon Besser, who kindly explained their work to me; collaborations with them led to Chapters 7 and 8, respectively, of this thesis. Thanks are also due to Barry Mazur, Bjorn Poonen, Alice Silverberg, Michael Stoll, Drew Sutherland, and Liang Xiao, for several productive discussions, and Robert Bradshaw and David Roe for laying much of the p-adic groundwork in Sage. I must also thank Steffen iller for visiting MIT last summer arid carefully computing (and recomputing) many things in Magma, despite the many ill-posed queries I came up with during the process. It would have been impossible to assen- ble the data in Chapter 9 without his efforts. Repeating names, I would also like to thank Bjorn Poonen, Abhinav Kumar, and Kiran Kedlava for agreeing to serve on rny thesis cornnittee, William Stein for access to his cluster of computers (chief among then {mod, boxen, sage}.math.washington.edu, funded by NSF grant DMS- 0821725), and Kiran Kedlaya for access to dwork.mit . edu. Finally, to my dear friends and family, thank you for your love, laughter, and sup- port throughout the years. Kartik arid Liz, I have thoroughly enjoyed our adventures in baking arid ballet. And above all, Bala, Shizuko, Stephanie, and Vivek, thank you for always cheering me on, regardless of the time or time zone. This research was supported by the National Science Foundation Graduate Re- search Fellowship and the National Defense Science arid Engineering Graduate Fel- lowship. 6i For those in Yamada, especially my grandmother Fum iko Contents 1 Introduction 15 1.0.1 Why hyperelliptic curves?...... .. .. .. .. .. .. 1) 1.0.2 Beyond lyperelliptic curves'? .. .. .. .. .. .. .. .. .. 16 1.0.3 Outline ........... .. ... .. .. .. .. .. 16 2 Hyperelliptic curves and p-adic cohomology 19 2.1 Hyperelliptic curves....... .... .. .. .. .. .. .. .. .. 19 2.2 p-adic cohonology .. .. .. .. .. .. .. .. .. .. .. .. .. 21 2.2.1 Frobenius..... .. .. .. .. .. .. .. .. 23 2.2.2 Kedlaya's algorithm......... .. .. .. ... .. 23 3 Coleman integration: the basic integrals 27 3.1 Coleman's theory of p-adic integration . .. .. .. .. .. .. .. 27 3.2 Explicit integrals for hyperelliptic curves . .. .. .. .. .. .. .. 29 3.2.1 A basis for de Rham cohonology . ............. 30 3.2.2 T iny integrals .. .. .. ... .. .. .. .. .. .. .. .. .. 30 3.2.3 Non-W eierstrass disks .. .. .. .. .. .. .. .. ... .. 31 3.2.4 Weierstrass endpoints of integration ............... 34 3.3 Implementation notes and precision . .. .. .. .. .. .. .. .. 36 3.3.1 Precision estim ates .. .. .. .. .. .. .. .. .. .. .. 36 3.3.2 Complexity analysis . .. .. .. .. .. .. .. .. .. .. .. 37 3.3.3 Numerical examples . .. .. .. .. .. .. .. .. .. 38 4 Coleman integration: even degree models 41 4.1 Introduction .. .. .. .. ... .. .. .. .. .. .. .. .. .. .. 41 4.2 A bit more p-adic cohomology .. .. .. .. .. .. .. .. .. .. 41 4.3 Coleman integration on even models . .. .. .. .. .. .. .. .. 42 4.3.1 Local coordinates . .. .. .. .. .. .. .. .. .. .. 42 4.3.2 Integrals . .. .. .. .. .. .. .. .. .. .. .. .. .. .. 42 4.3.3 Using the linear system . .. .. .. .. .. .. .. .. .. .. 44 5 Coleman integration: iterated integrals 47 5.1 Introduction .. .. .. .. .. .. .. ... .. .. .. .. .. .. .47 5.2 Iterated path integrals . .. .. .. .. .. .. .. .. ... .. .. .. 48 5.3 Tiny iterated integrals....... ... ... .. .. ... .. .. 50 5. 3.1 Examples . .. .. .. .. 5.4 Iterated integrals: linear system..... .. ... .. .. ..... 5.5 Explicit double integrals ... .. .. .. .. .. ........... 5.5.1 Tiny double integrals .. .. .. .. .. .. .. .. .. .. .. 5.5.2 The linear system for double integrals between Teichnffller points 5.5.3 Linking double integrals . .. .. .. .. .. .. .. .. .. 5.5.4 Without Teichinliler points .. .. .. .. .. .. .. .. .. 5.5.5 W eierstrass points . .. ... .. .. .. .. .. .. ... .. .. 5.6 Future w ork . .. .. .. .. .. .. .. .. .. .. .. .. .. .. 5.6.1 Tangential basepoint at infinity .. .. .. .. .. .. .. .. 5.6.2 The fundamental linear system . .. .. ... .. .. .. .. 5.6.3 The region of convergence in a Weierstrass disk .. .. .. .. 6 Explicit computations with the Chabauty method 6.1 Introduction........... .. .. .. .. 6.2 Explicit integrals to a parameter . ........... 6.3 Example: odd model.... .. .. .. .. .. .. 6.4 Future work . .. .. .. .. .. .. .. .. .. 7 Kim's nonabelian Chabauty method 73 7.1 Introduction: the method......... 73 7.1.1 Elliptic curves. .... 7.2 A few moire explicit double integrals . 74 7.2.1 Integrals to a parameter z 7.2.2 Double integrals to a parameter -6 7.3 Carrying out the nonabelian Chabauty met hod 7.3.1 An example with 65A . .. .. 7 7 7.3.2 An example with 37A 78 7.4 Connection to p-adic heights . .. .. 80 7.5 Future work . .. .. .. .. .. .. 81 7.5.1 Tangential basepoint . .. .. .. 81 7.5.2 Tamagawa number hypothesis 81 8 p-adic heights on Jacobians of hyperelliptic curves 83 Q 1 I t d t 83 8.2 The p-adic height pairing .. .. ... ... .. ... .. 84 8.3 HypereIliptic curves. ... ... ... .. ... .. .. 89 8.4 Colem an integrals .. .. .. ... .. .. .. .. ... .. 90 8.4.1 Generalities on Coleman integrals and symbols 90 8.4.2 Integration of forms with poles outside Weierstrass discs 90 8.5 The lo cal height pairing at primes above p .. ... .. 93 8.5.1 Computing cup products ... .. ... .. ... 99 8.5.2 The m ap T . ... ... ... ... ... ... .. 99 8.5.3 Decomposing a divisor D into D' and D"l . .. 100 8.5.4 A form with the required residue divisor . ... 100 8.5.5 Finding wJD for a Weierstrass divisor D... .. .. 101 8.5.6 Finding WD for a non-Weierstrass divisor D....... 101 8.5.7 Integration when D 2 reduces to W'eierstrass points 101 8.5.8 Computation wh en Di is Weierstrass and D 2 is not 101 8.5.9 Computation wh en both divisors are non-Weierstrass 101 8.6 Implementation notes . .... ... ... .. 101 8.6.1 Auxiliary choices.. .......... 102 8.6.2 Precision........ ... .... .. ... .. 102 8.7 Exam ples . .. .. .. ... .. .. .. ... .. .. .. 106 8.7.1 Local heights: genus 2, general divisors..... 106 8.7.2 Local heights: oenus 2 anti-symnetric divisors 107 8.7.3 Global heights: genus I.............. 109 8.7.4 Global heights: genus 2 ............... 110 8.8 Future work...... ... ... ... .. .. .. 110 8.8.1 Global height pairings. .............. 110 8.8.2 Optimizations.. .. .. .. .. .. .. .. 111 8.8.3 Comparison with the work of Mazur-Stein-Tate 111 9 A p-adic Birch and Swinnerton-Dyer conjecture 113 9.1 Introduction
Load more

Recommended publications
  • The William Lowell Putnam Mathematical Competition 1985–2000 Problems, Solutions, and Commentary
    The William Lowell Putnam Mathematical Competition 1985–2000 Problems, Solutions, and Commentary i Reproduction. The work may be reproduced by any means for educational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents. In any reproduction, the original publication by the Publisher must be credited in the following manner: “First published in The William Lowell Putnam Mathematical Competition 1985–2000: Problems, Solutions, and Commen- tary, c 2002 by the Mathematical Association of America,” and the copyright notice in proper form must be placed on all copies. Ravi Vakil’s photo on p. 337 is courtesy of Gabrielle Vogel. c 2002 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2002107972 ISBN 0-88385-807-X Printed in the United States of America Current Printing (last digit): 10987654321 ii The William Lowell Putnam Mathematical Competition 1985–2000 Problems, Solutions, and Commentary Kiran S. Kedlaya University of California, Berkeley Bjorn Poonen University of California, Berkeley Ravi Vakil Stanford University Published and distributed by The Mathematical Association of America iii MAA PROBLEM BOOKS SERIES Problem Books is a series of the Mathematical Association of America consisting of collections of problems and solutions from annual mathematical competitions; compilations of problems (including unsolved problems) specific to particular branches of mathematics; books on the art and practice of problem solving, etc. Committee on Publications Gerald Alexanderson, Chair Roger Nelsen Editor Irl Bivens Clayton Dodge Richard Gibbs George Gilbert Art Grainger Gerald Heuer Elgin Johnston Kiran Kedlaya Loren Larson Margaret Robinson The Inquisitive Problem Solver, Paul Vaderlind, Richard K.
    [Show full text]
  • 2010 Integral
    Autumn 2010 Volume 5 Massachusetts Institute of Technology 1ntegral n e w s f r o m t h e mathematics d e p a r t m e n t a t m i t The retirement of seven of our illustrious col- leagues this year—Mike Artin, David Ben- Inside ney, Dan Kleitman, Arthur Mattuck, Is Sing- er, Dan Stroock, and Alar Toomre—marks • Faculty news 2–3 a shift to a new generation of faculty, from • Women in math 3 those who entered the field in the Sputnik era to those who never knew life without email • A minority perspective 4 and the Internet. The older generation built • Student news 4–5 the department into the academic power- house it is today—indeed they were the core • Funds for RSI and SPUR 5 of the department, its leadership and most • Retiring faculty and staff 6–7 distinguished members, during my early years at MIT. Now, as they are in the process • Alumni corner 8 of retiring, I look around and see that my con- temporaries are becoming the department’s Dear Friends, older group. Yikes! another year gone by and what a year it Other big changes are in the works. Two of Marina Chen have taken the lead in raising an was. We’re getting older, and younger, cele- our dedicated long-term administrators— endowment for them. Together with those of brating prizes and long careers, remembering Joanne Jonsson and Linda Okun—have Tim Lu ’79 and Peiti Tung ’79, their commit- our past and looking to the future.
    [Show full text]
  • THE WILLIAM LOWELL PUTNAM MATHEMATICAL COMPETITION 1985–2000 Problems, Solutions, and Commentary
    AMS / MAA PROBLEM BOOKS VOL 33 THE WILLIAM LOWELL PUTNAM MATHEMATICAL COMPETITION 1985–2000 Problems, Solutions, and Commentary Kiran S. Kedlaya Bjorn Poonen Ravi Vakil 10.1090/prb/033 The William Lowell Putnam Mathematical Competition 1985-2000 Originally published by The Mathematical Association of America, 2002. ISBN: 978-1-4704-5124-0 LCCN: 2002107972 Copyright © 2002, held by the American Mathematical Society Printed in the United States of America. Reprinted by the American Mathematical Society, 2019 The American Mathematical Society retains all rights except those granted to the United States Government. ⃝1 The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at https://www.ams.org/ 10 9 8 7 6 5 4 3 2 24 23 22 21 20 19 AMS/MAA PROBLEM BOOKS VOL 33 The William Lowell Putnam Mathematical Competition 1985-2000 Problems, Solutions, and Commentary Kiran S. Kedlaya Bjorn Poonen Ravi Vakil MAA PROBLEM BOOKS SERIES Problem Books is a series of the Mathematical Association of America consisting of collections of problems and solutions from annual mathematical competitions; compilations of problems (including unsolved problems) specific to particular branches of mathematics; books on the art and practice of problem solving, etc. Committee on Publications Gerald Alexanderson, Chair Problem Books Series Editorial Board Roger Nelsen Editor Irl Bivens Clayton Dodge Richard Gibbs George Gilbert Art Grainger Gerald Heuer Elgin Johnston Kiran Kedlaya Loren Larson Margaret Robinson The Contest Problem Book VII: American Mathematics Competitions, 1995-2000 Contests, compiled and augmented by Harold B.
    [Show full text]
  • Rigid Cohomology for Algebraic Stacks
    Rigid Cohomology for Algebraic Stacks by David Michael Brown A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Kenneth Ribet, Chair Professor Arthur Ogus Professor Christos Papadimitriou Fall 2010 Rigid Cohomology for Algebraic Stacks Copyright 2010 by David Michael Brown 1 Abstract Rigid Cohomology for Algebraic Stacks by David Michael Brown Doctor of Philosophy in Mathematics University of California, Berkeley Professor Kenneth Ribet, Chair We extend le Stum's construction of the overconvergent site [lS09] to algebraic stacks. We prove that ´etalemorphisms are morphisms of cohomological descent for finitely presnted crystals on the overconvergent site. Finally, using the notion of an open subtopos of [73] we define a notion of overconvergent cohomology supported in a closed substack and show that it agrees with the classical notion of rigid cohomology supported in a closed subscheme. i Contents Preface 1 1 Introduction 2 1.1 Background . .3 1.1.1 Algebraic de Rham cohomology and crystals . .3 1.1.2 Weil cohomologies . .4 1.1.3 Rigid cohomology . .4 1.2 Rigid cohomology for algebraic stacks . .5 1.2.1 Outline and statement of results: . .6 2 Definitions 7 2.1 Notations and conventions . .7 2.2 The overconvergent site . .8 2.3 Calculus on the overconvergent site and comparison with the classical theory 14 2.4 The overconvergent site for stacks . 23 3 Cohomological descent 25 3.1 Background on cohomological descent . 26 3.2 Cohomological descent for overconvergent crystals .
    [Show full text]
  • Jahresbericht Annual Report 2016
    Mathematisches Forschungsinstitut Oberwolfach Jahresbericht 2016 Annual Report www.mfo.de Herausgeber/Published by Mathematisches Forschungsinstitut Oberwolfach Direktor Gerhard Huisken Gesellschafter Gesellschaft für Mathematische Forschung e.V. Adresse Mathematisches Forschungsinstitut Oberwolfach gGmbH Schwarzwaldstr. 9-11 77709 Oberwolfach Germany Kontakt http://www.mfo.de [email protected] Tel: +49 (0)7834 979 0 Fax: +49 (0)7834 979 38 In diesem Bericht wurde an einigen Stellen die männliche Form lediglich aus Gründen der Vereinfachung gewählt. Dies dient der besseren Lesbarkeit. Entsprechende Begriffe gelten im Sinne der Gleichbehandlung grundsätzlich für Frauen und Männer. © Mathematisches Forschungsinstitut Oberwolfach gGmbH (2017) Jahresbericht 2016 – Annual Report 2016 Inhaltsverzeichnis/Table of Contents Vorwort des Direktors/Director’s foreword ............................................................................ 6 1. Besondere Beiträge/Special contributions 1.1. Modernisierung der Informations- und Kommunikationsinfrastruktur/ Modernisation of the information and communication infrastructure ............................... 8 1.2. Experiences of an Oberwolfach Leibniz Fellow ............................................................ 11 1.3. MiMa – Museum für Mineralien und Mathematik Oberwolfach/ MiMa – Museum for Minerals and Mathematics Oberwolfach ........................................ 13 1.4. IMAGINARY 2016 ................................................................................................... 15 1.5.
    [Show full text]
  • Explicit Methods in Number Theory
    Mathematisches Forschungsinstitut Oberwolfach Report No. 32/2015 DOI: 10.4171/OWR/2015/32 Explicit Methods in Number Theory Organised by Karim Belabas, Talence Bjorn Poonen, Cambridge MA Fernando Rodriguez Villegas, Trieste 5 July – 11 July 2015 Abstract. The aim of the series of Oberwolfach meetings on ‘Explicit meth- ods in number theory’ is to bring together people attacking key problems in number theory via techniques involving concrete or computable descriptions. Here, number theory is interpreted broadly, including algebraic and ana- lytic number theory, Galois theory and inverse Galois problems, arithmetic of curves and higher-dimensional varieties, zeta and L-functions and their special values, and modular forms and functions. Mathematics Subject Classification (2010): 11xx, 12xx, 13xx, 14xx. Introduction by the Organisers The workshop Explicit Methods in Number Theory was organised by Karim Be- labas (Talence), Bjorn Poonen (Cambridge MA), and Fernando Rodriguez-Villegas (Trieste), and it took place July 5–11, 2015. Eight previous workshops on the topic had been held, every two years since 1999. The goal of the meeting was to present new methods and results on concrete aspects of number theory. In several cases, this included algorithmic and experimental work, but the emphasis was on the implications for number theory. There was one ‘mini-series’ of five expository talks by Andrew Granville and Andrew Sutherland on the breakthrough results on small gaps between primes obtained by Zhang, Maynard and the ensuing two Polymath projects. Some other themes were: Arakelov class groups, • L-functions, • 1810 Oberwolfach Report 32/2015 rational points, • heuristics and theorems about the proportion of curves satisfying various • arithmetic condition.
    [Show full text]
  • 2014 Annual Report
    CLAY MATHEMATICS INSTITUTE www.claymath.org ANNUAL REPORT 2014 1 2 CMI ANNUAL REPORT 2014 CLAY MATHEMATICS INSTITUTE LETTER FROM THE PRESIDENT Nicholas Woodhouse, President 2 contents ANNUAL MEETING Clay Research Conference 3 The Schanuel Paradigm 3 Chinese Dragons and Mating Trees 4 Steenrod Squares and Symplectic Fixed Points 4 Higher Order Fourier Analysis and Applications 5 Clay Research Conference Workshops 6 Advances in Probability: Integrability, Universality and Beyond 6 Analytic Number Theory 7 Functional Transcendence around Ax–Schanuel 8 Symplectic Topology 9 RECOGNIZING ACHIEVEMENT Clay Research Award 10 Highlights of Peter Scholze’s contributions by Michael Rapoport 11 PROFILE Interview with Ivan Corwin, Clay Research Fellow 14 PROGRAM OVERVIEW Summary of 2014 Research Activities 16 Clay Research Fellows 17 CMI Workshops 18 Geometry and Fluids 18 Extremal and Probabilistic Combinatorics 19 CMI Summer School 20 Periods and Motives: Feynman Amplitudes in the 21st Century 20 LMS/CMI Research Schools 23 Automorphic Forms and Related Topics 23 An Invitation to Geometry and Topology via G2 24 Algebraic Lie Theory and Representation Theory 24 Bounded Gaps between Primes 25 Enhancement and Partnership 26 PUBLICATIONS Selected Articles by Research Fellows 29 Books 30 Digital Library 35 NOMINATIONS, PROPOSALS AND APPLICATIONS 36 ACTIVITIES 2015 Institute Calendar 38 1 ach year, the CMI appoints two or three Clay Research Fellows. All are recent PhDs, and Emost are selected as they complete their theses. Their fellowships provide a gener- ous stipend, research funds, and the freedom to carry on research for up to five years anywhere in the world and without the distraction of teaching and administrative duties.
    [Show full text]
  • Titans of Mathematics Clash Over Epic Proof of ABC Conjecture
    Quanta Magazine Titans of Mathematics Clash Over Epic Proof of ABC Conjecture Two mathematicians have found what they say is a hole at the heart of a proof that has convulsed the mathematics community for nearly six years. By Erica Klarreich In a report posted online today, Peter Scholze of the University of Bonn and Jakob Stix of Goethe University Frankfurt describe what Stix calls a “serious, unfixable gap” within a mammoth series of papers by Shinichi Mochizuki, a mathematician at Kyoto University who is renowned for his brilliance. Posted online in 2012, Mochizuki’s papers supposedly prove the abc conjecture, one of the most far-reaching problems in number theory. Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 pages, are written in an impenetrable style, and refer back to a further 500 pages or so of previous work by Mochizuki, creating what one mathematician, Brian Conrad of Stanford University, has called “a sense of infinite regress.” Between 12 and 18 mathematicians who have studied the proof in depth believe it is correct, wrote Ivan Fesenko of the University of Nottingham in an email. But only mathematicians in “Mochizuki’s orbit” have vouched for the proof’s correctness, Conrad commented in a blog discussion last December. “There is nobody else out there who has been willing to say even off the record that they are confident the proof is complete.” Nevertheless, wrote Frank Calegari of the University of Chicago in a December blog post, “mathematicians are very loath to claim that there is a problem with Mochizuki’s argument because they can’t point to any definitive error.” That has now changed.
    [Show full text]
  • A Special Issue on Formal Proof
    Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Least-Squares Collected More Math Into LaTeX Finite Element Methods Papers of G. Grätzer, University of Manitoba, of the American Mathematical Society P. B. Bochev, Sandia National Bertram Winnipeg, MB, Canada December 2008 Volume 55, Number 11 Laboratories, Albuquerque, NM, USA; Kostant In this fourth edition, the reader is M. D. Gunzburger, Florida State provided with important updates on University, Tallahassee, FL, USA Volume I articles and books. An important new 1955-1966 This book provides researchers and topic is discussed: transparencies practitioners with a concise guide to the B. Kostant, (computer projections). A new online theory and practice of least-square Massachusetts visual tutorial is also available. Please finite element methods, their strengths Institute of Technology, Cambridge, visit springer.com/978-0-387-32289-6 Formal Proof and weaknesses, established successes, MA, USA for more information, or take a tour of and open problems. Editors: A. Joseph, Weizmann Institute, this unique tutorial. page 1370 Israel; S. Kumar, UNC Chapel Hill, NC, 2007. XXXIV, 619 p. 44 illus. Softcover 2009. Approx. 285 p. (Applied Mathe- USA; M. Vergne, École Polytechnique, ISBN 978-0-387-32289-6 $49.95 matical Sciences, Volume 166) Hardcover Palaiseau Cedex, France Formal Proof—The ISBN 978-0-387-30888-3 approx. $69.95 For more than five decades Bertram Generalized Four-Color Theorem Elementary Number Kostant has been one of the major Measure architects of modern Lie theory. page 1382 Theory: Primes, Virtually all of his papers are pioneering Theory Congruences, and Secrets with deep consequences, many giving Z.
    [Show full text]
  • LECTURE Series
    University LECTURE Series Volume 45 p-adic Geometry Lectures from the 2007 Arizona Winter School Matthew Baker Brian Conrad Samit Dasgupta Kiran S. Kedlaya Jeremy Teitelbaum American Mathematical Society p-adic Geometry Lectures from the 2007 Arizona Winter School University LECTURE Series Volume 45 p-adic Geometry Lectures from the 2007 Arizona Winter School Matthew Baker Brian Conrad Samit Dasgupta Kiran S. Kedlaya Jeremy Teitelbaum Edited by David Savitt Dinesh S. Thakur M THE ATI A CA M L 42(4/3 -( N %)3)47 S A O C C I I R E E T !'%7-% Y M A F O 8 U 88 NDED 1 American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Jerry L. Bona Nigel D. Higson Eric M. Friedlander (Chair) J. T. Stafford 2000 Mathematics Subject Classification. Primary 14G22; Secondary 11F85, 14F30. The 2007 Arizona Winter School was supported by NSF grant DMS-0602287. The first author was supported by NSF grant DMS-0600027. The second author was partially supported by NSF grant DMS-0600919. The third author was partially supported by NSF grant DMS-0653023. The fourth author was supported by NSF CAREER grant DMS-0545904, and a Sloan Research Fellowship. The fifth author was supported by NSF grant DMS-0245410. For additional information and updates on this book, visit www.ams.org/bookpages/ulect-45 Library of Congress Cataloging-in-Publication Data Arizona Winter School (2007 : University of Arizona) p-adic geometry : lectures from the 2007 Arizona Winter School / Matthew Baker... [et al.] ; edited by David Savitt, Dinesh S. Thakur. p. cm. — (University lecture series ; v.
    [Show full text]
  • New Publications Offered by The
    New Publications Offered by the AMS To subscribe to email notification of new AMS publications, please go to http://www.ams.org/bookstore-email. Algebra and Algebraic University p-adic Geometry LECTURE Series Lectures from the 2007 Geometry Volume 45 p-adic Geometry Arizona Winter School Lectures from the 2007 Arizona Winter School Matthew Baker, Georgia Institute Matthew Baker Brian Conrad of Technology, Atlanta, GA, CONTEMPORARY Curves and Abelian Samit Dasgupta Kiran S. Kedlaya MATHEMATICS Varieties Jeremy Teitelbaum Brian Conrad, University of 465 Michigan, Ann Arbor, MI, Samit Curves and Abelian Valery Alexeev, University of Dasgupta, Harvard University, Varieties American Mathematical Society Georgia, Athens, GA, Arnaud Cambridge, MA, Kiran S. Valery Alexeev Arnaud Beauville Beauville, Université de Nice, Kedlaya, Massachusetts Institute of Technology, C. Herbert Clemens Elham Izadi France, C. Herbert Clemens, Editors Cambridge, MA, Jeremy Teitelbaum, University of Ohio State University, Columbus, Illinois at Chicago, IL, and edited by David Savitt and OH, and Elham Izadi, University Dinesh S. Thakur, University of Arizona, Tucson, AZ American Mathematical Society of Georgia, Athens, GA, Editors In recent decades, p-adic geometry and p-adic cohomology theories This book is devoted to recent progress in the study of curves and have become indispensable tools in number theory, algebraic abelian varieties. It discusses both classical aspects of this deep geometry, and the theory of automorphic representations. The and beautiful subject as well as two important new developments, Arizona Winter School 2007, on which the current book is based, tropical geometry and the theory of log schemes. was a unique opportunity to introduce graduate students to this In addition to original research articles, this book contains three subject.
    [Show full text]
  • Jennifer S. Balakrishnan
    Jennifer S. Balakrishnan Department of Mathematics and Statistics Email: [email protected] Boston University Homepage: http://math.bu.edu/people/jbala 111 Cummington Mall Citizenship: USA Boston, MA 02215 Last updated: May 26, 2021 Employment Boston University, Clare Boothe Luce Associate Professor of Mathematics . 2021 – Boston University, Clare Boothe Luce Assistant Professor of Mathematics . 2016 – 2021 University of Oxford, Mathematical Institute, Titchmarsh Research Fellow . .2013 – 2016 University of Oxford, Balliol College, Junior Research Fellow . 2013 – 2016 Harvard University, NSF Postdoctoral Fellow (sponsoring scientist: Barry Mazur) . 2011 – 2013 Additional affiliations Hariri Institute for Computing, Boston University, Junior Faculty Fellow . 2018 – 2021 Institute for Computational and Experimental Research in Mathematics, Research Fellow . Sept. 2015 Education Massachusetts Institute of Technology, Ph.D., Mathematics . 2011 Thesis: Coleman integration for hyperelliptic curves: algorithms and applications, advised by Kiran Kedlaya Harvard University, A.M., Mathematics . 2006 Harvard University, A.B., Mathematics magna cum laude ................................................. 2006 Preprints and publications 34. “Even values of Ramanujan’s tau-function” (with K. Ono, W.-L. Tsai), arxiv:2102.00111. 33. “Quadratic Chabauty for modular curves: Algorithms and examples” (with N. Dogra, J. S. Müller, J. Tuitman, J. Vonk), arxiv:2101.01862. 32. “Variants of Lehmer’s speculation for newforms” (with W. Craig, K. Ono, W.-L. Tsai), arxiv:2005.10354. 31. “Variations of Lehmer’s conjecture for Ramanujan’s tau-function” (with W. Craig, K. Ono), to appear, J. Number Theory (JNT Prime, Special issue – “New developments in the theory of modular forms over function fields"). 30. “Computational tools for quadratic Chabauty” (with J. S. Müller), lecture notes for the 2020 Arizona Winter School, 80 pages.
    [Show full text]