Una clase de cohomología o un invariante análogo que mide la obstrucción para realizar una construcción o extensión deseada en un contexto algebraico (o homotópico); normalmente se anula si y solo si la construcción puede llevarse a cabo en esa etapa.

Principio

Las obstrucciones residen en invariantes algebraicos (a menudo grupos) que codifican el fallo de pegar datos locales o de la existencia de levantamientos; la anulación de la clase es la condición necesaria y a menudo suficiente para proceder al siguiente paso de la construcción.

Demostración

Al intentar extender una estructura parcial de módulo se obtiene típicamente una clase en un grupo Ext o de cohomología; si esa clase es cero existe una extensión global, mientras que una clase no nula bloquea cualquier extensión con el comportamiento local prescrito.

Aplicación incorrecta

Tratar una única clase de obstrucción como definitiva sin verificar obstrucciones secundarias o superiores, o interpretar su anulación para un sistema de coeficientes elegido como garantía para todas las elecciones de coeficientes.

Consecuencia

Organiza la teoría de obstrucciones: las clases no nulas identifican modos de fallo precisos y orientan la búsqueda de blancos modificados o de estructura adicional necesaria para eliminar la obstrucción.

Inversión

Una clase de obstrucción trivial indica ausencia de obstrucción en esa etapa y permite la extensión o el levantamiento deseado; sin embargo, la trivialidad puede dejar al descubierto elecciones adicionales y obstrucciones superiores posteriores.

Límite

Se aplica donde exista una teoría de invariantes adecuada (cohomología, Ext, functores derivados) y donde el problema de construcción sea local-a-global o por etapas; no toda imposibilidad está capturada por una única clase de obstrucción y algunas obstrucciones son no cohomológicas por naturaleza.

Tensión semántica

La tensión está entre 'una clase de obstrucción' como un único elemento cohomológico y la 'teoría de obstrucciones' más amplia, que es una torre de clases; es preciso distinguir la primera obstrucción de una secuencia completa de obstrucciones.

Síntesis

Una clase de obstrucción es un invariante algebraico situado en un grupo apropiado que registra un fallo concreto de extensión o levantamiento; su anulación señala que el obstáculo inmediato ha sido levantado y permite continuar la construcción.