Un resultado y método computacional que permite transferir una perturbación de la diferencial en un complejo de cadenas a través de una equivalencia por homotopía (dadas las datos explícitos de homotopía) para obtener una diferencial perturbada en un modelo más simple, preservando el tipo de homotopía.

Principio

Dado un dato de retracción por deformación (inclusión, proyección y homotopía) entre un complejo grande y un modelo pequeño, y una perturbación pequeña de la diferencial en el complejo grande que cumpla condiciones de convergencia o nilpotencia, se construyen fórmulas explícitas para la diferencial transferida y las nuevas datos de homotopía en el modelo.

Demostración

Empezando con una dg-álgebra A que se retrae sobre su homología H con una homotopía explícita h, una perturbación Δ de la diferencial en A (por ejemplo añadiendo operaciones superiores) puede transferirse vía HPL para producir una estructura A∞ en H y fórmulas explícitas para las multiplicaciones superiores usando composiciones de h, inclusión, proyección y Δ.

Aplicación incorrecta

Aplicar HPL sin comprobar hipótesis de pequeñez, filtración o completitud, de modo que las series de perturbación divergen, o intentar transferir sin datos explícitos de retracción; otro mal uso es ignorar restricciones de grado/aritmetía en contextos operádicos o A∞.

Consecuencia

Cuando es aplicable, HPL produce modelos reducidos efectivos (modelos mínimos o pequeños), diferenciales transferidas explícitas u operaciones superiores, y control computacional de invariantes derivados, haciendo manejables problemas a nivel cadena de gran tamaño.

Inversión

En lugar de transferir perturbaciones de un complejo grande a un modelo pequeño, se puede intentar elevar una estructura deseada del modelo pequeño al complejo grande; invertir expone obstrucciones para elevar y la necesidad de datos de homotopía en la dirección opuesta.

Límite

Requiere datos explícitos de retracción por homotopía y condiciones de control (filtraciones, nilpotencia o completitud) para asegurar la convergencia de las series de perturbación; sin esto, las fórmulas son formales y pueden no definir diferenciales u estructuras reales.

Tensión semántica

El lema equilibra entre teoremas de existencia abstractos en álgebra homológica y fórmulas efectivas concretas: la tensión surge entre manipulaciones algebraicas formales y criterios analíticos/de convergencia necesarios para el uso computacional en entornos filtrados o completados.

Síntesis

El Lema de Perturbación Homológica es la técnica que, dadas datos explícitos de equivalencia por homotopía y control adecuado de una perturbación, produce diferenciales y homotopías transferidas en un modelo más simple, posibilitando modelos mínimos concretos y acceso computacional a estructuras derivadas perturbadas.