## [Descente](/de/node/61202) Definition Eine Methode und Sammlung von Bedingungen zum Rekonstruieren bzw. ‚Descenden‘ von mathematischen Objekten, die über einer Erweiterung (Überlagerung, Körper oder Schema) definiert sind, zu Objekten über der Basis, indem das erweiterte Objekt mit kompatiblen Descendendaten (z. B. Galois-Wirkungen oder Cocyclen) versehen und die Effektivität geprüft wird. ## Prinzip Prinzip Trägt ein Objekt über einer Erweiterung eine Aktion oder Isomorphismen auf Überlappungen, die Cocycle-Kompatibilitäten erfüllen, und ist das Descendendatum effektiv, so existiert ein (bis auf Isomorphie) eindeutiges Objekt über der Basis, dessen Pullback das gegebene Objekt ergibt; treue flache (faithfully flat) oder Galois-Descente sind gebräuchliche Rahmen. ## Demonstration Demonstration Bei Vektorräumen: ein endlichdimensionaler Vektorraum V über einer galoisschen Erweiterung K mit semilinearer Wirkung von Gal(K/k), die die Cocycle-Bedingungen erfüllt, descendiert zu einem k-Vektorraum W mit V ≅ W ⊗_k K; die Invarianten V^{Gal(K/k)} liefern W. Bei Schemata kleben Descendendaten über einer étalen Überdeckung zu einem Schema über der Basis, wenn die Descente effektiv ist. ## Fehlanwendung Fehlanwendung Annehmen, jedes unter einer Gruppenwirkung invariantes Objekt descentiere, ohne Cocycle-/Effektivitätsbedingungen zu prüfen, oder versuchen, Strukturen zu descenden, die zusätzliche Starrheit erfordern (z. B. beim Descenden von Linienbündeln müssen Übergangsfunktionen verkleben). ## Konsequenz Konsequenz Descente übersetzt Klassifikationsfragen über komplizierte Basen in Fragen über Objekte mit Symmetrien auf Überdeckungen und verbindet sich mit kohomologischen Hindernissen: Fehlende Descende wird durch nichttriviale Kohomologieklassen gemessen und Descente konstruiert Formen und innere Verdrehungen. ## Umkehrung Umkehrung Der umgekehrte Prozess ist Basiswechsel oder Skalarerweiterung: aus einem Basisobjekt dessen Erweiterung zu bilden ist unmittelbar, während Descente die Umkehrung darstellt und fehlschlagen kann; diese Perspektive betont notwendige Kompatibilitäts- und Effektivitätsbedingungen. ## Abgrenzung Abgrenzung Effektive Descente erfordert spezifische Hypothesen: Galois-Descente braucht eine kompatible semilineare Wirkung, treu flache Descente verlangt geeignete Überdeckungen für das Descenden quasikoherenter Garben, und nicht jede Erweiterung/Überdeckung liefert für alle Kategorien von Objekten effektive Descente. ## Semantische Spannung Semantische Spannung Steht in engem Zusammenhang mit ‚restriction of scalars‘, Twists und Formen; Restriction of Scalars bildet ein Objekt über der Basis durch Aggregation von Daten, während Descente ein intrinsisches Basisobjekt aus kompatiblen erweiterten Daten rekonstruiert — beides wird leicht verwechselt, hat aber unterschiedliche Zwecke. ## Synthese Synthese Descente ist der präzise Mechanismus, der symmetrische oder kompatible Daten über Erweiterungen/Überdeckungen in wohldefinierte Objekte über der Basis verwandelt: durch Kodierung und Prüfung von Cocycle- und Effektivitätsbedingungen rekonstruiert Descente das Basisobjekt oder offenbart die kohomologische Obstruktion, die dies verhindert.