Let $X$ be a smooth projective variety defined over $\mathbb{C}$. In the context of the minimal model program it is often important to understand the geometry of the maps defined by the complete linear systems associated to powers of the canonical class $nK\_{X}$. I would like to understand some examples of how intricate these maps can be for small $n$.


For simplicity let's restrict to the case of algebraic surfaces. We assume that $X$ is of general type and minimal. A concrete question that I have in mind is the following. One expects that for large $n$ the complete linear systems become basepoint free, but how large is large? What explicit examples are known where the systems $nK\_{X}$ all have a basepoint for $n \leq N$ but become free when $n>N$ ? Is there some absolute bound on $N$, and if so for what surface is the bound saturated?



Basepoints in the canonical system of algebraic surfaces
In the general case when $n=\dim X$ is arbitrary
Kollár proves an analogue for minimal varieties of general type, although the bound is much worse than in the surface case.
In the situation at hand it implies that $\vert ((n+3)!)K\_X\vert$ is basepoint-free (actually one can write $(n+2)(n+2)!$ instead of $(n+3)!$, but this is shorter).


See:
Kollár, János [Effective base point freeness](https://link.springer.com/article/10.1007/BF01445123). Math. Ann. 296 (1993), no. 4, 595–605.


A closely related problem is *Fujita's conjecture*, which states that if $L$ is an ample divisor on $X$, then $|K\_X+mL|$ is basepoint-free if $m\geq \dim X+1$ and very ample if $m\geq \dim X +2$.


There are many related results, but the conjecture is still open.


Angehrn and Siu prove that if $L$ is ample, then $|mL+K\_X|$ is base point free if $m\geq \frac 12(n^2+n+2)$.


Angehrn, Urban; Siu, Yum Tong
Effective freeness and point separation for adjoint bundles.
Invent. Math. 122 (1995), no. 2, 291–308.
32J25 (14C20 32L10)


Helmke also has some related results:


Helmke, Stefan . The base point free theorem and the Fujita conjecture.
School on Vanishing Theorems and Effective Results in Algebraic
Geometry (Trieste, 2000),
215--248, ICTP Lect. Notes, 6, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2001.


Helmke, Stefan . On global generation of adjoint linear systems.
Math. Ann. 313 (1999), no. 4, 635--652.


Helmke, Stefan . On Fujita's conjecture.
Duke Math. J. 88 (1997), no. 2, 201--216.


