[Math] Is a coherent locally free sheaf isomorphic it’s dual

algebraic-geometrysheaf-theory

Hartshorne chapter II problem 5.1 a) is to prove that the double dual of a coherent locally free sheaf $\mathscr{E}$ over a ringed space $(X,O_X)$ is isomorphic to $\mathscr{E}$. This can be done by defining an analog of the evaluation map and showing it is an isomorphism on a cover of open sets on which $\mathscr{E}$ is free.

Now we can apply the non-canonical isomorphism of free modules of finite rank with their dual locally to see that there is a cover by open sets under which the restriction of $\mathscr{E}$ and the dual of $\mathscr{E}$ are isomorphic. However, I believe the general philosophy is that maps which are canonical patch together to form morphisms of sheaves while maps that are not canonical don't necessarily patch together. So in the case of coherent locally free sheaf and it's dual, do the local isomorphisms not patch together in general?

Best Answer

As Jesko says, already for line bundles there are problems. The easiest example is probably $\mathscr{O}_{\mathbf{P}^n_k}(1)$ and its dual $\mathscr O(-1)$. The first has lots of nonzero global sections, but the second has none; they can't even be non-canonically isomorphic.

One interesting thing to think about, which I saw pointed out in a book review by Kollár, is that in differential geometry one can choose a metric on any vector bundle and use that to identify $E \simeq E^\vee$. So this is a good example of how algebraic geometry differs.