| EPSRC Reference: |
EP/K019279/1 |
| Title: |
Moduli Spaces and Rational Points |
| Principal Investigator: |
Testa, Dr D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics |
| Organisation: |
University of Warwick |
| Scheme: |
First Grant - Revised 2009 |
| Starts: |
01 September 2013 |
Ends: |
31 August 2015 |
Value (£): |
94,698
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
One of the central questions in number theory is the solution of diophantine equation: to determine the set of all rational solutions of a system of polynomial equations with rational coefficients. The name diophantine is derived from name of Diophantus of Alexandria, of the third century AD, whose influential books "Arithmetica" shaped the development of number theory. From the point of view of algebraic geometry, the equations that Diophantus studied mostly define curves and his goal was to determine the set of integral (or rational) solutions.
By virtue of many celebrated results, the case of rational points on curves is theoretically well-understood, and the motto "Geometry Determines Arithmetic" is fully justified. Indeed, an algebraic curve has a unique discrete invariant, its genus, taking non-negative integral values. If a curve has genus zero, then the question of determining whether it has rational points or not is completely algorithmic, and the set of all its rational points can be efficiently determined. If a curve has genus one, then the question of determining whether it has a rational point or not is typically feasible in concrete cases. There is a procedure to decide whether a curve of genus one has a point, but, if the curve does not have points, it is not known whether this procedure necessarily terminates. The finiteness of this procedure essentially relies on the finiteness of the Tate-Shafarevich groups. If a curve of genus one admits a point, then the set of its rational points can be endowed with a very natural structure of an abelian group. This group is finitely generated over number fields by the Mordell-Weil Theorem; explicit generators can again be found subject essentially to the Birch--Swinnerton-Dyer Conjecture. Finally, curves of genus at least two only have finitely many rational points, by Faltings' celebrated proof of the Mordell Conjecture.
The situation is entirely different in higher dimensions. Bombieri and Lang formulated a conjecture implying that the distribution of rational points on varieties shares many similarities with the case of curves.
Conjecture (Bombieri-Lang). The set of rational points of a smooth projective variety of general type over a number field is not Zariski dense.
While this conjecture is very appealing, already in the case of surfaces, there is very little supporting evidence for it.
The overall goal of this project is to study algebraic surfaces, mostly of general type, of special arithmetic interested, with the aim of gathering evidence for the Bombieri-Lang Conjecture. For this purpose we will compute the Picard groups and automorphism groups of various surfaces. We will use this information to look for curves of genus at most one on the surfaces, and determine the rational points on such curves. All this data will provide clues on possible modular interpretations of the surfaces: we will try to establish the modularity of these surfaces, trying first among moduli spaces of Abelian varieties and moduli spaces of vector bundles.
|
|
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.warwick.ac.uk |