2
$\begingroup$

Let X be a smooth complex algebraic variety and $\pi: X \to Y$ a finite morphism. Is it true that

$H_c^k(X, \mathbb{Q})=H_c^k(Y, \pi_\ast\mathbb{Q})$?

Here $H_c$ stands por cohomology with compact support. If so, one does one prove it? Thanks

$\endgroup$
1
  • 2
    $\begingroup$ Yup, because finite maps are proper. $\endgroup$ Jun 9, 2013 at 21:28

1 Answer 1

3
$\begingroup$

Yes, this is true.

In this case, the functor $\pi_\ast$ is exact and equal to the pushforward with compact support $\pi_!$. Denote by $p$ be the unique map from $Y$ to a point and let $p_!$ be the derived functor of pushforward with compact support. So

$$ H^k_c(Y,\pi_\ast \mathbb Q) = H^k(p_! (\pi_! \mathbb Q)) = H^k ((p \circ \pi)_! \mathbb Q) = H^k_c(X, \mathbb Q), $$

as required.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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