Search results
Results From The WOW.Com Content Network
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.
In dimension 3, there are smooth complex Fano varieties which are not rational, for example cubic 3-folds in P 4 (by Clemens - Griffiths) and quartic 3-folds in P 4 (by Iskovskikh - Manin). Iskovskih ( 1977 , 1978 , 1979 ) classified the smooth Fano 3-folds with second Betti number 1 into 17 classes, and Mori & Mukai (1981) classified the ...
Equivalently, a variety is rationally connected if every two points are connected by a rational curve contained in the variety. [3] This definition differs from that of path connectedness only by the nature of the path, but is very different, as the only algebraic curves which are rationally connected are the rational ones.
A birational map from X to Y is a rational map f : X ⇢ Y such that there is a rational map Y ⇢ X inverse to f.A birational map induces an isomorphism from a nonempty open subset of X to a nonempty open subset of Y, and vice versa: an isomorphism between nonempty open subsets of X, Y by definition gives a birational map f : X ⇢ Y.
Darwin's theory of evolution by natural selection is the only scientific explanation for why an animal's behaviour is usually well adapted for survival and reproduction in its environment. However, claiming that a particular mechanism is well suited to the present environment is different from claiming that this mechanism was selected for in ...
A more involved example is the role played by the cone of curves in the theory of minimal models of algebraic varieties. Briefly, the goal of that theory is as follows: given a (mildly singular) projective variety X {\displaystyle X} , find a (mildly singular) variety X ′ {\displaystyle X'} which is birational to X {\displaystyle X} , and ...
For example, if : is a dominant rational map between smooth projective varieties of the same dimension, then the pullback of a big line bundle on Y is big on X. (At first sight, the pullback is only a line bundle on the open subset of X where f is a morphism, but this extends uniquely to a line bundle on all of X .)
Gröbner basis computation is one of the main practical tools for solving systems of polynomial equations and computing the images of algebraic varieties under projections or rational maps. Gröbner basis computation can be seen as a multivariate, non-linear generalization of both Euclid's algorithm for computing polynomial greatest common ...