EPSRC Reference: 
EP/Y020758/1 
Title: 
Effective methods in ominimality and diophantine geometry 
Principal Investigator: 
Jones, Dr G 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Mathematics 
Organisation: 
University of Manchester, The 
Scheme: 
Standard Research 
Starts: 
01 January 2024 
Ends: 
31 December 2026 
Value (£): 
545,697

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
This project will develop applications of mathematical logic to diophantine geometry.
Diophantine geometry is the study of solutions of polynomial equations in integers, or other arithmetically significant solutions, using the geometry associated with those equations. Certain types of solutions of equations can be described geometrically as "unlikely intersections". Deep conjectures predict that these unlikely intersections should be rare, for example, there should be only finitely many such solutions to a given equation.
A major goal in diophantine geometry is not only to prove that an equation has finitely many solutions, but to bound the number of solutions or to give an algorithm that finds all solutions. In this project, we will establish such effective bounds for unlikely intersections.
Techniques from mathematical logic have played an important role in the theory of unlikely intersections. We will apply recent effective bounds for the complexity of the definitions of objects from diophantine geometry. Together with recent exciting progress on effective counting theorems, these will provide the logical tools we will apply to unlikely intersections.

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.man.ac.uk 