Wednesday, 6 December 2006

ag.algebraic geometry - Is there something like Čech cohomology for p-adic varieties?

The first comment to make is that Cech theory is really extremely general, and can be set up to compute the cohomology of any complex of abelian sheaves on any site (provided you have coverings that are cohomologically trivial). This is explained at least somewhat in SGA4, Expose 5 and EGA III, Chap 0, section 12.



I think you should be working with the rigid analytic space attached to $X$, and not with the $mathbf{Q}_p$-points of $X$, and the latter really has no good topology on it besides the totally disconnected one induced from the topology on $mathbf{Q}_p$.



Let's assume that $X$ has a model
$mathcal{X}$ over $mathbf{Z}_p$ that is smooth and proper and write $widehat{mathcal{X}}$
for the formal completion of $mathcal{X}$ along its closed fiber. Then the (Berthelot) generic fiber $widehat{mathcal{X}}^{rig}$ of $widehat{mathcal{X}}$ is a rigid analytic space that is canonically identified with the rigid analytification of $X$ (using properness here). Moreover, one has a "specialization morphism" of ringed sites
$$sp:X^{an}simeq widehat{mathcal{X}}^{rig}rightarrow widehat{mathcal{X}}$$
with the property that for any (Zariski) locally closed subset $W$ of the target, the inverse image $sp^{-1}(W)$ is an admissible open of the rigid space $X^{an}$ (called the open tube over W). In this way, coverings of the special fiber by locally closed subsets give coverings of the rigid generic fiber by admissible opens, and you can use Cech theory with these coverings and or your favorite spectral sequence to compute sheaf cohomology in the rigid analytic world. Again using properness, by rigid GAGA this cohomology agrees with usual (Zariski) cohomology on the scheme $X$ (provided your sheaf is a coherent sheaf of $mathcal{O}_X$-modules, say).



This idea of computing cohomology using admissible coverings of the associated rigid space is a really important one as it allows you to use the geometry of the special fiber. It occurs (allowing $mathcal{X}$ to have semistable reduction) in the work of Gross on companion forms, of Coleman on $mathcal{L}$-invariants and most prominently in Iovita-Coleman (see their article on "Frobenius and Monodromy operators"). This latter article might be a good place to start.



I would also highly recommend the articles of Berthelot:



http://perso.univ-rennes1.fr/pierre.berthelot/publis/Cohomologie_Rigide_I.pdf



http://perso.univ-rennes1.fr/pierre.berthelot/publis/Finitude.pdf



I'd also suggest the AWS 2007 notes by Brian Conrad for learning about rigid geometry, which seems generally quite pertinent to your situation.
For etale cohomology of rigid spaces, you might want to look at the article of Berkovich, though this would require learning about his analytic spaces.



In any case, I hope this is a good start.

No comments:

Post a Comment