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

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

Collaboration Site
Previous Annual Meeting

The 2020 Simons Collaboration on Arithmetic Geometry, Number Theory & Computation Annual Meeting will focus on three main themes:

  • 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
  • Explorations of L-functions, modular forms, and Galois representations with elegant and unusual properties
  • Agendaplus--large

    Thursday, January 9

    8:30 AMCHECK-IN & BREAKFAST
    9:30 AMHenri Darmon | The Dedekind-Rademacher Cocycle and its RM Values
    10:30 AMBREAK
    11:00 AMBrian Lawrence | Diophantine Problems and a P-adic Period Map
    12:00 PMLUNCH
    1:00 PMCeline Maistret | Compatibility of Some Local Invariants of Abelian Varieties
    2:00 PMBREAK
    2:30 PMNoam Elkies | (1,3)-Polarized Abelian Surfaces and their Moduli
    3:30 PMBREAK
    4:00 PMKirsten Wickelgren | An Arithmetic Count of Rational Plane Curves
    5:00 PMDAY ONE CONCLUDES

    Friday, January 10

    8:30 AMCHECK-IN & BREAKFAST
    9:30 AMMelanie Matchett Wood | Distributions of Unramified Extensions of Global Fields
    10:30 AMBREAK
    11:00 AMDavid Zywina | \(\ell\)-adic Monodromy Groups of Abelian Varieties
    12:00 PMLUNCH
    1:00 PMAndrew Sutherland | Sums of Cubes
    2:00 PMMEETING CONCLUDES
  • Public Lectureplus--large

    Escher and the Droste Effect
    Hendrik Lenstra, Universiteit Leiden

    Wednesday, January 8, 2020
    Tea 4:15-5:00 PM
    Lecture 5:00-6:15 PM

    In 1956, the Dutch graphic artist M.C. Escher made an unusual lithograph. Titled “Prentententoonstelling” (or, “Print Gallery”), the piece shows a young man standing in an exhibition gallery viewing a print of a Mediterranean seaport. Among the buildings depicted in the twisting print, the man paradoxically sees the very same gallery in which he is standing. Curiously, Escher left the middle of the lithograph blank, filling it with only his monogram and signature.

    In this lecture, Hendrik W. Lenstra will discuss interactions between mathematics and M.C. Escher’s artwork. A mathematical analysis of the methods used by Escher leads to a series of hallucinating computer animations that show, among others, what’s in the blurry blank hole in the middle of the piece.

    Participation is optional; separate registration is required.

    See the lecture page for further information.

  • Abstractsplus--large

    Henri Darmon
    McGill University

    The Dedekind-Rademacher Cocycle and its RM Values

    The Dedekind-Rademacher cocycle is a class in the first cohomology of the Ihara group SL(2, Z[1/p]) with values in the multiplicative group of nowhere vanishing rigid analytic functions on Drinfeld’s p-adic upper half plane. Samit Dasgupta and Henri Darmon conjectured around 2002 that its special values at ‘real multiplication points’ of Drinfeld’s p-adic upper half plane are (often nontrivial) global p-units in narrow ring class fields of real quadratic fields. An important recent breakthrough of Dasgupta and Mahesh Kakde, building on earlier work of Dasgupta, Robert Pollack and Darmon, has led to the proof of a large part of this conjecture. In this talk, Darmon will describe an independent approach to the theorem of Dasgupta and Kakde that rests on the p-adic deformation theory of Hilbert modular Eisenstein series and the properties of their diagonal restrictions, developed in collaboration with Alice Pozzi and Jan Vonk. Time permitting, computational questions surrounding the efficient numerical calculation of the Dedekind-Rademacher cocycle and its RM values will be addressed.
     

    Noam Elkies
    Harvard University

    (1,3)-polarized abelian surfaces and their moduli

    We study \((1,3)\)-polarized abelian surfaces \(A\) with full level-2 structure (i.e.\ a choice of identification of \(A[2]\) with \(({\bf Z}/2{\bf Z})^4\)) via their Kummer surfaces \({\rm Km}(A)\). Barth and Nieto gave a model of the generic such \({\rm Km}(A)\) as a smooth quartic surface with \(32\) lines, and used this to birationally identify the moduli space of \(A\) with the double cover

    $$ N’: u^2 = -t_1 t_2 t_3 t_4 t_5 t_6 $$

    of the quintic threefold \(N\) with birational projective model

    $$ t_1 + \cdots + t_6 = 1/t_1 + \cdots + 1/t_6 = 0. $$

    We find several other nice models of \({\rm Km}(A)\): another quartic model with \(42\) lines, and a few of the \(148\) elliptic fibrations (counted up to automorphisms of the Calabi-Yau threefold \(N’\)). It was also known that A contains a hyperelliptic genus-4 curve, call it \(C\)\/; we write \(C\) in terms of the \(t_i\), letting us exhibit examples over \(\bf Q\) such as

    $$ y^2 = x (x-1) (25x-12) (3x-1) (5x-9) (2x-1) (4x-3) (5x-2) (13x-8). $$

    We then show that the Jacobian \(J(C)\) is isogenous to \(A \times B\) for some other \((1,3)\) surface \(B\) with full level-2 structure, and that the points on \(N’\) corresponding to \(A\) and \(B\) are related by an exotic involution of \(N’\). Future applications will include searching the rational moduli space \(N’ / S_6\) of \((1,3)\) surfaces (with no conditions on \(A[2]\)) for examples of low conductor with \({\rm End}(A) = {\bf Z}\) that we cannot yet access in any other way.
     

    Brian Lawrence
    University of Chicago

    Diophantine Problems and a P-adic Period Map

    Lawrence will outline a proof of Mordell’s conjecture/Faltings’s theorem using p-adic Hodge theory (joint with Akshay Venkatesh) and discuss some of the issues involved in making the proof computationally effective.
     

    Celine Maistret
    Boston University

    Compatibility of Some Local Invariants of Abelian Varieties

    Let A/K be an abelian variety over a number field. If A/K admits an isogeny of a particular type, it is known how to control the parity of its rank. On the other hand, the Birch and Swinnerton-Dyer conjecture (BSD) also provides a way to compute the parity of the rank, but these two expressions for the parity of the rank are not obviously compatible. By proving this compatibility, one proves the so-called parity conjecture. In other words, one proves that BSD correctly predicts the parity of the rank of abelian varieties.

    The key to proving the parity conjecture in this setting is to find an expression for the local discrepancy between specific local arithmetic invariants of A/K. In this talk, Maistret will discuss several properties of this local discrepancy for elliptic curves and some specific abelian varieties and present a new expression for the local discrepancy in the case of Jacobians of genus two curves.
     

    Andrew Sutherland
    Massachusetts Institute of Technology

    Sums of Cubes

    Sutherland will report on some recent computational investigations of a conjecture of Heath-Brown.
     

    Melanie Matchett Wood
    University of California, Berkeley

    Distributions of Unramified Extensions of Global Fields

    Every number field K has a maximal unramified extension K^un, with Galois group Gal(K^un/K) (whose abelianization is the class group of K). As K varies, we ask about the distribution of the groups Gal(K^un/K). In this talk, Wood gives a conjecture about this distribution, which she also conjectures in the function field analog. Wood and colleagues will give some results about Gal(K^un/K) that motivate them to build certain random groups whose distributions appear in their conjectures. She gives theorems in the function field case (as the size of the finite field goes to infinity) that support these new conjectures. In particular, their distributions abelianize to the Cohen-Lenstra-Martinet distributions for class groups, and so their function-field theorems give support to (suitably modified) versions of the Cohen-Lenstra-Martinet heuristics. This talk is on joint work with Yuan Liu and David Zureick-Brown.
     

    Kirsten Wickelgren
    Duke University

    An Arithmetic Count of Rational Plane Curves

    There are finitely many degree d rational plane curves passing through 3d-1 points, and over the complex numbers, this number is independent of (generically) chosen points. For example, there are 12 degree 3 rational curves through 8 points, one conic passing through 5, and one line passing through 2. Over the real numbers, this number can vary. For example, there can be 8, 10 or 12 real degree 3 curves through 8 real points. Welschinger obtained a fixed number by weighting real rational curves by behavior of their nodes, and work of Solomon identifies this invariant with a local degree. It is a feature of A1-homotopy theory that analogous real and complex results can indicate the presence of a common generalization, valid over a general field. In the work covered in this talk, Wickelgren develops and computes an A1-degree, following Morel, of the evaluation map on Kontsevich moduli space to obtain an arithmetic count of rational plane curves, which is valid for any field k of characteristic not 2 or 3. This shows independence of the count on the choice of generically chosen points with fixed residue fields, strengthening a count of Marc Levine. This is joint work with Jesse Kass, Marc Levine and Jake Solomon.
     

    David Zywina
    Cornell University

    \(\ell\)-adic Monodromy Groups of Abelian Varieties

    Consider an abelian variety \(A\) defined over a number field. For a fixed prime \(\ell\), the Galois action on the \(\ell\)-power torsion points of \(A\) can be described in terms of an \(\ell\)-adic Galois representation. The Zariski closure \(G_\ell\) of the image is called the \(\ell\)-adic monodromy group of \(A\). The group \(G_\ell\) encodes many important arithmetic/geometric properties of \(A\). For example, the (conjectural) Sato–Tate distribution of \(A\) can be determined from \(G_\ell\). We will discuss approaches to studying and computing monodromy groups.

  • Travelplus--large

    Air and Train

    Groups A & B
    The foundation will arrange and pay for all air and train travel to the conference for those in Groups A and B. 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 C
    Individuals in Group C 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 Groups A & B 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 Groups A & B 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 and Hotel Assistance
    Belmys Hidalgo
    Meetings Coordinator, Protravel
    simons.foundation@protravelinc.com
    Direct: 786-206-2734
    Toll free: 800-284-7070 ext 2734
    After-hours number: 800-858-6319 ID Code A9J0

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

Subscribe to MPS announcements and other foundation updates