Locally free sheaf of rank n on $A^1_k$ is trivial of rank n The question is how to prove the title, this is actually exercise 13.2.C. from Vakil's notes.
The hint is to use the structure theorem for f.g. module over PID. Since to be quasi-coherent is a local property and locally free sheaf is quasi-coherent, we know the sheaf on $A^1_k$ is given by some $k[x]$-module M, and note that $k[x]$ is a PID.
So I guess we first need to prove M is finitely generated. Is it true that being a finitely generated module is a local property? Also, how should I prove M is actually free? Is being free module also a local property? At least for module over PID? It seems to me that this is what the hint about. Could someone help? Thanks!
 A: Eoin's answer (in the comments) can be further shortened by noting that locally free sheaves of finite rank over a noetherian ring is coherent, so $M$ being finitely generated comes directly. After that use the fact that $M$ is projective (as it is locally free of constant rank) and since your ring is a PID it is in fact free. 
The much more difficult problem is whether the same conclusion holds for $\mathbb A^n_k$. The answer is yes. This is known as the Quillen–Suslin theorem. 
Let me ask two related questions which I haven't really tried to answer at the moment (maybe I will also ask them separately)
a)Over an UFD, all locally free sheaves of rank $1$ is trivial (the converse is also true, with noetherian and normal assumption). Give an example of a non trivial locally free sheaf of rank  $>1$.
b)Is it possible to characterize rings for which locally free sheaves of rank $ \le n$ is trival but there is a nontrivial locally free sheaf of rank $n+1$?
A: Locally free sheaves of rank $n$ on $\mathbb A^1_k$ correspond one-one to finitely generated projective modules of rank $n$ over the ring $k[x]$.
In this correspondance the sheaf $\mathcal E$ on  $\mathbb A^1_k$ is sent to the module $\Gamma(\mathbb A^1_k,\mathcal E)$ and trivial locally free sheaves are sent to free modules.
This correspondence is a particular case of an equivalence of categories proved  by Serre in 1955 in his ground-breaking article FAC, Chapitre II, 50, Proposition 4, page 242].
Since a finitely generated module over a PID is projective if and only it is free ( Dummit-Foote, Section 12.1, exercise 21) you get your result.
[That exercise is very easy: since a projective module over  a domain has no torsion (since it is a sub-module of a free module) the classification of finitely generated modules over a PID given in theorem 6 of the same section immediately solves the exercice]
