Suppose is a hypersurface in corresponding to an irreducible degree polynomial.

Show that . This is related to the fact that the fundamental group .

The Picard group of a ringed space , denoted by is the group of isomorphism classes of invertible sheaves (or line bundles) on , with the group operation being tensor product.

An invertible sheaf is a coherent sheaf on a ringed space , for which there is an inverse with respect to the tensor product of -modules. Invertible sheaves on a ringed space in algebraic geometry are topologically called line bundles.

These isomorphism classes form an abelian group, the Picard group under tensor product. is the Picard functor from ringed spaces to abelian groups.

They are probably related to the fundamental group in some way. But I haven’t figured that out yet.