## [Obstrucción de Extensión](/es/node/62462) Definición 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 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 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 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 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 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 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 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 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.