ACM line bundles on polarized \(K3\) surfaces (Q2334104)

In the paper under review, the author gives a necessary and sufficient condition for a non-trivial line bundle \(\mathcal{O}_X(D)\) on \(X\) with \(|D|\neq \emptyset\) and \(D^2\geq L^2-6\) to be an ACM and initialized line bundle with respect to \(L\), for a given \(K3\) surface \(X\) and a very ample line bundle \(L\) on \(X\). {Definition} Let \(X\) be a smooth projective variety of dimension \(d\) and let \(L\) be a very ample line bundle on \(X\). \begin{itemize} \item[(i)] A vector bundle \(E\) on \(X\) is called an \textit{Arithmetically Cohen-Macaulay \((\)ACM\/\()\) bundle} with respect to \(L\), if \(H^i(X, E \otimes L^{\otimes l} )=0\) for all \(0 < i < d\) and for all integers \(l \in \mathbb{Z}\). \item[(ii)] A vector bundle \(E\) on \(X\) is an \textit{initialized bundle} with respect to \(L\) on \(X\), if \[\min\{t \in \mathbb{Z} | h^0(X, E\otimes L^l)\neq 0 \}=0.\] \item[(iii)] A vector bundle \(E\) on \(X\) with respect to \(L\) is called an \textit{Ulrich bundle} on \(X\), if \[ H^*(X, E\otimes L^{-1}) = \cdots = H^*(X, E\otimes L^{-d}) = 0. \] \end{itemize} The main theorem in this paper is as follows. {Theorem 1.2} \ Let \(X\) be a \(K3\) surface and let \(L\) be a very ample line bundle on \(X\). Let \(D\) be a nonzero divisor on \(X\) with \(D^2\geq L^2-6\). Then the following conditions are equivalent. \begin{itemize} \item[(i)] \ \(\mathcal{O}_X(D)\) is an ACM and initialized line bundle with respect to \(L\). \item[(ii)] \ For \(H \in |L|\), one of the following cases occurs. \begin{itemize} \item[(a)] \ \(D^2=H^2-6\) and \(H^2-3 \leq H.D \leq H^2-1\). \item[(b)] \ \(D^2=H^2-4\) and \(H^2-1 \leq H.D \leq H^2\). \item[(c)] \ \(D^2=H^2-2\) and \(H.D=H^2+1\). \item[(d)] \ \(D^2\geq H^2\), \(D^2=2H.D-H^2-4\), \(|D-H|=\emptyset\) and \(h^1(\mathcal{O}_X(2H-D))=0\). \hfill \(\Box\) \end{itemize} \end{itemize} Moreover, the author studies Ulrich line bundles on a polarized \(K3\) surface \((X, L)\) as above, and gives an example of an ACM and initialized line bundle \(\mathcal{O}_X(D)\) which is not an Ulrich line bundle and satisfies the condition as in Theorem~1.2 (ii) \((d)\).