Une conjecture $C_{\rm st}$ pour la cohomologie à support compact

En démontrant que l'adjonction d'analogues $p$-adiques de $\log p$ et $\log 2\pi i$ annule la cohomologie galoisienne du anneau des fonctions analytiques sur la courbe de Fargues-Fontaine en degrés supérieurs ou égaux à 1, cet article permet de formuler des conjectures de type $C_{\rm dR}$ et $C_{\rm st}$ pour la cohomologie à support compact des variétés analytiques $p$-adiques.

L'essentiel

Imaginez que les mathématiques p-adiques sont comme un immense labyrinthe rempli de trésors cachés (des informations sur la géométrie des nombres). Les mathématiciens Pierre Colmez, Sally Gilles et Wiesława Nizioł ont écrit une note pour expliquer comment mieux naviguer dans ce labyrinthe, surtout quand on cherche des trésors dans des zones spécifiques appelées "supports compacts".

Voici une explication simple de leur découverte, utilisant des analogies du quotidien.

1. Le Problème : Un Labyrinthe avec des "Fantômes"

Imaginons que vous essayez de prendre une photo d'un objet (une variété mathématique) pour comprendre sa structure.

• La méthode habituelle : Pour les objets "propres" (comme une sphère parfaite), vous avez une recette magique (les conjectures $C_{dR}$ et $C_{st}$) qui vous permet de transformer cette photo brute en un dessin technique parfait. C'est comme si vous aviez un traducteur automatique qui convertit une langue compliquée (la cohomologie pro-étale) en une langue claire (la cohomologie de de Rham).
• Le problème des "supports compacts" : Quand l'objet n'est pas fermé (comme une surface ouverte ou un trou), la recette habituelle échoue. Pourquoi ? Parce qu'en essayant de traduire, vous commencez à voir des fantômes.
  • Ces "fantômes" sont des erreurs mathématiques qui apparaissent dans les degrés supérieurs (les niveaux profonds du labyrinthe). Ils sont causés par le fait que les outils de traduction (les anneaux de périodes comme $B_{dR}$) ont eux-mêmes des "bruits de fond" ou des échos indésirables.
  • Si vous essayez de traduire sans nettoyer ces fantômes, votre dessin final sera rempli de lignes parasites et ne ressemblera plus à l'objet original.

2. La Solution : Ajouter un "Désinfectant" Magique

Pour éliminer ces fantômes, les auteurs proposent d'ajouter un ingrédient secret à leur recette de traduction.

• L'ingrédient : Ils ajoutent un "logarithme" spécial. Imaginez que les fantômes sont comme de la poussière collante qui s'accroche partout. Le logarithme ($\log t$ ou $\log 2i\pi$) agit comme un désinfectant puissant ou un aimant anti-poussière.
• L'action : Quand on ajoute ce logarithme à l'anneau de traduction, il "tue" instantanément tous les fantômes (la cohomologie galoisienne) qui apparaissent aux niveaux supérieurs (degré $\ge 1$).
  • Avant : L'anneau avait des trous et des échos.
  • Après : L'anneau devient "parfaitement propre". Il ne garde que l'information essentielle (le degré 0) et rejette tout le bruit parasite.

C'est un peu comme si, pour écouter une musique claire dans une pièce réverbérante, vous ajoutiez des panneaux acoustiques spéciaux qui absorbent tous les échos, ne laissant passer que la voix pure du chanteur.

3. Le Défi Spécifique : La Courbe de Fargues-Fontaine

Le papier se concentre sur un objet mathématique très spécial appelé la courbe de Fargues-Fontaine. C'est une sorte de "super-territoire" où vivent ces anneaux de périodes.

• Les auteurs montrent qu'il est facile de nettoyer les fantômes sur certains terrains (comme $B_{dR}$), mais que c'était un mystère sur ce terrain spécifique ($B$, l'anneau des fonctions analytiques sur la courbe).
• Ils ont découvert qu'en ajoutant non seulement un logarithme, mais aussi un logarithme lié à un nombre spécial ($\log \tilde{p}$), ils pouvaient nettoyer tout le terrain. C'est une surprise, car ils pensaient que ce terrain était trop complexe pour être nettoyé avec seulement quelques outils.

4. Le Résultat Final : Une Nouvelle Recette pour les Objets Ouverts

Grâce à ce "désinfectant" (l'ajout des logarithmes), les auteurs peuvent enfin écrire une nouvelle recette (une conjecture) pour les objets ouverts (à support compact).

• Avant : On ne savait pas comment traduire correctement les objets ouverts sans se tromper.
• Maintenant : Avec les nouveaux outils ($B_{pFF}$ et $B_{pdR}$, qui sont les versions "nettoyées" des anciens outils), on peut enfin dire : "Voici comment extraire la vraie forme géométrique d'un objet ouvert à partir de ses données p-adiques."

En Résumé

Imaginez que vous vouliez reconstruire un puzzle complexe (la géométrie) à partir de pièces dispersées (les données p-adiques).

1. Pour les puzzles fermés, les pièces s'emboîtent bien.
2. Pour les puzzles ouverts, il y a des pièces fantômes qui bloquent tout.
3. Colmez, Gilles et Nizioł ont inventé un aimant spécial (les logarithmes) qui attire et élimine ces pièces fantômes.
4. Grâce à cela, ils peuvent enfin assembler le puzzle ouvert correctement et proposer une nouvelle règle universelle pour le faire.

C'est une avancée majeure car cela ouvre la porte à l'étude mathématique d'objets plus complexes et plus "ouverts" que jamais auparavant, en garantissant que les résultats obtenus sont purs et exacts.

Résumé technique

Voici un résumé technique détaillé de l'article « Une conjecture $C_{st}$ pour la cohomologie à support compact » de Pierre Colmez, Sally Gilles et Wiesława Nizioł.

1. Problématique et Contexte

Les conjectures classiques de type $C_{dR}$ et $C_{st}$ (Colmez-Nizioł [4]) permettent d'extraire les cohomologies de de Rham ($H^n_{dR}$) et de Hyodo-Kato ($H^n_{HK}$) des variétés analytiques $p$-adiques à partir de leur cohomologie pro-étale $p$-adique. Ces conjectures établissent des isomorphismes entre les cohomologies géométriques et des foncteurs de Hom équivariants sous l'action du groupe de Galois $G_K$ vers des anneaux de périodes ($B_{dR}$, $B_{st}$).

Cependant, ces recettes échouent pour la cohomologie à support compact ($H^n_{pro\acute{e}t, c}$). Les auteurs identifient deux obstacles majeurs :

1. L'utilisation du foncteur $\text{Hom}$ standard est insuffisante ; il faut utiliser un $\text{RHom}$ dérivé.
2. La cohomologie galoisienne des anneaux de périodes ($B_{dR}$, $B_{st}$) n'est pas triviale en degré 1. En particulier, $H^1(G_K, B_{dR})$ contient des termes parasites liés à $\log \chi_{cycl}$ (le logarithme du caractère cyclotomique). Si l'on ne "tue" pas ces termes, on obtient des isomorphismes incorrects ou des groupes de cohomologie doublés (via des extensions non triviales).

L'objectif de l'article est de construire des extensions des anneaux de périodes qui annulent la cohomologie galoisienne en degrés $\ge 1$, permettant ainsi de formuler une conjecture correcte pour le cas à support compact.

2. Méthodologie

La stratégie repose sur l'adjonction d'éléments logarithmiques spécifiques aux anneaux de périodes pour trivialiser les classes de cohomologie non nulles.

A. Le cas de $B_{dR}$ (Folklore)

Les auteurs commencent par rappeler un résultat connu pour l'anneau $B_{dR}$.

• Problème : $H^1(G_K, B_{dR}) \cong K \cdot \log \chi_{cycl}$.
• Solution : On adjoint un logarithme de la variable $t$ (le $2i\pi$$p$-adique de Fontaine), noté$\log t$, à$B_{dR}$.
• Action : L'action de $G_K$ est définie par $\sigma(\log t) = \log t + \log \chi_{cycl}(\sigma)$.
• Résultat : Dans l'anneau étendu $B_{pdR} := B_{dR}[\log t]$, la cohomologie galoisienne devient triviale en degrés $\ge 1$ : $H^i(G_K, B_{pdR}) = 0$ pour $i \ge 1$. Cela permet de "tuer" le terme $\log \chi_{cycl}$.

B. Le cas de la courbe de Fargues-Fontaine et de l'anneau $B$

Le cœur de la nouveauté réside dans l'application de cette méthode à l'anneau $B = \mathcal{O}(Y_{FF})$ des fonctions analytiques sur la courbe de Fargues-Fontaine (privée des diviseurs $p=0$ et $\tilde{p}=0$).

• Structure de $B$ : L'anneau $B$ est lié à la géométrie de la courbe $Y_{FF}$. Sa réduction modulo $t$ est isomorphe à un produit infini de corps $C$ (corps des nombres complexes $p$-adiques).
• Extension nécessaire : Pour tuer la cohomologie de $B$, les auteurs doivent adjoindre non seulement $\log t$, mais aussi un logarithme de $\tilde{p}$ (noté $\log \tilde{p}$), où $\tilde{p} = [p^\flat]$.
• Définition des actions :
  • $\sigma(\log \tilde{p}) = \log \tilde{p} + \text{Kum}(\sigma) \cdot t$ (où $\text{Kum}$ est le cocycle de Kummer).
  • $\sigma(\log t) = \log t + \log \chi_{cycl}(\sigma)$.
• Anneaux construits :
  • $B_{FF}^+ = B[\log \tilde{p}]$
  • $B_{FF} = B_{FF}^+[1/t]$
  • $B_{pFF}^+ = B_{FF}^+[\log t]$
  • $B_{pFF} = B_{pFF}^+[1/t]$

Les auteurs démontrent que l'ajout de ces deux logarithmes suffit à annuler la cohomologie galoisienne en degrés supérieurs ou égaux à 1 pour ces nouveaux anneaux.

3. Résultats Principaux

Théorème 1.4 (Cas $B_{dR}$)

Pour $\Lambda = B_{pdR}$ ou $B_{pdR}$, on a :
$$H^0(G_K, \Lambda) = K, \quad H^i(G_K, \Lambda) = 0 \text{ pour } i \ge 1.$$

Théorème 2.4 (Cas $B$ - Résultat nouveau)

Pour $\Lambda = B_{pFF}^+$ ou $B_{pFF}$, on a :
$$H^0(G_K, \Lambda) = F, \quad H^i(G_K, \Lambda) = 0 \text{ pour } i \ge 1.$$
(Note : $F$ est le corps de base non ramifié, $K$ est une extension finie totalement ramifiée).

La preuve repose sur une analyse fine de la suite exacte de cohomologie associée à la filtration par les puissances de $t$, en utilisant le fait que $B/tB$ est un produit de copies de $C$, et en montrant par récurrence sur le degré des polynômes en $\log \tilde{p}$ et $\log t$ que les classes de cohomologie se trivialisent.

Remarque importante : Les auteurs soulignent que cette méthode ne fonctionne pas directement avec les anneaux classiques $B_{cris}^+$ ou $B_{rig}^+$, car leur structure modulo $t$ est trop complexe pour permettre une trivialisation par adjonction d'un nombre fini d'éléments. L'anneau $B$ (fonctions sur la courbe) offre une structure plus "lisse" qui rend ce résultat possible.

4. La Conjecture $C_{st}$ pour le support compact

Grâce à ces résultats, les auteurs formulent une conjecture unifiée pour la cohomologie à support compact des variétés analytiques partiellement propres $Y$ définies sur $K$.

Conjecture 3.1 :
Il existe des isomorphismes naturels (de modules filtrés et de modules $(\varphi, N, G_K)$) :

1. Version $C_{dR}$ :
   $$R\Gamma_{dR}(Y) \simeq R\text{Hom}_{G_K}(R\Gamma_{pro\acute{e}t, c}(Y_{C_p}, \mathbb{Q}_p(d))[2d], B_{pdR})$$
2. Version $C_{st}$ :
   $$R\Gamma_{HK}(Y) \simeq \varinjlim_{[L:K]<\infty} R\text{Hom}_{GL}(R\Gamma_{pro\acute{e}t, c}(Y_{C_p}, \mathbb{Q}_p(d))[2d], B_{pFF})$$

Où $R\text{Hom}_{GL}$ désigne les morphismes continus équivariants.

5. Signification et Impact

• Correction des formules existantes : L'article résout le problème technique empêchant l'extension des conjectures de comparaison $p$-adiques au cas non-propre (support compact). Il montre que l'usage de $\text{Hom}$ simple est erroné et que l'ajout de logarithmes est indispensable pour éliminer les obstructions de cohomologie de degré 1.
• Nouveaux objets mathématiques : L'introduction et l'étude des anneaux $B_{pFF}$ (extensions de $B$ par $\log \tilde{p}$ et $\log t$) ouvrent de nouvelles perspectives dans la théorie de Hodge $p$-adique, reliant la géométrie de la courbe de Fargues-Fontaine à la théorie des représentations galoisiennes.
• Unification : La conjecture proposée unifie les cas propres et non-propres sous un même formalisme, en utilisant des anneaux de périodes adaptés ($B_{pdR}$ et $B_{pFF}$) qui sont "parfaits" pour la cohomologie à support compact.
• Limites et perspectives : Le fait que cela ne fonctionne pas pour $B_{cris}^+$ suggère des différences structurelles profondes entre les anneaux de périodes classiques et ceux liés à la courbe de Fargues-Fontaine dans le contexte du support compact.

En résumé, cet article fournit les outils techniques (annulation de la cohomologie galoisienne via des logarithmes) et la formulation conjecturale nécessaire pour étendre la théorie de Hodge $p$-adique aux variétés non-compactes, un domaine jusqu'alors difficilement accessible avec les méthodes standards.