Monday, 2 June 2008

ag.algebraic geometry - sheaves of representations on galois groups, can there be interesting cohomology?

Consider a field K (of characteristic 0, say) and its absolute galois group GabK=Gal(overlineK/K), given the Krull topology: UE(sigma)=sigmaGal(overlineK/E) form a basis of the topology, ranging over sigmainGabK and E/K finite galois.



Fix a group G and denote by RE its representation ring over E, and by RsEigmasubsetRE the elements of RE fixed by sigma.



We can construct a sheaf mathcalF on GabK by setting mathcalF(UE(sigma))=RsEigma. It is a simple exercise to verify the axioms.



One might hope that the sheaf cohomology of mathcalF encodes information about the splitting behaviour of representations of G over various ground fields, but this is not the case: GabK is known to be totally disconnected, hausdorff and compact. It is a theorem [1, 5.1] that Hr(GabK,mathcalF)=0 for r>0. Furthermore the UE(sigma) are actually clopen, so most useful subsets I can think of are also compact, hence their cohomology is equally uninteresting.




Is there a way to produce a useful cohomology along these lines?




Here "useful" essentially means "non-trivial", and "along these lines" basically "involving the galois action on RE for various E".



[1] http://www.jstor.org/stable/2035693

No comments:

Post a Comment