Remark 31.12.9. Let X be an integral locally Noetherian scheme. Thanks to Lemma 31.12.8 we know that the reflexive hull \mathcal{F}^{**} of a coherent \mathcal{O}_ X-module is coherent reflexive. Consider the category \mathcal{C} of coherent reflexive \mathcal{O}_ X-modules. Taking reflexive hulls gives a left adjoint to the inclusion functor \mathcal{C} \to \textit{Coh}(\mathcal{O}_ X). Observe that \mathcal{C} is an additive category with kernels and cokernels. Namely, given \varphi : \mathcal{F} \to \mathcal{G} in \mathcal{C}, the usual kernel \mathop{\mathrm{Ker}}(\varphi ) is reflexive (Lemma 31.12.7) and the reflexive hull \mathop{\mathrm{Coker}}(\varphi )^{**} of the usual cokernel is the cokernel in \mathcal{C}. Moreover \mathcal{C} inherits a tensor product
which is associative and symmetric. There is an internal Hom in the sense that for any three objects \mathcal{F}, \mathcal{G}, \mathcal{H} of \mathcal{C} we have the identity
see Modules, Lemma 17.22.1. In \mathcal{C} every object \mathcal{F} has a dual object \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(\mathcal{F}, \mathcal{O}_ X). Without further conditions on X it can happen that
for \mathcal{F}, \mathcal{G} of rank 1 in \mathcal{C}. To make an example let X = \mathop{\mathrm{Spec}}(R) where R is as in More on Algebra, Example 15.23.17 and let \mathcal{F}, \mathcal{G} be the modules corresponding to M. Computation omitted.
Comments (0)
There are also: