EPSRC Reference: 
EP/S020977/1 
Title: 
Padic Lfunctions and explicit reciprocity laws 
Principal Investigator: 
Loeffler, Professor D 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Mathematics 
Organisation: 
University of Warwick 
Scheme: 
Standard Research 
Starts: 
01 July 2019 
Ends: 
30 June 2022 
Value (£): 
327,737

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
An important strand of research in number theory concerns the relation between algebraic properties of arithmetical objects, such as elliptic curves, and the values of analytic functions associated to them (Lfunctions). The bestknown example of this is the Birch and SwinnertonDyer conjecture (one of the Clay Millennium Prize problems), which predicts that the size of the set of rational points on an elliptic curve is determined by the behaviour of its Lfunction at a specific point  in particular, rational points exist if and only if the value of the Lfunction at this point is zero. However, this is only the first instance of a much more general theme.
In recent years there has been some very exciting progress in understanding the links between Lfunctions and arithmetic, using an algebraic tool called an "Euler system". These are powerful tools, but difficult to construct. In my previous work with Lei and Zerbes in 2014, I discovered a new Euler system arising from products of modular forms, and this new construction has played a central role in many recent works on the BSD conjecture and related problems. The focus of my research program at present is to try to find a systematic approach to constructing new Euler systems, using methods from a variety of mathematical fields including representation theory and algebraic geometry; this research is funded by a grant from the Royal Society. My team have already found several new examples of Euler systems, including one related to Siegel modular forms which could potentially have very interesting consequences for the arithmetic of genus 2 algebraic curves.
However, there is a significant gap in our understanding of these objects, which is that in many cases we cannot prove that the new objects are not zero. In the earlier constructions of Euler systems, this input was provided by theorems called "explicit reciprocity laws", which relate the Euler system to the values of an Lfunction. The goal of the proposed research is to prove explicit reciprocity laws for some of the newlydiscovered Euler systems. Until recently this problem seemed to be entirely inaccessible; but recent breakthroughs in the theory of padic automorphic forms, arising from work of Vincent Pilloni, suggest a strategy for attacking the problem.

Key Findings 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Potential use in nonacademic contexts 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Impacts 
Description 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk 
Summary 

Date Materialised 


Sectors submitted by the Researcher 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Project URL: 

Further Information: 

Organisation Website: 
http://www.warwick.ac.uk 