Lemma 27.6.3. The category of vector bundles over a scheme $S$ is anti-equivalent to the category of quasi-coherent $\mathcal{O}_ S$-modules.

Proof. Omitted. Hint: In one direction one uses the functor $\underline{\mathop{\mathrm{Spec}}}_ S(\text{Sym}^*_{\mathcal{O}_ S}(-))$ and in the other the functor $(\pi : V \to S) \leadsto (\pi _*\mathcal{O}_ V)_1$ where the subscript indicates we take the degree $1$ part. $\square$

Comment #5406 by Leo on

The hint should read "In one direction, one uses the functor Spec_S(Sym(--))" instead of just Spec

There are also:

• 6 comment(s) on Section 27.6: Vector bundles

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).