 Details of Grant

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