Donagi-Morrison's examples on 2-elementary \(K3\) surfaces (Q766092)

Let \((X,L)\) be a smooth polarized \(K3\) surface with \(L\) base point free. According to results of Donagi and Morrison, Ciliberto and Pareschi, the gonality of smooth curves in the linear series \(|L|\) is not constant if and only if \(\pi:X\rightarrow\mathbb{P}^2\) is a double cover of \(\mathbb{P}^2\) branched along a smooth sextic and \(L=\pi^*\mathcal{O}_{\mathbb{P}^2}(3)\). This is called Donagi-Morrison's example. In this paper, the author gives a necessary and sufficient condition for a \(2\)-elementary polarized \(K3\) surface to be Donagi-Morrison's example. A \(2\)-elementary surface is a \(K3\) surface equipped with a symplectic or non-symplectic involution \(\theta\). Its Neron-Severi lattice \(S_X\) has the property that \(S^*_X/S_X\cong(\mathbb{Z}/2\mathbb{Z})^a\). The author proved that a \(2\)-elementary polarized \(K3\) surface \((X,L)\) (assuming \(L\) base point free) is Donagi-Morrison's example if and only if \((\rho(X),a)=(1,1)\) or \((9,9)\), and \(L=\mathcal{O}_X(3B)\), where \(\rho(X)\) is the Picard number of \(X\) , \(B\) is either the ample generator of \(S_X\) (if \(\rho(X)=1\)) or the fixed locus \(X^{\theta}\) of the canonical involution \(\theta\) (if \(\rho(X)=9\)).