Ein Verfahren, das einen properen birationalen Morphismus f: X' → X von einer glatten (nicht-singulären) Varietät oder einem Schema X' zu einer gegebenen algebraischen Varietät oder Schema X erzeugt, so dass f über dem regulären Ort von X ein Isomorphismus ist und X' glatt ist; üblicherweise durch eine endliche Folge von Aufblasungen und kontrollierten birationalen Transformationen erreicht.

Prinzip

Ein singuläres algebraisches Objekt durch ein glattes Modell ersetzen oder dominieren, das dasselbe Funktionenkörper besitzt und außerhalb der Singularitäten übereinstimmt, um geometrische und kohomologische Fragen in den glatten Bereich zu übertragen.

Demonstration

Bei einer ebenen Kurve mit einer gewöhnlichen Spitze y^2 = x^3 führt man sukzessive Aufblasungen am singulären Punkt durch, um eine Kurve ohne Spitze zu erhalten; allgemeiner löst eine Folge von Aufblasungen entlang sorgfältig gewählter glatter Zentren viele Klassen von Singularitäten in Charakteristik null.

Fehlanwendung

Anzunehmen, eine beliebige Folge von Aufblasungen löse automatisch alle Singularitäten, ohne die Zentren zu kontrollieren, oder Resolutionsverfahren unkritisch in Situationen anzuwenden, in denen die Existenz heikel ist (z. B. bestimmte Fälle in positiver Charakteristik) und dann ein kanonisches oder eindeutiges Ergebnis zu behaupten.

Konsequenz

Eine erfolgreiche Auflösung erlaubt den Einsatz von Werkzeugen, die Glattheit erfordern (Schnitttheorie, Dualität, kanonische Divisoren, Hodge-Theorie) und liefert oft Invarianten der ursprünglichen Varietät (Diskrepanzen, außergewöhnliche Divisoren), die für die birationale Klassifikation zentral sind.

Umkehrung

Singularisierung oder Kontraktionsverfahren kontrahieren Divisoren oder Loci, um von glatten Modellen singuläre Modelle zu erzeugen; Minimalmodellprogramme erzeugen kontrollierte Singularitäten statt vollständiger Entsingularisierung.

Abgrenzung

Typischerweise formuliert für Schemata oder Varietäten von endlichem Typ über einem Körper; die Existenz ist in Charakteristik null gut gesichert, in großer Dimension in positiver Charakteristik jedoch delikat und teilweise ungelöst; analytische oder formale Kategorien erfordern angepasste Aussagen. Die Auflösung erhält nicht notwendigerweise zusätzliche Strukturen (z. B. Gruppenwirkungen) ohne weiteres.

Semantische Spannung

Es besteht Spannung zwischen Auflösung und Normalisierung (Normalisierung behebt Nicht-Normalität, führt aber nicht notwendigerweise zur Glattheit) und zwischen vollständiger Auflösung und Ansätzen, die kontrollierte Singularitäten zulassen (Minimalmodelle); außerdem Spannung zwischen kanonischen/funktoriellen Resolutionsverfahren und solchen, die von Wahlentscheidungen abhängen.

Synthese

Die Auflösung von Singularitäten ist ein birationaler Prozess — meist durch kontrollierte Aufblasungen — der ein singuläres algebraisches Objekt durch ein es dominierendes glattes Objekt ersetzt, so dass geometrische und kohomologische Fragen in die glatte Kategorie überführt werden und außergewöhnliche Divisoren die ursprünglichen Singularitäten dokumentieren.