Namespaces
Variants
Actions

Difference between revisions of "Minimal model"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Category:Algebraic geometry)
(TeX)
 
Line 1: Line 1:
An [[Algebraic variety|algebraic variety]] which is minimal relative to the existence of birational morphisms into non-singular varieties. More precisely, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638501.png" /> be the class of all birationally-equivalent non-singular varieties over an algebraically closed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638502.png" />, the fields of functions of which are isomorphic to a given finitely-generated extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638503.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638504.png" />. The varieties in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638505.png" /> are called projective models of this class, or projective models of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638506.png" />. A variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638507.png" /> is called a relatively minimal model if every [[Birational morphism|birational morphism]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638508.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m0638509.png" />, is an isomorphism. In other words, a relatively minimal model is a minimal element in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385010.png" /> with respect to the partial order defined by the following domination relation: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385011.png" /> dominates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385012.png" /> if there exists a birational morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385013.png" />. If a relatively minimal model is unique in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385014.png" />, then it is called the minimal model.
+
{{TEX|done}}
 +
An [[Algebraic variety|algebraic variety]] which is minimal relative to the existence of birational morphisms into non-singular varieties. More precisely, let $B$ be the class of all birationally-equivalent non-singular varieties over an algebraically closed field $k$, the fields of functions of which are isomorphic to a given finitely-generated extension $K$ over $k$. The varieties in the class $B$ are called projective models of this class, or projective models of the field $K/k$. A variety $X\in B$ is called a relatively minimal model if every [[Birational morphism|birational morphism]] $f\colon X\to X_1$, where $X_1\in B$, is an isomorphism. In other words, a relatively minimal model is a minimal element in $B$ with respect to the partial order defined by the following domination relation: $X_1$ dominates $X_2$ if there exists a birational morphism $h\colon X_1\to X_2$. If a relatively minimal model is unique in $B$, then it is called the minimal model.
  
In each class of birationally-equivalent curves there is a unique (up to an isomorphism) non-singular projective curve. So each non-singular projective curve is a minimal model. In the general case, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385015.png" /> is not empty, then it contains at least one relatively minimal model. The non-emptiness of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385016.png" /> is known (thanks to theorems about [[Resolution of singularities|resolution of singularities]]) for varieties of arbitrary dimension in characteristic 0 for and for varieties of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385017.png" /> in characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385018.png" />.
+
In each class of birationally-equivalent curves there is a unique (up to an isomorphism) non-singular projective curve. So each non-singular projective curve is a minimal model. In the general case, if $B$ is not empty, then it contains at least one relatively minimal model. The non-emptiness of $B$ is known (thanks to theorems about [[Resolution of singularities|resolution of singularities]]) for varieties of arbitrary dimension in characteristic 0 for and for varieties of dimension $n\leq3$ in characteristic $p>5$.
  
 
The basic results on minimal models of algebraic surfaces are included in the following.
 
The basic results on minimal models of algebraic surfaces are included in the following.
  
1) A non-singular projective surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385019.png" /> is a relatively minimal model if and only if it does not contain exceptional curves of the first kind (see [[Exceptional subvariety|Exceptional subvariety]]).
+
1) A non-singular projective surface $X$ is a relatively minimal model if and only if it does not contain exceptional curves of the first kind (see [[Exceptional subvariety|Exceptional subvariety]]).
  
 
2) Every non-singular complete surface has a birational morphism onto a relatively minimal model.
 
2) Every non-singular complete surface has a birational morphism onto a relatively minimal model.
  
3) In each non-empty class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385020.png" /> of birationally-equivalent surfaces, except for the classes of rational and ruled surfaces, there is a (moreover, unique) minimal model.
+
3) In each non-empty class $B$ of birationally-equivalent surfaces, except for the classes of rational and ruled surfaces, there is a (moreover, unique) minimal model.
  
4) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385021.png" /> is the class of ruled surfaces (cf. [[Ruled surface|Ruled surface]]) with a curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385022.png" /> of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385023.png" /> as base, then all relatively minimal models in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385024.png" /> are exhausted by the geometric ruled surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385025.png" />.
+
4) If $B$ is the class of ruled surfaces (cf. [[Ruled surface|Ruled surface]]) with a curve $C$ of genus $g>0$ as base, then all relatively minimal models in $B$ are exhausted by the geometric ruled surfaces $\pi\colon X\to C$.
  
5) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385026.png" /> is the class of rational surfaces, then all relatively minimal models in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385027.png" /> are exhausted by the projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385028.png" /> and the series of minimal rational ruled surfaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385029.png" /> for all integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385031.png" />.
+
5) If $B$ is the class of rational surfaces, then all relatively minimal models in $B$ are exhausted by the projective plane $P^2$ and the series of minimal rational ruled surfaces $F_n=P(\mathcal O_{P^1}+\mathcal O_{P^1}(n))$ for all integers $n\geq2$ and $n=0$.
  
 
There is (see [[#References|[6]]], [[#References|[7]]]) a generalization of the theory of minimal models of surfaces to regular two-dimensional schemes. Minimal models of rational surfaces over an arbitrary field have been described (see [[#References|[2]]]).
 
There is (see [[#References|[6]]], [[#References|[7]]]) a generalization of the theory of minimal models of surfaces to regular two-dimensional schemes. Minimal models of rational surfaces over an arbitrary field have been described (see [[#References|[2]]]).
Line 23: Line 24:
  
 
====Comments====
 
====Comments====
Since 1982 important progress has been made (over the field of complex numbers) in the theory of minimal models for higher-dimensional varieties, and especially for varieties of dimension 3. It has turned out to be necessary to allow a mild type of singularities, namely so-called terminal and canonical singularities. For the precise (very technical) definitions see the references below. (Terminal singularities are special canonical singularities, and for surfaces a point with a terminal (respectively, canonical) singularity is in fact smooth (respectively, a rational double point).) Allowing terminal singularities, the "minimal model problemminimal model problem" (i.e. the existence of a minimal model in a class of birational equivalence) has been solved by S. Mori for varieties of dimension three; in particular, for non-uniruled <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063850/m06385032.png" />-dimensional algebraic varieties [[#References|[a2]]]. A new phenomenon in the higher-dimensional case is also the non-uniqueness of minimal models. References [[#References|[a1]]], [[#References|[a2]]] and [[#References|[a4]]] are good surveys of this new theory.
+
Since 1982 important progress has been made (over the field of complex numbers) in the theory of minimal models for higher-dimensional varieties, and especially for varieties of dimension 3. It has turned out to be necessary to allow a mild type of singularities, namely so-called terminal and canonical singularities. For the precise (very technical) definitions see the references below. (Terminal singularities are special canonical singularities, and for surfaces a point with a terminal (respectively, canonical) singularity is in fact smooth (respectively, a rational double point).) Allowing terminal singularities, the "minimal model problemminimal model problem" (i.e. the existence of a minimal model in a class of birational equivalence) has been solved by S. Mori for varieties of dimension three; in particular, for non-uniruled $3$-dimensional algebraic varieties [[#References|[a2]]]. A new phenomenon in the higher-dimensional case is also the non-uniqueness of minimal models. References [[#References|[a1]]], [[#References|[a2]]] and [[#References|[a4]]] are good surveys of this new theory.
  
 
====References====
 
====References====

Latest revision as of 21:13, 21 November 2018

An algebraic variety which is minimal relative to the existence of birational morphisms into non-singular varieties. More precisely, let $B$ be the class of all birationally-equivalent non-singular varieties over an algebraically closed field $k$, the fields of functions of which are isomorphic to a given finitely-generated extension $K$ over $k$. The varieties in the class $B$ are called projective models of this class, or projective models of the field $K/k$. A variety $X\in B$ is called a relatively minimal model if every birational morphism $f\colon X\to X_1$, where $X_1\in B$, is an isomorphism. In other words, a relatively minimal model is a minimal element in $B$ with respect to the partial order defined by the following domination relation: $X_1$ dominates $X_2$ if there exists a birational morphism $h\colon X_1\to X_2$. If a relatively minimal model is unique in $B$, then it is called the minimal model.

In each class of birationally-equivalent curves there is a unique (up to an isomorphism) non-singular projective curve. So each non-singular projective curve is a minimal model. In the general case, if $B$ is not empty, then it contains at least one relatively minimal model. The non-emptiness of $B$ is known (thanks to theorems about resolution of singularities) for varieties of arbitrary dimension in characteristic 0 for and for varieties of dimension $n\leq3$ in characteristic $p>5$.

The basic results on minimal models of algebraic surfaces are included in the following.

1) A non-singular projective surface $X$ is a relatively minimal model if and only if it does not contain exceptional curves of the first kind (see Exceptional subvariety).

2) Every non-singular complete surface has a birational morphism onto a relatively minimal model.

3) In each non-empty class $B$ of birationally-equivalent surfaces, except for the classes of rational and ruled surfaces, there is a (moreover, unique) minimal model.

4) If $B$ is the class of ruled surfaces (cf. Ruled surface) with a curve $C$ of genus $g>0$ as base, then all relatively minimal models in $B$ are exhausted by the geometric ruled surfaces $\pi\colon X\to C$.

5) If $B$ is the class of rational surfaces, then all relatively minimal models in $B$ are exhausted by the projective plane $P^2$ and the series of minimal rational ruled surfaces $F_n=P(\mathcal O_{P^1}+\mathcal O_{P^1}(n))$ for all integers $n\geq2$ and $n=0$.

There is (see [6], [7]) a generalization of the theory of minimal models of surfaces to regular two-dimensional schemes. Minimal models of rational surfaces over an arbitrary field have been described (see [2]).

References

[1] I.R. Shafarevich, "Algebraic surfaces" Proc. Steklov Inst. Math. , 75 (1975) Trudy Mat. Inst. Steklov. , 75 (1975) MR1392959 MR1060325 Zbl 0830.00008 Zbl 0733.14015 Zbl 0832.14026 Zbl 0509.14036 Zbl 0492.14024 Zbl 0379.14006 Zbl 0253.14006 Zbl 0154.21001
[2] V.A. Iskovskikh, "Minimal models of rational surfaces over arbitrary fields" Math. USSR Izv. , 14 : 1 (1980) pp. 17–39 Izv. Akad. Nauk SSSR Ser. Mat. , 43 : 1 (1979) pp. 19–43 MR0525940 Zbl 0427.14011
[3] I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001
[4] D. Husemoller, "Classification and embeddings of surfaces" R. Hartshorne (ed.) , Algebraic geometry (Arcata, 1974) , Proc. Symp. Pure Math. , 29 , Amer. Math. Soc. (1975) pp. 329–420 MR0506292 Zbl 0326.14009
[5] R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001
[6] S. Lichtenbaum, "Curves over discrete valuation rings" Amer. J. Math. , 90 : 2 (1968) pp. 380–405 MR0230724 Zbl 0194.22101
[7] I.R. Shafarevich, "Lectures on minimal models and birational transformations of two-dimensional schemes" , Tata Inst. (1966) MR0217068 Zbl 0164.51704


Comments

Since 1982 important progress has been made (over the field of complex numbers) in the theory of minimal models for higher-dimensional varieties, and especially for varieties of dimension 3. It has turned out to be necessary to allow a mild type of singularities, namely so-called terminal and canonical singularities. For the precise (very technical) definitions see the references below. (Terminal singularities are special canonical singularities, and for surfaces a point with a terminal (respectively, canonical) singularity is in fact smooth (respectively, a rational double point).) Allowing terminal singularities, the "minimal model problemminimal model problem" (i.e. the existence of a minimal model in a class of birational equivalence) has been solved by S. Mori for varieties of dimension three; in particular, for non-uniruled $3$-dimensional algebraic varieties [a2]. A new phenomenon in the higher-dimensional case is also the non-uniqueness of minimal models. References [a1], [a2] and [a4] are good surveys of this new theory.

References

[a1] J. Kollár, "The structure of algebraic threefolds: an introduction to Mori's program" Bull. Amer. Math. Soc. , 17 (1987) pp. 211–273 MR903730
[a2] S. Mori, "Flip theorem and the existence of minimal models for 3-folds" J. Amer. Math. Soc. , 1 (1988) pp. 117–253 MR0924704 Zbl 0649.14023
[a3] S. Mori, "Classification of higher-dimensional varieties" , Algebraic geometry , Proc. Symp. Pure Math. , 46, Part 1 , Amer. Math. Soc. (1987) pp. 165–171 MR0927961 Zbl 0656.14022
[a4] P.M.H. Wilson, "Toward a birational classification of algebraic varieties" Bull. London Math. Soc. , 19 (1987) pp. 1–48
[a5] J. Kollár, "Minimal models of algebraic threefolds: Mori's program" Sém. Bourbaki , 712 (1989) MR1040578
[a6] Y. Kawamata, K. Matsuda, K. Matsuki, "Introduction to the minimal model problem" T. Oda (ed.) , Algebraic geometry (Sendai, 1985) , North-Holland & Kinokuniya (1987) pp. 283–360 MR0946243 Zbl 0672.14006
How to Cite This Entry:
Minimal model. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Minimal_model&oldid=43462
This article was adapted from an original article by V.A. Iskovskikh (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article