Eine kohomologische oder kategoriale Klasse, Bedingung oder Erscheinung, die verhindert, dass ein auf einer Überdeckung, Erweiterung oder Hilfsbasis definiertes Objekt als Rückzug bzw. Einschränkung eines Objekts auf einer kleineren, bestimmten Basis realisiert wird; sie behindert die Deszendenz entlang der gegebenen Überdeckung oder des Morphismus.

Prinzip

Deszendenz wird durch Cocycle- und Verklebungsbedingungen gesteuert: Eine Obstruktion ist eine Kohomologieklasse (oder ein Gerbe-/Torseurdaten), deren Verschwinden notwendig (und in vielen Formulierungen hinreichend) für die Existenz eines descendenten Objekts ist; ihr Nichtverschwinden dokumentiert die Unfähigkeit, lokale Daten kompatibel auf den Überschneidungen zu verkleben.

Demonstration

Illustratives Szenario: Ein Vektorbündel auf einer galoisschen Überdeckung kann einen nichttrivialen Cocycle tragen (ein Verdrillung durch einen nichttrivialen Torseur), so dass kein Vektorbündel auf der Basis existiert, dessen Rückzug isomorph zu dem gegebenen ist; äquivalent blockiert eine Klasse in Čech- oder Galois-Kohomologie die Deszendenz.

Fehlanwendung

Jede Obstruktionsklasse als absolute Obstruktion zu behandeln, ohne Verfeinerungen zu berücksichtigen (z. B. Übergang zu einer feineren Überdeckung, Arbeiten mit Stacks oder getwisten Objekten), oder das Versagen der Eindeutigkeit mit einer Obstruktion der Existenz zu verwechseln.

Konsequenz

Ist eine Deszendenzobstruktion nicht null, muss man entweder die Zielkategorie erweitern (mit getwisteten Objekten, Gerben oder Stacks arbeiten), die Basis oder Überdeckung ändern oder akzeptieren, dass das Objekt nicht auf der kleineren Basis realisierbar ist; Deszendenzobstruktionen motivieren verfeinerte Modulbegriffe und kohomologische Invarianten.

Umkehrung

Erfolgreiche Deszendenz: Die Obstruktionsklassen verschwinden und lokale Objekte kleben zu einem globalen Objekt auf der Basis zusammen, wodurch ein echtes Deszendenzdatenstück entsteht und oft eine eindeutig bestimmte globale Form (bis auf kanonische Isomorphie) gegeben ist.

Abgrenzung

Gilt in Kontexten von Garben, Schemata, Torseuren, Gerben und Stacks und wird mittels Čech-, Galois- oder abgeleiteter Kohomologie ausgedrückt; erfasst nicht unabhängig vom Verklebecocycle stehende Existenzprobleme (z. B. globale Nichtrepräsentierbarkeit) und hängt von der gewählten Topologie/Überdeckung ab.

Semantische Spannung

Spannung zwischen Deszendenzobstruktion und Hebungsobstruktion: Deszendenz verhindert die Realisierung auf einer kleineren Basis, während Hebung die Existenz eines Urbilds auf einer größeren Basis verhindert; beides ist in vielen Fällen dual, bleibt aber eine jeweils eigenständige und subtil interagierende Unterscheidung.

Synthese

Eine Obstruktion der Deszendenz ist ein präzises kohomologisches oder kategoriales Zeichen dafür, dass lokale oder erweiterte Daten nicht zu einem globalen Objekt über der Zielbasis verklebt werden können; ihre Erkennung formuliert Existenzfragen neu als Verschwinden expliziter Cocyclen und weist oft auf stackartige oder getwistete Verallgemeinerungen hin, die das Hindernis umgehen.