Lemme de Perturbation Homologique (HPL)

Un résultat et une méthode de calcul qui permettent de transférer une perturbation d'une différentielle sur un complexe de chaînes à travers une équivalence d'homotopie (munie de données d'homotopie explicites) pour obtenir une différentielle perturbée sur un modèle plus simple, en préservant le type d'homotopie.