EPSRC Reference: 
EP/L006375/1 
Title: 
Model theory around the jinvariant 
Principal Investigator: 
Kirby, Dr J 
Other Investigators: 

Researcher CoInvestigators: 

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 nonacademic 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 