| EPSRC Reference: |
EP/S004696/1 |
| Title: |
Local-global principles: arithmetic statistics and obstructions |
| Principal Investigator: |
Newton, Dr RD |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics and Statistics |
| Organisation: |
University of Reading |
| Scheme: |
New Investigator Award |
| Starts: |
01 October 2018 |
Ends: |
30 September 2021 |
Value (£): |
121,502
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
Methods for solving polynomial equations in integers and rationals have been sought and studied for more than 4000 years. Sometimes it is easy to see that a polynomial equation admits no 'global' (meaning integral or rational) solution. For example, if the equation has no solution in the real numbers, then it clearly has no integer solution. The reason that looking for real solutions is easier is because the real numbers have a desirable property called completeness, which relates to the fact that the real numbers form a continuum with no gaps. It is the discrete nature of the integers which makes them difficult to deal with. By viewing the integers within other exotic number systems (called the p-adic numbers) that also enjoy the property of completeness, we can avail ourselves of other ways to rule out existence of integer solutions to polynomial equations. If the equation has no p-adic solution then it has no integer solution. But what if the equation has solutions in the field of real numbers and in all the p-adic fields? Does this mean it has a rational solution? If we have a family of equations where the answer to this question is yes, then we say the Hasse principle holds for that family. For example, the Hasse principle holds for quadratic forms. This means that determining whether a quadratic form has an integer solution is easy. However, there are equations of degree 3 and higher for which the Hasse principle fails. This leads to some natural questions, such as: How often does the Hasse principle fail? Why does it fail?
This research addresses both of these questions for certain families of equations. To answer the first question, we will fix a family of equations which can be enumerated in a meaningful way. We will then determine whether the Hasse principle can fail for any equation in the family. For those equations where failures can occur, we will calculate an algebraic object which measures the severity of the failure and determines the precise local conditions which are responsible for the failure. The most difficult step will be to calculate what proportion of the equations in the family give failures. This will tell us whether failure is, as we hope, a rare occurrence in the family. If failures are rare, then a randomly chosen equation in the family will satisfy the Hasse principle and determining whether it has a global solution is equivalent to checking whether it has real and p-adic solutions. The latter calculation can be performed in finite time, whereas no general algorithm exists for determining whether a polynomial equation has an integer solution.
The second question concerns obstructions to local-global principles such as the Hasse principle. The most important known obstruction is the Brauer-Manin obstruction. There are several challenges to be overcome in order to understand the consequences of the Brauer-Manin obstruction for a family of varieties. One must calculate the Brauer group, which is the algebraic object quantifying the obstruction. Then one must calculate the obstruction given by each element of the Brauer group. Finally, one must determine whether the Brauer-Manin obstruction suffices to explain all failures of local-global principles in the family. The second part of this project will push the boundaries of our current understanding of each step in this process.
|
|
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.rdg.ac.uk |