Filtered formal groups, Cartier duality, and derived algebraic geometry

Cet article développe la théorie des groupes formels filtrés et leur dualité de Cartier, puis utilise une déformation à la normale dans le cadre de la géométrie algébrique dérivée pour établir un lien entre les groupes formels et leurs algèbres de Lie, permettant ainsi de retrouver la filtration du cercle filtré et d'étendre les invariants d'homologie de Hochschild à la géométrie algébrique spectrale.

L'essentiel

Imaginez que les mathématiques, et plus précisément la géométrie algébrique, sont comme un immense atelier de construction où l'on fabrique des formes et des structures. Ce papier, écrit par Tasos Moulinos, est une nouvelle boîte à outils qui permet de relier trois mondes qui semblaient séparés : les groupes formels (des formes mathématiques très fines), la dualité (comme un miroir qui inverse les choses), et la géométrie dérivée (une version "super-haut-définition" de la géométrie classique).

Voici une explication simple, avec des analogies du quotidien, de ce que l'auteur a accompli.

1. Le concept de base : Les "Groupes Formels" comme des poupées russes

Imaginez un groupe formel comme une poupée russe (une matriochka) infinie.

• Dans la géométrie classique, on voit la poupée de l'extérieur.
• Dans la géométrie "formelle", on s'intéresse à ce qui se passe à l'intérieur, couche par couche, à l'infini. C'est une façon de regarder les mathématiques "de très près", en zoomant sur un point précis.

L'auteur introduit une nouvelle idée : les groupes formels "filtrés".

• L'analogie : Imaginez que vous avez une photo de cette poupée russe. Une "filtration", c'est comme ajouter une couche de netteté progressive à la photo. D'abord, c'est flou (on ne voit que la forme globale), puis on devient de plus en plus net, jusqu'à voir chaque détail.
• L'auteur montre comment construire ces poupées russes avec cette notion de netteté (filtration) intégrée dès le départ.

2. Le miroir magique : La Dualité de Cartier

Dans ce monde mathématique, il existe un miroir très spécial appelé la dualité de Cartier.

• L'analogie : Imaginez que vous avez un objet (disons, une poupée russe). Si vous le regardez dans ce miroir, vous ne voyez pas la poupée elle-même, mais une version "inversée" ou "dualisée" qui a des propriétés très différentes mais qui lui correspond parfaitement.
• Le papier montre comment ce miroir fonctionne même quand on ajoute la notion de "filtration" (la netteté progressive). C'est comme si le miroir inversait non seulement la forme, mais aussi la façon dont on regarde la netteté de l'image.

3. Le voyage dans le temps : La "Déformation"

C'est la partie la plus fascinante du papier. L'auteur utilise une construction appelée "déformation vers le cône normal".

• L'analogie : Imaginez que vous avez une pâte à modeler en forme de poupée russe (le groupe formel).
  • À un moment donné (disons, l'année 2024), elle a une forme très précise et complexe.
  • L'auteur crée une machine à voyager dans le temps (paramétrée par une ligne, comme une ligne de temps).
  • Si vous rembobinez le temps jusqu'à l'année 0, la poupée se transforme doucement en quelque chose de très simple : un bâton droit (l'algèbre de Lie, ou l'espace tangent).
  • Ce voyage n'est pas une destruction, c'est une dégénérescence contrôlée. La forme complexe se "déplie" pour révéler sa structure de base.

Pourquoi est-ce important ?
En observant ce voyage, l'auteur découvre que la "poupée" (le groupe formel) emporte avec elle sa propre histoire de netteté (la filtration). Il prouve qu'il n'y a qu'une seule façon "naturelle" de faire ce voyage, ce qui permet de définir une règle universelle pour mesurer la complexité de ces objets.

4. Le cercle filtré et l'homologie de Hochschild

Le papier relie tout cela à un objet célèbre : le cercle (comme le cercle topologique $S^1$).

• Dans les années 2019, l'auteur et ses collègues avaient créé un "cercle filtré", une version du cercle qui contient des informations sur sa propre structure interne.
• Ce papier explique d'où vient ce cercle. Il dit : "Ce cercle filtré n'est pas un hasard ! Il est le reflet miroir (via la dualité de Cartier) de notre voyage dans le temps de la poupée russe multiplicative."
• En d'autres termes, la structure complexe de l'homologie de Hochschild (un outil pour mesurer la "forme" des algèbres) est en fait dictée par la façon dont ces poupées russes se déforment.

5. Vers le monde spectral : L'élévation vers le "Spectre"

Enfin, l'auteur essaie de pousser ces idées encore plus loin, dans un domaine appelé "géométrie spectrale" (qui utilise la topologie et l'analyse complexe de manière très avancée).

• L'analogie : C'est comme passer d'une photo en noir et blanc à une photo en 3D holographique.
• Il montre qu'on peut construire des versions "spectrales" de ces poupées russes et de leurs miroirs.
• Cependant, il y a une limite : certaines structures qui fonctionnent parfaitement dans le monde classique (les nombres entiers) ne peuvent pas être élevées à ce niveau holographique sans se briser. C'est comme essayer de faire tenir un château de cartes dans un ouragan : la structure s'effondre. Le papier prouve qu'il est impossible de faire voyager une certaine version de ce cercle filtré dans ce monde spectral sans perdre ses propriétés essentielles.

En résumé

Ce papier est une aventure mathématique qui :

1. Définit de nouvelles règles pour manipuler des formes géométriques complexes (groupes formels) en y ajoutant une notion de "détail progressif" (filtration).
2. Utilise un miroir magique (dualité) pour relier ces formes à d'autres structures.
3. Montre comment ces formes peuvent se transformer doucement en structures plus simples, révélant ainsi l'origine profonde de certaines mesures mathématiques célèbres (l'homologie de Hochschild).
4. Tente d'appliquer ces règles au monde le plus avancé des mathématiques modernes (spectral), tout en identifiant où se trouvent les limites de cette théorie.

C'est un travail de "plomberie" mathématique de très haut niveau, qui explique pourquoi certaines structures fondamentales de l'univers mathématique sont liées entre elles d'une manière inévitable et élégante.

Résumé technique

Voici un résumé technique détaillé de l'article « Filtered formal groups, Cartier duality, and derived algebraic geometry » de Tasos Moulinos, publié dans Épijournal de Géométrie Algébrique (2024).

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la géométrie algébrique dérivée et spectrale. Il vise à généraliser et à systématiser la construction de la « sphère filtrée » (filtered circle), introduite précédemment par l'auteur, Robalo et Toën ([MRT22]), qui capture l'homotopie $k$-linéaire du cercle topologique $S^1$.

La construction initiale repose sur une famille de schémas en groupes équivariants sous $\mathbb{G}_m$ paramétrée par la droite affine $\mathbb{A}^1$, interpolant entre deux schémas affines : le noyau de la Frobenius ($\text{Ker}$) et les points fixes de la Frobenius ($\text{Fix}$). Ces objets sont liés par dualité de Cartier aux groupes formels additif ($\widehat{\mathbb{G}}_a$) et multiplicatif ($\widehat{\mathbb{G}}_m$).

L'objectif principal de ce travail est de répondre aux questions suivantes :

1. Peut-on généraliser cette construction à un groupe formel arbitraire $\widehat{G}$ ?
2. Existe-t-il une dégénérescence canonique d'un groupe formel vers son algèbre de Lie (ou son normal cone) dans le cadre dérivé ?
3. Comment ces constructions se comportent-elles dans le cadre de la géométrie algébrique spectrale (spectral algebraic geometry) ?

2. Méthodologie

L'auteur combine plusieurs outils avancés :

• Géométrie Algébrique Dérivée (DAG) et Filtrée : Utilisation de la catégorie des algèbres filtrées complètes et de la stack quotient $\mathbb{A}^1/\mathbb{G}_m$ pour modéliser les objets filtrés (via l'équivalence de Thomason entre modules filtrés et quasi-cohérents sur $\mathbb{A}^1/\mathbb{G}_m$).
• Dualité de Cartier Filtrée : Extension de la dualité classique entre groupes formels et schémas de groupes affines au contexte filtré, en restreignant la catégorie aux coalgèbres « lisses » (smooth coalgebras) et leurs duales.
• Déformation au Cône Normal : Adaptation de la construction de déformation au cône normal (déformation de l'inclusion fermée $X \hookrightarrow Y$) au cadre des schémas formels et dérivés.
• Géométrie Algébrique Spectrale : Utilisation des anneaux $E_\infty$ et des résultats de Lurie ([Lur18b]) sur les groupes formels spectraux et les anneaux de déformation universels (anneaux de Lubin-Tate spectraux).

3. Contributions Clés et Résultats

A. Groupes Formels Filtrés et Dualité de Cartier

L'auteur définit un groupe formel filtré comme un objet de cogroupe abélien dans la catégorie des algèbres filtrées complètes (discretes au niveau sous-jacent).

• Théorème 1.4 (Unicité de la filtration) : Il démontre un résultat d'unicité crucial : pour une algèbre commutative $A$ complète pour la topologie $I$-adique, s'il existe une filtration complète $A_*$ dont le gradué est isomorphe à celui de la filtration $I$-adique (avec $I/I^2$ de poids 1), alors cette filtration est nécessairement la filtration $I$-adique.
• Dualité Filtrée : Il établit une équivalence (Théorème 4.19) entre les groupes formels filtrés et une sous-catégorie pleine de schémas de groupes affines relatifs sur $\mathbb{A}^1/\mathbb{G}_m$. Cela permet de transporter les structures de groupes formels vers des schémas de groupes filtrés.

B. Déformation au Cône Normal d'un Groupe Formel

L'article construit une déformation canonique d'un groupe formel $\widehat{G}$ vers son algèbre de Lie (complétée formelle).

• Théorème 1.6 : Pour la section unité $f: \text{Spec}(k) \to \widehat{G}$, il existe une famille équivariante $\text{Def}_{\mathbb{A}^1/\mathbb{G}_m}(\widehat{G})$ telle que :
  • La fibre en $1$est$\widehat{G}$.
  • La fibre en $0$est la complétion formelle de l'algèbre de Lie tangente$\widehat{T\widehat{G}} \simeq \widehat{\mathbb{G}}_a^{\oplus n}$.
• Corollaire 1.7 : Cette déformation induit une structure de groupe formel filtré unique sur l'algèbre de coordonnées de $\widehat{G}$, qui coïncide avec la filtration $I$-adique.
• Application à $\widehat{\mathbb{G}}_m$ : En appliquant la dualité de Cartier à cette déformation, on retrouve la filtration géométrique sur le schéma de groupes $\text{Fix}$ (points fixes de Frobenius sur les vecteurs de Witt), qui est le dual de la déformation de $\widehat{\mathbb{G}}_m$ vers $\widehat{\mathbb{G}}_a$. Cela identifie la source géométrique de la filtration HKR (Hochschild-Kostant-Rosenberg) sur l'homologie de Hochschild.

C. Homologie de Hochschild $\widehat{G}$-filtrée

L'auteur définit une homologie de Hochschild généralisée $HH^{\widehat{G}}(A)$ via l'espace de mapping dérivé $Map(B\widehat{G}^\vee, \text{Spec}(A))$.

• Théorème 7.3 : Grâce à la déformation au cône normal, il montre que ce foncteur admet un raffinement naturel vers la catégorie des modules filtrés. L'homologie de Hochschild usuelle est obtenue comme la limite colimite de cette filtration.
• Graded : Le gradué associé de cette filtration est l'algèbre de de Rham dérivée $\text{Sym}(L_{A/k}[1])$.

D. Relèvements Spectraux et Anneaux de Déformation

La dernière partie de l'article explore le passage à la géométrie spectrale (anneaux $E_\infty$).

• Théorème 1.12 : Pour un groupe formel $\widehat{G}$ de hauteur $n$ sur un corps fini, il existe un relèvement spectral canonique du schéma de groupes dual $D(\widehat{G})$ vers l'anneau de déformation spectral universel $R^{\text{un}}_{\widehat{G}}$. Ce relèvement est un objet de monoides commutatifs de type groupe dans les stacks spectraux.
• Homologie de Hochschild Topologique ($THH$) : L'auteur définit une version spectrale $THH^{\widehat{G}}$ et montre (Théorème 9.9) que pour $\widehat{G} = \widehat{\mathbb{G}}_m$, ce relèvement récupère l'homologie de Hochschild topologique usuelle $THH$.
• Résultat Négatif sur les Filtrations Spectrales (Proposition 10.1) : L'auteur démontre qu'il est impossible de relever la déformation au cône normal de $\widehat{\mathbb{G}}_m$ (qui relie $\widehat{\mathbb{G}}_m$ à $\widehat{\mathbb{G}}_a$) au-dessus du spectre des entiers $S$ (la sphère). En effet, le groupe additif formel $\widehat{\mathbb{G}}_a$ n'appartient pas à l'image essentielle des groupes formels spectraux sur $S$ (contrairement à $\widehat{\mathbb{G}}_m$). Cela implique une obstruction fondamentale à l'existence d'une filtration spectrale naturelle sur $THH$ qui serait un relèvement direct de la filtration HKR via cette construction géométrique.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Unification Conceptuelle : Il fournit un cadre unifié expliquant l'origine géométrique de la filtration HKR sur l'homologie de Hochschild, la reliant directement à la déformation d'un groupe formel vers son algèbre de Lie via la dualité de Cartier.
2. Généralisation : Il étend la théorie au-delà des cas classiques ($\widehat{\mathbb{G}}_m, \widehat{\mathbb{G}}_a$) à n'importe quel groupe formel, offrant de nouvelles invariants homologiques filtrés.
3. Limites de la Géométrie Spectrale : L'article met en lumière une distinction subtile entre la géométrie dérivée classique et la géométrie spectrale. L'impossibilité de relever la déformation $\widehat{\mathbb{G}}_m \to \widehat{\mathbb{G}}_a$ sur la sphère révèle des contraintes structurelles profondes sur la manière dont les objets filtrés et les dégénérescences peuvent être définis dans le monde spectral.
4. Outils pour la Théorie de l'Homotopie : Les constructions de groupes formels filtrés et de leurs duales offrent de nouveaux outils pour étudier les invariants topologiques (comme $THH$) et leurs structures de filtration, avec des applications potentielles en théorie des formes modulaires et en topologie algébrique.

En résumé, l'article établit un pont rigoureux entre la théorie des groupes formels, la dualité de Cartier et la géométrie dérivée, tout en traçant les limites de ces constructions lorsqu'on les transpose au contexte spectral.