Una clase de obstrucción o colección de clases que impide que una deformación infinitesimal o formal de un objeto se extienda a orden superior, a una base más grande o a una deformación global genuina; estas clases viven en grupos de obstrucción calculados a partir del complejo tangente o de deformación.

Principio

Las deformaciones infinitesimales están parametrizadas por un espacio tangente (a menudo H^1 de un complejo de deformación) mientras que las obstrucciones a elevar esas deformaciones de primer orden a segundo u órdenes superiores residen en grupos de obstrucción (a menudo H^2); la anulación de las clases de obstrucción relevantes es necesaria (y bajo hipótesis favorables suficiente) para la extensión.

Demostración

Al deformar una estructura algebraica o un haz, una deformación de primer orden puede existir pero encontrar una obstrucción en el orden siguiente: una clase de obstrucción explícita en el grupo H^2 correspondiente impide construir la extensión de la deformación sobre una base artiniana más gruesa, por lo que no existe una familia formal con ese vector tangente de primer orden sin modificación.

Aplicación incorrecta

Suponer que todas las deformaciones de primer orden se integran en deformaciones reales sin comprobar obstrucciones de órdenes superiores; o tratar la anulación de grupos de obstrucción de bajo grado como una garantía general en contextos que carecen de las hipótesis de finitud o suavidad necesarias.

Consecuencia

Reconocer las obstrucciones de deformación organiza la teoría de deformaciones: la anulación de obstrucciones permite construir deformaciones formales o reales paso a paso, mientras que la no anulación conduce a modificar el problema de deformación, cambiar parámetros o aceptar direcciones obstruidas y estudiar las estratas del espacio de módulos obstruidas.

Inversión

El caso no obstruido es la reversa: todos los grupos de obstrucción relevantes se anulan y las deformaciones formales se extienden a familias reales, a menudo produciendo módulos locales lisos; contrastar comportamientos obstruidos y no obstruidos aclara dónde la geometría o el álgebra imponen restricciones rígidas.

Límite

Se refiere a problemas de deformación formales e infinitesimales en contextos algebraicos, analíticos y diferenciales; la extensión global o la convergencia a familias analíticas reales puede requerir hipótesis adicionales, por lo que la teoría de obstrucciones de deformación típicamente trata la existencia formal más que la realizabilidad analítica global.

Tensión semántica

Existe tensión entre el lenguaje de obstrucciones (clases en H^2) y fenómenos llamados anomalías u obstrucciones no perturbativas en otros campos; aunque matemáticamente relacionados, la terminología y las soluciones esperadas difieren por comunidad, por lo que traducir entre usos puede ser delicado.

Síntesis

Una obstrucción de deformación es el dato cohomológico que bloquea el paso de deformaciones de orden inferior a ordenes superiores o globales; su anulación es la señal algebraica de que la extensión paso a paso es posible y su no anulación identifica direcciones rígidas en el espacio de módulos.