Purity in the tame cohomology

Résumé Technique : Pureté dans la Cohomologie Tame

Énoncé du Problème
L'article traite de l'échec du théorème de pureté cohomologique absolue pour les faisceaux à torsion $p$ dans la topologie étale sur des schémas de caractéristique $p$. Alors que la pureté est vérifiée pour les coefficients premiers à $p$ (théorème de Gabber-Fujiwara), elle échoue pour les faisceaux de de Rham-Witt logarithmiques $\nu_{m}(n)$ dans la topologie étale. Plus précisément, pour une paire régulière $(X, Z)$ de codimension $r$, l'image directe supérieure $R^{r+1}i_!\nu_{X,m}(n)$ ne s'annule pas nécessairement, ce qui fait obstacle à l'existence d'un isomorphisme de pureté $\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$. L'obstacle provient du fait que l'opérateur de Cartier inverse (ou la carte d'Artin-Schreier) n'est pas surjectif dans la topologie étale en raison de la présence de revêtements violemment ramifiés.

Méthodologie
L'auteur, Amine Koubaa, résout cet obstacle en déplaçant le cadre de la topologie étale vers la topologie tame (ou topologie tamisée), introduite par Hübner et Stalder. La méthodologie repose sur les composantes structurelles suivantes :

1. Espaces Adiques et Espaces à Anneau Discret : L'article utilise les espaces adiques à anneau discret, notés $X = \text{Spa}(X, S)$, pour fournir un cadre géométrique où la ramification tame est bien comportementée. La preuve exploite l'équivalence entre la cohomologie tame d'un schéma et la cohomologie de son espace adique associé.
2. Géométrie Logarithmique et Différentielles : L'outil technique central est le faisceau des différentielles logarithmiques. L'auteur introduit et analyse le faisceau $\Omega^+_{X/k}$, défini via des seminorms de Kähler et des « rangers » (un concept de Hübner et Temkin) qui capturent les différentielles avec une valuation bornée.
3. Résolution des Singularités : Les preuves supposent l'existence de la résolution des singularités et de la résolution des singularités enchâssées (spécifiquement pour les schémas log-lisses). Cela permet de réduire les cas généraux à des paires log-lisses $(X, \bar{X})$ où la frontière est un diviseur de type croisement normal simple.
4. L'Opérateur de Cartier : Une étape cruciale consiste à établir l'exactitude de la séquence impliquant l'opérateur de Cartier $C$ sur les faisceaux de différentielles fermées $Z\Omega^+$. Dans la topologie tame, l'opérateur de Cartier inverse devient surjectif, contrairement à la topologie étale où il échoue à cause de la ramification violente.
5. Théorème de Popescu : Pour étendre les résultats des schémas lisses sur des corps parfaits aux paires régulières sur des bases arbitraires de caractéristique $p$, l'article emploie le théorème de Popescu, exprimant les algèbres régulières comme des limites filtrées d'algèbres lisses.

Contributions Clés et Résultats

• Théorème de Pureté pour la Cohomologie Tame (Théorèmes 1.3 & 5.9) : Le résultat principal établit que pour une paire lisse $(X, Z)$ de codimension pure $r$ sur un corps parfait $k$ de caractéristique $p$, il existe un isomorphisme naturel dans la catégorie dérivée des faisceaux tame :
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  Ceci est vérifié sous l'hypothèse de la résolution des singularités. L'isomorphisme est construit via un morphisme de Gysin.

• Exactitude de la Séquence de Cartier (Théorème 4.27) : L'article prouve que sur les espaces adiques à anneau discret, la séquence
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  est exacte dans la topologie tame. Cette exactitude est le mécanisme qui restaure la pureté, car elle assure l'annulation du terme d'obstacle $R^{r+1}i_!$.

• Construction du Morphisme de Gysin (Section 5.1) : L'auteur construit un morphisme de Gysin pour les faisceaux $\Omega^+_{n}$ et l'étend aux faisceaux de de Rham-Witt logarithmiques $\nu_{m}(n)$. Cela implique de prouver que les images directes supérieures $R^ji_!\Omega^+_{n}$ s'annulent pour $j \neq r$ et que $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$.

• Généralisation aux Paires Régulières (Théorème 5.15) : En utilisant le théorème de Popescu, le résultat de pureté est généralisé des paires lisses sur des corps parfaits aux paires régulières $(X, Z)$ sur un schéma de base $S$ de caractéristique $p$. Le résultat stipule que :
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  dans la catégorie dérivée $D((Z/S)_t)$.

• Comparaison avec la Cohomologie Étale (Proposition 5.10) : L'article clarifie la relation entre les résultats tame et étales. Il montre que l'isomorphisme de pureté tame est la version « correcte », et que l'échec de la pureté étale est dû à la non-surjectivité de l'opérateur de Cartier en présence de ramification violente. Le faisceautage tame de l'image directe étale recouvre le résultat tame.

Signification et Revendications
L'article prétend fournir une solution complète au problème de pureté pour les faisceaux de de Rham-Witt logarithmiques en caractéristique positive en utilisant la topologie tame.

• Restauration de la Pureté : Il démontre que l'obstacle à la pureté dans la topologie étale (la non-annulation de $R^{r+1}i_!$) est un artefact de la ramification violente, laquelle est exclue dans la topologie tame.
• Avancée Méthodologique : En intégrant la théorie des espaces adiques (spécifiquement les espaces à anneau discret) avec la géométrie logarithmique et l'opérateur de Cartier, l'article fournit un cadre robuste pour traiter les coefficients à torsion $p$ là où les méthodes étales classiques échouent.
• Cohérence avec les Résultats Connus : Les résultats généralisent les théorèmes de semi-pureté de Milne et Gros et s'alignent sur le théorème de pureté absolue pour les coefficients premiers à $p$.
• Modestie sur les Hypothèses : L'auteur note explicitement que les résultats reposent sur l'hypothèse de la résolution des singularités. L'article mentionne que des travaux futurs visent à supprimer cette hypothèse, notamment concernant l'existence de l'opérateur de Cartier sur $\Omega^+$ sans dépendre de la résolution.

En résumé, l'article établit que « la pureté est vérifiée dans la topologie tame », offrant un isomorphisme naturel pour l'image directe avec support propre des faisceaux de de Rham-Witt logarithmiques, résolvant ainsi un problème de longue date dans la cohomologie des schémas en caractéristique $p$.