1
$\begingroup$

Work over $\mathbb{C}$. Let $\Phi : X \to S$ be an elliptic fiber space, where $X$ is a smooth projective threefold with $H^1(\mathcal{O}_X)=H^2(\mathcal{O}_X)=0$, and $S$ is a smooth projective surface.

I want to show that $H^1(\mathcal{O}_S)=H^2(\mathcal{O}_S)=0$.

The vanishing of $H^1(\mathcal{O}_S)=0$ from $H^1(\mathcal{O}_X)=0$ can be achieved by a Leray spectral sequence argument, but a more direct argument would be more desirable.

$\endgroup$
1
  • 2
    $\begingroup$ $h^i(\mathscr{O}_S)=h^{0}(\Omega ^i_S)$, and same for $X$. $\endgroup$
    – abx
    Commented Dec 12, 2022 at 19:27

0

You must log in to answer this question.

Browse other questions tagged .