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".
No comments:
Post a Comment