0
$\begingroup$

Let $\pi:T\rightarrow \Delta$ be a family of elliptic curves over a disc $\Delta=\{|z|=1\}$. Suppose that this family has a double fiber over the origin. What is the (higher) direct image sheaves $R^i\pi_*\mathcal{O}_T$. Is it the same as those of a smooth family? I think the (higher) direct image sheaves reflect holomorphic structure of the central fiber.

Moreover, what if one replaces $\Delta$ with a neighbourhood of a singularity? Say a Du Bois singularity. Are they still locally constant?

Thank you for your assistance.

$\endgroup$

1 Answer 1

2
$\begingroup$

In this case, $R^1\pi_*\mathcal{O}_T$ is still an invertible sheaf, but that is not necessarily true for other families having a double fiber. You can compute $R^\bullet\pi_*\mathcal{O}$ after a finite flat base change, e.g., by the squaring map $\Delta'\to \Delta$, $w\mapsto z = w^2$. The fiber product $T' = \Delta'\times_{\Delta} T$ is a non-normal surface. The normalization $\nu:\widetilde{T}'\to T'$ is an isomorphism away from the (reduced) double fiber $F$. Over $F$, the map is $\tilde{F}\to F$, an etale, degree $2$ morphism of elliptic curves. Thus there is a short exact sequence $$0\to \mathcal{O}_{T'} \to \nu_*\mathcal{O}_{\widetilde{T}'} \to (\nu_*\mathcal{O}_{\widetilde{F}}/\mathcal{O}_F) \to 0.$$ Since both $h^0$ and $h^1$ are zero on $\nu_*\mathcal{O}_{\widetilde{F}}/\mathcal{O}_F$, it follows that the induced map $R^\bullet \pi'_*\mathcal{O}_{T'} \to R^\bullet (\pi'\circ \nu)_*\mathcal{O}_{\widetilde{T}'}$ is a quasi-isomorphism. Thus, since $\widetilde{T}'\to \Delta'$ is a smooth, proper family of elliptic curves, it follows that $R^1\pi'_*\mathcal{O}_{T'}$ is an invertible sheaf. Thus also $R^1\pi_*\mathcal{O}_T$ is an invertible sheaf.

$\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.