EPSRC Reference: 
EP/V047299/1 
Title: 
DERIVED CATEGORY METHODS IN ARITHMETIC: AN APPROACH TO SZPIRO'S CONJECTURE VIA HOMOLOGICAL MIRROR SYMMETRY AND BRIDGELAND STABILITY CONDITIONS 
Principal Investigator: 
Boehning, Dr C 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Mathematics 
Organisation: 
University of Warwick 
Scheme: 
Standard Research  NR1 
Starts: 
01 July 2021 
Ends: 
30 June 2023 
Value (£): 
202,341

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
The arithmetic of elliptic curves occupies a central role in number theory and Diophantine geometry. Diophantine geometry studies Diophantine equations, that is, the solution of polynomial equations in integers or rational numbers (in the most basic case), through a combination of techniques from algebraic geometry, algebraic and analytic number theory, and complex geometry.
Szpiro's conjecture for elliptic curves over number fields is known to imply the famous abcconjecture, whose validity in turn yields a large number of other deep results such as Fermat's Last Theorem, Mordell's Conjecture (Falting's theorem), or Roth's theorem about Diophantine approximation of algebraic numbers. Szpiro's conjecture in the arithmetic setup has an analogue in complex geometry, relating the number of critical points and the number of singular fibres of a nontrivial semistable family of elliptic curves over some base curve (or more generally, curves of higher genus, due to A. Beauville); Szpiro's inequality also has an analogue in symplectic geometry established by Amoros, Bogomolov, Katzarkov, Pantev, whose proof is essentially a topological/grouptheoretic argument involving the mapping class group of a torus with one hole.
Homological Mirror Symmetry is a principle/yoga having its origin in mathematical physics, whose consequences mathematicians have only started fully to exploit and understand. In particular, it relates symplectic geometry and complex geometry in completely unexpected ways. For example, graded symplectic automorphisms of a torus can be related to autoequivalences of the derived category of coherent sheaves on the mirror elliptic curve, and Dehn twists are seen to correspond to socalled spherical twists. One can then seek to mimic parts of the proof by Amoros, Bogomolov, Katzarkov, Pantev working with derived autoequivalences and using changes in Bridgeland phase as a substitute for the notion of displacement angle in the symplectic situation.
It is reasonable to hope that such an argument will still make sense for arithmetic elliptic fibrations and can lead to a proof of Szpiro's conjecture. The goal of the project is to establish foundations and a framework in which Bridgeland stability conditions can be made sense of in arithmetic/Arakelov geometry and in which the programme inspired by Homological Mirror Symmetry outlined above can be carried through. This will also ultimately involve techniques from padic geometry and Berkovich spaces.

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 