On Galois module structure of the cohomology groups of an algebraic variety (Q5903356): Difference between revisions

Let \(f: X\to Y\) be a finite galois covering (with group G) of projective varieties over a field k. Let \({\mathcal F}\) be a coherent sheaf on Y. We investigate the kG-module structure of the cohomology groups \(H^ i(X,f^*({\mathcal F})).\) We have two general results. Theorem 1: These cohomology groups can be expressed as the homology of a finite complex of finitely generated free kG-modules; and its corollary, theorem 2: If all except one of these cohomology groups are trivial then the remaining one is a free kG-module. We have two results where X and Y (of genus \(g)\) are curves. Theorem 3: (a corollary of theorem 2): If \({\mathcal L}\) is an invertible sheaf on Y with \(\deg({\mathcal L})>2(g-1)\) then \(H^ 0(X,f^*{\mathcal L}))\cong kG^{\deg ({\mathcal L})-g-1}\) (and \(H^ i=(0)\) for \(i>0)\); and theorem 4: Let \({\mathcal K}\) be the canonical sheaf of Y then, as a kG-module \(H^ 0(X,f^*({\mathcal K}))\) is determined by the fact it is the kernel of a projection from \(kG^ g\) to the augmentation ideal of kG. Finally, it is remarked (theorem 5) that the existence of the projection of theorem 4 places a restriction on the possible covering groups G which has not been previously known.