Brill-Noether theory of curves on Enriques surfaces. I: The positive cone and gonality (Q1006824): Difference between revisions

In the paper under review, the authors study the Brill-Noether theory of curves on an Enriques surface, presenting results on the gonality of certain curves on this surface and on the positive cone of line bundles. Let \(L\) be a line bundle on a Enriques surface \(S\) such that \(L^2 > 0\). Set: \[ \phi(L) := \inf \{ | F\cdot L| \; ; \; F \in \text{Pic}(S) , \; F^2 = 0, F \not \equiv 0\} \] \[ \mu(L) := \min \{B \cdot L - 2 \; ; \; B \in \text{Pic}(S) \; \text{ with \(B\) effective\;}, B^2 = 4, \phi(B) = 2, B \not \equiv L\}. \] Among many results, the authors prove the following. Theorem. Let \(|L|\) be a base-component free complete linear system on an Enriques surface such that \(L^2 > 0\). Then, for a general \(C \in |L|\) we have \[ \text{gon}(C) = \min \{ 2 \phi(L), \mu(L), \lfloor L^2/4 \rfloor + 2 \}. \] Theorem. Let \(|L|\) be an effective line bundle on an Enriques surface with \(L^2 > 0\). If \(L^2 \leq \phi(L)^2 + \phi(L) - 2\) then there exist primitive effective divisors \(E_i\), with \(E_i^2 = 0\), for \(i = 1,2,3\), \(E_1\cdot E_2 = E_1 \cdot E_3 = 2\), \(E_2 \cdot E_3 = 1\) and an integer \(h \geq 1\) so that one of the two of the following occurs: (i) \(L^2 = \phi(L)^2\). In this case \(L \equiv h (E_1 + E_2)\). (ii) \(L^2 = \phi(L)^2 + \phi(L) - 2\). In this case either: (ii-a) \(L \sim h (E_1 + E_2) + E_3\); or (ii-b) \(L \sim (h + 1)E_1 + h E_2 + E_3\); or (ii-c) \(L \equiv 2(E_1 + E_2 + E_3)\) (whence \(L^2 = 40\) and \(\phi(L) = 6\)).