In algebraic geometry, the minimal model program is part of the birational classification of algebraic varieties. Its goal is to construct a birational model of any complex projective variety which is as simple as possible. The subject has its origins in the classical birational geometry of surfaces studied by the Italian school, and is currently an active research area within algebraic geometry.
Outline The basic idea of the theory is to simplify the birational classification of varieties by finding, in each birational equivalence class, a variety which is "as simple as possible". The precise meaning of this phrase has evolved with the development of the subject; originally for surfaces, it meant finding a smooth variety X {\displaystyle X} for which any birational morphism f : X → X ′ {\displaystyle f\colon X\to X'} with a smooth surface X ′ {\displaystyle X'} is an isomorphism. In the modern formulation, the goal of the theory is as follows. Suppose we are given a projective variety X {\displaystyle X} , which for simplicity is assumed non-singular. There are two cases based on its Kodaira dimension, κ ( X ) {\displaystyle \kappa (X)} :
κ ( X ) = − ∞ . {\displaystyle \kappa (X)=-\infty .} We want to find a variety X ′ {\displaystyle X'} birational to X {\displaystyle X} , and a morphism f : X ′ → Y {\displaystyle f\colon X'\to Y} to a projective variety Y {\displaystyle Y} such that dim Y < dim X ′ , {\displaystyle \dim Y<\dim X',} with the anticanonical class − K F {\displaystyle -K_{F}} of a general fibre F {\displaystyle F} being ample. Such a morphism is called a Fano fibre space.
κ ( X ) ⩾ 0. {\displaystyle \kappa (X)\geqslant 0.} We want to find X ′ {\displaystyle X'} birational to X {\displaystyle X} , with the canonical class K X ′ {\displaystyle K_{X^{\prime }}} nef. In this case, X ′ {\displaystyle X'} is a minimal model for X {\displaystyle X} . The question of whether the varieties X ′ {\displaystyle X'} and X {\displaystyle X} appearing above are non-singular is an important one. It seems natural to hope that if we start with smooth X {\displaystyle X} , then we can always find a minimal model or Fano fibre space inside the category of smooth varieties. However, this is not true, and so it becomes necessary to consider singular varieties also. The singularities that appear are called terminal singularities.
Minimal models of surfaces
Every irreducible complex algebraic curve is birational to a unique smooth projective curve, so the theory for curves is trivial. The case of surfaces was first investigated by the geometers of the Italian school around 1900; the contraction theorem of Guido Castelnuovo essentially describes the process of constructing a minimal model of any smooth projective surface. The theorem states that any nontrivial birational morphism f : X → Y {\displaystyle f\colon X\to Y} must contract a −1-curve to a smooth point, and conversely any such curve can be smoothly contracted. Here a −1-curve is a smooth rational curve C with self-intersection C ⋅ C = − 1. {\displaystyle C\cdot C=-1.} Any such curve must have K ⋅ C = − 1 {\displaystyle K\cdot C=-1} which shows that if the canonical class is nef then the surface has no −1-curves. Castelnuovo's theorem implies that to construct a minimal model for a smooth surface, we simply contract all the −1-curves on the surface, and the resulting variety Y is either a (unique) minimal model with K nef, or a ruled surface (which is the same as a 2-dimensional Fano fiber space, and is either a projective plane or a ruled surface over a curve). In the second case, the ruled surface birational to X is not unique, though there is a unique one isomorphic to the product of the projective line and a curve. A somewhat subtle point is that even though a surface might have infinitely many -1-curves, one need only contract finitely many of them to obtain a surface with no -1-curves.
… excerpt ends here. Continue reading the full article.
