| EPSRC Reference: |
EP/L006375/1 |
| Title: |
Model theory around the j-invariant |
| Principal Investigator: |
Kirby, Dr J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Mathematics |
| Organisation: |
University of East Anglia |
| Scheme: |
First Grant - Revised 2009 |
| Starts: |
24 February 2014 |
Ends: |
23 February 2016 |
Value (£): |
99,103
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
12 Jun 2013
|
Mathematics Prioritisation Panel Meeting June 2013
|
Announced
|
|
|
Summary on Grant Application Form |
Everyone is familiar with the natural numbers 0, 1, 2, 3... and the integers which include also -1, -2, -3,.... We form the "rational" numbers as fractions of integers such as 2/3 and -3/5. Often the next step in looking at new numbers is to look at decimal fractions such as 2.17182818284590... . Whereas integers and rational numbers are part of algebra and exact mathematics, decimal fractions really come into the realm of approximate mathematics, since any given list of digits is only an approximation of the full infinite list of decimal digits. The study of such approximations is often called mathematical analysis. However there are other numbers such as the square root of 2 which lie beyond the rational numbers but can be understood with exact methods. These numbers are called algebraic numbers. Each is the solution to an equation such as x.x = 2, whose solutions are exactly the square roots of 2. Connecting the algebraic numbers with the decimal numbers and analytic methods is a surprisingly subtle and difficult task.
The twelfth of Hilbert's list of 23 mathematical problems from his famous lecture in 1900 asks roughly how certain families of these algebraic numbers can be captured by analytic methods. A little more precisely, it asks for an analytic method for computing the abelian numbers over any number field K. A suitable method was already known before Hilbert in the simplest case when K is the field of rational numbers. The next simplest cases are when K is just the rational numbers together with a solution to a quadratic equation. In some cases (the "imaginary" quadratics) a method was also known by Hilbert, but in the other cases (the "real" quadratics) there is still no known method, although some have been proposed.
In this project we will use the methods of mathematic logic, specifically model theory, to chart a new way between the algebraic and analytic methods which is "exact" but will allow some of the power of the analytic methods. We hope this new method will give new insights into Hilbert's problem, particularly relating to the real quadratic case.
|
|
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.uea.ac.uk |