Una obstrucción para levantar, dividir o extender estructuras que es detectada por un elemento de un grupo de cohomología; tales obstrucciones aparecen cuando funtores derivados o condiciones de cociclo no se anulan.

Principio

La cohomología mide el fallo de exactitud; cuando una condición de coborde no se satisface, la clase cohomológica resultante registra la imposibilidad de un levantamiento o extensión deseada en ese grado cohomológico.

Demostración

En la clasificación de extensiones de grupos, un problema de extensión central produce una clase en la segunda cohomología del grupo; una clase cero corresponde a una extensión escindida (o levantable), mientras que una clase no nula obstruye cualquier escisión con la acción prescrita.

Aplicación incorrecta

Asumir que la anulación en una teoría cohomológica o para una elección de coeficientes implica anulación en todas las teorías relevantes; distintos módulos de coeficientes o contextos derivados pueden producir distintas clases de obstrucción.

Consecuencia

Las obstrucciones cohomológicas proporcionan testigos algebraicos computables del fallo e indican a menudo la modificación mínima (cambio de coeficientes, adición de datos) necesaria para eliminar la obstrucción o parametrizar sus formas.

Inversión

Cuando las obstrucciones cohomológicas se anulan en todos los grados relevantes, la vía cohomológica garantiza la existencia de levantamientos o extensiones salvo por las elecciones registradas por la cohomología de grado inferior; la inversión es entonces una construcción explícita en lugar de un invariante bloqueante.

Límite

Requiere una teoría cohomológica definida para los objetos y coeficientes en cuestión (cohomología de grupos, de haces, grupos Ext, etc.); los fenómenos fuera de la detección cohomológica (obstrucciones puramente combinatorias o set-theóricas) quedan fuera de esta noción.

Tensión semántica

Hay tensión entre obstrucciones cohomológicas y obstrucciones homotópicas: las primeras son clases algebraicas en grupos, las segundas pueden necesitar invariantes homotópicos superiores que la cohomología ordinaria no captura.

Síntesis

Una obstrucción cohomológica es un elemento de un grupo de cohomología apropiado que codifica el fallo de una condición de cociclo o de exactitud; su anulación es el certificado algebraico de que cierto levantamiento, escisión o extensión es posible en ese grado cohomológico.