A spectral sequence for tangent cohomology of algebras over algebraic operads

Cet article construit une suite spectrale convergente vers la cohomologie opéradique d'une algèbre en utilisant des filtrations issues de tours de cofibrations, offrant ainsi une description algébrique nouvelle de la suite spectrale de Serre et permettant le calcul des groupes d'homotopie rationnelle des équivalences d'auto-homotopie fibrée.

L'essentiel

Imaginez que vous êtes un architecte qui doit réparer ou modifier un bâtiment très complexe, comme un gratte-ciel ou un château de sable géant. En mathématiques, ces « bâtiments » sont des structures algébriques (des ensembles de règles et de nombres qui interagissent), et les « réparations » sont ce qu'on appelle la théorie de la déformation.

Le problème, c'est que ces bâtiments sont si complexes qu'il est presque impossible de voir d'un coup d'œil où sont les fissures ou comment ils vont réagir si on ajoute une nouvelle pièce. C'est là que ce papier intervient.

Voici une explication simple de ce que font José M. Moreno-Fernández et Pedro Tamaroff dans leur article, en utilisant des analogies du quotidien.

1. Le problème : Comment réparer un bâtiment sans tout faire s'effondrer ?

Les mathématiciens étudient des objets appelés algèbres (des systèmes de règles). Parfois, on veut savoir comment ces systèmes peuvent changer légèrement (se déformer) tout en restant cohérents.

• L'outil habituel : Pour voir les problèmes, on utilise une « radiographie » mathématique appelée cohomologie tangente. C'est comme un scanner qui révèle les points faibles.
• Le souci : Calculer cette radiographie pour des bâtiments très complexes est un cauchemar. C'est comme essayer de compter chaque grain de sable d'une plage pour trouver un coquillage spécifique. C'est trop long et trop compliqué.

2. La solution : La méthode des « étages » (La suite spectrale)

Les auteurs proposent une nouvelle astuce géniale : au lieu de regarder le bâtiment entier d'un coup, ils le construisent brique par brique.

Imaginez que vous construisez une tour :

1. Vous posez la fondation.
2. Vous ajoutez le premier étage.
3. Puis le deuxième, et ainsi de suite, jusqu'à la tour finale.

Dans le papier, ils disent : « Si vous construisez votre objet mathématique étape par étape (ce qu'ils appellent une tour de cofibrations), vous pouvez calculer la radiographie (la cohomologie) de chaque étage séparément, puis assembler les résultats. »

Ils créent un outil de calcul (une « suite spectrale ») qui fonctionne comme une machine à laver à plusieurs cycles :

• Cycle 1 (E1) : On regarde les différences entre l'étage $n$ et l'étage $n+1$. C'est un peu grossier, on voit juste les gros blocs.
• Cycle 2 (E2) : On affine. On commence à voir comment les blocs s'emboîtent.
• Cycle final (E∞) : Après plusieurs cycles, l'image devient claire et on obtient la radiographie complète du bâtiment fini.

C'est comme regarder une photo floue qui devient de plus en plus nette à chaque fois que vous ajustez le focus.

3. Les applications magiques : Deux exemples concrets

Les auteurs montrent que leur méthode ne sert pas juste à faire des maths abstraites, mais qu'elle résout des problèmes réels en topologie (l'étude de la forme des objets).

A. La boucle de l'élastique (Théorie d'Adams-Hilton)

Imaginez un élastique que vous enroulez autour d'un objet (un tore, une sphère, etc.). Si vous tirez sur cet élastique, il peut se déformer de mille façons.

• Le défi : Comprendre toutes les façons dont cet élastique peut bouger et interagir avec lui-même (c'est ce qu'on appelle le produit de Chas-Sullivan).
• L'apport du papier : En utilisant leur méthode « brique par brique » sur un modèle mathématique de l'espace (le modèle d'Adams-Hilton), ils montrent qu'on peut calculer ces interactions complexes simplement en regardant les trous de l'objet et les boucles élémentaires. C'est comme passer d'une équation de physique quantique à un simple calcul de Lego.

B. Le voyage de retour (Théorie de Sullivan)

Imaginez un voyage en avion (une fibration) où vous partez d'une ville $B$, vous allez vers une destination $E$, et vous avez un point de départ $F$ (la fibre).

• Le défi : Si vous voulez changer le trajet de l'avion tout en restant dans le même système de règles, combien de façons différentes pouvez-vous le faire ? C'est lié à l'automorphisme de la fibre.
• L'apport du papier : Ils utilisent leur méthode pour calculer les « groupes d'homotopie rationnelle » (une façon de compter les trous et les boucles dans l'espace des solutions possibles). Ils montrent que leur outil permet de prédire exactement comment l'espace des solutions se comporte, en reliant la géométrie de la fibre à celle de la destination.

En résumé

Ce papier est un manuel d'ingénierie pour les mathématiciens.

Au lieu de dire « Regardez tout le bâtiment d'un coup, c'est trop dur », ils disent : « Construisez-le étage par étage. À chaque étage, faites un petit calcul simple. Ensuite, assemblez les résultats avec notre machine (la suite spectrale) et vous obtiendrez la réponse complète, même pour les bâtiments les plus complexes. »

C'est une méthode puissante qui transforme des problèmes de calcul impossibles en une série de petits problèmes gérables, reliant des domaines très différents des mathématiques (l'algèbre, la topologie et la théorie des formes) comme si on utilisait le même langage pour décrire des Lego, des élastiques et des voyages en avion.

Résumé technique

Voici un résumé technique détaillé de l'article « A spectral sequence for tangent cohomology of algebras over algebraic operads » de José M. Moreno-Fernández et Pedro Tamaroff, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de l'algèbre homologique et de la théorie de l'homotopie rationnelle. Il vise à résoudre un problème fondamental : le calcul effectif de la cohomologie tangente (ou cohomologie d'André-Quillen) pour des algèbres sur des opérades algébriques.

• Contexte théorique : La cohomologie tangente généralise des théories classiques telles que la cohomologie de Chevalley-Eilenberg (pour les algèbres de Lie), de Hochschild (pour les algèbres associatives) et de Harrison (pour les algèbres commutatives). Elle est cruciale pour l'étude de la théorie de la déformation des algèbres via les complexes de déformation.
• Le défi : Bien que la définition de cette cohomologie soit bien établie (via les algèbres de Lie de déformations), son calcul explicite est souvent très difficile, en particulier pour des algèbres complexes ou des modèles algébriques de types d'homotopie rationnelle.
• Objectif : Les auteurs construisent un outil computationnel puissant, une suite spectrale, qui permet de calculer ces groupes de cohomologie en décomposant l'algèbre cible en une tour d'extensions plus simples.

2. Méthodologie

La méthodologie repose sur l'interaction entre l'algèbre homologique des complexes de dérivations et l'algèbre homotopique (notamment la théorie des modèles de Quillen).

• Outils principaux :

  • Opérades et Algèbres : Utilisation d'opérades symétriques $\mathcal{P}$ et de la catégorie des $\mathcal{P}$-algèbres différentielles graduées (dg).
  • Déformations et Dérivations : Le complexe de déformation $Def_{\mathcal{P}}(id_A)$ est identifié à l'algèbre de Lie des dérivations $Der(A)$. La cohomologie tangente est définie comme la cohomologie de ce complexe.
  • Tours de cofibrations : L'idée centrale est de considérer une algèbre $A$ comme la limite inductive d'une tour de cofibrations élémentaires $A_0 \hookrightarrow A_1 \hookrightarrow \dots \hookrightarrow A$. Ces cofibrations correspondent à l'adjonction de générateurs (analogues à l'attachement de cellules en topologie).
  • Séquence exacte de Jacobi-Zariski : Les auteurs exploitent la séquence exacte reliant les dérivations d'une extension $A \hookrightarrow A'$ à celles de l'algèbre de base, valable lorsque l'application est une cofibration.

• Construction de la suite spectrale :
  En filtrant le complexe de dérivations $Der_{A_0}(A, M)$ par les dérivations qui s'annulent sur les étapes intermédiaires $A_s$ de la tour, les auteurs construisent un couple exact. Cela génère une suite spectrale dont la première page ($E_1$) est constituée des groupes de cohomologie tangente relative des étapes successives de la tour.

3. Contributions et Résultats Clés

L'article présente plusieurs résultats majeurs, dont le théorème principal et ses applications en théorie de l'homotopie rationnelle.

A. Le Théorème Principal (Théorème A / 3.7)

Les auteurs établissent l'existence d'une suite spectrale functorielle (demi-plan droit) pour une algèbre $Q$ qui est la limite d'une tour de cofibrations de $\mathcal{P}$-algèbres :
$$E_1^{s,t} = H^{s+t}(Der_{A_s}(A_{s+1}, -)) \implies H^{s+t}(Der_{A_0}(A, -))$$

• Signification : Cette suite spectrale permet de calculer la cohomologie tangente globale d'une algèbre complexe à partir des données locales de ses étapes de construction (les cofibrations élémentaires).
• Généralité : Le résultat s'applique à tout type d'opérade (Lie, Associatif, Commutatif, etc.) et permet des coefficients dans un module $M$, pas seulement dans l'algèbre elle-même.

B. Applications à la Théorie de l'Homotopie Rationnelle

Les auteurs appliquent leur cadre général aux modèles algébriques classiques (Adams-Hilton et Sullivan) pour obtenir des descriptions purement algébriques de suites spectrales topologiques connues.

1. Modèle d'Adams-Hilton et Produit de Boucle (Théorème B / 4.1)

• Contexte : Pour un complexe CW $X$ (simplement connexe), le modèle d'Adams-Hilton $A_*(X)$ est une algèbre différentielle graduée associative libre qui modélise l'algèbre de Pontryagin des chaînes du lacet $\Omega X$.
• Résultat : Ils construisent une suite spectrale convergente vers l'homologie de l'espace de lacets libres $LX$ :
  $$E_2^{s,t} = \text{hom}(H_s(X), H_t(\Omega X)) \implies H_{s+t}(LX)$$
• Structure multiplicative : Ils démontrent que cette suite spectrale est multiplicative. Le produit sur la page $E_2$ (produit de convolution) converge vers le produit de lacets de Chas-Sullivan en topologie des cordes. Cela offre une description entièrement algébrique de ce produit topologique.

2. Modèles de Sullivan et Équivalences d'Autofibrations (Théorème C / 4.7)

• Contexte : Pour une fibration $p: E \to B$ entre complexes CW simplement connexes, on considère le monoïde topologique $Aut(p)$ des équivalences d'homotopie fibrées.
• Résultat : En utilisant les modèles de Sullivan relatifs, ils obtiennent une suite spectrale convergente vers les groupes d'homotopie rationnelle de la composante connexe de l'identité $Aut_1(p)$ :
  $$E_2^{s,t} = \text{hom}(\pi_s(F), H_t(E)) \implies \pi_{s-t}(Aut_1(p))$$
  où $F$ est la fibre.
• Signification : Cela confirme et généralise des résultats antérieurs reliant la cohomologie de Harrison des modèles de Sullivan aux types d'homotopie des espaces d'applications.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Unification : Il unifie le calcul de la cohomologie tangente pour divers types d'algèbres (Lie, Associatif, Commutatif) sous un seul cadre opéradique, reliant ainsi des théories cohomologiques disparates.
2. Outil de calcul : Il fournit une méthode systématique pour calculer des invariants homotopiques complexes (comme l'homologie de lacets libres ou les groupes d'homotopie d'espaces d'applications) en les réduisant à des calculs algébriques sur des générateurs et relations.
3. Lien Algèbre-Topologie : L'article établit un pont rigoureux entre les constructions algébriques (suites spectrales de dérivations) et les objets topologiques profonds (produit de Chas-Sullivan, classification des équivalences d'homotopie).
4. Nouveauté : La description du produit de Chas-Sullivan via une suite spectrale algébrique purement opéradique est présentée comme une contribution nouvelle, offrant une perspective différente des approches géométriques classiques.

En résumé, Moreno-Fernández et Tamaroff ont développé un formalisme puissant qui transforme des problèmes de déformation et d'homotopie en problèmes de calcul de suites spectrales sur des tours de cofibrations, avec des applications directes et profondes en topologie algébrique rationnelle.