2
$\begingroup$

Let $S$ be an Enriques surface and $C\subset S$ a smooth irreducible curve of genus $g$.

Consider the condition $$\omega_C\simeq N_{C/S}$$ For example, when $g=1$ then $\omega_C=\mathcal{O}_C$ and the above condition is satisfied if and only if the class of $C$ is divisible by $2$ in $\mathrm{Pic}(S)$ (i.e. the exceptions are the two half-pencils of the elliptic fibration).

When $g>1$, do we have smooth curves $C$ for which the above condition holds?

I am especially interested in the case when $S$ is a generic Enriques.

$\endgroup$
1
  • $\begingroup$ Sorry, the argument I gave was too short. I put it into an answer. $\endgroup$
    – abx
    May 4, 2016 at 4:15

1 Answer 1

3
$\begingroup$

The adjunction formula gives $\omega _C\cong N_{S/C}\otimes \omega _{S|C}$, so your condition is equivalent to say that the canonical class of $S$ restricts to $0$ on $C$. This will never happen if $g\geq 2$. Indeed it means that the universal double covering $\pi :\tilde{S}\rightarrow S $ becomes trivial above $C$. This is impossible if $C^2>0$ because each component of $\pi ^{-1}(C)$ should have positive square, contradicting Hodge index theorem.

$\endgroup$
1
  • $\begingroup$ You assume that $\pi $ restricted to $C$ is trivial, so the two components (that you call $D$ and $\iota (D)$) do not intersect. $\endgroup$
    – abx
    May 5, 2016 at 18:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.