2
$\begingroup$

Let $X$ be a complex compact Kähler minimal surface with zero algebraic dimension and $H^2(X,\mathcal{O}_X) \ne 0$. We know that according to Enriques–Kodaira classification, $X$ is either a torus or a K3 surface. In particular, its canonical bundle is trivial.

My question is, are there are any direct ways to show that the canonical bundle $K_X$ of $X$ is trivial without using the classification of complex compact surfaces? Thank you!

$\endgroup$
2
  • $\begingroup$ Because it's Kahler we have $H^0(X,K_X)\neq 0$, so we have a section. If we have two linearly independent sections then their ratio is a meromorphic function, so $H^0(X,K_X)$ has dimension $1$. So we are interested in showing that the vanishing set of a generator of this is empty, which I guess you do using the nonexistence of $-1$ curves. $\endgroup$
    – Will Sawin
    Aug 22, 2012 at 5:01
  • $\begingroup$ Thanks Will, this is what I was thinking. By minimality and the fact that $K_X$ is not ample, one has $K_X \cdot K_X = 0$; and since $K_X$ is nef, we have $K_X \cdot C = 0$ where $C$ is an irreducible curve contained in the support of the canonical divisor (which I suppose exist). So by the genus–degree formula, we have $2g-2 = C^2 \le 0$, then I stuck here... $\endgroup$
    – HYL
    Aug 22, 2012 at 6:08

1 Answer 1

3
$\begingroup$

You can extract a proof from the classical book "Compact complex surfaces" by Barth-Hulek-Peters-Van de Ven, in chapter VI, section 6 "The Case $a(X)=0$". Here are some details. The proof is quite direct, and does not require quoting the classification of surfaces.

First, one shows that $h^{1,0}(X)\leq 2$ (Proposition 8.1 in Chapter IV of that book).

Assume that $h^{1,0}(X)=0$. From this (and the fact that $K_X\cdot K_X=0$) you deduce immediately from Riemann-Roch that $H^0(X,-K_X)\neq 0$, which together with $H^0(X,K_X)\neq 0$ implies that $K_X$ is trivial.

The case when $h^{1,0}(X)=1$ cannot happen since it would imply on the one hand that $\chi(\mathcal{O}_X)=1$, while on the other hand $\chi(\mathcal{O}_X)=0$ by the "unbranched covering trick", Proposition 18.1 in Chapter I (plus the fact that $\chi(\mathcal{O}_X)$ behaves multiplicatively under finite unramified covers).

Finally, in the case when $h^{1,0}(X)=2$ one can show that $X$ is a torus by proving that the Albanese map of $X$ is a finite unramified cover. The details are on page 258 of that book (case e) in their proof).

$\endgroup$

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.