0
$\begingroup$

Can anybody explain why the vector bundle corresponding to a locally free sheaf F is global spec of sym of the dual of F and not just F? How does a section get identified with a polynomial in the dual?

$\endgroup$
6
  • $\begingroup$ See en.wikipedia.org/wiki/Symmetric_algebra $\endgroup$ Nov 17, 2010 at 20:32
  • 10
    $\begingroup$ I suggest you work it out when the base scheme is Spec of a field. $\endgroup$ Nov 17, 2010 at 20:32
  • 12
    $\begingroup$ Linear functions on V are elements of V^*, so polynomial functions on V are elements of Sym(V^*). $\endgroup$ Nov 17, 2010 at 21:21
  • $\begingroup$ Functoriality . $\endgroup$ Nov 17, 2010 at 23:08
  • $\begingroup$ Or maybe when you say "corresponding to" you're thinking of a different correspondence from the rest of us. $\endgroup$ Nov 18, 2010 at 11:38

1 Answer 1

2
$\begingroup$

Let $L$ be a locally free ${\cal O}_X$-module of finite rank. Define $V=Spec(Sym(L^\vee))$. Then $$Mor_X(X, V)={\cal O}_X-Alg(Sym(L^\vee), {\cal O}_X)=Hom(L^\vee, {\cal O}_X)=L(X).$$ The universal mapping property of the (global) Spec is in EGA II.1.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.