Nonminimal rational curves on \(K3\) surfaces (Q1384144): Difference between revisions

The authors prove, among other things, the two results: Theorem 3.4. The smooth quartics in \(\mathbb{P}^3\) carrying rational, reduced and irreducible curves of degree 8, respectively 12, obtained as intersections with smooth quadrics, respectively cubics, form a constructible set of dimension 34 in the quasi-projective variety \({\mathcal L}_K\) of all smooth quartics in \({\mathbb{P}}^3\). A general quartic in this set carries also some rational curves of degree 8, respectively 12, having only nodes as singularities. (This gives a modern proof of a general assertion due to B. Segre.) Theorem 4.1. The surfaces in the 43-dimensional quasi-projective variety \({\mathcal S}_{2, 3}\) of all smooth complete intersections \(S_{2, 3}\) of a quadric and a cubic threefold in \({\mathbb{P}}^4\), carrying rational integral curves of degree 12, obtained as intersections with smooth quadrics, form a constructible set of dimension 43 in \({\mathcal S}_{2, 3}\).