Un criterio, una clase de cohomología o de extensión que registra el fallo de una extensión propuesta de objetos o estructuras para existir o para escindirse; codifica incompatibilidades que impiden que un objeto definido sobre un subdominio se extienda a un dominio mayor con las propiedades deseadas.

Principio

Las obstrucciones de extensión cuantifican el obstáculo para pegar o extender datos locales en una extensión global; en contextos algebraicos suelen vivir en grupos Ext o en grupos de fontores derivados y controlan la existencia y clasificación de extensiones y si una extensión se divide.

Demostración

Para módulos A y B, una sucesión exacta 0 -> A -> E -> B -> 0 define una clase de extensión en Ext^1(B,A); una clase no nula es una obstrucción para que se divida en A ⊕ B, y clases de obstrucción de grado superior pueden detectar el fallo al extender deformaciones o filtraciones a órdenes o longitudes mayores.

Aplicación incorrecta

Suponer que la anulación de una única obstrucción de bajo grado garantiza la extensibilidad completa en contextos con obstrucciones superiores; o confundir la inexistencia de extensiones escindidas con la falta de cualquier extensión cuando en realidad pueden existir extensiones no triviales que no escinden.

Consecuencia

Las clases de obstrucción organizan los problemas de extensión en invariantes algebraicos computables: su anulación produce existencia o escisión (hasta equivalencia), mientras que su no anulación identifica exactamente el obstáculo y guía la modificación de los datos o la búsqueda de tipos alternativos de extensión.

Inversión

Vista al revés, una clase de extensión trivial significa que el problema de extensión no impone obstrucción y admite un modelo escindido; estudiar la inversión se centra en cuándo las descomposiciones globales se reducen a sumas o productos directos en lugar de extensiones genuinas.

Límite

Se aplica a problemas algebraicos y homológicos de extensión (módulos, haces, extensiones de grupos, etc.); en categorías no abelianas o altamente no lineales la naturaleza de las clases de obstrucción puede cambiar y requerir otras herramientas cohomológicas, por lo que el lenguaje estándar de Ext puede ser insuficiente.

Tensión semántica

El término puede confundirse con la obstrucción al levantamiento: las obstrucciones de extensión se ocupan de ampliar o pegar un objeto hacia el exterior, mientras que las de levantamiento conciernen la producción de preimágenes bajo proyecciones; ambas emplean maquinaria cohomológica similar pero corresponden a direcciones de pegado opuestas.

Síntesis

Una obstrucción de extensión es el invariante o la clase que mide por qué falla una ampliación o escisión propuesta de un objeto; empaqueta las cuestiones de existencia y escisión en datos algebraicos cuya anulación es equivalente a la existencia de la extensión pretendida.