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
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.