Crystalline cohomology


In mathematics, crystalline cohomology is a Weil cohomology theory for schemes X over a base field k. Its values Hn are modules over the ring W of Witt vectors over k. It was introduced by and developed by.
Crystalline cohomology is partly inspired by the p-adic proof in of part of the Weil conjectures and is closely related to the algebraic version of de Rham cohomology that was introduced by Grothendieck. Roughly speaking, crystalline cohomology of a variety X in characteristic p is the de Rham cohomology of a smooth lift of X to characteristic 0, while de Rham cohomology of X is the crystalline cohomology reduced mod p.
The idea of crystalline cohomology, roughly, is to replace the Zariski open sets of a scheme by infinitesimal thickenings of Zariski open sets with divided power structures. The motivation for this is that it can then be calculated by taking a local lifting of a scheme from characteristic p to characteristic 0 and employing an appropriate version of algebraic de Rham cohomology.
Crystalline cohomology only works well for smooth proper schemes. Rigid cohomology extends it to more general schemes.

Applications

For schemes in characteristic p, crystalline cohomology theory can handle questions about p-torsion in cohomology groups better than p-adic étale cohomology. This makes it a natural backdrop for much of the work on p-adic L-functions.
Crystalline cohomology, from the point of view of number theory, fills a gap in the l-adic cohomology information, which occurs exactly where there are 'equal characteristic primes'. Traditionally the preserve of ramification theory, crystalline cohomology converts this situation into Dieudonné module theory, giving an important handle on arithmetic problems. Conjectures with wide scope on making this into formal statements were enunciated by Jean-Marc Fontaine, the resolution of which is called p-adic Hodge theory.

Coefficients

If X is a variety over an algebraically closed field of characteristic p > 0, then the -adic cohomology groups for any prime number other than p give satisfactory cohomology groups of X, with coefficients in the ring of -adic integers. It is not possible in general to find similar cohomology groups with coefficients in the p-adic numbers.
The classic reason is that if X is a supersingular elliptic curve, then its ring of endomorphisms generates a quaternion algebra over Q that is non-split at p and infinity. If X has a cohomology group over the p-adic integers with the expected dimension 2, the ring of endomorphisms would have a 2-dimensional representation; and this is not possible as it is non-split at p.
Grothendieck's crystalline cohomology theory gets around this obstruction because it takes values in the ring of Witt vectors over the ground field. So if the ground field is the algebraic closure of the field of order p, its values are modules over the p-adic completion of the maximal unramified extension of the p-adic integers, a much larger ring containing n-th roots of unity for all n not divisible by p, rather than over the p-adic integers.

Motivation

One idea for defining a Weil cohomology theory of a variety X over a field k of characteristic p is to 'lift' it to a variety X* over the ring of Witt vectors of k, then take the de Rham cohomology of this lift. The problem is that it is not at all obvious that this cohomology is independent of the choice of lifting.
The idea of crystalline cohomology in characteristic 0 is to find a direct definition of a cohomology theory as the cohomology of constant sheaves on a suitable site
over X, called the infinitesimal site and then show it is the same as the de Rham cohomology of any lift.
The site Inf is a category whose objects can be thought of as some sort of generalization of the conventional open sets of X. In characteristic 0 its objects are infinitesimal thickenings UT of Zariski open subsets U of X. This means that U is the closed subscheme of a scheme T defined by a nilpotent sheaf of ideals on T; for example, Spec→ Spec.
Grothendieck showed that for smooth schemes X over C, the cohomology of the sheaf OX on Inf is the same as the usual de Rham cohomology.

Crystalline cohomology

In characteristic p the most obvious analogue of the crystalline site defined above in characteristic 0 does not work. The reason is roughly that in order to prove exactness of the de Rham complex, one needs some sort of Poincaré lemma, whose proof in turn uses integration, and integration requires various divided powers, which exist in characteristic 0 but not always in characteristic p. Grothendieck solved this problem by defining objects of the crystalline site of X to be roughly infinitesimal thickenings of Zariski open subsets of X, together with a divided power structure giving the needed divided powers.
We will work over the ring Wn = W/pnW of Witt vectors of length n over a perfect field k of characteristic p>0. For example, k could be the finite field of order p, and Wn is then the ring Z/pnZ. If X is a scheme over k, then the crystalline site of X relative to Wn, denoted Cris, has as its objects pairs
UT consisting of a closed immersion of a Zariski open subset U of X into some Wn-scheme T
defined by a sheaf of ideals J, together with a divided power structure on J compatible with the one on Wn.
Crystalline cohomology of a scheme X over k is defined to be the inverse limit
where
is the cohomology of the crystalline site of X/Wn with values in the sheaf of rings O := OWn.
A key point of the theory is that the crystalline cohomology of a smooth scheme X over k can often be calculated in terms of the algebraic de Rham cohomology of a proper and smooth lifting of X to a scheme Z over W. There is a canonical isomorphism
of the crystalline cohomology of X with the de Rham cohomology of Z over the formal scheme of W
.
Conversely the de Rham cohomology of X can be recovered as the reduction mod p of its crystalline cohomology.

Crystals

If X is a scheme over S then the sheaf OX/S is defined by
OX/S = coordinate ring of T, where we write T as an abbreviation for
an object UT of Cris.
A crystal on the site Cris is a sheaf F of OX/S modules that is rigid in the following sense:
This is similar to the definition of a quasicoherent sheaf of modules in the Zariski topology.
An example of a crystal is the sheaf OX/S.
The term crystal attached to the theory, explained in Grothendieck's letter to Tate, was a metaphor inspired by certain properties of algebraic differential equations. These had played a role in p-adic cohomology theories particularly in Dwork's work. Such differential equations can be formulated easily enough by means of the algebraic Koszul connections, but in the p-adic theory the analogue of analytic continuation is more mysterious. By decree, a crystal would have the 'rigidity' and the 'propagation' notable in the case of the analytic continuation of complex analytic functions.