nLab birational geometry


Let XX be an algebraic variety (in the modern approach an irreducible reduced scheme of finite type over a field, but we will work here with the usual maximal spectra to simplify the exposition). To a variety one can associate a function field k(X)k(X) whose elements are rational functions on XX (they are regular functions on the big-Zariski open subvarieties of XX). A partially defined map from a variety to another variety is rational if it is defined and regular on a Zariski open set. One can check easily that in fact rational maps compose. Rational maps which have an inverse on a Zariski open subset are called birational maps or birational isomorphisms (see there for a more precise definition).

Birational geometry considers properties of varieties which depend only on the birational class, i.e., they are equivalent when they have isomorphic function fields. In fact, one can define the appropriate category by starting with the category of varieties over a fixed field and then localizing at all birational equivalences.


Related articles: Mori program?, function field

A recent new approach is in

  • S. Cantat, S. Lamy, Normal subgroups of the Cremona group, Acta Mathematica 210 (2013), 31–94

Probing birational geometry via the derived category of coherent sheaves is explained in

  • Alexander Kuznetsov, Derived categories view on rationality problems, arxiv/1509.09115

Last revised on July 28, 2021 at 20:53:50. See the history of this page for a list of all contributions to it.