Ein Element, eine Kohomologieklasse, Darstellung oder anderes Invariante, das nicht im Bild einer vorgegebenen Hebungs- (Lifting-)Abbildung oder eines Funktors liegt; es signalisiert das Scheitern, ein Objekt von der Zielkategorie oder Basis zur Quellkategorie bzw. -basis zu heben (z. B. von Charakteristik p in Charakteristik null oder von einem Quotienten zu einem vollständigen Objekt).

Prinzip

Hebbarkeit wird durch Obstruktionstheorien und Deformationsfunktoren gesteuert: Eine nicht hebbare Klasse wird durch nichtverschwindende Obstruktionselemente in den Obstruktionsgruppen detektiert, die das Scheitern messen, eine lokale Deformation zu verlängern oder ein Urbild unter einer gegebenen Abbildung zu finden.

Demonstration

Konkretes Szenario: Eine Galois-Darstellung über einem endlichen Feld, deren Deformationsring keine Hebungen nach Charakteristik null besitzt, liefert eine mod p-Darstellungsklasse, die nicht in Charakteristik null hebbar ist; äquivalent kann eine Kohomologieklasse aufgrund einer nichtverschwindenden Obstruktion in H^2 kein Urbild unter einer natürlichen Abbildung besitzen.

Fehlanwendung

Nicht-Hebbarkeit mit der Nichtexistenz jedweder verwandten Struktur zu verwechseln (z. B. anzunehmen, es existiere keinerlei Deformation) oder zu übersehen, dass Hebbarkeit nach einem Basiswechsel oder durch Zulassen abgeschwächter Ziele (z. B. Twists, Erweiterung der Koeffizientenringe) möglich sein könnte.

Konsequenz

Eine nicht hebbare Klasse beschränkt mögliche Deformationen und globale Konstruktionen, kann erzwingen, ausschließlich in positiver Charakteristik zu arbeiten oder stackartige/abgeleitete Verbesserungen zu nutzen, und weist oft auf nichttriviale Obstruktionsgruppen hin, die untersucht werden müssen, um Deformationsgrenzen zu verstehen.

Umkehrung

Hebbare Klasse: Das Element besitzt ein Urbild unter der gewählten Hebungsabbildung, was den Übergang zur größeren Kategorie oder Basis erlaubt und oft reichere strukturelle oder arithmetische Folgen eröffnet.

Abgrenzung

Hängt von der gewählten Hebungsabbildung, den involvierten Kategorien und zusätzlichen Entscheidungen (Level-Strukturen, Koeffizienten, Topologie) ab; eine Klasse kann für ein Hebungsproblem nicht hebbar, nach Basiswechsel oder Verfeinerung jedoch hebbar sein, daher ist Nicht-Hebbarkeit ohne Kontext nicht absolut.

Semantische Spannung

Spannung zwischen 'nicht hebbar' und 'obstruiert' oder 'rigide': 'nicht hebbar' betont das Scheitern, ein Urbild für eine bestimmte Abbildung zu finden, während 'obstruiert' die kohomologischen Ursachen hervorhebt; 'rigide' deutet eher auf Einzigkeit von Deformationen als auf Unmöglichkeit — diese Begriffe überlappen, unterscheiden sich jedoch im Fokus.

Synthese

Eine nicht hebbare Klasse dokumentiert eine konkrete Obstruktion in einem Hebungsproblem: Sie zeigt, wo deformations- oder deszendenztheoretische Verfahren kein Urbild liefern, und lenkt die Aufmerksamkeit auf Obstruktionsgruppen, mögliche Abschwächungen (Twists, Basiswechsel) und die präzise Lokalisierung des Scheiterns statt auf eine vage Aussage über Unmöglichkeit.