Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a smooth complex surface of general type and $m>0$ an integer and $\eta\in Pic^0(X)$. If $X'$ is a smooth surface birational to $X$, then it is easy to show that $h^0(mK_X+\eta)=h^0(mK_{X'}+\eta)$ (I'm using the fact that $Pic^0(X)$ and $Pic^0(X')$ are canonically isomorphic). If one takes $X'$ to be the minimal model of $X$, then for $m>1$ by Kawamata-Viehweg vanishing $h^0(mK_X+\eta)=\chi(mK_X)$ is independent of $\eta\in Pic^0(X)$.

This argument does not work if $\dim X>2$ because minimal models in general are not smooth. My question is whether it is nevertheless true that $h^0(mK_X+\eta)$ is independent of $\eta$ for $m>1$.

I'm interested mainly in the case when the Albanese map of $X$ is generically finite.

ADDED: I would like to add some motivation. If $X$ is a variety with generically finite Albanese map and such that $\chi(K_X)>0$ the {\em paracanonical system} of $X$ (i.e. the family of effective divisors algebraically equivalent to $K_X$) contains a {\em main component}, that dominates a component of $Pic(X)$. This main component is a classical object of study.

As explained above, in the case of surfaces the analogous construction for $mK_X$, $m>1$ is ``boring'', since it gives a $\mathbb P^k$-bundle over acomponent of $Pic(X)$. So I am wondering whether for $\dim X>2$ things are similar, or, conversely, there is some interesting geometry also for $m>1$.

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.