## [No Levantabilidad de Módulos](/es/node/64033) Definición 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 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 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 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 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 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 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 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 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.