Shimura varieties and the Birch--Swinnerton-Dyer conjecture

Project Information

ShimBSD

Grant agreement ID: 101001051

DOI

10.3030/101001051

EC signature date 24 March 2021

Start date 1 May 2021

End date 31 August 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 739 143,00

EU contribution

€ 1 739 143,00

Coordinated by

FERNUNI SCHWEIZ
Switzerland

Periodic Reporting for period 3 - ShimBSD (Shimura varieties and the Birch--Swinnerton-Dyer conjecture)

Reporting period: 2023-11-01 to 2025-01-31

Summary of the context and overall objectives of the project

The project "Shimura varieties and the Birch--Swinnerton-Dyer conjecture" (ShimBSD) addresses problems in number theory around the Birch and Swinnerton-Dyer conjecture, which is one of the most famous open problems in pure mathematics (selected by the Clay Institute in 2000 as one of their seven Millennium Prize problems). The problem concerns the arithmetic of elliptic curves, a class of equations in two variables, and predicts that the number of solutions of these equations is intimately related to an auxiliary object called an L-function. Any progress towards this conjecture would be a major landmark in pure mathematics, and could also impact other mathematical fields (including those directly relevant to real-world applications, such as cryptography, in which elliptic curves are ubiquitous).

The overall objectives of the project are to use new methods arising from the theory of Shimura varieties and automorphic forms to prove new cases of the Birch--Swinnerton-Dyer conjecture, and its generalisations such as the Iwasawa main conjecture and the Bloch--Kato conjecture, using intricate mathematical constructs known as "Euler systems". The key objectives of the project are to construct and study new Euler systems, and to give criteria ("explicit reciprocity laws") for when these Euler systems are non-zero; if this can be successfully carried out, new instances of BSD and other conjectures will follow.

Work performed from the beginning of the project to the end of the period covered by the report and main results achieved so far

Notable new results obtained (published or released as preprints) up to the end of the period:

- New explicit reciprocity laws for GSp(4) x GL(2), generalising earlier work for GSp(4).
- General approach to "vertical" norm relations for Euler systems, based on spherical varieties.
- New cases of BSD for abelian surfaces, and for elliptic curves over imaginary quadratic fields.
- Relations among Euler systems for different groups, via degeneration at critical-slope Eisenstein series.
- New p-adic L-functions for Hilbert modular groups, and explicit reciprocity laws relating these to Euler systems.


Ongoing work as of the end of the report period:

- Study of "boundary contributions" to cohomology of Shimura varieties: this greatly strengthens earlier work of the PI and collaborators by removing the dependence on a conjecture (the "eigenspace vanishing conjecture"), rendering the results unconditional.
- Investigation of applications of the Hilbert modular Euler system to Iwasawa theory for symmetric squares of modular forms.
- New developments towards understanding variation of Eichler--Shimura isomorphisms in p-adic families (mostly via the work of Ju-Feng Wu, a post-doc member of the project team) which will be an important technical input in future applications to the BSD conjecture.

Progress beyond the state of the art and expected potential impact (including the socio-economic impact and the wider societal implications of the project so far)

I believe that the project is on well on course to prove the Bloch--Kato conjecture in analytic rank 0 for all cohomological automorphic forms for the groups GU(2, 1) and GSp(4), and I am confident that we will also obtain new unconditional results in the non-cohomological cases that are most relevant to the Birch--Swinnerton-Dyer conjecture, including the cases of abelian surfaces over the rationals, and elliptic curves over imaginary quadratic fields. The project has already led to significant new results towards the BSD conjecture, including a proof of the conjecture for analytic rank 0 elliptic curves over imaginary quadratic fields assuming a variety of technical hypotheses, which we hope to ameliorate in future work.

Formula describing the Euler-system norm compatibility relation

Diagram illustrating the geometry of a Shimura variety