Simons Collaboration on Arithmetic Geometry, Number Theory, and Computation Annual Meeting

Date & Time


Organizers:
Jennifer Balakrishnan, Boston University
Noam Elkies, Harvard University
Brendan Hassett, Brown University
Bjorn Poonen, Massachusetts Institute of Technology
Andrew Sutherland, Massachusetts Institute of Technology
John Voight, Dartmouth College

The first annual meeting of the Simons Collaboration on Arithmetic Geometry, Number Theory, and Computation will focus on three main themes: the development and organization of software and databases supporting research in number theory and arithmetic geometry; fundamental research in arithmetic geometry inspired by computation and leading to new algorithms; and explorations of L-functions, modular forms, and Galois representations with elegant and unusual properties.

Collaboration website: https://simonscollab.icerm.brown.edu/

 

  • Agendaplus--large

    THURSDAY, JANUARY 10

    8:30 AMCHECK-IN & BREAKFAST
    9:30 AMFrank Calegari | Fake Abelian Surfaces and Fake Kummer Surfaces
    10:30 AMBREAK
    11:00 AMJennifer Balakrishnan | Rational Points on the Cursed Curve
    12:00 PMLUNCH
    1:00 PMBjorn Poonen | Number Field Fragments and Fermat's Last Theorem
    2:00 PMBREAK
    2:30 PMJohn Voight | The L-functions and Modular Forms DataBase (LMFDB)
    3:30 PMBREAK
    4:00 PMAnthony Várilly-Alvarado | Computations on K3 surfaces, Past, Present and Future
    5:00 PMDAY ONE CONCLUDES

    FRIDAY, JANUARY 11

    8:30 AMCHECK-IN & BREAKFAST
    9:30 AMKiran Kedlaya | Computation of Zeta and L-functions: Feasibility and Applications
    10:30 AMBREAK
    11:00 AMBianca Viray | Isolated and Sporadic Points on Modular Curves
    12:00 PMLUNCH
    1:00 PMPeter Sarnak | An Undetermined Matrix Moment Problem and Its Application to Computing Zeros of L-functions
    2:00 PMMEETING CONCLUDES
  • Abstractsplus--large

    Jennifer Balakrishnan
    Boston University

    Rational Points on the Cursed Curve

    The split Cartan modular curve of level 13, also known as the ‘cursed curve,’ is a genus 3 curve defined over the rationals. By Faltings’ proof of Mordell’s conjecture, we know that it has finitely many rational points. However, Faltings’ proof does not give an algorithm for finding these points.  We will discuss how to determine rational points on this curve using ‘quadratic Chabauty,’ part of Kim’s nonabelian Chabauty program. This is joint work with Netan Dogra, Steffen Mueller, Jan Tuitman and Jan Vonk.

     

    Frank Calegari
    University of Chicago

    Fake Abelian Surfaces and Fake Kummer Surfaces

    We discuss the problem of finding explicit models for some (geometrically) rational moduli spaces related to fake abelian surfaces and fake Kummer surfaces. On one hand, this is related to recent advances in modularity, and on the other, it raises some intriguing but accessible problems in both explicit number theory and algebraic geometry.

     

    Kiran S. Kedlaya
    University of California, San Diego

    Computation of Zeta and L-functions: Feasibility and Applications

    Thanks in part to improvements in our algorithmic understanding of p-adic cohomology, it has become feasible to compute zeta functions of algebraic varieties over finite fields and L-functions of algebraic varieties over number fields to a far greater extent than ever before. Kedlaya will give a survey of the kinds of computations that are feasible and indicate some problems for which such computations are likely to yield new insights (or have already done so).

     

    Bjorn Poonen
    Massachusetts Institute of Technology

    Number Field Fragments and Fermat’s Last Theorem

    We describe an attempt (unsuccessful so far) to give a new proof of Fermat’s last theorem, involving geometry of numbers and the isotypic components of a Galois number field viewed as a representation of its Galois group.

     

    Peter Sarnak
    Princeton University

    An Undetermined Matrix Moment Problem and Its Application to Computing Zeros of L-functions

    We examine a basic problem concerning what can be determined efficiently about the locations of the eigenvalues of a matrix in O(2n) given the traces of its first k (<n) powers. We explain how this can be used to compute root numbers and count zeros of L-functions in sub-exponential time (in the conductor). Joint work with M. Rubinstein.

     

    Bianca Viray
    University of Washington

    Isolated and Sporadic Points on Modular Curves

    A corollary of Faltings’s theorem is that infinitely many degree d points on a curve C arise from a parametrization of (a subvariety of) Sym^d C by P^1 or a positive rank abelian variety.  We study so-called isolated degree d points (i.e., those not parametrized by P^1 or a positive rank abelian variety) and show that under a fiber irreducibility condition on a morphism f:C->D, isolated points on C push forward to isolated points on D. We then apply this in the context of modular curves and show that non-CM isolated points map to isolated points on modular curves of bounded level. These results imply analogous results for so-called sporadic points (i.e., points x where there are only finitely many other points of degree at most deg(x)).

     

    Anthony Várilly-Alvarado
    University of Washington

    Computations on K3 surfaces, Past, Present and Future

    Várilly-Alvarado will survey ways in which recent computational advances have allowed us to probe the arithmetic of K3 surfaces and ask computational/experimental questions involving K3 surfaces and elliptic curves that may help shed further light on the subject. I will pay particular attention to Neron-Severi groups, Brauer groups and Galois representations of elliptic curves and K3 surfaces.

     

    John Voight
    Dartmouth College

    The L-functions and Modular Forms DataBase (LMFDB)

    The Langlands program is a set of conjectures that lie in deep theories of mathematical symmetry, connecting numerous subfields of mathematics. Recently, it has become feasible to do large-scale computational verification of the predictions of the Langlands program, to test conjectures in higher-dimensional cases and, in particular, to present the results in a way that is widely accessible. To this end, the L-functions and Modular Forms DataBase (LMFDB, http://www.lmfdb.org) was created to connect and organize the work of many mathematicians working in this area. In this talk, we will survey the mathematical underpinnings and the algorithmic infrastructure of the LMFDB in an attempt to navigate and provide compelling visual displays of the Langlands program in action.

  • Travelplus--large

    Air and Train

    Group A
    The foundation will arrange and pay for all air and train travel to the conference for those in Group A. Please provide your travel specifications by clicking the registration link above. If you are unsure of your group, please refer to your invitation sent via email.
    Group B
    Individuals in Group B will not receive financial support. Please register at the link above so we can capture your dietary requirements. If you are unsure of your group, please refer to your invitation sent via email.

    Personal Car

    For participants in Group A driving to Manhattan, The Roger Hotel offers valet parking. Please note there are no in-and-out privileges when using the hotel’s garage, therefore it is encouraged that participants walk or take public transportation to the Simons Foundation.
  • Hotelplus--large

    Participants in Group A who require accommodations are hosted by the foundation for a maximum of three nights at The Roger hotel. Any additional nights are at the attendee’s own expense.

    The Roger New York
    131 Madison Avenue
    New York, NY 10016
    (between 30th and 31st Streets)

    To arrange accommodations, please register at the link above.

    For driving directions to The Roger, please click here.

  • Contactsplus--large

    Travel Assistance

    Elise Volpe, Protravel International
    simons.foundation@protravelinc.com
    516-465-1006

    Registration, Hotel and General Meeting Assistance

    Meghan Fazzi
    Senior Executive Assistant, Simons Foundation
    mfazzi@simonsfoundation.org
    (212) 524-6080

Subscribe to MPS announcements and other foundation updates