Wednesday, 25 April 2007

ag.algebraic geometry - Relation between l-adic and l'-adic geometric monodromy

Suppose X is a smooth family of algebraic varieties over the base B:=mathbbP1backslashlbrace0,1,inftyrbrace over overlinemathbbQ; then we can form the relative l-adic cohomology on the base, which will be (having fixed some cohomological degree of interest) an l-adic sheaf; we can think of it as a mathbbQl vector space Vl equipped with a pi1(B) action. (Algebraic pi1, of course.)



We can do the same with l-adic cohomology for some other prime l, getting a vector space Vl over mathbbQl equipped with a pi1(B) 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 alpha,beta for pi1(B), and find some matrices Malpha,Mbeta over overlinemathbbQ, such that, w.r.t suitable bases of Vl,Vl, alpha acts via Malpha on both Vl and Vl (thinking of Malpha as determining an l- and l- adic matrix in turn) and similarly for Mbeta. 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