Simons Collaboration on Arithmetic Geometry, Number Theory, and Computation Annual Meeting 2020
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 Lfunctions, modular forms, and Galois representations with elegant and unusual properties

Agenda
Thursday, January 9
8:30 AM CHECKIN & BREAKFAST 9:30 AM Henri Darmon  The DedekindRademacher Cocycle and its RM Values 10:30 AM BREAK 11:00 AM Brian Lawrence  Diophantine Problems and a Padic Period Map 12:00 PM LUNCH 1:00 PM Celine Maistret  Compatibility of Some Local Invariants of Abelian Varieties 2:00 PM BREAK 2:30 PM Noam Elkies  (1,3)Polarized Abelian Surfaces and their Moduli 3:30 PM BREAK 4:00 PM Kirsten Wickelgren  An Arithmetic Count of Rational Plane Curves 5:00 PM DAY ONE CONCLUDES Friday, January 10
8:30 AM CHECKIN & BREAKFAST 9:30 AM Melanie Matchett Wood  Distributions of Unramified Extensions of Global Fields 10:30 AM BREAK 11:00 AM David Zywina  \(\ell\)adic Monodromy Groups of Abelian Varieties 12:00 PM LUNCH 1:00 PM Andrew Sutherland  Sums of Cubes 2:00 PM MEETING CONCLUDES 
Public Lecture
Escher and the Droste Effect
Hendrik Lenstra, Universiteit LeidenWednesday, January 8, 2020
Tea 4:155:00 PM
Lecture 5:006:15 PMIn 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.

Abstracts
Henri Darmon
McGill UniversityThe DedekindRademacher Cocycle and its RM Values
The DedekindRademacher 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 padic upper half plane. Samit Dasgupta and Henri Darmon conjectured around 2002 that its special values at ‘real multiplication points’ of Drinfeld’s padic upper half plane are (often nontrivial) global punits 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 padic 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 DedekindRademacher 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 level2 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 CalabiYau threefold \(N’\)). It was also known that A contains a hyperelliptic genus4 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 (x1) (25x12) (3x1) (5x9) (2x1) (4x3) (5x2) (13x8). $$
We then show that the Jacobian \(J(C)\) is isogenous to \(A \times B\) for some other \((1,3)\) surface \(B\) with full level2 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 ChicagoDiophantine Problems and a Padic Period Map
Lawrence will outline a proof of Mordell’s conjecture/Faltings’s theorem using padic Hodge theory (joint with Akshay Venkatesh) and discuss some of the issues involved in making the proof computationally effective.
Celine Maistret
Boston UniversityCompatibility 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 SwinnertonDyer 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 socalled 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 TechnologySums of Cubes
Sutherland will report on some recent computational investigations of a conjecture of HeathBrown.
Melanie Matchett Wood
University of California, BerkeleyDistributions 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 CohenLenstraMartinet distributions for class groups, and so their functionfield theorems give support to (suitably modified) versions of the CohenLenstraMartinet heuristics. This talk is on joint work with Yuan Liu and David ZureickBrown.
Kirsten Wickelgren
Duke UniversityAn Arithmetic Count of Rational Plane Curves
There are finitely many degree d rational plane curves passing through 3d1 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 A1homotopy 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 A1degree, 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.

Travel
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 inandout privileges when using the hotel’s garage, therefore it is encouraged that participants walk or take public transportation to the Simons Foundation. 
Hotel
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 30^{th} and 31^{st} Streets)To arrange accommodations, please register at the link above.
For driving directions to The Roger, please click here.

Contacts
Travel and Hotel Assistance
Belmys Hidalgo
Meetings Coordinator, Protravel
simons.foundation@protravelinc.com
Direct: 7862062734
Toll free: 8002847070 ext 2734
Afterhours number: 8008586319 ID Code A9J0General Meeting Assistance
Meghan Fazzi
Senior Executive Assistant, Simons Foundation
mfazzi@simonsfoundation.org
(212) 5246080