Suppose is a smooth family of algebraic varieties over the base over ; then we can form the relative -adic cohomology on the base, which will be (having fixed some cohomological degree of interest) an -adic sheaf; we can think of it as a vector space equipped with a action. (Algebraic , of course.)
We can do the same with -adic cohomology for some other prime , getting a vector space over equipped with a action.
As far as I can see, there ought to be a relatively tight connection between these two groups. For instance, it seems morally like we ought to be able to choose pro-generators for , and find some matrices over , such that, w.r.t suitable bases of , acts via on both and (thinking of as determining an - and - adic matrix in turn) and similarly for . Can this indeed be done? If not, can you do something close? If it can, what's a good reference for a precisely stated theorem---rather than just intuition---for these things?
No comments:
Post a Comment