1
$\begingroup$

Let $X$ be a smooth projective surface over $\mathbb{C}$. Let $L$ be an ample line bundle on $X$. Let $|L|_s$ denote the locus of smooth curves in $|L|$.

For $C\in |L|_s$ consider the Brill-Noether variety, $$G^r_d(C)=\{(A,V): A\in\,Pic^d(C), dim\ V =r+1\}.$$ Note that $V$ is a $(r+1)$-dimensional subspace of $H^0(C,A)$.

Is there an example of an $X$, $L$, $r$ and $d$ such that for any $C\in |L|_s$, there is no base-point free $(A,V)\in G^r_d(C)$.

$\endgroup$
2
  • $\begingroup$ That can happen for many reasons. It might be that $|L|_s$ is a single point parameterizing a single curve $C$, and $G^r_d(C)$ also happens to be a single point. Here is a different example. Let $f:X\to \mathbb{CP}^2$ be a double cover that is simply branched over a plane curve of degree $2e$. Then $L=f^*\mathcal{O}(1)$ is ample and base point free. However, every $C\in |L|_s$ is hyperelliptic of genus $g=e-1$. Thus, for every $r\geq 1$, for every odd $d$ with $3\leq d\leq 2e-3$, every $(A,V)$ has nonempty base locus. $\endgroup$ Commented Mar 30, 2017 at 7:55
  • $\begingroup$ ... for $e\geq 2$! $\endgroup$ Commented Mar 30, 2017 at 18:36

1 Answer 1

1
$\begingroup$

I am just posting my comment as an answer. There is a philosophical point here. Brill-Noether theory describes all linear systems on a generic curve $C$ of genus $g$. However, a curve $C$ of large genus $g$ that is a member of a pencil of curves in a surface is special by the theorem of Harris-Mumford-Eisenbud: for $g\geq 24$, a generic curve $C$ of genus $g$ is not a member of a pencil of curves on a surface -- in fact (every desingularization of every projective model) of the moduli space of genus $g$ curves is of general type. So curve $C$ that can we study as moving divisors on a surface need not be Brill-Noether general. Having said that, there is a beautiful theorem of Lazarsfeld that for a polarized K3 surface of Picard rank $1$, a general smooth curve $C$ in the complete linear system of the primitive polarizing class is Brill-Noether general.

Let $e\geq 2$ be an integer, and let $f:X\to\mathbb{P}^2$ be a degree $2$ cover branched over a smooth curve $B$ of degree $2e$. Then $f^\# :\mathcal{O}_{\mathbb{P}^2}\to f_*\mathcal{O}_X$ has quotient equal to the invertible sheaf $\mathcal{O}_{\mathbb{P}^2}(-e)$. By the computation of cohomology of invertible sheaves on projective space, the Ext group is zero, so $f_*\mathcal{O}_X$ is isomorphic to $\mathcal{O}_{\mathbb{P}^2}\oplus \mathcal{O}_{\mathbb{P}^2}(-e)$. Thus, $f_*(f^*\mathcal{O}_{\mathbb{P}^2}(d))$ is isomorphic to $\mathcal{O}_{\mathbb{P}^2}(d)\oplus \mathcal{O}_{\mathbb{P}^2}(d-e)$. Thus, for $d=1$ and $e\geq 2$, every smooth member $C$ of the basepoint free, complete linear system of the ample invertible sheaf $f^*\mathcal{O}_{\mathbb{P}^2}(1)$ is a hyperelliptic curve of genus $g=e-1$. Thus, for every odd integer $d\leq 2g-3 = 2e-5$, for every $r\geq 1$, every $\mathfrak{g}^r_d$ on $C$ has a basepoint.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .