10
$\begingroup$

Is there some condition on a complex algebraic surface that implies it has a smooth canonical divisor? I am searching for the sharpest possible condition, but sufficient criteria would be nice as well.

For example, the question is quite simple for surfaces that can be embedded in $P^3$. Roughly, just notice that in this case the linear system of the canonical line bundle is base point free and hence, by Bertini's theorem, we can find a smooth canonical divisor.

When we cannot avoid having a singular canonical divisor, then we are left with some singular curves. I am interested in computing the Euler characteristic of their symmetric product. I will post a question about this in a follow up enquire.

$\endgroup$
2
  • 1
    $\begingroup$ Is it implicit in the question that $K_X$ admits an effective representative (i.e. that $H^0(X,\Omega^2)$ admits a non-zero section)? $\endgroup$
    – Emerton
    Jan 17, 2010 at 3:17
  • $\begingroup$ That is the case I am most interested on, thank you for your comment. $\endgroup$
    – James O
    Jan 17, 2010 at 3:35

1 Answer 1

8
$\begingroup$

Any smooth projective surface with nonempty $K_X$ is obtained by blowing up finitely many points on its unique minimal model. From the formula $K_X=f^*K_Y+E$ for the blowup, you see that the exceptional divisors of the blowup are always in the base locus of $|K_X|$. Thus, the problem is reduced to the minimal model.

Then you have to go through the classification of the minimal models of surfaces, that's been known for a hundred years now. (Using a book such as van de Ven "Complex surfaces", or Shafarevich et al, or Beauville...)

For a minimal surface $Y$ Kodaira dimension 0 for example, $12K_Y=0$. So either $K_Y\ne 0$ and then $|K_X|=\emptyset$, or $K_Y=0$ and then any divisor in $|K_X|$ is $\sum a_i E_i$, where $E_i$ are the exceptional divisors of the blowups.

For a minimal surface $Y$ of Kodaira dimension 2, the question is still somewhat tricky. If looking at higher multiples $|mK_Y|$ suffices, then by a well known theorem (Bombierri? certainly I. Reider gave a very nice proof), $|5K_Y|$ is free, so a general element is smooth (in characteristic 0). For $|K_Y|$ I don't think the answer is known but why not search mathscinet.

Finally, for Kodaira dimension 1, an elliptic surface $\pi:Y\to C$, there is a well-known Kodaira's formula for the canonical class $K_Y=\pi^*K_C + R$ with explicit rational coefficients in $R$. I'd play with that. Again, for higher multiples I think $|12K_Y|$ works.

Of course, to your example of a hypersurface in $\mathbb P^3$ you can add the case of complete intersections, and other surfaces for which $K_X$ is either zero or $\pm K_X$ is very ample.

$\endgroup$
2
  • 3
    $\begingroup$ A small quibble: a min surface $Y$ of Kodaira dim zero has $K_Y$ torsion but not necessarily zero (think Enriques surface). But it matters little, since if $K_Y$ is torsion but non zero there can be no effective canonical divisor. $\endgroup$
    – Tim Perutz
    Jan 17, 2010 at 15:29
  • $\begingroup$ You are right, of course. $\endgroup$
    – VA.
    Jan 17, 2010 at 16:04

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.