On the Picard group of the moduli space for K-3 surfaces (Q1080909)

Given an integer k denote by \({\mathcal F}_{2k}\) the set of isomorphism classes of couples (S,\({\mathcal O}_ S(D))\) where S is a K-3 surface and D is a primitive effective and numerically effective divisor of degree 2k. It is known that \({\mathcal F}_{2k}\) has a structure of quasi-projective variety. The following theorem is proved: Given any number N there exists a k such that Pic(\({\mathcal F}_{2k})\) contains N linearly independent elements.