1
$\begingroup$

Reading the proof of lemma 4.4.4 in Huybrechts and Lehn Geometry of Moduli Spaces of sheaves I come across an isomorphism relating a fibre of an invertible sheaf and its cohomology, and I really don't see where it comes from. Here is the setup, I hope it is clear.

Let $Q := Quot(\mathcal{H},P)$ be a Quot scheme, where $\mathcal{H}$ is a coherent sheaf on a Noetherian scheme $X$ over an alg. closed field $k$. Let $\mathcal{H} \rightarrow \mathcal{U}$ be the universal family of sheaves parametrized by $Q$. Let $\mathcal{L}_m := \text{det}(\pi_{Q*}(\mathcal{U} \otimes \pi_{X}^*\mathcal{O}_X(m)))$ be an invertible sheaf on $Q$, where $\pi_Q : Q \times X \rightarrow Q$ is a projection and $\pi_X$ similar. Let $q : \mathcal{H} \rightarrow \mathcal{F} \in Q$ a coherent quotient sheaf over $X$ i.e. a $k$-point of $Q$. Then they use the following isomorphism: $\mathcal{L}_m(q) = \bigotimes_i \text{det}(H^i(X,\mathcal{F}(m))^{\otimes (-1)^i})$.

An explanation or a reference would be of great help. Thanks.

$\endgroup$

0

Your Answer

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

Browse other questions tagged or ask your own question.