Minimal model (birational geometry)

Minimal model (birational geometry)

In algebraic geometry, more specifically in the field of birational geometry, the theory of minimal models is part of the birational classification of algebraic varieties. Its goal is to construct, given a variety satisying certain restrictions, a birational model of that variety which is, in some sense, as simple as possible. The subject has its origins in the classical birational geometry of the Italian school, and is currently an extremely 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, it meant finding a smooth variety X for which any birational morphism f: X' ightarrow X is an isomorphism.

In the modern formulation, the goal of the theory is as follows. Suppose we are given a projective variety X, which for simplicity is assumed nonsingular. There are two cases:
*If X has Kodaira dimension kappa(X,K_X)=-1, we want to find a variety X^prime birational to X, and a morphism f: X' ightarrow Y to a projective variety Y such that dim Y< dimX', with the anticanonical class -K_F of a general fibre F being ample. Such a morphism is called a "Fano fibre space".
* If kappa(X,K_X) is at least 0, we want to find X' birational to X, with the canonical class K_{X^prime} nef. In this case, X' is a "minimal model" for X.

The question of nonsingularity of the varieties X' and X appearing above is an important one. It seems natural to hope that if we start with smooth X, then we can always find a minimal model or Fano fibre space inside the category of smooth varieties. However, it turns out that this is not true, and so it becomes necessary to consider singular varieties also. The issue of which class of singularities are to be incorporated in the theory is a subtle and technically difficult one.

Minimal models of surfaces

Every irreducible complex algebraic curve is birational to a unique smooth projective curve, so there is no meaningful theory for curves. As mentioned above, the case of surfaces was first investigated by the geometers of the Italian school around 1900; the contraction theorem of Castelnuovo essentially describes the process of constructing a minimal model of any smooth surface. The theorem states that any nontrivial birational morphism f: Y ightarrow X must contract a (-1)-curve to a smooth point, and conversely any such curve can be smoothly contracted. Here by a "(-1)-curve" we mean a smooth rational curve C with self-intersection C^2=-1. Note that any such curve must have K_Y cdot C=-1; this indicates the link between minimality and nefness of the canonical class.

Castelnuovo's theorem says that to construct a minimal model for a smooth surface, we simply contract all the (-1)-curves on the surface, and the resulting variety X' is either a minimal model, or a Mori fibre space. In fact, more was proved: the only possibilities for X' are the following:

1. K_{X'} is nef;

2. X' is a ruled surface over a curve C;

3. X' is isomorphic to the projective plane mathbf{P}^2.

For a given variety X, the end product X' of this process may not be unique. However, it turns out that, in the first case above, X' is unique.

Higher-dimensional minimal models

In dimensions greater than 2, the theory becomes far more involved. In particular, there exist smooth varieties X which are not birational to any smooth variety X' with nef canonical class. The major conceptual advance of the 1970s and early 1980s was that the construction of minimal models is still feasible, provided one is careful about the types of singularities which occur. (For example, we want to decide if K_{X'} is nef, so intersection numbers K_{X'} cdot C must be defined. Hence, at the very least, our varieties must have nK_{X'} Cartier for some positive integer n.)

The first key result is the Cone theorem of Mori, describing the structure of the cone of curves of X. Briefly, the theorem shows that starting with X, one can inductively construct a sequence of varieties X_i, each of which is 'closer' than the previous one to having K_{X_i} nef. However, the process may encounter difficulties: at some point the variety X_i may become 'too singular'. The conjectural solution to this problem is the flip, a kind of codimension-2 surgery operation on X_i. It is not clear that the required flips exist, nor that they always terminate (that is, that one reaches a minimal model X' in finitely many steps.) Mori showed in 1988 that flips exist in the 3-dimensional case; much recent work has focused on existence and termination problems in higher dimensions.

References

* Mori, S. "Flip theorem and the existence of minimal models for 3-folds", J. Amer. Math. Soc. 1 (1988), no. 1, 117--253.
* Kollár, J. and Mori, S., "Birational Geometry of Algebraic Varieties", Cambridge University Press, 1998. ISBN 0-521-63277-3


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Minimal model program — 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… …   Wikipedia

  • Minimal model — In theoretical physics, the term minimal model usually refers to a special class of conformal field theories that generalize the Ising model, or to some closely related representations of the Virasoro algebra. It is a simple CFT model with finite …   Wikipedia

  • Minimal surface — For minimal surfaces in algebraic geometry see Minimal model (birational geometry). Verrill Minimal Surface …   Wikipedia

  • Flip (algebraic geometry) — In mathematics, specifically in algebraic geometry, a flip is a certain kind of codimension 2 surgery operation arising naturally in the attempt to construct a minimal model of an algebraic variety. The minimal model program can be summarised… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Enriques–Kodaira classification — In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli… …   Wikipedia

  • Canonical bundle — In mathematics, the canonical bundle of a non singular algebraic variety V of dimension n is the line bundle which is the nth exterior power of the cotangent bundle Ω on V. Over the complex numbers, it is the determinant bundle of holomorphic n… …   Wikipedia

  • Pluricanonical ring — In mathematics, the pluricanonical ring of an algebraic variety V (which is non singular), or of a complex manifold, is the graded ring R(V,K)=R(V,K V) of sections of powers of the canonical bundle K .Its n th graded component (for ngeq 0) is::R… …   Wikipedia

  • Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… …   Wikipedia

  • List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”