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$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .