Birational geometry

Summary

Birational geometry is the part of algebraic geometry that studies varieties up to birational equivalence. Two varieties are birationally equivalent when they become isomorphic after removing lower-dimensional closed subsets, or equivalently when they have isomorphic function fields. Its main questions are which varieties are rational, and how to choose a simplest variety in each birational class. The minimal model program is its central project in higher dimensions.