I’ve decided on pulling the motivation back into the picture. Recall way back when we were thinking about the shortcomings of trying to replicate a de Rham type cohomology theory in positive characteristic. One of our motivations is that we want a theory that has no problem being done in positive characteristic, but actually gives us the de Rham cohomology if there is some lift to characteristic . We even tried to just define it this way. Take a lift, do de Rham, and then check that the result is independent of lift. The problem is that there are things that don’t lift to characteristic , and the lifting process is definitely not an efficient process for computing.
This is where crystalline cohomology enters the picture. We’ll make this more precise later on, but if we have a smooth lifting to characteristic , then we’d like to have a canonical isomorphism . Since we’ve already talked about what it means to do cohomology of a sheaf on a site, we can actually state pretty easily what crystalline cohomology is. Suppose is a variety over . There is the crystalline site , and , so the crystalline cohomology is just sheaf cohomology on the crystalline site. The work is going to be in figuring out how to think about this new site.
First, we define a P.D. scheme. This is exactly what it sounds like. There is no problem in extending all the definitions done for rings so far into definitions on the sections of sheaves. For instance, if is a space and and are sheaves of rings on , then we say is a sheaf of P.D. rings if is a P.D. ring for all open. A P.D. ringed space is just a ringed space with a sheaf of P.D. rings on it . Inverse image and pushforwards of sheaves under maps preserve the property of being a sheaf of P.D. rings.
Given a P.D. ring we can define to be the locally ringed space where is the sheaf of P.D. rings obtained under the canonical extensions we get of since localization is flat and we checked previously that extends to any flat -algebra. A P.D. scheme is a locally ringed space locally isomorphic to . Morphisms in this category are morphisms of locally ringed spaces that are P.D. morphisms on sections.
We’ll spend a little more time with these definitions and related issues next time. The goal of this post is to define the crystalline site. Now we’ll want to fix a base, so let be a P.D. scheme. If is an -scheme, then by looking locally it makes sense to ask whether or not extends to . If it does, then we can define the crystalline site as follows: The objects are pairs where is Zariski open and is a closed -immersion defined by the quasi-coherent sheaf of ideals where is a P.D. structure on compatible with . We abuse notation and call just .
The morphisms are commutative diagrams
where is a Zariski inclusion of open sets of and is a P.D. map over . A covering is just a collection of maps such that are open immersions and . We’ll just end this post by making several remarks and giving an example that we’re aiming at.
First, the term for an object is an “S-PD thickening of “. One of the consequences of requiring to extend to is that it makes an object of our site for any Zariski open . Another consequence of our definitions is that all our thickenings are topological homeomorphisms since they are defined by nilpotent ideals, . The last remark is that if is a covering, it comes with a collection of P.D. structures: . By compatibility, the collection completely determines and conversely, given , we can restrict and find out what the must be.
The example that we want to think about is when we have some lifting of over a postive characteristic field to . In this situation with with the canoncial P.D. structure inherited from . We’ll look at this more closely when we are working with actual examples of lifted schemes.