| EPSRC Reference: |
EP/Y020758/1 |
| Title: |
Effective methods in o-minimality and diophantine geometry |
| Principal Investigator: |
Jones, Dr G |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics |
| Organisation: |
University of Manchester, The |
| Scheme: |
Standard Research |
| Starts: |
01 April 2024 |
Ends: |
31 March 2027 |
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 non-academic 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 |