Skip to main content
1 of 6
user avatar
user avatar

one-dimensional family of complex algebraic K3 surface

Let $X$ be a algebraic complex K3 surface, we know that $X$ is deformation equivalent to a smooth quartic surface or more generally a K3 surface with Picard number $1$ (a very general K3 surface in the family of K3 surfaces). It means that there exists a proper morphism $\mathcal{X}\rightarrow S$ with each fibre a K3 surface such that $\mathcal{X}_{\eta}=X$ and $\rho(\mathcal{X}_t)=1$.

I want to show that $S$ can be a smooth algebraic curve or better be $\mathbb{A}^1$.

Thought: Consider the universal family $M$ of algebraic complex K3 surfaces, the family of K3 surfaces with $\rho>1$ is a countable union of dimension $18$ family $D_i$ of subvarieties of $M$. Then we only need to pick a curve outside all of the diviors $D_i$, how can one explicitly do it?

user494851