Search results
Results from the WOW.Com Content Network
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.
In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, which is a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 , this was proved by Heisuke Hironaka in 1964; [ 1 ] while for varieties of dimension at least 4 over ...
The weak factorization theorem says that every birational map can be factored as a composition of particularly simple blowups. The Cremona group, the group of birational automorphisms of the plane, is generated by blowups. Besides their importance in describing birational transformations, blowups are also an important way of constructing new ...
Formally, a rational map: between two varieties is an equivalence class of pairs (,) in which is a morphism of varieties from a non-empty open set to , and two such pairs (,) and (′ ′, ′) are considered equivalent if and ′ ′ coincide on the intersection ′ (this is, in particular, vacuously true if the intersection is empty, but since is assumed irreducible, this is impossible).
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.
There is a natural rational map X – → B; any morphism obtained from it by blowing up X and B is called the Iitaka fibration. The minimal model and abundance conjectures would imply that the general fiber of the Iitaka fibration can be arranged to be a Calabi–Yau variety, which in particular has Kodaira dimension zero.
Alternately, one can say that has rational singularities if and only if the natural map in the derived category. is a quasi-isomorphism.Notice that this includes the statement that and hence the assumption that is normal.
A line bundle is big if it is of maximal Iitaka dimension, that is, if its Iitaka dimension is equal to the dimension of the underlying variety. Bigness is a birational invariant: If f : Y → X is a birational morphism of varieties, and if L is a big line bundle on X, then f * L is a big line bundle on Y.