Étale cohomology of Stein algebras

1. Problématique et Contexte

L'article vise à établir un analogue du théorème de comparaison d'Artin dans le contexte de la géométrie Stein complexe.

• Contexte algébrique : Le théorème d'Artin ([SGA4III]) établit un isomorphisme entre la cohomologie étale d'une variété algébrique complexe $V$ et la cohomologie singulière de son analytification $V^{an}$. Cela permet de traduire des propriétés topologiques en termes algébriques et vice-versa.
• Contexte Stein : Pour un espace Stein $S$, on considère l'algèbre Stein $O(S)$ (les fonctions holomorphes globales sur $S$). La question centrale est de savoir si la cohomologie singulière de $S$ (à coefficients finis) est isomorphe à la cohomologie étale de l'anneau $O(S)$, c'est-à-dire de $\text{Spec}(O(S))$.
• Difficulté spécifique : Contrairement au cas algébrique où la comparaison fonctionne pour tous les schémas de type fini, dans le cadre Stein, les résultats de comparaison précédents (Benoist [Ben24, Ben25]) ne s'appliquaient qu'à des ouverts de Zariski ou des limites inductives, mais échouaient pour les schémas propres non-affines ou pour l'algèbre globale elle-même sans hypothèses de compacité. L'objectif est de prouver cet isomorphisme pour l'algèbre Stein elle-même et pour les schémas propres sur celle-ci.

2. Méthodologie

La preuve repose sur une approche globale et géométrique, s'éloignant des méthodes locales de descente cohomologique classiques utilisées pour les résultats antérieurs.

A. Réduction à un cas clé

Le théorème principal (Théorème 1.1) concernant les schémas propres sur $O(S)$ est réduit, via un argument de dévissage et un théorème de comparaison relative, à un cas particulier fondamental :
Théorème 1.2 : Pour un espace Stein de dimension finie $S$, l'application naturelle
$$H^k_{\text{ét}}(\text{Spec}(O(S)), \mathbb{Z}/m) \to H^k(S, \mathbb{Z}/m)$$
est un isomorphisme pour tout $k \ge 0$ et $m \ge 1$.

B. Stratégie de preuve : Descente cohomologique et « Killing » de classes

Pour prouver le Théorème 1.2, l'auteur utilise la descente cohomologique (via des hyper-recouvrements finis) pour comparer les deux côtés. La difficulté majeure réside dans le fait que les classes de cohomologie de degré $k > 0$ doivent pouvoir être « tuées » (annulées) par un revêtement approprié.

• Côté algébrique : Un théorème de Bhatt [Bha12] garantit que les classes de cohomologie étale peuvent être tuées par des revêtements finis plats.
• Côté analytique (Nouveau) : Il faut prouver un résultat analogue pour la cohomologie singulière de $S$. C'est l'objet du Théorème 1.7 (Théorème 3.1) : Pour toute classe $\alpha \in H^k(S, \mathbb{Z}/m)$, il existe un revêtement holomorphe fini plat $p: \tilde{S} \to S$ tel que $p^*\alpha = 0$.

C. Construction d'Oka et Topologie Algébrique

La preuve du Théorème 1.7 repose sur l'interaction entre la théorie de Oka et la topologie algébrique :

1. Espaces d'Eilenberg-MacLane et Moore : L'auteur construit des variétés complexes Oka $\Omega_{k,m}$ ayant le type d'homotopie d'un espace de Moore $M(\mathbb{Z}/m, k)$. Ces espaces sont construits comme des compléments de sous-ensembles compacts polynomialement convexes dans $\mathbb{C}^N$ (théorème de Kusakabe).
2. Principe de Oka : Grâce au théorème de Forstnerič, toute application continue d'un espace Stein vers une variété Oka est homotope à une application holomorphe. Cela permet de représenter les classes de cohomologie par des applications holomorphes vers ces modèles.
3. Annulation par revêtements : L'auteur montre que les classes tautologiques sur ces modèles $\Omega_{k,m}$ peuvent être annulées (ou relevées en cohomologie entière) par des revêtements finis plats spécifiques (définis par des puissances $z \mapsto z^m$).
4. Cas particuliers : Une analyse fine est nécessaire pour les degrés $k=1, 2$ (utilisant les groupes de Brauer) et $k=3, 4$ (nécessitant des arguments de relèvement vers des classes entières avant d'appliquer la théorie Oka).

D. Application aux classes entières (Coniveau)

Pour les applications aux classes entières (Théorème 1.5), l'auteur combine le théorème de comparaison avec des résultats profonds de géométrie algébrique (conjecture de Bloch-Kato, théorèmes de Colliot-Thélène-Voisin) pour montrer que les classes entières de degré $\ge 2$ s'annulent sur le complémentaire d'un sous-ensemble analytique fermé de codimension $\ge 1$.

3. Résultats Principaux

1. Théorème de Comparaison (Théorème 1.1 & 4.7) :
   Pour un espace Stein $S$ de dimension finie et un schéma propre $X$ de présentation finie sur $\text{Spec}(O(S))$, l'application de comparaison
   $$H^k_{\text{ét}}(X, \mathcal{L}) \to H^k(X^{an}, \mathcal{L}^{an})$$
   est un isomorphisme pour tout faisceau constructible $\mathcal{L}$. Cela généralise le théorème d'Artin au monde Stein.

2. Cohomologie des algèbres de Stein (Théorème 1.2 & 4.5) :
   L'isomorphisme $H^k_{\text{ét}}(\text{Spec}(O(S)), \mathbb{Z}/m) \cong H^k(S, \mathbb{Z}/m)$ est établi. Cela implique que la cohomologie étale d'une algèbre de Stein est purement topologique.

   • Conséquence : Pour $S = \mathbb{C}^n$, la cohomologie étale de $O(\mathbb{C}^n)$ est nulle en degré $>0$ (Corollaire 1.3).

3. Origine Algébrique des Classes Cohomologiques (Théorème 1.6 & 6.4) :
   Toute classe de cohomologie entière $\alpha \in H^k(S, \mathbb{Z})$ ($k \ge 1$) provient d'une variété algébrique affine $V$ via une application holomorphe $f: S \to V^{an}$. Autrement dit, $\alpha = f^*\beta$ pour une classe algébrique $\beta$.

4. Support des Classes Cohomologiques (Théorème 1.5 & 5.9) :
   Pour $k \ge 2$, toute classe entière $\alpha \in H^k(S, \mathbb{Z})$ s'annule sur le complémentaire d'un sous-ensemble analytique fermé de codimension $\ge 1$ (et peut même éviter un ensemble dénombrable prescrit).

5. Filtration de Poids Stein (Section 6.3) :
   L'auteur définit une filtration de poids Stein $W^{\text{St}}_\bullet$ sur la cohomologie de $S$ à coefficients finis, inspirée de la théorie de Hodge mixte de Deligne. Cette filtration est canonique, fonctorielle pour les applications holomorphes, et satisfait des propriétés analogues à la filtration de poids algébrique.

4. Signification et Impact

• Unification Algébro-Analytique : Ce travail comble un vide majeur en reliant la cohomologie étale (un outil purement algébrique) à la topologie des espaces de Stein (un objet analytique). Il montre que, malgré l'absence de compacité, les espaces de Stein partagent des propriétés de rigidité cohomologique avec les variétés algébriques projectives.
• Nouveaux Outils Topologiques : La construction de variétés Oka avec des types d'homotopie spécifiques (espaces de Moore) et leur utilisation pour annuler des classes de cohomologie ouvre une nouvelle voie méthodologique en géométrie complexe, exploitant le principe de Oka pour des problèmes de cohomologie.
• Limites de la Cohomologie Non Ramifiée : Le résultat sur la cohomologie non ramifiée (Théorème 5.11) montre que, contrairement au cas algébrique où elle est riche, la cohomologie non ramifiée des algèbres de Stein est triviale en degré $\ge 2$. Cela révèle une différence structurelle profonde entre la géométrie algébrique et la géométrie Stein.
• Applications Potentielles : Ces résultats fournissent des outils pour étudier les fonctions méromorphes et holomorphes via la topologie algébrique (ex: problèmes de type Hilbert 17ème, théorèmes d'indice-période) et offrent une nouvelle perspective sur la structure des algèbres de fonctions holomorphes.

En résumé, l'article établit un pont robuste entre la géométrie algébrique et la géométrie complexe Stein, démontrant que la topologie des espaces de Stein est entièrement contrôlée par des données algébriques via la cohomologie étale de leurs algèbres de fonctions globales.