##  [Obstruktion der Descendenz](/de/node/63696) 

 Definition

Eine Obstruktion, die verhindert, dass lokale Objekte oder Daten auf einer Überdeckung zu einem globalen Objekt zusammengefügt werden; typischerweise durch eine nichttriviale Kohomologieklasse oder durch Ineffektivität von Descendenzdaten in einer gewählten Topologie (étale, fppf, fpqc usw.) erkennbar.

 

 

 

 

 

 





## Prinzip

Prinzip

Descendenz formt ab, wann lokale Kompatibilitätsdaten (Restriktionen und Kokkelbedingungen) hinreichend und effektiv sind, um ein globales Objekt zu rekonstruieren; ein Versagen liegt vor, wenn Kompatibilität bis zu kohärenten Isomorphismen existiert, aber nicht durch ein globales Objekt in der Kategorie realisiert werden kann.

 

 

 

 

 





## Demonstration

Demonstration

Ein klassisches Beispiel ist ein Torsor unter einem Gruppenschema, gegeben durch lokale Trivialisierungen und Übergangsfunktionen, die eine nichttriviale Klasse in H^1 der Überdeckung darstellen: der Kokkel ist nicht null, so definieren die Daten einen nichttrivialen Torsor, der nicht zu einem trivialen globalen Objekt descendiert; allgemein führen nicht effektive Descendenzdaten zu keinem globalen Objekt.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Anzunehmen, weil Objekte auf Überlappungen übereinstimmen, würden sie notwendigerweise global zusammenkleben, ohne höhere Kokkelobstruktionen oder die erforderliche Topologie zu prüfen (z. B. Zariski-Descendenz verwenden, obwohl nur fppf-Descendenz gilt), was zu falschen globalen Konstruktionen führt.

 

 

 

 

 





## Konsequenz

Konsequenz

Das Erkennen eines Descendenz-Versagens zwingt zur Verfeinerung: entweder die Topologie wechseln (feinere Überdeckung), zu Garben oder Gerben übergehen, in denen Descendenz effektiv wird, oder die kohomologische Obstruktion identifizieren, die verschwinden muss, damit Descendenz gelingt.

 

 

 

 

## Umkehrung

Umkehrung

Effektive Descendenz ist die Umkehrung: Descendenzdaten, die die Kokkelbedingungen erfüllen und tatsächlich von einem eindeutigen (bis auf Isomorphismus) globalen Objekt herrühren, üblicherweise angezeigt durch das Verschwinden von Obstruktionsklassen in den entsprechenden Kohomologiegruppen.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Betrifft in Gruppenfaserkategorien gefaserte Kategorien, Garben, Schemata und Moduln über Überdeckungen in spezifizierten Topologien; bezieht sich nicht auf triviales Zusammenfügen in diskreten Kategorien oder auf formales Patchen, das Kokkelkohärenz ignoriert.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung zwischen naivem Patchen (lokale Übereinstimmung auf paarweisen Überlappungen) und vollständiger Descendenz (kohärente höhere Kokkelbedingungen und Effektivität); auch Spannung zwischen Darstellbarkeit durch Schemata und der Notwendigkeit von Garbenstrukturen für effektive Descendenz.

 

 

 

 

 





## Synthese

Synthese

Das Versagen der Descendenz ist das Phänomen, dass lokal definierte kompatible Daten kein globales Objekt erzeugen, wegen nichtverschwindender Obstruktionsklassen oder Ineffektivität; Abhilfe erfordert Topologieanpassung, Kategorienanreicherung (Garben, Gerben) oder das Beseitigen der kohomologischen Obstruktionen.