Un lemme de mobilité pour la cohomologie à support

Informations fondamentales

• ID de l'article: 2207.08297
• Titre: A moving lemma for cohomology with support
• Auteur: Stefan Schreieder (Université Leibniz de Hanovre)
• Classification: math.AG (géométrie algébrique), math.KT (K-théorie)
• Date de publication: 2024, publié dans Épijournal de Géométrie Algébrique
• Lien de l'article: https://arxiv.org/abs/2207.08297

Résumé

Cet article établit un lemme de mobilité pour une classe naturelle de théories de cohomologie à support (incluant la cohomologie étale ou pro-étale avec coefficients appropriés), applicable aux classes de cohomologie à support sur les k-variétés quasi-projectives lisses admettant une compactification projective lisse (comme dans le cas de caractéristique zéro). Ceci entraîne les conséquences importantes suivantes pour ces k-variétés et théories de cohomologie : généralisations locales et globales des théorèmes d'effacement de Quillen, Bloch-Ogus et Gabber, une version de niveau fini de la conjecture de Gersten en caractéristique zéro, et généralisations de l'injectivité en cohomologie étale et du théorème de pureté en codimension 1. Les résultats montrent que les groupes de cohomologie non ramifiée raffinée de Sch23 sont motiviques.

Contexte et motivation de la recherche

Contexte du problème

En géométrie algébrique, le lemme de mobilité de Chow permet de déplacer les chaînes algébriques fermées en position générale par rapport à un sous-ensemble fermé S⊂X au sens de l'équivalence rationnelle. L'essence de la conjecture de Gersten est un théorème d'effacement, qui est équivalent à un lemme de mobilité analogue pour les classes à support dans des cas particuliers (X affine, S ensemble fini de points).

Motivation de la recherche

1. Complétude théorique: Les théorèmes d'effacement de Quillen, Bloch-Ogus et Gabber sont-ils des cas particuliers d'un lemme de mobilité plus général?
2. Besoins techniques: Peut-on déplacer les classes à support Z⊂X vers un support Z' tel que Z' soit en bonne position par rapport à un sous-ensemble fermé arbitraire S⊂X?
3. Valeur applicative: Un tel lemme de mobilité produirait de nouvelles applications dépassant la conjecture de Gersten originale.

Limitations des méthodes existantes

• Les théorèmes d'effacement classiques ne valent que dans des cas particuliers (variétés affines, support de dimension zéro)
• Absence d'une théorie générale traitant les supports S de dimension élevée
• Les méthodes existantes se comportent mal en localisation

Contributions principales

1. Lemme de mobilité principal: Établissement du lemme de mobilité pour les classes de cohomologie à support sur les k-variétés quasi-projectives lisses admettant une compactification projective lisse
2. Généralisation des théorèmes d'effacement: Généralisations locales et globales des théorèmes de Quillen, Bloch-Ogus et Gabber
3. Version de niveau fini de la conjecture de Gersten: Établissement d'une version de niveau fini de la conjecture de Gersten en caractéristique zéro
4. Généralisation des théorèmes de pureté: Généralisation de l'injectivité en cohomologie étale et du théorème de pureté en codimension j+1
5. Propriétés motiviques: Preuve du caractère motivique des groupes de cohomologie non ramifiée raffinée

Explication détaillée des méthodes

Formulation du problème

Pour un k-schéma algébrique lisse équidimensionnel X et des sous-ensembles fermés S,Z⊂X (dimZ < dimX), on cherche des sous-ensembles fermés Z'⊂W⊂X tels que:

• Z⊂W, dimZ' = dimZ, dimW = dimZ+1
• Z' et W\Z s'intersectent proprement avec S
• Pour tout α∈H_Z(X,n), il existe α'∈H_{Z'}(X,n) tel que α et α' ont la même image dans H*_W(X,n)

Cadre technique fondamental

1. Théories de cohomologie tordues

Définition de théories de cohomologie (X,Z) ↦ H*_Z(X,n) satisfaisant:

• C1 (excision): Compatibilité des immersions ouvertes
• C2 (pushforwards): Morphismes de poussée pour les applications propres
• C3 (suite exacte longue): Suite exacte longue pour les triplets
• C4 (action des cycles): Action des cycles algébriques
• C5 (semi-pureté): Propriétés d'annulation sous conditions dimensionnelles

2. Action des cycles sur les variétés ouvertes

Pour des schémas projectifs lisses équidimensionnels X,Y et un cycle Γ∈Z^c(X×Y), construction de l'action:

Γ^(W)_*: H^i_Z(U,n) → H^{i+2c-2d_X}_{Z'}(U',n+c-d_X)

où U=X\R, U'=Y\R' sont des ouverts appropriés.

3. Stratégie de preuve du lemme de mobilité

1. Réduction au cas projectif: Utilisation de la compactification projective lisse
2. Application du lemme de mobilité de Chow: Application du lemme de mobilité de Levine à la diagonale Δ_X⊂X×X
3. Utilisation de l'action des cycles: Déplacement des classes via l'action des cycles sur la cohomologie
4. Traitement des difficultés techniques: Gestion technique du cas où X est seulement un ouvert d'un schéma projectif

Points d'innovation technique

1. Cadre théorique unifié

Unification de différentes théories de cohomologie (étale, pro-étale, etc.) dans un cadre axiomatique unique.

2. Analyse fine de l'action des cycles

Analyse détaillée de l'action des cycles algébriques sur la cohomologie des variétés ouvertes, en particulier:

• Compatibilité avec l'équivalence rationnelle
• Comportement en localisation
• Propriétés fonctorielles

3. Globalisation du lemme de mobilité

Généralisation du cas affine classique aux variétés quasi-projectives générales, avec traitement des supports de dimension arbitraire.

Théorèmes principaux

Théorème 1.1 (Lemme de mobilité)

Soit X un k-schéma algébrique lisse équidimensionnel admettant une compactification projective lisse, et S,Z⊂X des sous-ensembles fermés avec dimZ < dimX. Alors il existe des sous-ensembles fermés Z'⊂W⊂X satisfaisant:

• Z⊂W, dimZ' = dimZ, dimW = dimZ+1
• Z' et W\Z s'intersectent proprement avec S
• Pour tout α∈H_Z(X,n), il existe α'∈H_{Z'}(X,n) tel que α et α' ont la même image dans H*_W(X,n)

Corollaire 1.2 (Effacement global)

Sous les conditions précédentes, si dimS + dimZ < dimX, alors il existe un voisinage U⊂X de S et un sous-ensemble fermé W⊂X tels que l'application composée:

H*_Z(X,n) → H*_W(X,n) → H*_W(U,n)

soit nulle.

Corollaire 1.5 (Version de niveau fini de la conjecture de Gersten)

Pour une variété affine lisse X sur un corps de caractéristique zéro, étant donné une chaîne de points Z_c = {x} ⊂ Z_ ⊂ ⋯ ⊂ Z_1 ⊂ Z_0 = X_x, après raffinement approprié, le complexe suivant est exact:

0 → H^i(X_x,n) → H^i_{BM}(X_x\Z_1) → ⋯ → H^0_{BM}(Z_i\Z_{i+1}) → 0

Applications et résultats

1. Caractère motivique de la cohomologie non ramifiée raffinée

Corollaire 1.7: Pour des schémas projectifs lisses équidimensionnels X,Y, il existe un appairage biadditivement fonctoriel:

CH^c(X×Y) × H^i_{j,nr}(X,n) → H^{i+2c-2d_X}_{j+c-d_X,nr}(Y,n+c-d_X)

fonctoriel par rapport à la composition des correspondances.

2. Formule du fibré projectif

Corollaire 6.12: Il existe un isomorphisme canonique:

⊕_{l=0}^{min(j,n)} H^{i-2l}_{j-l,nr}(Y,m-l) ≃ H^i_{j,nr}(Y×ℙ^n_k,m)

3. Invariance birationnelle

Corollaire 6.14: Si f: X ⤏ Y est une application birationnelle qui est un isomorphisme en codimension c, alors pour j ≤ c:

f*: H^i_{j,nr}(Y,n) ≃ H^i_{j,nr}(X,n)

Détails techniques

Cohomologie pro-étale

L'article vérifie en détail que la cohomologie pro-étale satisfait les axiomes requis C1-C5. Les techniques clés incluent:

• Dualité de Poincaré: f*_(d)2d ≃ f!
• Pureté: i*_(-c)-2c ≃ i!
• Formalisme des six foncteurs: Système complet de foncteurs de poussée et tirage

Morphismes de classe de cycles

Construction des morphismes de classe de cycles:

cl^X_Z(Γ) ∈ H^{2c}_Z(X,ℤ_ℓ(c))

satisfaisant:

• Linéarité
• Compatibilité avec les morphismes de poussée et tirage
• Formule du cup-produit

Travaux connexes

Résultats classiques

• Lemme de mobilité de Chow Cho56: Mobilité des cycles algébriques
• Quillen Qui73: Effacement en K-théorie
• Bloch-Ogus BO74: Conjecture de Gersten en cohomologie étale
• Gabber Gab94: Preuve dans le cas général

Développements modernes

• Levine Lev98,Lev05: Lemme de mobilité pour les groupes de Chow supérieurs
• Cohomologie non ramifiée raffinée Sch23: Travaux antérieurs de l'auteur

Conclusion et discussion

Conclusions principales

1. Établissement d'un lemme de mobilité général pour la cohomologie à support
2. Unification et généralisation de plusieurs résultats classiques
3. Preuve du caractère motivique de la cohomologie non ramifiée raffinée
4. Fourniture d'une version de niveau fini de la conjecture de Gersten

Limitations

1. Nécessité de l'existence d'une compactification projective lisse (comme en caractéristique zéro)
2. Les sous-ensembles Z' après mobilité ne se localisent généralement pas bien
3. La vérification de certaines conditions techniques (comme l'intersection propre) peut être complexe

Directions futures

1. Généralisation à des schémas de base plus généraux
2. Connexions avec la théorie de l'homotopie motivique
3. Applications en géométrie arithmétique

Évaluation approfondie

Avantages

1. Unité théorique: Unification de plusieurs résultats apparemment indépendants dans un cadre unique
2. Innovation technique: Analyse fine de l'action des cycles et globalisation du lemme de mobilité
3. Applicabilité large: Applications importantes tant en théorie abstraite qu'en calculs concrets
4. Complétude de la preuve: Détails techniques bien traités, en particulier la vérification de la cohomologie pro-étale

Insuffisances

1. Complexité technique: La preuve implique de nombreux détails techniques pouvant affecter la lisibilité
2. Portée d'application: Certaines restrictions sur la caractéristique du corps de base
3. Difficulté computationnelle: Les calculs en applications pratiques peuvent rester difficiles

Impact

1. Contribution théorique: Nouveaux outils pour les théories de cohomologie en géométrie algébrique
2. Valeur pratique: Applications potentielles en théorie motivique et géométrie arithmétique
3. Reproductibilité: Résultats théoriques, vérification relativement aisée

Domaines d'application

1. Calculs de cohomologie en géométrie algébrique
2. Recherche en théorie motivique
3. Applications en géométrie arithmétique
4. K-théorie et théorie des cycles

Références bibliographiques

Les principales références incluent:

• Cho56 W.-L. Chow, "On equivalence classes of cycles in an algebraic variety"
• BO74 S. Bloch and A. Ogus, "Gersten's conjecture and the homology of schemes"
• Qui73 D. Quillen, "Higher algebraic K-theory, I"
• BS15 B. Bhatt and P. Scholze, "The pro-étale topology of schemes"
• Sch23 S. Schreieder, "Refined unramified cohomology of schemes"

Cet article apporte des contributions importantes à la théorie de la cohomologie en géométrie algébrique, non seulement en unifiant plusieurs résultats classiques, mais aussi en fournissant des outils puissants pour les recherches ultérieures. Son innovation technique et sa profondeur théorique en font une référence importante dans ce domaine.