Derived binomial rings I: integral Betti cohomology of log schemes

1. Problématique et Contexte

L'article s'attaque à deux problèmes fondamentaux en topologie algébrique et en géométrie algébrique :

1. Modélisation algébrique de la cohomologie entière : Il existe un manque de modèles algébriques explicites et efficaces pour la cohomologie singulière à coefficients entiers ($\mathbb{Z}$) des espaces topologiques, en particulier pour les espaces nilpotents. Les approches classiques utilisant les algèbres $E_\infty$ ou les monades libres $\text{LSym}_{\mathbb{Z}}$ échouent souvent car elles produisent des structures trop grandes (avec une cohomologie négative non triviale) ou ne capturent pas correctement la torsion.
2. Cohomologie de Betti des schémas log-analytiques : La cohomologie de Betti logarithmique (ou cohomologie singulière de l'espace de Kato-Nakayama $X^{\log}$) est traditionnellement définie via un espace topologique auxiliaire. Bien que des formules existent pour les coefficients rationnels ($\mathbb{Q}$), une formule explicite et complète pour les coefficients entiers ($\mathbb{Z}$) faisant intervenir uniquement les données analytiques/logarithmiques (sans passer par l'espace topologique $X^{\log}$) manquait.

L'objectif central est d'introduire et d'utiliser une nouvelle structure algébrique, les anneaux binomiaux dérivés, pour résoudre ces problèmes.

2. Méthodologie

Les auteurs développent une théorie systématique des anneaux binomiaux dans le cadre de la catégorie dérivée non bornée $D(\mathbb{Z})$ des modules sur $\mathbb{Z}$.

• Définition de la monade binomiale dérivée ($L\text{Bin}$) :

  • Ils commencent par définir les applications polynomiales additivement entre groupes abéliens.
  • Ils construisent une monade filtrée $\text{Bin}_{\leq *}$ sur la catégorie des réseaux (groupes abéliens libres de type fini).
  • En utilisant la procédure d'« animation » (extension non-abélienne) et les résultats de Raksit sur les foncteurs polynomiaux, ils étendent cette monade à toute la catégorie dérivée $D(\mathbb{Z})$, obtenant ainsi la monade dérivée $L\text{Bin}$.
  • Les anneaux binomiaux dérivés sont définis comme les modules sur cette monade $L\text{Bin}$.

• Calcul des anneaux binomiaux libres :

  • Les auteurs calculent explicitement les anneaux binomiaux libres $L\text{Bin}(M)$ pour des complexes $M$ concentrés en un seul degré.
  • Ils établissent des équivalences cruciales reliant $L\text{Bin}(M^\vee)$ à la cohomologie singulière des espaces d'Eilenberg-MacLane généralisés $K(M)$.

• Application aux espaces log-analytiques :

  • Ils définissent une version de la monade $L\text{Bin}_X$ agissant sur les faisceaux de complexes sur un espace topologique $X$.
  • Ils identifient le faisceau $R\pi_* \mathbb{Z}$ (où $\pi: X^{\log} \to X$ est la projection de l'espace de Kato-Nakayama) comme étant l'anneau binomial libre coaugmenté généré par un complexe exponentiel à deux termes.

3. Résultats Clés

A. Théorie de l'homotopie entière

• Théorème d'embedding : Le foncteur de cohomologie singulière $C^*_{\text{sing}}(-, \mathbb{Z})$ induit un plongement pleinement fidèle de la catégorie des espaces nilpotents de type fini (connectés) vers la catégorie des anneaux binomiaux dérivés.
• Reconstruction : Un tel espace $X$ peut être reconstruit à partir de son anneau de cohomologie $C^*_{\text{sing}}(X, \mathbb{Z})$ muni de sa structure d'anneau binomial dérivé via l'application $X \simeq \text{Map}_{\text{DBinAlg}}(C^*_{\text{sing}}(X, \mathbb{Z}), \mathbb{Z})$.
• Comparaison avec les espaces d'Eilenberg-MacLane : Pour $n \ge 1$, il existe une équivalence naturelle :
  $$L\text{Bin}(\mathbb{Z}[-n]) \simeq C^*_{\text{sing}}(K(\mathbb{Z}, n), \mathbb{Z})$$
  Cela généralise des résultats antérieurs de Toën et Horel avec une preuve différente et plus directe.

B. Cohomologie des espaces log-analytiques

• Formule fermée pour la cohomologie de Betti logarithmique : Pour un espace log-analytique complexe fin et saturé $(X, M)$, les auteurs établissent une équivalence fondamentale :
  $$R\pi_* \mathbb{Z} \simeq L\text{Bin}^{\text{coaug}}_X(\text{exp}(\alpha))$$
  où $\text{exp}(\alpha)$ est le complexe à deux termes $[ \mathcal{O}_X \xrightarrow{\exp} M^{\text{gr}} ]$ (le noyau étant $\mathbb{Z}$ et le conoyau étant le faisceau de groupes $M^{\text{gr}}$).
• Conséquence : La cohomologie de Betti logarithmique entière s'exprime directement par les sections globales de ce complexe :
  $$R\Gamma^{\log}_{\text{Betti}}(X, \mathbb{Z}) \simeq R\Gamma(X, L\text{Bin}^{\text{coaug}}_X(\text{exp}(\alpha)))$$
  Cela étend la formule de Steenbrink (valable pour $\mathbb{Q}$) au cas entier.

C. Approximation algébrique et Gerbes

• Les auteurs construisent une « approximation algébrique » $X^{\log}_H$ de l'espace de Kato-Nakayama sous la forme d'un cosheaf de champs (stacks).
• Ils montrent que le cosheaf d'espaces $[X^{\log}, \pi]$ (défini par les types d'homotopie des fibres) possède une structure de gerbe au-dessus du cosheaf de groupes $M^{\text{gr}, \vee}$.
• L'équivalence ci-dessus est interprétée géométriquement comme l'isomorphisme entre la cohomologie de ce gerbe et la cohomologie du complexe exponentiel via la monade binomiale.

4. Contributions Techniques et Innovations

1. Supériorité sur les algèbres $E_\infty$ : L'article démontre que la monade libre d'anneaux commutatifs dérivés ($\text{LSym}_{\mathbb{Z}}$) est inadaptée pour la cohomologie entière car elle produit trop de cohomologie négative. La monade binomiale $L\text{Bin}$ est « plus petite » et capture exactement la structure nécessaire pour les espaces nilpotents.
2. Lien entre géométrie algébrique et topologie : L'article établit un pont profond entre la cohomologie singulière (topologique) et la cohomologie cohérente de champs de classe supérieure (géométrie algébrique), notamment via l'identification de $L\text{Bin}(\mathbb{Z}[-n])$ avec la cohomologie du champ $K(H, n)$ où $H = \text{Spec}(\text{Bin}(\mathbb{Z}))$.
3. Généralisation des résultats de Steenbrink : La formule obtenue pour la cohomologie logarithmique entière est une généralisation directe et rigoureuse des résultats connus pour les coefficients rationnels, valable pour tout espace log-analytique fin et saturé.

5. Signification et Impact

Ce travail est fondamental pour plusieurs raisons :

• Théorie de l'homotopie entière : Il fournit un cadre robuste et calculable pour l'homotopie entière, dépassant les limitations des modèles rationnels ou des structures $E_\infty$ classiques. Il offre un nouvel outil pour étudier les espaces nilpotents via l'algèbre commutative dérivée.
• Géométrie Logarithmique : Il résout un problème ouvert concernant la description purement algébrique/analytique de la cohomologie de Betti logarithmique entière. Cela ouvre la voie à de nouvelles applications en théorie des motifs et en géométrie arithmétique, où les coefficients entiers sont cruciaux.
• Nouveaux Objets Mathématiques : L'introduction des anneaux binomiaux dérivés et leur étude systématique (notamment leur comportement sur les groupes de torsion et les degrés connectifs) enrichit considérablement le paysage de l'algèbre homotopique dérivée.

En résumé, cet article propose un changement de paradigme en remplaçant les structures d'algèbres commutatives classiques par des structures binomiales dérivées pour capturer la topologie entière, avec une application majeure et élégante à la géométrie logarithmique.