Un elemento de un grupo Ext que codifica el fallo de una extensión para dividirse o de un problema de elevación para tener solución; típicamente una clase en Ext^1 (para extensiones no escindidas) o en Ext de orden superior para obstrucciones de orden mayor.

Principio

Las clases de obstrucción residen en Ext porque Ext mide clases de equivalencia de extensiones y datos de extensión derivados; una clase no nula obstruye la existencia de una división o de elevaciones sucesivas en una filtración o una secuencia de deformación.

Demostración

Para módulos sobre un anillo R, una sucesión exacta corta 0 → A → E → B → 0 determina una clase en Ext^1_R(B,A). Si esta clase es no nula la sucesión no es escindida y no existe una sección R‑lineal B → E. Más ampliamente, intentar levantar un morfismo a través de extensiones sucesivas produce clases en Ext^n que deben anularse para continuar.

Aplicación incorrecta

Tratar cualquier clase Ext no nula como obstrucción sin especificar el contexto del morfismo o de la extensión, o confundir la equivalencia de extensiones con la existencia concreta de una sección, conduce a conclusiones erróneas sobre la solvencia.

Consecuencia

Identificar correctamente una obstrucción en Ext muestra exactamente por qué falla una división o un levantamiento y sitúa la obstrucción en un grado cohomológico; entonces se puede intentar anular la clase cambiando la categoría, la base o pasando a recubrimientos o extensiones que alteren los grupos Ext.

Inversión

La anulación de la clase Ext pertinente (por ejemplo clase = 0 en Ext^1_R(B,A)) implica la existencia de una división o del levantamiento deseado en el contexto dado, invirtiendo la obstrucción.

Límite

Esta noción presupone un contexto abeliano (o triangulado) con grupos Ext bien definidos; en contextos no abelianos la obstrucción puede codificarse de otro modo y no siempre por Ext. El término excluye la mera cohomología no nula que no provenga de un problema de extensión.

Tensión semántica

«Obstrucción en Ext» compite con la idea más laxa de «clase de cohomología no nula»: la primera vincula la clase a un problema de extensión o elevación concreto, la segunda puede ser un invariante global sin interpretación obstructiva directa.

Síntesis

Una obstrucción en Ext es el certificado cohomológico dentro de un grupo Ext que localiza por qué una extensión dada no se divide o por qué un levantamiento no puede continuar; organiza modos de fallo locales en una clase cohomológica calculable.