Skip to main content
2 of 2
added 105 characters in body
Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38

The answer is no - the point is that finitely generated projective modules are locally free but not necessarily globally so.

For instance take a Dedekind domain $A$ which does not have unique factorization and consider a non-principal prime ideal $P$. Then $\tilde{P}_x \cong \mathcal{O}_x$ for any $x\in Spec A$ but it is not isomorphic to $A$.

This will occur for any scheme with non-trivial Picard group, in the sense that there will be line bundles (i.e. locally free sheaves of rank 1) which are not trivial.

Edit If you really do want $Spec A$ Hausdorff then off the top of my head one can say the following. If $A$ is noetherian then since it must be dimension 0 it is artinian and so a product of artin local rings. So the only dense subset in the spectrum is the whole thing and so any line bundle is trivial as it is a product of line bundles over local affine schemes.

Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38