Cohomologie cristalline

La cohomologie cristalline est une cohomologie de Weil pour les schémas, introduite par Alexander Grothendieck en 1966 et développée par Pierre Berthelot. Elle étend le domaine d'application de la cohomologie étale en considérant les modules sur les anneaux de vecteurs de Witt sur le corps de base.

Motivation et histoire

Les conjectures de Weil

Article détaillé : Conjectures de Weil.

Dans l'étude des variétés différentiables compactes, la formule de Lefschetz permet de calculer le nombre de points fixes d'un morphisme de la variété dans elle-même. Cette formule est une somme alternée de traces, agissant sur les espaces vectoriels de cohomologie de De Rham de la variété considérée.

Les travaux d'André Weil sur les variétés algébriques sur les corps finis ont montré que la connaissance de la fonction zêta de la variété équivaut à celle du nombre de points rationnels qu'elle possède sur toutes les extensions finies du corps de base. Weil a remarqué que les points rationnels sur $\mathbb {F} _{q^{n}}$ sont exactement les points fixes de l'endomorphisme de Frobenius itéré $\phi ^{n}$ . Weil suggère alors qu'une théorie cohomologique pour les variétés sur un corps fini à valeurs dans des espaces vectoriels de dimension finie sur un corps de caractéristique zéro généraliserait naturellement le résultat de Lefschetz.

Les conditions nécessaires d'une telle théorie cohomologique ont été formalisées, et la théorie supposée baptisée « cohomologie de Weil ».

La cohomologie étale ℓ-adique

Article détaillé : Cohomologie étale.

La construction d'une cohomologie de Weil est un des objectifs que se fixe Alexander Grothendieck, dans les débuts de la théorie des schémas. Ayant défini leur topologie étale, et la cohomologie correspondante, il développe avec ses élèves, pour tout nombre premier ℓ qui ne divise pas q, la cohomologie ℓ-adique.

Soit k un corps, de caractéristique p, et k une clôture algébrique de k. Soit X un schéma séparé de type fini sur k, et ℓ un nombre premier. Les groupes de cohomologie étale de X ⊗ k sont

H^{i}(X\otimes {\bar {k}},\mathbb {Z} _{\ell })=\lim _{\leftarrow }H_{\text{ét}}^{i}(X\otimes {\bar {k}},\mathbb {Z} /\ell ^{n}\mathbb {Z} )

H^{i}(X\otimes {\bar {k}},\mathbb {Q} _{l})=\mathbb {Q} _{l}\otimes H^{i}(X\otimes {\bar {k}},\mathbb {Z} _{l})

Il s'agit d'espaces vectoriels de dimension finie lorsque ℓ est différent de p ou si X est propre.

Vers la cohomologie cristalline

Soit k un corps de caractéristique p > 0, soit X un schéma propre et lisse de dimension d sur k. On dispose de plusieurs théories cohomologiques :

Sa cohomologie étale ℓ-adique (à coefficients dans ℤ_p) : par construction, elle mime les propriétés de la cohomologie « ordinaire », c'est-à-dire correspondant à la topologie de Zariski, cependant elle n'a de sens qu'à la condition que ℓ ≠ p ;
Sa cohomologie de Hodge ou sa cohomologie de De Rham : si X/k est propre et lisse, on obtient des k-espaces vectoriels et on ne peut pas compter les points rationnels ;
Sa cohomologie de Serre $H^{i}(X,W{\mathcal {O}}_{X})$ où $W{\mathcal {O}}_{X}$ est le faisceau des vecteurs de Witt sur le faisceau structural.

Grâce à la cohomologie étale, Grothendieck a démontré la formule de Lefschetz, qui implique la première conjecture de Weil. La seconde conjecture apparaît comme conséquence de la dualité de Poincaré. Enfin, Pierre Deligne a prouvé les deux dernières conjectures.

Cependant, des questions restantes^[1] sont liées à la réduction du schéma en p, ce que la cohomologie ℓ-adique ne permet pas d'approcher.

S'inspirant de travaux de Dwork^[2] et Monsky-Washnitzer, Grothendieck propose de relever X en un schéma propre et lisse Z/W(k) (avec k parfait de caractéristique p > 0 et W(k) l'anneau des vecteurs de Witt). On peut alors considérer le complexe de De Rham de Z sur W(k), et prendre son hypercohomologie. L'intuition était que ces groupes ne dépendaient pas du choix, a priori arbitraire, de Z/W(k) relevant X/k.

Définition

Puissances divisées

Soit A un anneau et I un idéal de A. Une structure de puissances divisées (ou PD-structure) sur I est une suite d'applications

\gamma _{n}:I\to A

pour tout n positif ou nul, telles que^[3] :

$\gamma _{0}(x)=1$ et $\gamma _{1}(x)=x$ pour tout $x\in I$ ;
$\gamma _{n}(x)\in I$ si n ≥ 1 et $x\in I$ ;
$\gamma _{n}(x+y)=\sum _{i+j=n}\gamma _{i}(x)\gamma _{j}(y)$ pour $x,y\in I$ ;
$\gamma _{n}(\lambda x)=\lambda ^{n}\gamma _{n}(x)$ pour tout $x\in I$ et $\lambda \in A$ ;
$\gamma _{n}(x)\gamma _{m}(x)={m+n \choose n}\gamma _{m+n}(x)$ pour tout $x\in I$ et $m,n\in \mathbb {N}$ ;
$\gamma _{m}(\gamma _{n}(x))={\frac {(mn)!}{m!(n!)^{m}}}\gamma _{mn}(x)$ ^[4] pour tout $x\in I$ et tous $m,n\in \mathbb {N}$ .

En particulier, si W(k) désigne l'anneau des vecteurs de Witt, (p) est un idéal de W(k) et une PD-structure est donnée par $\gamma _{n}=p^{n}/n!$ .

Sites et topoi cristallins

Soit k un corps parfait de caractéristique p > 0, et X un k-schéma. On note W = W(k) l'anneau des vecteurs de Witt sur k et

W_{n}=W/p^{n}

Le site cristallin $\mathrm {Cris} (X/W_{n})$ est un site défini ainsi :

Les objets sont les diagrammes commutatifs

{\begin{matrix}U&{\stackrel {i}{\hookrightarrow }}&V\\\downarrow &&\downarrow \\\mathrm {Spec} \,k&\rightarrow &\mathrm {Spec} \,W_{n}\end{matrix}}

avec $U\subset X$ un ouvert de Zariski, i une immersion fermée de $W_{n}$ -schémas telle que l'idéal $\mathrm {ker} ({\mathcal {O}}_{V}\to {\mathcal {O}}_{U})$ soit muni d'une PD-structure compatible avec la PD-structure canonique sur $pW_{n}\subset W_{n}$ ^[5].

Les morphismes $(U,V,\delta )\to (U',V',\delta ')$ sont les diagrammes commutatifs formés d'une immersion ouverte $U\hookrightarrow U'$ et d'un morphisme $V\to V'$ compatible avec les puissances divisées.
Les familles couvrantes sont les familles de morphismes $(U_{i},V_{i},\delta _{i})\to (U,V,\delta )$ tels que $V_{i}\to V$ est une immersion ouverte et $V=\bigcup _{i}V_{i}$

La catégorie des faisceaux sur un site cristallin est un topos appelé topos cristallin et noté $(X/W_{n})_{\mathrm {cris} }$ . En particulier, cette structure garantit la fonctorialité : si $f:X\to Y$ est un morphisme de k-schémas, on peut lui associer un morphisme

f^{-1}:(Y/W_{n})_{\mathrm {cris} }\to (X/W_{n})_{\mathrm {cris} }

.

Cohomologie cristalline

Soit F un faisceau sur le site cristallin, et (U, V) un objet du site. En associant à un ouvert W de V les sections de F sur $(U\times _{V}W,W)$ , on définit un faisceau sur V pour la topologie de Zariski. Pour un morphisme

g:(U,V)\to (U',V')

dans le site on obtient un morphisme

g_{F}^{*}:g^{-1}F_{(U',V')}\to F_{(U,V)}

qui vérifie notamment une condition de transitivité et tel que $g_{F}^{*}$ est un isomorphisme si V → V’ est une immersion ouverte et $U=U'\times _{V'}V$ . Réciproquement, si on se donne pour tout objet (U, V) du site un faisceau $F_{(U,V)}$ pour la topologie de Zariski sur V, ainsi que pour tout morphisme g comme ci-dessus un morphisme de transition $g_{F}^{*}$ qui vérifie les propriétés évoquées, on définit un faisceau sur le site cristallin. Le faisceau structural ${\mathcal {O}}_{X/W_{n}}$ associe à tout objet $(U,V,\delta )$ du site cristallin le faisceau ${\mathcal {O}}_{V}$ .

La cohomologie cristalline est la cohomologie du faisceau structural :

H^{i}(X/W_{n})=H^{i}\left((X/W_{n})_{\mathrm {cris} },{\mathcal {O}}_{X/W_{n}}\right)

H^{i}(X/W)=\lim _{\stackrel {\longleftarrow }{n}}H^{i}(X/W_{n})

Notes et références

↑ Essentiellement : quelles sont les valuations p-adiques des coefficients des polynômes qui interviennent dans l'expression de la fonction zêta comme fraction rationnelle ? Et que dire de la restriction d'une représentation du groupe de Galois absolu $\mathrm {Gal} ({\bar {\mathbb {Q} }}/\mathbb {Q} )$ (sur $H^{i}(X\otimes \mathbb {\bar {Q}} ,\mathbb {Q} _{\ell })$ ) à $\mathrm {Gal} ({\overline {\mathbb {Q} _{p}}}/\mathbb {Q} _{p})$ ?
↑ (en) Bernard Dwork, « On the rationality of the zeta function of an algebraic variety », American Journal of Mathematics, The Johns Hopkins University Press, vol. 82, n^o 3,‎ 1960, p. 631–648 (ISSN 0002-9327, DOI 10.2307/2372974, JSTOR 2372974, MR 0140494).
↑ L'idée est, informellement, que « $\gamma _{n}(x)=x^{n}/n!$ ».
↑ Il s'agit bien d'un nombre entier, qui s'interprète d'un point de vue combinatoire comme le nombre de façons de répartir mn objets en m classes de n.
↑ C'est-à-dire que si on note $\delta$ cette PD-structure, on a $\delta (pa)=\gamma _{n}(p)a^{n}$ si $pa\in \mathrm {ker} ({\mathcal {O}}_{V}\to {\mathcal {O}}_{U})$ .

Voir aussi

Bibliographie

(en) Pierre Berthelot et Arthur Ogus, Notes on Crystalline Cohomology, Princeton University Press, coll. « Annals of Mathematics Studies », 1978 (zbMATH 0383.14010, lire en ligne)
Pierre Berthelot, Cohomologie cristalline des schémas de caractéristique p > 0, vol. 407, Springer-Verlag, coll. « Lecture Notes in Mathematics », 1974, 604 p. (ISBN 978-3-540-06852-5, DOI 10.1007/BFb0068636, MR 0384804)
(en) Alexander Grothendieck, « Crystals and the de Rham cohomology of schemes », dans Jean Giraud, Alexander Grothendieck, Steven Kleiman et Michèle Raynaud, Dix Exposés sur la Cohomologie des Schémas, vol. 3, North-Holland, coll. « Advanced studies in pure mathematics », 1968 (MR 0269663, lire en ligne), p. 306–358
Alexander Grothendieck, SGA 5 (1972)
Alexander Grothendieck, Pierre Deligne et Nick Katz, SGA 7 (1972)
(en) Luc Illusie, « Report on crystalline cohomology », dans Algebraic geometry, vol. 29, Amer. Math. Soc., coll. « Proc. Sympos. Pure Math. », 1975 (MR 0393034), p. 459–478
Luc Illusie, « Cohomologie cristalline (d'après P. Berthelot) », dans Séminaire Bourbaki (1974/1975: Exposés Nos. 453-470), Exp. No. 456, vol. 514, Springer-Verlag, coll. « Lecture Notes in Math. », 1976 (MR 0444668, lire en ligne), p. 53–60
(en) Luc Illusie, « Crystalline cohomology », dans Motives (Seattle, WA, 1991), vol. 55, Amer. Math. Soc., coll. « Proc. Sympos. Pure Math. », 1994 (MR 1265522), p. 43–70

Articles connexes

Portail des mathématiques

[1] Essentiellement : quelles sont les valuations p-adiques des coefficients des polynômes qui interviennent dans l'expression de la fonction zêta comme fraction rationnelle ? Et que dire de la restriction d'une représentation du groupe de Galois absolu $\mathrm {Gal} ({\bar {\mathbb {Q} }}/\mathbb {Q} )$ (sur $H^{i}(X\otimes \mathbb {\bar {Q}} ,\mathbb {Q} _{\ell })$ ) à $\mathrm {Gal} ({\overline {\mathbb {Q} _{p}}}/\mathbb {Q} _{p})$ ?

[2] (en) Bernard Dwork, « On the rationality of the zeta function of an algebraic variety », American Journal of Mathematics, The Johns Hopkins University Press, vol. 82, n^o 3,‎ 1960, p. 631–648 (ISSN 0002-9327, DOI 10.2307/2372974, JSTOR 2372974, MR 0140494).

[3] L'idée est, informellement, que « $\gamma _{n}(x)=x^{n}/n!$ ».

[4] Il s'agit bien d'un nombre entier, qui s'interprète d'un point de vue combinatoire comme le nombre de façons de répartir mn objets en m classes de n.

[5] C'est-à-dire que si on note $\delta$ cette PD-structure, on a $\delta (pa)=\gamma _{n}(p)a^{n}$ si $pa\in \mathrm {ker} ({\mathcal {O}}_{V}\to {\mathcal {O}}_{U})$ .

[1]

[2]

[3]

[4]

[5]

v · m Homologie et cohomologie
Conjectures	Conjecture de Hodge Conjecture de Tate (en) Conjectures de Weil Conjectures standard (en)
Axiomatisations	Axiomes d'Eilenberg-Steenrod Cohomologie de Weil Cohomologie de Bloch-Ogus Cohomologie de Brown-Peterson (en)
Théories homologiques et cohomologiques	Homologie singulière Homologie cellulaire Homologie simpliciale Homologie de Borel-Moore (en) Homologie de Khovanov (en) Homologie de Morse Homologie de Floer Homologie de Hochschild Homologie des groupes Homologie de Steenrod Homologie d'intersection (en) Cohomologie galoisienne Cohomologie d'Alexander-Spanier Cohomologie elliptique (en) Cohomologie de De Rham Cohomologie de Dolbeault Cohomologie de Čech Cohomologie de Hodge Cohomologie étale Cohomologie ℓ-adique Cohomologie cristalline Cohomologie à support compact (en) Cohomologie motivique K-théorie topologique
Outils	Cap-produit Classe fondamentale (en) Complexe différentiel Cup-produit Cycle algébrique Suite exacte Suite spectrale Théorème des coefficients universels Théorème de Künneth
Dualités	Dualité d'Alexander Dualité de Hodge Dualité d'Isbell (en) Dualité de Lefschetz (en) Dualité de Poincaré Dualité de Pontriaguine Dualité de Serre Dualité de Spanier-Whitehead (en) Dualité de Verdier (en)