2
$\begingroup$

Maybe this is an elementary stuff for experts, I could not figure it out by myself. Let $\pi:G\to S$ be an elliptic curve with zero section $e:S\to G$. Take $\mathcal{H}=(R^1\pi_*\mathbb{Q}_\ell)^\vee$. Let us assume that one can show $R^q\pi_*\pi^*\mathcal{F}\simeq(R^q\pi_*\mathbb{Q}_\ell)\otimes\mathcal{F}$ for every lisse sheaf $\mathcal{F}$ on $S$ (this holds indeed when one defines ''lisse'' in an appropriate way). With this assumption, I can see that following statement:

by considering the exact sequence coming from the Leray spectral sequence for $R\pi_*$, we hvae the following exact sequence $0\to\mathrm{Ext}^1_S(\mathbb{Q}_\ell,\mathcal{H})\to\mathrm{Ext}^1_G(\mathbb{Q}_\ell,\pi^*\mathcal{H})\to\mathrm{Hom}_S(\mathbb{Q}_\ell,\mathcal{H}^\vee\otimes\mathcal{H})\to0$.

Could anyone explain how I can derive this exact sequence with details? Thank you in advance.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.