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

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

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

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

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

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

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

„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

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.