On the cohomology of negative Tate twists via cyclotomic descent

1. Problématique et Contexte

L'article s'intéresse au calcul explicite de la cohomologie de Galois $H^i(G, A(m))$ où :

• $G = \text{Gal}(F_S/\mathbb{Q})$ est le groupe de Galois de l'extension maximale de $\mathbb{Q}$ non ramifiée en dehors d'un ensemble fini de places $S = \{p, \infty\}$ (avec $p$ premier impair).
• $A$ est un module discret $p$-primaire muni d'une action triviale de $G$ (par exemple $A = \mathbb{Q}_p/\mathbb{Z}_p$).
• $m$ est un entier négatif (ou plus généralement, un twist de Tate $A(m)$).

Le défi central réside dans la structure complexe de ces groupes de cohomologie lorsqu'ils sont vus comme modules sur l'algèbre d'Iwasawa. Les auteurs cherchent à organiser ces groupes de cohomologie en utilisant une structure universelle définie sur la tour cyclotomique $\mathbb{Q}_\infty = \bigcup_n \mathbb{Q}(\mu_{p^n})$, permettant de décomposer le problème global en problèmes locaux sur les « branches » de Teichmüller.

2. Méthodologie

La méthodologie repose sur une combinaison sophistiquée de la théorie de la descente, de la théorie d'Iwasawa et de l'algèbre homologique dans les $\infty$-catégories stables.

A. Descente Cyclotomique et Décomposition de Branches

Les auteurs introduisent le concept de descente cyclotomique. Ils considèrent la suite exacte courte de groupes de Galois :
$$1 \to H \to G \to \Gamma \to 1$$
où $H = \text{Gal}(F_S/\mathbb{Q}_\infty)$ et $\Gamma \cong \mathbb{Z}_p^\times$.
Le groupe $\Gamma$ se décompose en $\Gamma \cong \Delta \times \Gamma_1$, où $\Delta \cong \mu_{p-1}$ et $\Gamma_1 \cong 1+p\mathbb{Z}_p$.

L'idée clé est d'utiliser les idempotents de Teichmüller $e_j$ (associés aux caractères $\omega^j$ de $\Delta$) pour décomposer les modules. Ils démontrent que pour un twist de Tate $A(m)$, la cohomologie globale ne dépend que d'une seule branche spécifique de la décomposition du module universel. Plus précisément, le twist $m$ « sélectionne » la branche $-m \pmod{p-1}$.

B. Le Complexe Cyclotomique Universel

Ils définissent un objet universel, le complexe cyclotomique $X(A) = R\Gamma(H, A)$, qui vit dans la catégorie dérivée des modules $\Gamma$-discrets.
Le théorème principal de descente (Théorème 2.8) établit une équivalence canonique :
$$R\Gamma(G, A(m)) \simeq R\Gamma(\Gamma, X(A)\{m\})$$
où $\{m\}$ désigne le twist par le caractère $\chi_\Gamma^m$.

C. Réduction au Cône de $\gamma - u^{-m}$

En exploitant la structure de $\Gamma_1 \cong \mathbb{Z}_p$ (généré topologiquement par $\gamma$) et la décomposition en branches, les auteurs montrent que le calcul de la cohomologie se réduit à l'étude du cône (ou de la fibre) d'un endomorphisme spécifique.
Pour un caractère $\vartheta$ tel que $\vartheta|_\Delta = \omega^m$, ils prouvent que :
$$R\Gamma(G, A(\vartheta)) \simeq \text{fib}(\gamma - \vartheta^{-1}(\gamma) : e_{-m}X(A) \to e_{-m}X(A))$$
Cela signifie que la cohomologie est entièrement déterminée par l'action de l'opérateur $\gamma - u^{-m}$ (où $u = \langle \gamma \rangle$) sur la branche $-m$ du module dual.

D. Dualité de Pontryagin et Modules d'Iwasawa

La section 3 passe aux duals de Pontryagin pour travailler avec des modules compacts (plus adaptés à la théorie d'Iwasawa classique). Ils identifient le dual de $H^1(H, A)$ avec le module d'Iwasawa $S$-ramifié $X_S$.
L'isomorphisme clé obtenu est :
$$H^1(G, A(\vartheta))^\vee \simeq \frac{e_m X_S}{f_m \cdot e_m X_S}$$
où $f_m = \gamma^{-1} - u^{-m}$ est un élément de l'algèbre d'Iwasawa $\Lambda(\Gamma_1)$.

3. Résultats Principaux

Cas Spécial : $A = \mathbb{Q}_p/\mathbb{Z}_p$

En appliquant leurs résultats généraux au cas $A = \mathbb{Q}_p/\mathbb{Z}_p$ (avec $m \not\equiv 0 \pmod{p-1}$), les auteurs obtiennent des descriptions explicites des groupes de cohomologie en termes de la structure du module d'Iwasawa $X_S$.

1. Structure de $H^1$ :
   Le groupe $H^1(G, \mathbb{Q}_p/\mathbb{Z}_p(m))$ est isomorphe à la somme directe d'un nombre fini de copies de $\mathbb{Q}_p/\mathbb{Z}_p$ et d'un groupe fini. Le rang de corang (le nombre de copies de $\mathbb{Q}_p/\mathbb{Z}_p$) est donné par :
   $$\text{corank } H^1 = r_m + t_m$$
   où $r_m$ est le rang de $\Lambda$ de la branche $m$ de $X_S$ (égal à 1 si $m$ est impair, 0 si pair) et $t_m$ est lié à la multiplicité des zéros de la fonction $L$-p-adique.

2. Structure de $H^2$ :
   Le groupe $H^2(G, \mathbb{Q}_p/\mathbb{Z}_p(m))$ est isomorphe à $(\mathbb{Q}_p/\mathbb{Z}_p)^{t_m}$, où $t_m$ correspond à la multiplicité du zéro de la fonction caractéristique de $X_S$ en $T = u^{-m}-1$.

   • Résultat crucial : $H^2(G, \mathbb{Q}_p/\mathbb{Z}_p(m)) = 0$ si et seulement si la fonction zêta $p$-adique $\zeta_{k,p}(m+1)$ ne s'annule pas en ce point (via la conjecture principale d'Iwasawa).

3. Comportement Asymptotique :
   Pour presque tout $m$ (à l'exception d'un nombre fini), $t_m = 0$. Cela implique que pour presque tout $m$, $H^2$ est trivial et le rang de $H^1$ est déterminé uniquement par la parité de $m$ (1 si impair, 0 si pair).

4. Contributions Clés

1. Unification par le Complexe Universel : L'article montre que toute la cohomologie des twists de Tate négatifs peut être « organisée » par un seul objet universel $X(A)$ sur la tour cyclotomique, éliminant la nécessité de traiter chaque twist individuellement.
2. Localisation sur les Branches : La preuve rigoureuse que le twist $m$ ne contribue que sur la branche $-m$ de la décomposition de Teichmüller. Cela simplifie considérablement les calculs en réduisant un problème global à un problème sur un sous-module spécifique.
3. Interprétation Géométrique via Fibres : L'identification de la cohomologie comme la fibre de l'opérateur $\gamma - u^{-m}$ (ou $T - (u^{-m}-1)$ dans les coordonnées d'Iwasawa) fournit une interprétation géométrique directe reliant la cohomologie de Galois aux zéros des fonctions $L$-p-adiques.
4. Lien avec la Conjecture Principale : L'article rétablit et clarifie le lien entre la nullité de $H^2$ et la non-annulation de la fonction zêta $p$-adique $\zeta_p(m+1)$, offrant une perspective nouvelle via la descente cyclotomique.

5. Signification

Ce travail est significatif car il offre un cadre unifié et conceptuel pour comprendre la cohomologie de Galois des twists de Tate, un sujet central en théorie des nombres arithmétique.

• Il démontre que la complexité apparente des twists négatifs est en réalité contrôlée par la structure fine du module d'Iwasawa $S$-ramifié.
• Il fournit des outils computationnels puissants (via la décomposition en branches et les fibres) pour analyser les groupes de cohomologie sans avoir à recalculer les complexes de cohomologie à chaque fois.
• Les résultats renforcent la connexion profonde entre la théorie d'Iwasawa, la cohomologie galoisienne et les valeurs spéciales des fonctions $L$-p-adiques, confirmant que la structure de $H^2$ est un indicateur précis de la non-annulation des valeurs de fonctions zêta.

En résumé, Kim et Ryu réussissent à « désencombrer » la cohomologie des twists négatifs en la ramenant à l'étude d'un seul opérateur sur une seule branche d'un module universel, offrant ainsi une compréhension plus profonde et plus maniable de ces objets fondamentaux.