Algebraische Varietäten (klassisch: Nullstellenmengen von Polynomen) heißen isomorph, wenn es zueinander inverse polynomielle Abbildungen zwischen ihnen gibt. Algebraische Varietäten können beliebig komplizierte Singularitäten haben, was ihre Klassifikation völlig aussichtslos macht. Man versucht deshalb eine Klassifikation unter einem schwächeren Äquivalenzbegriff, der birationalen Äquivalenz: zwei Varietäten heißen birational äquivalent, wenn es zueinander inverse rationale Abbildungen zwischen ihnen…