1
$\begingroup$

Let $(X,O_X)$ be a ringed space, $E$ - finite locally free $O_X$-module. Let $E^*=Hom_{O_X}(E, O_X)$. How to show, that $E^{**} = E$? It's clear, that locally $E|_U = O_X^n|_U$, and then $E^*|_U = O_X^n|_U$, $E^{**}|_U = O_X^n|_U$. But the second isomorphism is canonical, then we can glue isomorphisms via intersections. It's obvious with canonicity, but how to show it more formally.

  • 0
    Yes. I think, it's wrong in general case.2012-11-03

1 Answers 1

1

If $\mathscr{E}$ is a finite locally free $\mathscr{O}_X$-module, then in particular it is of finite presentation. This implies that for any $\mathscr{O}_X$-module $\mathscr{F}$, the natural map $\mathcal{H}om_{\mathscr{O}_X}(\mathscr{E},\mathscr{F})_x\rightarrow\mathrm{Hom}_{\mathscr{O}_{X,x}}(\mathscr{E}_x,\mathscr{F}_x)$ is an isomorphism.

With this in mind, the fact that the natural map $\mathscr{E}\rightarrow(\mathscr{E}^\vee)^\vee$ is an isomorphism should boil down to the fact that for a ring $R$ and a finite free $R$-module $M$, the canonical map from $M$ to its double $R$-linear dual is an isomorphism. Indeed, granted this fact, the stalks of the natural map from $\mathscr{E}$ to its double dual can be identified with the natural map from $\mathscr{E}_x$ to its double $\mathscr{O}_{X,x}$-linear dual. I'm using here that $\mathscr{E}^\vee$ is also finite locally free, hence finitely presented.

  • 0
    Uh, I have no idea. It can be purchased on Amazon, and it's not very expensive as math books go. It's absolutely worth the money.2012-11-03