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

Date & Time

Organizer:
Brendan Hassett, Brown University

Speakers:
Edgar Costa, Massachusetts Institute of Technology
Brendan Hassett, Brown University
Wei Ho, IAS, Princeton University and University of Michigan
Robert Lemke-Oliver, Tufts University
Wanlin Li, Washington University, St. Louis
David Roe, Massachusetts Institute of Technology
David Zureick-Brown, Emory University

Meeting Goals:

The 2023 Simons Collaboration on Arithmetic Geometry, Number Theory and Computation Annual Meeting will focus on the following 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

Talks will present contributions from members of the collaboration and work by leading experts that may inspire future developments.

• Agenda

#### Wednesday, January 11

 8:30 AM CHECK-IN & BREAKFAST 9:30 AM Brendan Hassett | Rationality and Arithmetic 10:30 AM BREAK 11:00 AM Wei Ho | Recent Progress in Arithmetic Statistics 12:00 PM LUNCH 1:00 PM David Roe | Modular Curves and Finite Groups: Building Connections Via Computation 2:00 PM BREAK 2:30 PM Robert Lemke-Oliver | Uniform Exponent Bounds on The Number of Primitive Extensions of Number Fields 3:30 PM BREAK 4:00 PM Lightning Talks Alexander Betts Computing Local Heights for Quadratic Chabauty Juanita Duque-Rosero Triangular Modular Curves Avinash Kulkarni Integral Geometry in Non-Archimedean Spaces Grant Molnar Counting Elliptic Curves with a 7-isogeny Oana Padurariu Rational Points on Atkin-Lehner Quotients of Geometrically Hyperelliptic Shimura Curves 5:00 PM DAY ONE CONCLUDES

#### Thursday

 8:30 AM CHECK-IN & BREAKFAST 9:30 AM Wanlin Li | Ordinary and Basic Reductions of Abelian Varieties 10:30 AM BREAK 11:00 AM Edgar Costa | Computing Isogeny Classes of Principally Polarized Abelian Surfaces Over the Rationals 12:00 PM LUNCH 1:00 PM David Zureick-Brown | l-adic Images of Galois for Elliptic Curves over Q 2:00 PM MEETING CONCLUDES
• Abstracts

Alexander Betts
Harvard University

Computing Local Heights for Quadratic Chabauty

The quadratic Chabauty method uses the theory of p-adic heights to try to compute rational points on curves, especially modular curves. With a very small number of exceptions, the method has only been applied successfully to curves with potentially good reduction, which ensures that the local contributions to the height at places away from p are all zero. In this talk, Alexander Betts will report on an ongoing project with Juanita Duque-Rosero, Sachi Hashimoto and Pim Spelier in which we develop algorithms to compute these local height contributions, with an eye towards using them in quadratic Chabauty computations in new regimes.

Edgar Costa
Massachusetts Institute of Technology

Computing Isogeny Classes of Principally Polarized Abelian Surfaces Over the Rationals

Edgar Costa will describe a practical algorithm, given a principally polarized abelian surface (PPAS) over QQ, to compute all the other PPASs in its isogeny class with a trivial endomorphism ring. This is joint work in progress with Raymond van Bommel, Shiva Chidambaram and Jean Kieffer.

Juanita Duque-Rosero
Dartmouth College

Triangular Modular Curves

Triangular modular curves are generalizations of modular curves that arise from quotients of the upper half-plane by congruence subgroups of hyperbolic triangle groups. The talk will focus on describing an explicit enumeration of triangular modular curves of low genus. This is work in progress with John Voight.

Brendan Hassett
Brown University

Rationality and Arithmetic

Consider a class of smooth projective varieties that are geometrically rational. When are they rational over a given ground field? Brendan Hassett will discuss arithmetic aspects of rationality criteria and relations with constructions used in arithmetic statistics.

Wei Ho
Institute for Advanced Study

Recent Progress in Arithmetic Statistics

There has been significant progress in arithmetic statistics in the last few years by many different people. Wei Ho will discuss a range of recent developments in counting invariants related to number fields and elliptic curves, and present some applications.

Avinash Kulkarni
Dartmouth College

Integral Geometry in Non-Archimedean Spaces

In this lightning talk, Avinash Kulkarni will discuss a non-archimedean integral geometry formula for the action of a compact K-analytic group on a homogeneous space. This formula is analogous to a result over the reals obtained by Howard. Some applications will be discussed. Joint work with Antonio Lerario and Peter Burgisser.

Robert Lemke-Oliver
Tufts University

Uniform Exponent Bounds on The Number of Primitive Extensions of Number Fields

A folklore conjecture asserts the existence of a positive constant $$c_n$$ such that the number of degree $$n$$ extensions $$K/Q$$ with discriminant bounded by $$X$$ is asymptotic to $$c_n$$ $$X$$. This conjecture is known if $$n$$ is at most 5, but even the weaker conjecture that there exists an absolute constant $$C>1$$ such that the number of such fields is at most $$O(X^C)$$ remains unknown and apparently out of reach.

Robert Lemke-Oliver will discuss progress on this weaker conjecture (which is termed the “uniform exponent conjecture”) in two ways. First, Lemke-Oliver will reduce the general problem to that of studying relative extensions of number fields whose Galois group is an almost simple group in its smallest degree permutation representation. Second, for almost all such groups, Lemke-Oliver will prove the strongest known upper bound on the number of such extensions. These bounds have the effect of resolving the uniform exponent conjecture for solvable groups, sporadic groups, exceptional groups and classical groups of bounded rank.

Wanlin Li
Washington University in St. Louis

Ordinary and Basic Reductions of Abelian Varieties

Given an abelian variety $$A$$ defined over a number field, a conjecture attributed to Serre states that the set of primes at which $$A$$ admits ordinary reduction is of positive density. This conjecture had been proved for elliptic curves (Serre, 1977), abelian surfaces (Katz 1982, Sawin 2016) and certain higher dimensional abelian varieties (Pink 1983, Fité 2021, etc.).

In this talk, Wanlin Li will discuss ideas behind these results and recent progress for abelian varieties with non-trivial endomorphisms, including the case where $$A$$ has almost complex multiplication by an abelian CM field, based on joint work with Cantoral-Farfán, Mantovan, Pries and Tang.

Apart from ordinary reduction, Li will also discuss the set of primes at which an abelian variety admits basic reduction, generalizing a result of Elkies on the infinitude of supersingular primes for elliptic curves. This is joint work with Mantovan, Pries and Tang.

Grant Molnar
Dartmouth College

Counting Elliptic Curves with a 7-isogeny

In this talk, Grant Molnar will present new asymptotics for the number of elliptic curves height up to X which admit a (cyclic) 7-isogeny, and discuss directions for future work. This research is joint with John Voight.

Oana Padurariu
Boston University

Rational Points on Atkin-Lehner Quotients of Geometrically Hyperelliptic Shimura Curves

Guo and Yang give defining equations for all geometrically hyperelliptic Shimura curves X0(D,N). In this talk, Oana Padurariu will describe how we created a database containing all their Atkin-Lehner quotients and how we computed their sets of Q-rational points when these sets are finite. Oana Padurariu will also determine which rational points are CM for many of these curves. This is joint work with Ciaran Schembri.

David Roe
Massachusetts Institute of Technology

Modular Curves and Finite Groups: Building Connections Via Computation

The study of rational points on modular curves has a long history in number theory. Mazur’s 1970s papers that describe the possible torsion subgroups and isogeny degrees for rational elliptic curves rest on a computation of the rational points on X0(N) and X1(N), and a large body of work since then continues this tradition. Modular curves are parameterized by open subgroups H of GL(2, Zhat), and correspondingly parameterize elliptic curves E whose adelic Galois representation lim E[n] is contained in H. For general H, the story of when X_H has non-cuspidal rational or low degree points (and thus when there exist elliptic curves with the corresponding level structure) becomes quite complicated, and one of the best approaches we have for understanding its large-scale computation. David Roe will describe a new database of modular curves, including rational points, explicit models and maps between models, along with some of the mathematical challenges faced along the way.

The close connection between modular curves and finite groups also arises in other areas of number theory and arithmetic geometry. Most well-known are Galois groups associated to field extensions, but one attaches automorphism groups to algebraic varieties and Sato-Tate groups to motives. Building on existing tables of groups, Roe and collaborators have added a new finite groups section to the L-functions and modular forms database, which they hope will prove useful both to number theorists and to others who are using and studying finite groups.

David Zureick-Brown
Emory University

l-adic Images of Galois for Elliptic Curves over Q

David Zureick-Brown will discuss recent joint work with Jeremy Rouse and Drew Sutherland on Mazur’s “Program B” — the classification of the possible “images of Galois” associated an elliptic curve (equivalently, classification of all rational points on certain modular curves XH). The main result is a provisional classification of the possible images of l-adic Galois representations associated to elliptic curves over Q and is provably complete barring the existence of unexpected rational points on modular curves associated to the normalizers of non-split Cartan subgroups and two additional genus 9 modular curves of level 49.

Zureick-Brown will also discuss the framework and various applications (for example: a very fast algorithm to rigorously compute the l-adic image of Galois of an elliptic curve over Q), and then highlight several new ideas from the joint work, including techniques for computing models of modular curves and novel arguments to determine their rational points, a computational approach that works directly with moduli and bypasses defining equations, and (with John Voight) a generalization of Kolyvagin’s theorem to the modular curves we study.

• Participation & Funding

Participation in the meeting falls into the following four categories. An individual’s participation category is communicated via their letter of invitation.

Group A – PIs and Speakers
The foundation will arrange and pay for all air and train travel to the conference as well as hotel accommodations and reimbursement of local expenses.

Group B – Out-of-town Participants
The foundation will arrange and pay for all air and train travel to the conference as well as hotel accommodations and reimbursement of local expenses.

Group C – Local Participants
Individuals in Group C will not receive financial support, but are encouraged to enjoy all conference-hosted meals.

Group D – Remote Participants
Individuals in Group D will participate in the meeting remotely. Please register at the link above and a remote participation link will be sent to you approximately two weeks prior to the meeting.

• Travel & Hotel

Air and Train
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.

Personal Car
For participants in Groups A & B driving to Manhattan, The James NoMad 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.

Hotel
Participants in Groups A & B who require accommodations are hosted by the foundation for a maximum of three nights at The James NoMad Hotel. Any additional nights are at the attendee’s own expense. To arrange accommodations, please register at the link above.

The James NoMad Hotel
22 E 29th St
New York, NY 10016
(between 28th and 29th Streets)
https://www.jameshotels.com/new-york-nomad/

For driving directions to The James NoMad, please click here.

• COVID-19 Policy

ALL in-person meeting attendees must be vaccinated against the COVID-19 and wear a mask when not eating or drinking.

• Reimbursement

Individuals in Groups A & B will be reimbursed for meals not hosted by the Simons Foundation as well as local expenses, including ground transportation. Additional information in this regard will be emailed on the final day of the meeting.

• Contacts

Registration and Travel Assistance
sfnevents@ovationtravel.com
Phone: (917) 408-8384 (24-Hours)
www.ovationtravel.com

Meeting Questions and Assistance
Meghan Fazzi
Manager, Events and Administration, MPS, Simons Foundation
mfazzi@simonsfoundation.org
(212) 524-6080

Subscribe to MPS announcements and other foundation updates