International Journal of Mathematics ( IF 0.604 ) Pub Date : 2021-04-07 , DOI: 10.1142/s0129167x21500324
Purnaprajna Bangere, Jayan Mukherjee, Debaditya Raychaudhury

In this paper, we study K3 double structures on minimal rational surfaces $Y$. The results show there are infinitely many non-split abstract K3 double structures on $Y=𝔽e$ parametrized by $ℙ1$, countably many of which are projective. For $Y=ℙ2$ there exists a unique non-split abstract K3 double structure which is non-projective (see [J.-M. Drézet, Primitive multiple schemes, preprint (2020), arXiv:2004.04921, to appear in Eur. J. Math.]). We show that all projective K3 carpets can be smoothed to a smooth K3 surface. One of the byproducts of the proof shows that unless $Y$ is embedded as a variety of minimal degree, there are infinitely many embedded K3 carpet structures on $Y$. Moreover, we show any embedded projective K3 carpet on $𝔽e$ with $e<3$ arises as a flat limit of embeddings degenerating to 2:1 morphism. The rest do not, but we still prove the smoothing result. We further show that the Hilbert points corresponding to the projective K3 carpets supported on $𝔽e$, embedded by a complete linear series are smooth points if and only if $0≤e≤2$. In contrast, Hilbert points corresponding to projective (split) K3 carpets supported on $ℙ2$ and embedded by a complete linear series are always smooth. The results in [P. Bangere, F. J. Gallego and M. González, Deformations of hyperelliptic and generalized hyperelliptic polarized varieties, preprint (2020), arXiv:2005.00342] show that there are no higher dimensional analogues of the results in this paper.

down
wechat
bug