El proceso de variar la multiplicación, las relaciones o las constantes de estructura de un objeto algebraico de forma continua o formal (a menudo con un parámetro) para producir una familia de álgebras próximas y estudiar cómo se deforman las propiedades algebraicas.

Principio

Codificar cambios infinitesimales mediante datos cohomológicos de modo que las deformaciones de primer orden correspondan a cociclos y las obstrucciones para extenderlas residan en cohomología de orden superior; usar series formales o familias planas como modelos de deformación.

Demostración

Un álgebra asociativa A admite una deformación formal m_t = m_0 + t m_1 + t^2 m_2 + … donde m_1 es un 2-cociclo de Hochschild; la anulación de las clases de obstrucción en la cohomología de Hochschild permite la extensión a órdenes superiores y da lugar a deformaciones no triviales como cuantizaciones.

Aplicación incorrecta

Suponer que toda deformación infinitesimal se integra en una familia verdadera (ignorando obstrucciones) o tratar perturbaciones arbitrarias de las constantes de estructura como deformaciones sin verificar asociatividad, existencia de unidad o planitud de la familia.

Consecuencia

Las deformaciones correctamente realizadas pueden producir nuevas estructuras algebraicas con representación o geometría más rica (por ejemplo cuantizaciones), revelar la rigidez o flexibilidad del álgebra original y conectar objetos aparentemente distintos mediante rutas de deformación.

Inversión

La reversión es la rigidez: cuando todas las clases de deformación se anulan y toda deformación formal es trivial, el álgebra resiste estructuras próximas no triviales y no existe una familia continua no trivial que la atraviese.

Límite

Se aplica a estructuras algebraicas asociativas, de Lie, graduadas o más generales que permitan interpretar familias formales o analíticas; no cubre perturbaciones discontinuas arbitrarias ni se aplica automáticamente a deformaciones geométricas del espacio subyacente sin traducir las estructuras.

Tensión semántica

Tensión entre teoría de deformaciones y teoría de extensiones: las deformaciones estudian estructuras próximas parametrizadas formal/continuamente, mientras que las clases de extensión y cohomología pueden confundirse con deformaciones aunque responden a cuestiones de clasificación distintas.

Síntesis

La deformación de álgebra trata variaciones controladas, a menudo gobernadas por la cohomología, de la estructura algebraica como familias parametrizadas por pequeños parámetros formales, revelando teoría de obstrucciones, posibles cuantizaciones y la rigidez o flexibilidad del álgebra original.