Das Phänomen, dass ein Modul M über dem Quotienten A/I nicht als Quotient N/IN irgendeines A-Moduls N realisierbar ist (gleichbedeutend: es gibt kein A-Modul, dessen Reduktion entlang A → A/I gleich M ist); das Modul lässt sich nicht entlang der Surjektion heben.

Prinzip

Das Heben von Moduln wird durch Obstruktionstheorie gesteuert: Die Existenz von Hebungen hängt vom Verschwinden bestimmter kohomologischer Obstruktionsklassen und von strukturellen Bedingungen (Projektivität, Flachheit, Vollständigkeit) des Rings und des Ideals ab.

Demonstration

Für π: A → A/I und ein A/I-Modul M heißt Nichthebarkeit, dass kein N mit N⊗_A(A/I) ≅ M oder N/IN ≅ M existiert. Konkrete Fälle treten in Deformationsproblemen auf, wenn Ext^2-ähnliche Obstruktionen nicht verschwindend sind, oder wenn M Relationen verlangt, die kein A-Modul erfüllen kann, weil I auf obstructive Weise wirkt.

Fehlanwendung

Anzunehmen, jedes endlich präsentierte oder endlich erzeugte Modul über A/I sei hebbar, führt zu falschen Moduli-Zählungen, fehlerhaften Deformationsargumenten und falschen Schlussfolgerungen über die Existenz von Modulfamilien nach Basiswechsel.

Konsequenz

Gelingt Hebbarkeit, lassen sich Module deformieren, Familien kontrollieren und homologischen Eigenschaften zwischen A und A/I übertragen; Nichthebarkeit isoliert Module, die intrinsisch an den Quotienten gebunden sind und sich nicht auf das größere Algebra ausdehnen lassen.

Umkehrung

Hebbarkeit ist die Eigenschaft, dass jedes Modul (oder jede Moduleklasse) über A/I ein Urbild über A besitzt. Der Gegensatz trennt deformierbare/erweiterbare Moduln von jenen, die auf den Quotienten beschränkt bleiben.

Abgrenzung

Der Begriff betrifft algebraische Moduln relativ zu einer festen Surjektion A → A/I; er schließt rein kategorische oder topologische Hebebegriffe aus, sofern die Modulstruktur und die Wirkung des Ideals nicht konkret festgelegt sind.

Semantische Spannung

Spannung besteht zwischen dem 'Heben von Moduln' und dem 'Heben von Isomorphieklassen von Moduln bis auf Erweiterung': Manchmal hebt sich nur die Isomorphieklasse nach einer nichttrivialen I-Torsor-Erweiterung, sodass ein buchstäblicher Urheber von einem urheber bis auf Isomorphie zu unterscheiden ist.

Synthese

Die Nichthebarkeit von Moduln kennzeichnet Moduln, die sich wegen intrinsischer kohomologischer Obstruktionen oder inkompatibler Idealwirkung nicht vom Quotienten auf die umgebende Algebra ausdehnen lassen; das Erkennen dieser Obstruktionen ist zentral in Deformations- und Klassifikationsfragen.