$Hom$ Sheaf invertible

291 Views Asked by At

Let $(X, \mathcal{O}_X$ ringed space, $\mathcal{F}, \mathcal{G}$ two invertible sheaves on $X$ and $\underline{Hom}_{\mathcal{O}_X}(\mathcal{F},\mathcal{G}) $ the $Hom$ - sheaf. Why is then $\underline{Hom}_{\mathcal{O}_X}(\mathcal{F},\mathcal{G}) $ also invertible?

My ideas: Let considering the canonical evaluation map $\mathcal{F} \otimes \underline{Hom}_{\mathcal{O}_X}(\mathcal{F},\mathcal{G}) \to \mathcal{G}$. I know that for invertible $\mathcal{F}, \mathcal{G}$ it is an isomorphism. Futhermore, there exist a $\mathcal{O}_X$-module $\mathcal{N} $ such that $\mathcal{N} \otimes \mathcal{F} \cong \mathcal{O}_X$ (because $\mathcal{F} $invertible).

By tesor product properties tensoring the evaluation map with $\mathcal{N} $ provides the isomorphism $\underline{Hom}_{\mathcal{O}_X}(\mathcal{F}) \cong \mathcal{N} \otimes \mathcal{F} \otimes \underline{Hom}_{\mathcal{O}_X}(\mathcal{F},\mathcal{G}) \to \mathcal{N} \otimes \mathcal{G}$. If $\mathcal{N} $ is invertible then I have done, but I don't why the $\mathcal{O}_X$-module $\mathcal{N} $ as taken above is invertible.

2

There are 2 best solutions below

0
On

Let $F,G$ be invertible sheaves, $Hom(F,G)=F\otimes G^*$ where $G^*$ is the dual of $G$. Let$F_1,G_1$ the inverse of respectively $F$ and $G$. $(F\otimes G^*)\otimes( G_1^*\otimes F_1)=F\otimes (G^*\otimes G_1^*)\otimes F_1^*=F\otimes F_1=O_X$.

2
On

Since $\mathcal{N}\otimes\mathcal{F}\cong\mathcal{O}_X$, the sheaf $\mathcal{N}$ is invertible with inverse $\mathcal{F}$.