Fenómeno en el que un módulo M sobre el cociente A/I no puede realizarse como N/IN para ningún A-módulo N (equivalente a que no existe un A-módulo cuya reducción por A → A/I sea M); el módulo no se levanta a lo largo de la proyección.

Principio

El levantamiento de módulos está regido por la teoría de obstrucciones: la existencia de levantamientos depende de la anulación de ciertas clases cohomológicas de obstrucción y de condiciones estructurales (projectividad, planitud, completitud) del álgebra y del ideal.

Demostración

Dada π: A → A/I y un A/I-módulo M, la no levantabilidad significa que no existe N con N⊗_A(A/I) ≅ M o N/IN ≅ M. Ejemplos concretos aparecen en problemas de deformación cuando clases de obstrucción tipo Ext^2 son no nulas, o cuando M exige relaciones que ningún A-módulo puede imponer debido a una acción obstructiva de I.

Aplicación incorrecta

Tratar todo módulo finitamente presentado o de longitud finita sobre A/I como levantable conduce a recuentos de módulos erróneos, argumentos de deformación equivocados y conclusiones incorrectas sobre la existencia de familias de módulos tras cambios de base.

Consecuencia

Cuando existe levantamiento, se pueden deformar módulos, controlar familias y transferir propiedades homológicas entre A y A/I; la no levantabilidad aísla módulos intrínsecamente ligados al cociente que resisten la extensión al álgebra mayor.

Inversión

La propiedad inversa es la levantabilidad: cada módulo (o cada clase de módulos) sobre A/I tiene un preimagen sobre A. El contraste distingue módulos deformables/extensibles de aquellos confinados a la geometría del cociente.

Límite

El concepto concierne a módulos algebraicos relativos a una proyección fija A → A/I; excluye nociones puramente categóricas o topológicas de levantamiento salvo que la estructura de módulo y la acción del ideal se especifiquen.

Tensión semántica

Hay tensión entre 'levantar módulos' y 'levantar clases de isomorfía de módulos hasta extensión': a veces una clase de isomorfía se levanta solo tras una extensión por un I-torsor no trivial, por lo que la existencia de un levantamiento literal difiere de la existencia de un levantamiento hasta isomorfía.

Síntesis

La no levantabilidad de módulos identifica módulos que no pueden extenderse del cociente al álgebra ambiente debido a obstrucciones cohomológicas intrínsecas o a una acción incompatible del ideal; reconocer estas obstrucciones es esencial en teoría de deformaciones y clasificación.