Birational Geometry and Topology of singular Fano 3-folds.

Lead Research Organisation: Imperial College London
Department Name: Dept of Mathematics

Abstract

The classification of algebraic varieties up to birational equivalence has long been a fundamental problem of Algebraic Geometry.Two varieties are birationally equivalent if they become isomorphic after removing a small subset. It is possible to produce ever larger varieties by simple birational operations (such as blowing up subvarieties), and hence classifying varieties amounts to finding a best, or ``minimal , representative for a birational equivalence class. The Minimal Model Program (MMP) is a still incomplete project started in the 1970s, which given an algebraic variety X, performs a finite number of elementary steps to produce an end product of pure geometric type. These pure geometric type are minimal models on the one hand, and Fano varieties on the other.Minimal models, as their name indicates, realise the hope of being a best (minimal) match for their equivalence class. Fano varieties are close to projective spaces, and should be thought of as the higher dimensional analogue of the sphere in the Uniformisation theorem for Riemann surfaces. Assuming the MMP, the problem of classification of varieties is reduced to understanding the elementary steps of the MMP and its possible outcomes. There remain a number of open questions to achieve completion of the MMP in higher dimensions. In dimension 3, the MMP was completed in the 80s, yet our understanding of its products is partial at best. Some very natural questions remain unanswered. For instance, since the end product of the MMP is not unique, when are two possible end products of the MMP birational? Is it possible to tell which end products are rational, i.e. birational to projective space? My research aims at answering these questions for Fano 3-folds. The MMP produces varieties that are mildly singular-- in dimension 3, these singularities are isolated points. My research shows that when a Fano has ``many'' singular points it tends to acquire many birational maps to other Fano 3-folds, and therefore behave like projective space. What ``many'' means in this context is topological: a Fano has many singular points if these singular points actually lie on a surface S contained in X that is not a hyperplane section of X. My research project argues that, conversally, if there is no such surface lying on X, X behaves as if it was nonsingular. Surprisingly, for Fanos of small degree, this often implies that they are only birational to very few other Fano 3-folds and are therefore nonrational.

Planned Impact

The outcome of the proposed research will benefit a number of scientists who use Algebraic Geometry for modelisation purposes. The foundations of applicable Algebraic Geometry include Grbner bases, toric varieties, and real algebraic geometry, and the applications range from optimization, non-linear computational geometry, algebraic statistics, to mathematical biology. This should come as no surprise: Algebraic varieties are intrinsically defined geometric objects, they are defined as the zero-locus of a set of polynomials in several variables. By definition, algebraic-geometric techniques are particularly well suited to modelisation of any phenomenon described by polynomial equations. Among the areas of scientific and engineering applications of algebraic-geometric methods are robotics, systems and control, computer vision, formal methods, chemistry, and computational geometry to name but a few. My research project is relevant to people using algebraic varieties as models. In this context, the question of rationality can be reformulated as: Which intrinsically defined geometric objects can be parametrised globally? Differential geometric methods can be very useful to study a geometric object- in some sense, my project is related to knowing when and how to parametrise an intrinsic object. I will ensure that the outcome of my research reaches its beneficiaries by disseminating my results, that is giving seminars and attending conferences, and by interacting with researchers specializing in Applicable Algebraic Geometry.

Publications

10 25 50
publication icon
Kaloghiros A (2013) Relations in the Sarkisov program in Compositio Mathematica

publication icon
Kaloghiros Anne-Sophie (2012) Finite generation and geography of models in arXiv e-prints

Related Projects

Project Reference Relationship Related To Start End Award Value
EP/H028811/1 15/03/2011 01/01/2012 £231,682
EP/H028811/2 Transfer EP/H028811/1 01/01/2012 14/03/2014 £173,971
 
Description The research funded on this grant has allowed a deeper understanding of the way the geometry of a positively curved geometric shape changes when this shape acquires singularities.
Exploitation Route The main beneficiaries of this research are other academic users. Other researchers have already used the results of this research and adapted some of the ideas I introduced.
Sectors Education,Other

URL http://people.brunel.ac.uk/~mastaak/
 
Description Junior Hausdorff Trimester in Algebraic Geometry
Amount € 6,000 (EUR)
Organisation University of Bonn 
Department Hausdorff Research Institute for Mathematics
Sector Academic/University
Country Germany
Start 02/2014 
End 04/2014
 
Description Birational geometry 
Organisation University of Bonn
Country Germany 
Sector Academic/University 
PI Contribution My collaborator V. Lazic and I have written two articles together during this award.
Collaborator Contribution Our collaboration has been on an equal footing.
Impact 1. Introduction to the Minimal Model Program and the existence of flips (with A. Corti and A.-S. Kaloghiros), Bull. London Math. Soc. 43 (2011), no. 3, 415-448. 2. Finite generation and geography of models (with A.-S. Kaloghiros and A. Küronya), to appear in "Minimal models and extremal rays", Advanced Studies in Pure Mathematics, Mathematical Society of Japan, Tokyo, arXiv:1202.1164
Start Year 2009
 
Description Explicit birational geometry of 3-folds 
Organisation Johann Radon Institute for Computational and Applied Mathematics (RICAM)
Country Austria 
Sector Academic/University 
PI Contribution My collaborator H. Ahmadinezhad and I collaborated on an equal footing.
Collaborator Contribution My collaborator H. Ahmadinezhad and I collaborated on an equal footing.
Impact 1. Non-rigid quartic 3-folds. (arXiv:1310.5554) Submitted article.
Start Year 2012