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.

Principe

Étant donné un dispositif de rétraction par déformation (inclusion, projection et homotopie) entre un grand complexe et un petit modèle, et une perturbation 'petite' de la différentielle sur le grand complexe satisfaisant des conditions de convergence ou de nilpotence, on construit des formules explicites pour la différentielle transférée et les nouvelles données d'homotopie sur le modèle.

Démonstration

Commencer avec une dg-algèbre A se rétractant sur son homologie H avec une homotopie explicite h ; une perturbation Δ de la différentielle sur A (par exemple en ajoutant des opérations supérieures) peut être transférée via le HPL pour produire une structure A∞ sur H et des formules explicites pour les multiplications supérieures utilisant des compositions de h, inclusion, projection et Δ.

Mauvaise application

Appliquer le HPL sans vérifier les hypothèses de petitesse, de filtration ou de complétude de sorte que les séries de perturbation divergent, ou tenter de transférer sans données explicites de rétraction ; autre mauvaise utilisation : ignorer les contraintes de degré/ariété dans les contextes opéradiques ou A∞.

Conséquence

Quand il est applicable, le HPL fournit des modèles réduits effectifs (modèles minimaux ou petits), des différentielles transférées explicites ou des opérations supérieures et un contrôle de calcul des invariants dérivés, rendant des problèmes de niveau chaîne volumineux traitables.

Inversion

Au lieu de transférer des perturbations d'un grand complexe vers un petit modèle, on peut tenter d'élever une structure voulue du petit modèle vers le grand complexe ; l'inversion met au jour des obstructions au relèvement et le besoin de données d'homotopie dans l'autre sens.

Limite

Exige des données explicites de rétraction par homotopie et des conditions de contrôle (filtrations, nilpotence ou complétude) pour assurer la convergence des séries de perturbation ; sans cela, les formules sont formelles et peuvent ne pas définir de différentielles ou structures valides.

Tension sémantique

Le lemme équilibre entre théorèmes d'existence abstraits en algèbre homologique et formules effectives concrètes : la tension survient entre manipulations algébriques formelles et critères analytiques/de convergence requis pour l'usage computationnel en milieux filtrés ou complétés.

Synthèse

Le Lemme de Perturbation Homologique est la technique qui, moyennant des données explicites d'équivalence d'homotopie et un contrôle approprié d'une perturbation, produit des différentielles et homotopies transférées sur un modèle plus simple, permettant des modèles minimaux concrets et un accès computationnel aux structures dérivées perturbées.