EPSRC logo

Details of Grant 

EPSRC Reference: EP/N03189X/1
Title: Classification, Computation, and Construction: New Methods in Geometry
Principal Investigator: Corti, Professor A
Other Investigators:
Coates, Dr T Reid, Professor M Gross, Professor M
Researcher Co-Investigators:
Project Partners:
Abdus Salam ICTP Max Planck Institute for Mathematics Technical University of Kaiserslautern
University of Hamburg University of Texas at Austin
Department: Mathematics
Organisation: Imperial College London
Scheme: Programme Grants
Starts: 01 October 2016 Ends: 30 September 2022 Value (£): 2,171,099
EPSRC Research Topic Classifications:
Algebra & Geometry
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:
Panel DatePanel NameOutcome
09 Feb 2016 EPSRC Mathematical Sciences Programme Grant Interviews Announced
Summary on Grant Application Form
We are interested in geometrical shapes given as sets of solutions of many polynomial equations in many variables. More than the abstract study of shapes, it is writing down and solving explicit equations that lends our work its special flavour and power in applications. A first aim of our program is to vastly improve the understanding of the structures that control how we write these equations.

All our shapes can be classified into three different kinds: Fano (positively curved), Calabi-Yau (flat) and General Type (negatively curved). Fano and Calabi-Yau shapes play a special role in geometry as "atomic pieces" when breaking complex shapes down to simpler ones, and in physics as backgrounds for string theory. The second key aim of this research is to classify and write down the equations of these Fano and Calabi-Yau atomic pieces in 3, 4, and 5 dimensions, thereby producing a vast "periodic table" of all possible shapes.

String theory is a leading candidate for a "theory of everything". It postulates that the fundamental objects in physics are not point-like particles but strings. These strings move in a background that, in addition to space and time, has extra hidden dimensions curled up in (depending on the version of the theory) either a 3-dimensional Fano or Calabi-Yau shape (3 complex dimensions = 6 real dimensions). Thus, our classification of shapes is also an encyclopaedia of all the possible background geometries of string theory.

To tackle our classification, we will show how to associate a Fano shape to every reflexive polytope. A reflexive polytope is a geometric object closely related to the "Platonic solids" that we learn about in school. To give an idea of the size and complexity of the problem, the complete list of 4-dimensional reflexive polytopes is known and there are nearly half a billion of them. There is an operation on polytopes, called a mutation, and it is possible to mutate a polytope into another polytope. If two polytopes are related by mutation then they give rise to the same Fano shape, so we need to sort all polytopes up to mutation. In order to do this, we need to perform parallel computations on a massive scale distributed over a High Performance Computing cluster.

In string theory, it can happen that two mathematically very different background geometries produce the same physics. When this happens, the two geometries are said to be "mirror symmetric" to each other. Mirror symmetry is a most fascinating aspect of string theory, and our third key aim is to give the first truly transparent explanation of this phenomenon.

Our project requires us to integrate the scientific expertise of our three institutions, and enlist the specialist collaboration of many mathematicians nationally and internationally. In turn, the results and methods of our work will have significant applications in many areas of mathematics, science, and scientific computation.

In a very exciting spin-off project, we will study some avatars of Fano shapes in the world of congruences between coefficients of Fourier expansions of L-functions. This is a profound area of number theory, started by Ramanujan, that lies at the heart of Wiles' proof of Fermat's last theorem.

As scientists, we are inspired when we see the same structures arise independently and for separate reasons in different parts of mathematics and science - this reveals deep connections between seemingly unrelated scientific disciplines. An example was the discovery of group theory (the theory of symmetries) in mathematics and in quantum physics at the turn of the 20th century. There are several examples in our own work: Fano shapes correspond to lattice polytopes and to congruences of coefficients of L-functions; Calabi-Yau shapes arise independently in geometry and in string theory; cluster algebras are found at the same time in algebra and in the geometry of mirror symmetry.

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
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
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.imperial.ac.uk