A sharp vanishing theorem for line bundles on K3 or Enriques surfaces

Abstract

Let $L$ be a line bundle on a K3 or Enriques surface. We give a vanishing theorem for $H^1(L)$ that, unlike most vanishing theorems, gives necessary and sufficient geometrical conditions for the vanishing. This result is essential in our study of Brill-Noether theory of curves on Enriques surfaces (2006) and of Enriques-Fano threefolds (2006 preprint).