## [Obstruktion in Ext](/de/node/63666) Definition Ein Element einer Ext‑Gruppe, das das Scheitern einer Erweiterung zu spalten oder eines Hebungsproblems eine Lösung zu finden, kodiert; typischerweise eine Klasse in Ext^1 (für nicht gespaltene Erweiterungen) oder in höheren Ext‑Gruppen für mehrstufige Obstruktionen. ## Prinzip Prinzip Obstruktionsklassen liegen in Ext, weil Ext Äquivalenzklassen von Erweiterungen und höhere abgeleitete Erweiterungsdaten misst; eine nichtverschwindende Klasse verhindert das Vorhandensein einer Splitter oder fortgesetzter Hebungen in einer Filtration oder Deformationsfolge. ## Demonstration Demonstration Für R‑Moduln bestimmt eine kurze exakte Sequenz 0 → A → E → B → 0 eine Klasse in Ext^1_R(B,A). Ist diese Klasse nicht null, ist die Sequenz nicht gespalten, es gibt keine R‑lineare Abbildung B → E als Section. Allgemeiner führen Versuche, eine Abbildung durch sukzessive Erweiterungen zu heben, zu Klassen in Ext^n, die verschwinden müssen, um fortzufahren. ## Fehlanwendung Fehlanwendung Jede nichtverschwindende Ext‑Klasse ohne Kontext als Obstruktion zu bezeichnen oder den Unterschied zwischen Äquivalenz von Erweiterungen und der konkreten Existenz einer Section zu ignorieren, führt zu falschen Schlüssen über Lösbarkeit. ## Konsequenz Konsequenz Die korrekte Identifizierung einer Ext‑Obstruktion zeigt genau, warum ein Split oder eine Hebung fehlschlägt, und lokalisiert die Obstruktion im koho‑mologischen Grad; man kann dann versuchen, die Klasse durch Änderung der Kategorie, der Basis oder durch Überzüge/Erweiterungen, die Ext‑Gruppen verändern, zu vernichten. ## Umkehrung Umkehrung Das Verschwinden der relevanten Ext‑Klasse (z. B. Klasse = 0 in Ext^1_R(B,A)) impliziert in diesem Kontext die Existenz einer Zerlegung oder der gewünschten Hebung und kehrt die Obstruktion um. ## Abgrenzung Abgrenzung Der Begriff setzt einen abelschen (oder triangulierten) Rahmen mit wohldefinierten Ext‑Gruppen voraus; in nichtabelschen Kontexten können Obstruktionen anders kodiert sein und nicht durch Ext darstellbar sein. Ausgeschlossen sind bloß nichtverschwindende Kohomologieklassen ohne Bezug zu einem Erweiterungsproblem. ## Semantische Spannung Semantische Spannung „Ext‑Obstruktion“ steht im Spannungsverhältnis zur allgemeineren Bedeutung „nichtverschwindende Kohomologieklasse“: die erstere knüpft die Klasse an ein konkretes Erweiterungs‑ oder Hebungsproblem, die letztere kann ein globales Invariant ohne direkte obstructive Interpretation sein. ## Synthese Synthese Eine Ext‑Obstruktion ist das kohämologische Zeugnis in einer Ext‑Gruppe, das exakt anzeigt, warum eine gegebene Erweiterung nicht spaltet oder ein Hebevorgang abbricht; sie fasst lokale Fehlermodi zu einer berechenbaren Kohomologieklasse zusammen.