Projective normality and the generation of the ideal of an Enriques surface (Q2515409)

In the paper under review, the authors investigate normal generation and normal presentation of \(\mathcal{O}_X(1)\) when \(X\) is an Enriques surface [D.~Mumford, Varieties defined by quadratic equations. Corso CIME 1969. In: Questions on algebraic varieties. Rome 1970, pp. 30-100]. Let \(X\) be a projective variety and \(L\) a very ample line bundle on it. Then \(L\) defines a embedding \(X \subset \mathbb{P}(H^0(L))\). Denote \(S(L):=\roman{Sym}^\bullet H^0(L)\) the homogeneous coordinate ring of the projective space \(\mathbb{P}(H^0(L))\), and consider the graded \(S(L)\)-module \(R(L):=\bigoplus_{d \geq 0}H^0(L^d)\). We say that \(L\) is \textit{normally generated} if \(S(L)\rightarrow R(L)\) is surjective. \(L\) is normally generated if and only if \(X\) is projectively normal, i.e., the homogeneous coordinate ring of \(X\) in \(\mathbb{P}(H^0(L))\) is integrally closed. Moreover, \(L\) is \textit{normally presented} if it is normally generated and the homogeneous ideal of \(X\), which is the kernel of the surjective map \(S(L)\rightarrow R(L)\), is generated by quadrics, i.e., \(X\) is scheme-theoretically cut out by quadrics. Now let \(X \subset \mathbb{P}^n\) be an Enriques surface. For a line bundle \(L\) on \(X\) such that \(L^2>0\), we define \(\varphi(L):=\inf\{|F.L|\, | \, F\in \roman{Pic}(X), F^2=0, F\not\equiv 0 \}\). The authors study the gonality of a general hyperplane section \(X\cap H\) carefully, and obtain the following main result of the paper. Theorem Let \(X \subset \mathbb{P}^n\) be a smooth linearly normal nondegenerate Enriques surface and let \(L=\mathcal{O}_X(1)\). {\parindent=6mm \begin{itemize} \item[(1)] \(X\) is projectively normal if \(L^2\geq 12\); \item [(2)] \(X\) is scheme-theoretically cut out by quadrics if and only if \(\varphi(L)\geq 4\); \item [(3)] If \(L^2\geq 18\) and \(\varphi(L)=3\) and \(L\) is not of special type, then the intersection of the quadrics containing \(X\) is the union of \(X\) and the 2-planes spanned by cubic curves \(E\subset X\) such that \(E^2=0\) and \(E.L=3\). \end{itemize}}