- Birational geometry
mathematics, birational geometry is a part of the subject of algebraic geometry, that deals with the geometry of an algebraic varietythat is dependent only on its function field. In the case of dimension two, the birational geometry of algebraic surfaces was largely worked out by the Italian school of algebraic geometryin the years 1890–1910. From about 1970 advances have been made in higher dimensions, giving a good theory of birational geometry for dimension three.
Birational geometry is largely a geometry of transformations, but it doesn't fit exactly with the
Erlangen programme. One reason is that its nature is to deal with transformations that are only defined on an open, dense subset of an algebraic variety. Such transformations, given by rational functions in the co-ordinates, can be undefined not just at isolated points on curves, but on entire curves on a surface, and so on.
A formal definition of birational mapping from one algebraic variety "V" to another is that it is a
rational mappingwith a rational inverse mapping. This has to be understood in the extended sense that the composition, in either order, is only in fact defined on a non-empty Zariski open subset.
One of the first results in the subject is the
birational isomorphismof the projective plane, and a non-singular quadric"Q" in projective 3-space. Already in this example one can see whole sets where the mappings are ill-defined: taking a point "P" on "Q" as origin, we can use lines through "P", intersecting "Q" at one other point, to project to a plane — but this definition breaks down with all lines tangentto "Q" at "P", which in a certain sense 'blow up' "P" into the intersection of the tangent plane with the plane to which we project.
That is, quite generally, we can expect birational "mappings" to act like relations, with graphs containing parts that are not functional. On an open dense set they do behave like functions, but the
Zariski closures of their graphs are more complex correspondences on the product showing 'blowing up' and 'blowing down'. Quite detailed descriptions of those, in terms of projective spaces associated to tangent spaces can be given and justified by the theory.
An example is the
Cremona groupof birational automorphisms of the projective plane. In purely algebraic terms, for a given field "K", this is the automorphism group over "K" of the field "K"("X", "Y") of rational functions in two variables. Its structure has been analysed since the nineteenth century, but it is 'large' (while the corresponding group for the projective line consists only of Möbius transformations determined by three parameters). It is still the subject of research.
Wikimedia Foundation. 2010.
Look at other dictionaries:
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,… … Wikipedia
Geometry — (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… … Wikipedia
Birational invariant — In algebraic geometry, a birational invariant is a quantity or object that is well defined on a birational equivalence class of algebraic varieties. In other words, it depends only on the function field of the variety.For example in the case of… … Wikipedia
Italian school of algebraic geometry — In relation with the history of mathematics, the Italian school of algebraic geometry refers to the work over half a century or more (flourishing roughly 1885 1935) done internationally in birational geometry, particularly on algebraic surfaces.… … Wikipedia
Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… … Wikipedia
List of geometry topics — This is list of geometry topics, by Wikipedia page.*Geometric shape covers standard terms for plane shapes *List of mathematical shapes covers all dimensions *List of differential geometry topics *List of geometers *See also list of curves, list… … 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
Flop (algebraic geometry) — In algebraic geometry, a flop is a special sort of birational map between varieties. The first example, known as the Atiyah flop, was found in harv|Atiyah|1958.ee also*FlipReferences*Citation | last1=Atiyah | first1=Michael Francis | author1 link … Wikipedia
List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 … Wikipedia
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia