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.
Download as PDF; Printable version ... "Torification and factorization of birational maps". ... "A note on the factorization theorem of toric birational maps after ...
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 ...
A birational morphism with finite fibers to a normal variety is an isomorphism to an open subset. The total transform of a normal fundamental point of a birational map has positive dimension. This is essentially Zariski's original version. The total transform of a normal point under a proper birational morphism is connected.
The canonical map is one obtained by passage to limit. The theorem is used to deduce some other important theorems: Stein factorization and a version of Zariski's main theorem that says that a proper birational morphism into a normal variety is an isomorphism. Some other corollaries (with the notations as above) are:
Print/export Download as PDF; ... and there exists a proper birational map ... with applications to algebraic surfaces and unique factorization", Publications ...
The composition of regular maps is again regular; thus, algebraic varieties form the category of algebraic varieties where the morphisms are the regular maps. Regular maps between affine varieties correspond contravariantly in one-to-one to algebra homomorphisms between the coordinate rings: if f : X → Y is a morphism of affine varieties ...
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).