Un résultat affirmant que des structures algébriques définies au niveau des chaînes (par exemple une algèbre différentielle graduée ou une algèbre de Lie) peuvent être transférées le long d'une équivalence d'homotopie ou d'une contraction vers un modèle quasi-isomorphe (souvent la cohomologie) sous la forme d'une algèbre à homotopie (p. ex. structure A_∞ ou L_∞), avec des opérations supérieures explicitant les données d'obstruction.

Principe

Le théorème repose sur l'existence de données d'homotopie (une rétraction homotopique ou contraction : inclusion, projection et homotopie) entre complexes ; à partir de ces données on peut produire systématiquement des opérations multilinéaires supérieures sur la cible de sorte que la structure transférée soit homotopie-équivalente à l'originale.

Démonstration

Exemple : à partir d'une algèbre différentielle graduée associative, le transfert d'homotopie produit une A_∞-structure sur sa cohomologie où m_1 = 0 et les opérations m_n supérieures enregistrent des produits de Masse et des phénomènes d'extensions ; ces applications supérieures se construisent via des arbres ou des formules de perturbation homologique.

Mauvaise application

Tenter de transférer sans fournir de données explicites de rétraction homotopique ou ignorer les problèmes de convergence/complétion en contexte de dimension infinie ; supposer que la structure transférée est strictement associative ou de Lie plutôt qu'à homotopie près.

Conséquence

Le théorème permet de travailler avec des modèles minimaux ou plus simples (p. ex. la cohomologie munie d'opérations supérieures) tout en conservant l'information homotopique, facilitant classification, théorie des déformations et calculs impossibles au niveau en chaîne d'origine.

Inversion

La réversion oppose le transport strict (un isomorphisme d'algèbres) au transfert d'homotopie : dans de nombreux cas il n'existe pas d'isomorphisme strict et exiger la stricte égalité efface les homotopies supérieures nécessaires qui codent l'information essentielle.

Limite

Le théorème s'applique dans des contextes de chaînes/homotopie disposant d'une rétraction homotopique bien comportée et de conditions de finitude ou de complétude adéquates ; il ne garantit pas de structure transférée significative lorsque les homotopies ne peuvent être choisies ou quand les sommes infinies divergent sans topologie.

Tension sémantique

Le transfert d'homotopie se distingue de la rectification ou strictification : le transfert produit une structure à homotopie sur un modèle plus simple, tandis que la rectification interroge si un objet à homotopie est quasi-isomorphe à un objet strict — les processus se croisent mais ne sont pas identiques.

Synthèse

Le Théorème de Transfert d'Homotopie établit un pont opérationnel entre des données algébriques complexes au niveau des chaînes et des modèles minimaux homotopiques : muni de données de rétraction on construit systématiquement des opérations supérieures sur un complexe simplifié de sorte que l'information homotopique essentielle soit conservée et calculable.