##  [Nichthebarkeit von Moduln](/de/node/64033) 

 Definition

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

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

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

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

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

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

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

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

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.