Eine Reduktionstechnik, die Aussagen über ein komplexes Objekt beweist, indem man es in eine endliche Folge von Teilobjekten filtert, deren aufeinanderfolgende Quotienten (die graduierten Stücke) einfacher sind, und dann die Aussage für das Ganze aus den Eigenschaften der Stücke und den Verknüpfungsdaten ableitet.

Prinzip

Führe eine endliche Filtrierung 0 = F_0 ⊂ F_1 ⊂ ... ⊂ F_n = X ein, so dass jeder aufeinanderfolgende Quotient F_{i+1}/F_i zu einer Klasse gehört, in der die gewünschte Aussage bekannt ist; prüfe die Aussage auf jedem graduierten Stück und hebe sie mittels Exaktheit oder Erweiterungsargumenten entlang der Filtrierung an.

Demonstration

Um eine Eigenschaft eines kohärenten Garbens auf einem Schema zu beweisen, wähle eine endliche Filtrierung durch Untergarben, deren Quotienten auf einfacheren abgeschlossenen Unterschemata getragen sind (z. B. Strukturgarben irreduzibler Komponenten), überprüfe die Eigenschaft auf diesen Quotienten und benutze lange exakte Folgen, um das Ergebnis auf das ursprüngliche Garben zu heben.

Fehlanwendung

Devissage anzuwenden, ohne sicherzustellen, dass die Filtrierung das Objekt erschöpft oder dass die graduierten Stücke in einer kontrollierbaren Klasse liegen, kann die Reduktion ungültig machen; anzunehmen, dass Eigenschaften über Erweiterungen automatisch zusammenkleben, ohne Erweiterungshindernisse zu prüfen, ist ein häufiger Fehler.

Konsequenz

Devissage erlaubt es, komplexe strukturelle oder kohomologische Probleme auf handhabbare Fälle zu reduzieren und somit oft induktive Beweise und Rechnungen (z. B. in der K-Theorie oder Kohomologie) durchzuführen, indem eine globale Frage in endlich viele lokale Verifikationen zerlegt wird.

Umkehrung

Anstatt ein Objekt in graduierten Stücken zu zerlegen, kann man versuchen, ein Objekt aus bekannten Stücken durch sukzessive Erweiterungen zusammenzusetzen; diese konstruktive Perspektive betont die Existenz nichttrivialer Erweiterungsklassen statt der Reduktion von Eigenschaften.

Abgrenzung

Die Methode setzt die Existenz einer geeigneten endlichen Filtrierung voraus, deren graduierten Stücke zu einer analysierbaren Klasse gehören; sie ist nicht anwendbar, wenn keine endliche Filtrierung existiert oder die Erweiterungsdaten zwischen den Stücken nicht kontrollierbar oder verstehbar sind.

Semantische Spannung

Es besteht Spannung zwischen Devissage und Techniken, die Objekte mittels Spektralsequenzen oder Ableitungs-Kategorien-Filter analysieren: Beide zielen auf Komplexitätsreduktion ab, unterscheiden sich jedoch darin, ob sie explizite endliche Filtrierungen konkreter Unterobjekte oder eher globale homologische Filtrierungen verwenden.

Synthese

Devissage ist eine Strategie endlicher Filtrierung, die Beweise über ein komplexes algebraisches oder kategoriales Objekt auf Verifikationen über einfachere graduierte Bestandteile und kontrollierte Erweiterungsschritte reduziert und so eine schwierige Aussage in eine Reihe handhabbarer Prüfungen überführt.