MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\pi:X\rightarrow Y$ be a double cover of complex varieties and take $L$ holomorphic line bundle on $Y$.

I read that there are the isomorphisms

1) $H^p(X,\mathcal{O}_X)\simeq H^p(Y,\pi_*\mathcal{O}_X)$

2) $H^p(Y,\mathcal{O}_Y\oplus L)\simeq H^p(Y,\mathcal{O}_Y)\oplus H^p(Y,L)$

How can i prove them?

share|cite|improve this question
The first question follows from the exactness of $\pi_\ast$ (this would be true e.g. for any affine map $\pi$). The second is just because the functors $H^p(Y,-)$ are additive. This is very general. – Sam Gunningham Jul 6 '13 at 5:08
Additional note: Since $\pi$ is affine, a cover of $Y$ by open affines pulls back to a cover of $X$ by open affines. Consequently, the Cech complex of $\pi_* \mathcal O_X$ with respect to a cover by open affines pulls back to a Cech complex of $\mathcal O_X$. This can be used for the first isomorphism. – Charles Staats Jul 6 '13 at 5:28
I suppose what you really want to know is why is $H^p(X,\mathcal{O}_X)\cong H^p(Y,\mathcal{O}_Y)\oplus H^p(Y, L)$ for some line bundle $L$? Answer: because of (1), (2) and (3) $\pi_*\mathcal{O}_X = \mathcal{O}_Y\oplus L$, where $L$ is the (-1)-eigenbundle of the leftside under the Galois action. – Donu Arapura Jul 6 '13 at 15:03

Hints: I would show that $R^i\pi_*O_X=0$ for $i>0$, and then I would use adjunction.

(2) holds in general. Basically, you need to show that $\Gamma(Y,A\oplus B)=\Gamma(Y,A)\oplus \Gamma(Y,B)$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.