De Rham logarithmic classes and Tate conjecture

1. Problématique et Contexte

L'article s'attaque à deux problèmes fondamentaux en géométrie algébrique arithmétique :

1. La caractérisation des classes de cycles algébriques : Comment identifier, au sein de la cohomologie de De Rham d'une variété lisse, les classes qui proviennent de cycles algébriques ?
2. La conjecture de Tate : Pour une variété projective lisse $X$ définie sur un corps $k$ de type fini sur $\mathbb{Q}$, toute classe de cohomologie étale $\ell$-adique (ici $p$-adique) invariante sous l'action du groupe de Galois absolu est-elle la classe d'un cycle algébrique ?

L'auteur introduit une nouvelle notion, celle de classes logarithmiques de De Rham, pour établir un lien direct entre la structure de la cohomologie et l'existence de cycles algébriques, permettant ainsi de prouver la conjecture de Tate dans le cadre $p$-adique pour les corps de type fini sur $\mathbb{Q}$.

2. Méthodologie et Outils Théoriques

La démonstration repose sur une synthèse originale de plusieurs théories avancées :

• Cohomologie Logarithmique de De Rham : L'auteur définit le sous-complexe $\Omega^\bullet_{X, \log} \hookrightarrow \Omega^\bullet_X$ des formes logarithmiques (généralement introduites par Bloch dans le contexte $p$-adique, mais ici adaptées au cas de caractéristique 0). Les classes logarithmiques sont les images de la cohomologie étale de ce sous-complexe dans la cohomologie de De Rham usuelle.
• Théorie des Motifs et Transferts : L'approche utilise massivement la théorie des motifs de Voevodsky. L'auteur démontre que les faisceaux de formes logarithmiques admettent des transferts (compatibles avec les correspondances finies) et sont $\mathbb{A}^1$-invariants. Grâce au théorème de Voevodsky, cela implique que leur cohomologie est $\mathbb{A}^1$-locale.
• Isomorphismes de Pureté Motifs : Une étape cruciale est la démonstration que les isomorphismes de pureté (relatifs aux sous-variétés lisses) préservent les classes logarithmiques. Cela permet de réduire l'étude des classes de codimension $d$ à des problèmes de codimension 1 (faisceaux de Picard).
• Géométrie $p$-adique et Modèles Intégraux : Pour le cas $p$-adique, l'article utilise des modèles intégraux lisses $X_O$ sur l'anneau des entiers $O_K$ d'un corps $p$-adique. L'analyse se fait via la complétion formelle le long de la fibre spéciale et la topologie pro-étale.
• Comparaison $p$-adique (Crystalline/De Rham) : L'auteur exploite l'isomorphisme de comparaison de Fontaine-Messing (ou $B_{cris}$) pour relier les classes de cohomologie étale $p$-adiques invariante de Galois aux classes de De Rham sur le modèle formel.

3. Résultats Principaux

A. Caractérisation des Classes Logarithmiques (Théorème 2)

Pour une variété algébrique lisse $X$ sur un corps $k$ de caractéristique 0 :

1. Inclusion : La classe de De Rham d'un cycle algébrique de codimension $d$ est une classe logarithmique de bidegré $(d, d)$.
2. Converse : Toute classe logarithmique de De Rham de bidegré $(d, d)$ est la classe d'un cycle algébrique de codimension $d$.
3. Annulation : Il n'existe aucune classe logarithmique non triviale de bidegré $(p, q)$ si $p \neq q$. En particulier, les classes logarithmiques n'existent pas en degré impair.

La preuve utilise une induction finie sur la codimension, reposant sur le fait que les classes logarithmiques sont localement acycliques pour la topologie de Zariski et que les isomorphismes de pureté les préservent.

B. Version Analytique $p$-adique (Proposition 9)

Pour une variété projective lisse $X$ sur un corps $p$-adique $K$ à bonne réduction, l'auteur définit des classes logarithmiques analytiques de De Rham. Il montre un résultat analogue :

• Une classe logarithmique analytique de type $(d, d)$ est la classe d'un cycle algébrique formel.
• Il n'y a pas de classes non triviales pour $p \neq q$.

C. Preuve de la Conjecture de Tate (Théorème 3)

C'est le résultat central de l'article. Soit $X$ une variété projective lisse sur un corps $k$ de type fini sur $\mathbb{Q}$.

• Hypothèse : $p$ est une bonne réduction pour $X$.
• Démonstration :
  1. Soit $\alpha \in H^{2d}_{et}(X_{\bar{k}}, \mathbb{Q}_p)(d)^G$ une classe de Tate (invariante par le groupe de Galois absolu $G$).
  2. Via l'isomorphisme de comparaison $p$-adique, $\alpha$ correspond à une classe de De Rham $w(\alpha)$ sur le modèle formel.
  3. Grâce à la Proposition 10, cette classe $w(\alpha)$ est montrée être une classe logarithmique analytique.
  4. Par la Proposition 9, $w(\alpha)$ est donc la classe d'un cycle formel.
  5. L'auteur utilise une technique de « désingularisation » et de moyennage sur les composantes irréductibles (en exploitant l'action transitive du groupe de Galois local et l'invariance globale) pour montrer que ce cycle formel provient bien d'un cycle algébrique défini sur $k$.
• Conclusion : L'application classe de cycle $Z^d(X) \otimes \mathbb{Q}_p \to H^{2d}_{et}(X_{\bar{k}}, \mathbb{Q}_p)(d)^G$ est surjective. La conjecture de Tate est vraie pour $X$ avec des coefficients $\mathbb{Q}_p$.

4. Signification et Implications

• Résolution de la Conjecture de Tate : L'article fournit une preuve de la conjecture de Tate pour les variétés projectives lisses sur les corps de type fini sur $\mathbb{Q}$ avec des coefficients $p$-adiques. C'est un résultat majeur, car la conjecture de Tate est généralement ouverte pour les corps de nombres (sauf cas très spécifiques).
• Distinction $p$-adique vs $\ell$-adique : L'auteur souligne une nuance importante : la conjecture de Tate $p$-adique est vraie dans ce contexte, alors que la conjecture de Tate $\ell$-adique ($\ell \neq p$) peut être fausse pour les corps $p$-adiques (comme le montrent des exemples de courbes elliptiques sans CM). La méthode repose sur la rigidité des classes logarithmiques en caractéristique 0 et la bonne réduction.
• Lien avec les Conjectures Standards : Le résultat implique que les conjectures standards (de Lefschetz, de Hodge) sont vraies pour les variétés projectives lisses sur $\mathbb{C}$ définies sur un corps de type fini sur $\mathbb{Q}$ (Corollaire 2).
• Nouvelle Approche Cohomologique : L'introduction des classes logarithmiques comme outil pour caractériser les cycles algébriques offre une nouvelle perspective, reliant la théorie de Hodge, la cohomologie étale et la géométrie formelle d'une manière inédite.

En résumé, cet article établit un pont rigoureux entre les propriétés analytiques des formes logarithmiques et l'existence de cycles algébriques, permettant de déduire la conjecture de Tate $p$-adique pour une large classe de variétés arithmétiques.