The Clifford index of line bundles on a 2-elementary \(K3\) surface given by a double cover of a del Pezzo surface (Q2349878)

A \(2\)-elementary \(K3\) surface \(X\) as the double covering of a smooth del Pezzo surface of degree \(4\leq d\leq 8\) admits a non-symplectic involution \(\theta\), whose discriminant group is \((\mathbb{Z}\slash 2\mathbb{Z})^a\), Néron-Severi lattice is either \(U(2)\) or \(\langle 2\rangle\oplus A_1^{a-1}\) of Picard number \(\rho(X)=a\), and the fundamental invariants \(2\leq a\leq 6\) and \(\delta_{S_X}\), and the fixed locus \(X^\theta\) of \(X\) by \(\theta\) is well-studied. Let \(C\) be a smooth curve in \(X\) of genus \(g(C)\geq 3\), and \(L:=\mathcal{O}_X(C)\). Define the Clifford index \(\text{Cliff} (L)\) of \(L\) to be the Clifford index of any smooth curve in the linear system \(|L|\), which is well-defined by a theorem of Green and Lazarsfeld. Define \(d_C\) as the minimum of intersection numbers of \(C\) and elliptic curves on \(X\). It is shown in Theorem 1.2 of the paper under review, with this setting, that either \(\text{Cliff} (L)\) is equal to \(\text{Cliff}(\mathcal{O}_C(F))\) of an elliptic curve \(F\) in \(X\), or \(C\) is linearly equivalent to a multiple of a smooth genus-\(2\) curve \(B\) in \(X\). Remark that there are some further work concerning the latter case. The proof must answer the questions (1)(2) before a construction of such \(F\) or \(B\) above: (1)\, does the set \(\mathcal{A}^0(L)\) of, roughly, curves that attain \(\text{Cliff}(L)\), contain an elliptic curve on \(X\)? (2)\, noting that \(\text{Cliff}(L)\) is determined by \(\min \left\{ [\frac{g(C)-1}{2}],\, \mu(L):=d_C-2\right\}\), is \(\mu(L)\) attained by an elliptic curve, and if so, does this elliptic curve compute \(\text{Cliff}(L)\)? The genus-\(2\) curve \(B\) actually is of \(h^0(B) \geq 2, h^0(L-B) \geq 2, \) and \(B.(C-B) < d_C\) that may exist in case \((\rho(X),\, a,\, \delta_{S_X})\not=(2,2,0)\). Otherwise, the elliptic curve \(F\) is constructed (i)\, by preliminary results if \((\rho(X),\, a,\, \delta_{S_X})=(2,2,0)\), and the Néron-Severi lattice of \(X\) is \(U(2)\), and, (ii)\, as a combination of the curve \(C\) and a smooth curve in \(\mathcal{A}^0(L)\) if \((\rho(X),\, a,\, \delta_{S_X})\not=(2,2,0)\). The reviewer wonders what can be said when the del Pezzo surface is of degree \(1,2\) or \(3\) or instead of \(2\)-elementary \(K3\) surface, when a \(K3\) surface is a double covering of the projective plane or some weighted projective planes.