Interpretation of abstract Isomorphisms of Hom-sheaves

175 Views Asked by At

Let $X$ be a smooth $k-$ variety and $F$ a coherent sheaf on it. One knows that the sheaf of differentials $\Omega^1_X$ of $X$ is locally free.

Hence one has by standard isomorphisms

$Hom(F,F\otimes \Omega^1_X) \simeq H^0(X, \underline{Hom}(F,F\otimes \Omega^1_X)) \simeq H^0(X,\underline{Hom}(F,F)\otimes \Omega^1_X)\simeq End(F) \otimes \Omega^1_X(X)$

where in the Hom's I always mean $\mathcal O_X$-linear.

Now I am a bit confused: How do I practically get this Iso?

I mean: if I have an element $\phi \otimes \omega$ in the last vector space, how do I get my sheaf map $F \rightarrow F\otimes \Omega^1_X$ ? And also the converse isn't clear to me.

1

There are 1 best solutions below

1
On BEST ANSWER

The natural morphism $End(F) \otimes H^0(X,\Omega^1_X) \to Hom(F,F\otimes\Omega^1_X)$ is indeed pretty "natural": just map $\phi \otimes \omega$ to $(s \mapsto \phi(s) \otimes \omega)$.

The inverse isomorphism is not as easy to write down because it uses dualizability of $\Omega^1_X$ (the fact that it is locally free of finite rank). Take a local basis $(dx_1,\ldots,dx_n)$ of $\Omega^1_X$, then any $\psi : F \to F\otimes \Omega^1_X$ can be written $\psi(s) = \sum \psi_i(s) \otimes dx_i$ where $\psi_i \in End(F)$. You should then just check that the $\sum_i \psi_i \otimes dx_i$ glue nicely as a global section of $End(F) \otimes \Omega^1_X$.