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

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

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

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

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

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

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

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

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.