## [Lema de Perturbación Homológica (HPL)](/es/node/63953) Definición 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 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 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 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 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 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 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 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 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.