On pluricanonical systems of algebraic varieties of general type

One has a morphism g_Y\colon Y'\longrightarrow B_0. By theorems of Shokurov [Sho] and Hacon-M^\text{c}kernan [HsM], each fiber of \pi_Y\colon Y'\longrightarrow Y is rationally chain connected. Therefore, g_Y(\pi_Y^{-1}(y)) is a point for all y\in Y. Considering the image G\subset (Y \times B_0) of Y' via the morphism (\pi_Y\times g_y)\circ \triangle_{Y'} where \triangle_{Y'} is the diagonal map Y'\longrightarrow Y'\times Y', one knows that G is a projective variety. Let g_1\colon G\longrightarrow Y and g_2\colon G\longrightarrow B_0 be two projection maps. Since g_1 is a projective morphism and even a bijective map, g_1 must be both a finite morphism of degree 1 and a birational morphism. Since Y is normal, g_1 must be an isomorphism. So g_Y factors as f_1 \circ \pi_Y where f_1:=g_2\circ g_1^{-1}\colon Y \rightarrow B_0 is a well-defined morphism. Let Y\overset{f_0}\longrightarrow B'\overset{s'}\longrightarrow B_0 be the Stein factorization of f_1. Set f':=f_0\circ \pi_Y. Then F is a general fiber of f'. Denote by F_{b,0} a general fiber of f_0. Clearly K_{F_{b,0}}\sim {K_Y}|_{F_{b,0}} is nef and so F_{b,0} is minimal. So it is clear that \pi_Y^*(K_Y)|_{F_b}\sim \sigma'^*(K_{F_{b,0}}) where we set \sigma':= {\pi_Y}|_{F_b}\colon F_b\longrightarrow F_{b,0}.

When n=\dim(V)=3, this is nothing but Theorem [Chen-Zuo, Lemma 3.3]. Here we generalize it for any n. One has \mathcal {O}_{B}(p)\hookrightarrow {f}_*\omega_{X'}^{m_0} and therefore {f}_*\omega_{X'/B}^{t_0p}\hookrightarrow {f}_*\omega_{X'}^{t_0p+2t_0m_0} for any positive integer t_0.

Note that {f}_*\omega_{X'/B}^{t_0p} is generated by global sections since it is semi-positive according to Viehweg [V]. So any local section can be extended to a global one. On the other hand, whenever t_0 is bigger, |t_0p\sigma^*(K_{F_0})| is free by Base Point Free Theorem and is exactly the movable part of |t_0pK_F| by the ordinary projection formula. Clearly one has the following relation:

where a_0:=t_0p+2t_0m_0 and b_0:=t_0p. This means that there is an effective \mathbb{Q}-divisor E_F' on F such that

Thus \pi^*(K_X)|_F =_{{\mathbb Q}} \frac{p}{p+2m_0}\sigma^*(K_{F_0})+E_F with E_F=\frac{1}{a_0}E_F'.

Let us consider the case p\ge 2 first.

Assume we have defined a_l and b_l such that the following is satisfied with l = t:

We will define a_{t+1} and b_{t+1} inductively such that the above inequality is satisfied with l = t+1. One may assume from the beginning (modulo necessary blow-ups) that the fractional part of the support of a_t\pi^*(K_X) is of simple normal crossing. Then the Kawamata-Viehweg vanishing theorem gives the surjective map

One has the relation

Denote by M_{a_t+1,X'}' the movable part of |(a_t+1)K_{X'}+F|. Applying [MPCPS, Lemma 2.7], one has M_{a_t+1,X'}'|_F\geq (b_t+1)\sigma^*(K_{F_0}). Re-modifying our original \pi such that |M_{a_t+1,X'}'| is base point free. In particular, M_{a_t+1,X'}' is nef. Since X is of general type |mK_X| gives a birational map whenever m is big enough. Thus we see that M_{a_t+1,X'}' is big if we fix a very big t_0 in advance.

Now the Kawamata-Viehweg vanishing theorem again gives

Repeat the above procedure and denote by M_{a_t+u,X'}' the movable part of |K_{X'}+M_{a_t+u-1,X'}'+F| for integers u\ge 2. For the same reason, we may assume |M_{a_t+u,X'}'| is base point free and is thus nef and big. Inductively, for any u>0, one has:

Applying the vanishing theorem once more, one has

Take u=p-1. Noting that

and applying [MPCPS, Lemma 2.7] again, one has

where a_{t+1}:=a_t+p+m_0 and b_{t+1}=b_t+p. Set \beta_t = \frac{b_{t}}{a_{t}}. Clearly \lim_{t\mapsto +\infty} \beta_t = \frac{p}{m_0+p}.

The case p=1 can be considered similarly with a simpler induction. We leave it as an exercise.

Noting that

and that \pi_{\widetilde{\Lambda}}^*(\lceil{R}\rceil)\geq \lceil{\pi_{\widetilde{\Lambda}}^*(R)}\rceil, we only need to study the smaller linear system |K_{V'}+\lceil{\pi_{\widetilde{\Lambda}}^*(R)}\rceil)+M_{\widetilde{\Lambda}}| where |M_{\widetilde{\Lambda}}| is the movable part of \pi_{\widetilde{\Lambda}}^*(\widetilde{\Lambda}). By our assumption, |M_{\widetilde{\Lambda}}| is composed with a pencil and f_{\widetilde{\Lambda}}: V'\longrightarrow B_{\widetilde{\Lambda}} is an induced fibration of \Phi_{|M_{\widetilde{\Lambda}}|}, where B_{\widetilde{\Lambda}} is a smooth curve.

If g(B_{\widetilde{\Lambda}})=0, then |K_{V'}+\lceil{\pi_{\widetilde{\Lambda}}^*(R)}\rceil+M_{\widetilde{\Lambda}}| distinguishes different general fibers of f_{\widetilde{\Lambda}} because |K_{V'}+\lceil{\pi_{\widetilde{\Lambda}}^*(R)}\rceil|\neq \emptyset.

If g(B_{\widetilde{\Lambda}})>0, we pick up two general fibers F_{\widetilde{\Lambda}}' and F_{\widetilde{\Lambda}}''. Then M_{\widetilde{\Lambda}}-F_{\widetilde{\Lambda}}'-F_{\widetilde{\Lambda}}'' is nef and the Kawamata-Viehweg vanishing theorem [KV, VV] gives

Thus follows the following surjective map:

Again the assumption |K_{V'}+\lceil{\pi_{\widetilde{\Lambda}}^*(R)}\rceil|\neq \emptyset implies that |K_{V'}+\lceil{\pi_{\widetilde{\Lambda}}^*(R)}\rceil+M_{\widetilde{\Lambda}}| (and thus |K_V+\lceil{R}\rceil+L|) distinguishes different irreducible elements in the movable part of \widetilde{\Lambda}. We are done.

This is clear due to the fact:

and \widetilde{\pi}^*(\lceil{\bar{Q}}\rceil)\geq \lceil{\widetilde{\pi}^*(\bar{Q})}\rceil.

The last statement is a direct application of the first one due to 2.4. We prove the first statement.

We have a fibration f:X'\longrightarrow B induced from |m_0K| as in 2.2. We consider the linear system

Because q_3\pi^*(K_X)+Q_3' is nef and big and the fractional part of Q_3' is of simple normal crossing by our assumption, the vanishing theorem says

Thus one has the surjective map:

Note that in our case a general fiber of f is a surface of general type which has a Gorenstein minimal model. Thus the conditions in both Lemma 2.5 and Lemma 2.6 are satisfied. If b>0, Lemma 2.5 says that \pi^*(K_X)|_F\sim \sigma^*(K_{F_0}) where \sigma: F\longrightarrow F_0 is the contraction map. If g(B)=0, Lemma 2.6 says that one can find a very big number s such that

and \beta_s is sufficiently near \frac{p}{m_0+p}\geq \frac{1}{m_0+1} and \beta_s<\frac{p}{m_0+p}.

Let us put \alpha_s:=\frac{p}{m_0+p}-\beta_s. Then \alpha_s\mapsto 0 whenever s\mapsto +\infty.

Whenever q_3> 2m_0+2, one has

When s is big enough, one sees \frac{q_3p-2m_0-2p}{m_0+p}-q_3\alpha_s>0. We may assume that q_3\pi^*(K_X)|_F-q_3\beta_s\sigma^*(K_{F_0}) is {\mathbb Q}-linearly equivalent to an effective divisor R_{q_3,s} on F. Then

is nef and big since \frac{q_3p-2m_0-2p}{m_0+p}>0. Therefore

by Lemma 3.1. And in fact h^0(K_F+2\sigma^*(K_{F_0})+\lceil{\widetilde{R}_{q_3,n}+ Q_3'}\rceil)>1.

According to Proposition 3.3 and Remark 3.4,

is always effective under each situation since m_0\pi^*(K_X)\geq M_0. Therefore Lemma 2.7 says that |K_{X'}+\lceil{q_3\pi^*(K_X)+Q_3'}\rceil+M_0| can distinguish different generic irreducible elements of |M_0|. Thus it suffices to prove the birationality of \Phi_{|K_{X'}+\lceil{q_3\pi^*(K_X)+Q_3'}\rceil+M_0|}|_F for a general fiber F of f. The proofs for statements (1) and (2) are similar. We only consider (1) while omitting the proof for (2).

Of course, the first step in utilizing the vanishing theorem is to make the support of the fractional part of \{Q_3'\} to be simple normal crossing. This can be done by re-modifying X'. For simplicity we may assume, from now on, that our X' has the property stated in (\pounds) (see the proof of Proposition 3.3).

The Kawatama-Viehweg vanishing theorem implies, noticing F|_F\sim 0, that

We study a smaller system |K_F+\lceil{q_3\pi^*(K_X)|_F+{Q_3'}|_F}\rceil. We have already \pi^*(K_X)|_F\geq \beta_s\sigma^*(K_{F_0}) and 0<\alpha_s:=\frac{p}{m_0+p}-\beta_s, \alpha_s\mapsto 0 whenever s\mapsto +\infty. When q_3> 4m_0+4,

where t_s:=\frac{q_3p-4m_0-4p}{m_0+p}-q_3\alpha_s>0 whenever s is big enough. Therefore, by Theorem 3.2 and Lemma 2.8, |K_S+\lceil{4\sigma^*(K_{F_0})+t_s\sigma^*(K_{F_0})+{Q_3'}}\rceil|_F| gives a birational map. Being a bigger linear system,

also gives a birational map. We are done.

The first statement \lambda(V)\leq 18 is due to [Explicit_II, Theorem 4.8].

When q(V)>0, \lambda(V)\leq 3 by Chen-Hacon [C-H2].

When \chi({\mathcal{O}}_V)= 1, \lambda(V)\leq 10 by [Explicit_II, Corollary 3.13].

Finally when \chi({\mathcal{O}}_V)<0, \lambda(V)\leq 3 is a direct consequence of Reid’s plurigenus formula by Reid [YPG] and by Chen-Zuo [Chen-Zuo, Lemma 4.1].

(2) is a direct result from (1) according to 2.4. We only prove (1). Similar to assumption (\pounds) in the proof of Proposition 3.3, we may assume that X' is good enough.

Because q_4\pi^*(K_X)+Q_4' is nef and big, and its fractional part has normal crossing supports by assumption, the Kawamata-Viehweg vanishing theorem gives the surjective map:

By Lemma 2.5 and inequality (1), one has

If F is of type (I), then, by Remark 3.4, 3.6 and Lemma 3.7, we need to set \frac{q_4}{2m_0+1}> 37\geq (\lambda(F)+1)+\lambda(F), i.e. q_4> 74m_0+37, so that K_F+\lceil{\frac{q_4}{2m_0+1}\sigma^*(K_{F_0})+{Q_4'}|_F}\rceil is an effective divisor on F.

If F is of type (II), then by Proposition 3.3 and Lemma 3.7 we need \frac{q_4}{2m_0+1}> 32\geq (2\lambda(F)+2)+\lambda(F) so that K_F+\lceil{\frac{q_4}{2m_0+1}\sigma^*(K_{F_0})+{Q_4'}|_F}\rceil is effective.

In a word, when q_4> 74m_0+37, K_{X'}+\lceil{q_4\pi^*(K_X)+Q_4'}\rceil+F is effective.

Similar to assumption (\pounds), we may assume that X' is good enough (after a necessary modification). Also (2) is a direct result of (1). We only prove (1).

By Proposition 4.1, we see that K_{X'}+\lceil{q_4\pi^*(K_X)+Q_4'}\rceil\geq 0. Lemma 2.7 tells us that we only need to verify the birationality of

for a general fiber F of f. The vanishing theorem gives

noticing {M_0}|_F\sim 0. Lemma 2.5 and inequality (1) imply

Noting that F is a threefold of general type, we still use a similar argument to that in the proof of Proposition 4.1.

If F is of type (I), then, by Theorem 3.5(2), 3.6, Lemma 3.7 and Lemma 2.8, |K_F+\lceil{\frac{q_4}{2m_0+1}\sigma^*(K_{F_0})+{Q_4'}|_F}\rceil| gives a birational map when

i.e. q_4> 150m_0+75.

If F is of type (II), by Theorem 3.5(1) and Lemma 3.7,

is birational when \frac{q_4}{2m_0+1}> 54\geq (4\lambda(F)+4)+\lambda(F), i.e. q_4> 108m_0+54.

To make a conclusion, |K_{X'}+\lceil{q_4\pi^*(K_X)+Q_4'}\rceil+M_0| gives a birational map for all rational numbers q_4> 150m_0+75.

Noting that (2) is a direct application of (1), we only prove (1). We are going to do an induction on n.

When n=3, Proposition 3.3 says that the statement is true when q_3>2m_0+2=(2m_0+2)\cdot(2m_0+1)^{n-3}+m_0(n-3). On the other hand, we may replace m_0 with \lambda(V). In fact, Lemma 3.7 gives \lambda(V)\leq 18 for type (I) and \lambda(V)\leq 10 for type (II). Thus, by Proposition 3.3 and Remark 3.4, K_{X'}+\lceil{q_3\pi^*(K_X)+Q_3'}\rceil+F is effective whenever q_3>22. Therefore statement (1) is true for q_3>\text{min}\{2m_0+2, 22\}\cdot (2m_0+1)^{n-3}+m_0(n-3).

Assume that statement (1) is correct for varieties of dimension \leq n-1. Starting with a good model X' satisfying 2.3, we can do the induction.

Noticing that F is of dimension n-1, we hope to reduce the problem onto F. Since \iota\geq n-2, we have \dim \varphi_{m_0}(F)\geq \dim \Phi_{|M_0|}(F)\geq n-3=\dim (F)-2 by the simple additivity property. Because {M_0}|_F\leq m_0{K_{X'}}|_F\sim m_0K_F, we know \Phi_{|m_0K_F|}(F)\geq \Phi_{|{M_0}|_F|}(F)\geq \dim (F)-2. Because q_n\pi^*(K_X)+Q_n' is nef and big and has simple normal crossing fractional parts, the vanishing theorem gives the surjective map:

where q_n'\geq \frac{q_n}{2m_0+1}>\text{min}\{2m_0+2, 22\}\cdot (2m_0+1)^{(n-1)-3} by Lemma 2.5 and inequality (1). Because {M_0}|_F\leq m_0K_F and by taking those pencil \Lambda_F\subset |M_0||_F, the induction and Lemma 2.8 tell us that K_F+\lceil{q_n'\sigma^*(K_{F_0})+{Q_n'}|_F}\rceil+((n-1)-3){M_0}|_F+{M_0}|_F is effective whenever q_n'> \text{min}\{2m_0+2, 22\}\cdot (2m_0+1)^{(n-1)-3}. We are done.

Again since (2) is a direct application of (1), we only prove (1). We are going to do an induction on n.

Under the assumption q_n>\text{min}\{4m_0+4, 57\}\cdot(2m_0+1)^{n-3}, since m_0\pi^*(K_X)\geq M_0, we see

by Proposition 5.1 since \widetilde{q}_n:=q_n-m_0>\text{min}\{2m_0+2, 22\}\cdot (2m_0+1)^{n-3}. According to Lemma 2.7, |K_{X'}+\lceil{q_n\pi^*(K_X)+Q_n'}\rceil+(n-2)M_0| can distinguish different fibers of f. We are left to show the birationality of the rational map given by |K_{X'}+\lceil{q_n\pi^*(K_X)+Q_n'}\rceil+(n-2)M_0||_F for a general fiber F of f.

When n=3 and q_3>4m_0+4=(4m_0+4)\cdot (2m_0+1)^{n-3}, the statement is nothing but Theorem 3.5(1). On the other hand, we may replace m_0 with \lambda(V). In fact, Lemma 3.7 gives \lambda(V)\leq 18 for type (I) and \lambda(V)\leq 10 for type (II). Then, by Theorem 3.5(1) and (2), |K_{X'}+\lceil{q_n\pi^*(K_X)+Q_n'}\rceil+(n-2)M_0| gives a birational map for all rational numbers q_3>\text{max}\{57,44\}=57. Therefore statement (1) is true whenever q_3>\text{min}\{4m_0+4, 57\}.

Assume that statement (1) is correct for varieties of dimension \leq n-1. Starting with a good model X' satisfying 2.3, we can do the induction again. Still, we see \Phi_{|m_0K_F|}(F)\geq \Phi_{|{M_0}|_F|}(F)\geq \dim (F)-2. We hope to reduce to the problem on F. According to the relation (4), we only need to study

where q_n'\geq \frac{q_n}{2m_0+1}>\text{min}\{4m_0+4, 57\}\cdot (2m_0+1)^{(n-1)-3} by Lemma 2.5 and inequality (1). Because {M_0}|_F\leq m_0K_F and by taking those pencil \Lambda_F\subset |M_0||_F, the induction and Lemma 2.8 tell us that |K_F+\lceil{q_n'\sigma^*(K_{F_0})+{Q_n'}|_F}\rceil+((n-1)-2){M_0}|_F| gives a birational map. Thus |K_{X'}+\lceil{q_n\pi^*(K_X)+Q_n'}\rceil+(n-2)M_0||_F gives a birational map. We are done.

Statement (1) implies (2). So we only prove (1). Similar to the assumption (\pounds), we may assume that X' is good enough (modulo blow-ups) for our purpose. We prove by an induction on n.

When n=4, (1) is exactly Proposition 4.1(1).

Assume that (1) is correct for all varieties of dimension n-1. Pick a general fiber F of f. Because {M_0}|_F\leq m_0{K_{X'}}|_F\sim m_0K_F, we know \Phi_{|m_0K_F|}(F)\geq \Phi_{|{M_0}|_F|}(F)\geq n-4=\dim (F)-3. As long as we take those pencils \Lambda_F\subset |M_0||_F on F, the induction works on F. Thus we restrict everything onto F. By the vanishing theorem, we may get the similar relation to (4):

where q_n'\geq \frac{q_n}{2m_0+1}>37(2m_0+1)^{(n-1)-3} by Lemma 2.5 and inequality (1). The later linear system is non-empty by induction. Therefore K_{X'}+\lceil{q_n\pi^*(K_X)+Q_n'}\rceil+(n-4)M_0+F is effective for all rational numbers q_n>37(2m_0+1)^{n-3}.

The proof is parallel to that of Proposition 5.3. To avoid unnecessary redundancy, we omit the details.

Statement (3) is a direct result of (2). So we have to prove (1) and (2).

When n=4, the conditions in (1) and (2) read \widetilde{q}_4>u_4:=75m_0+37 and \widetilde{q}_4>w_4:=151m_0+75. Both the statements are nothing but Proposition 4.1(1) and Theorem 4.2(1), noting that m_0\pi^*(K_X)\geq M_0\geq F. Besides if we take m_0=\lambda(V), the statements are true for \widetilde{q}_4>u_4:=75\lambda(V)+37 and \widetilde{q}_4>w_4:=151\lambda(V)+75.

Assume that the statements are correct for n-1 dimensional varieties. By definition, m_0\geq \lambda(V) and \lambda_n\geq \lambda(V). Because \widetilde{q}_n\pi^*(K_X)\geq (\widetilde{q}_n-m_0)\pi^*(K_X)+M_0, we will study |K_{X'}+\lceil{(\widetilde{q}_n-m_0)\pi^*(K_X)+Q_n'}\rceil+M_0|. Now the vanishing theorem gives:

Clearly \dim (F)=n-1, the induction hypothesis says

is effective when \frac{\widetilde{q}_n-m_0}{2m_0+1}>u_{n-1} and |K_F+\lceil{\frac{\widetilde{q}_n-m_0}{2m_0+1}\sigma^*(K_{F_0})+{Q_n'}|_F}\rceil| gives a birational map when \frac{\widetilde{q}_n-m_0}{2m_0+1}>w_{n-1}. Both conditions can be replaced by \widetilde{q}_n>u_n=\widetilde{\lambda}_n+u_{n-1}(2\widetilde{\lambda}_n+1) and \widetilde{q}_n>w_n=\widetilde{\lambda}_n+w_{n-1}(2\widetilde{\lambda}_n+1), where \widetilde{\lambda}_n=m_0. Note however it is enough to take \widetilde{\lambda}_i=\lambda_i for all i<n. We are done.

Statement (3) is direct from (2). So we only need to prove (1) and (2).

When n=5, one necessarily has \iota=1 and the statements are nothing but those in Theorem 5.6.

First We consider statement (1). We may restrict the problem to F by the vanishing theorem. Then, since M_{0}|_F\leq m_0\sigma^*(K_{F_0})\leq m_0K_F, we may study the linear system

Note that \dim \Phi_{|m_0K_F|}(F)\geq \Phi_{|M_0|}(F)\geq \iota-1. Then we can do an induction and repeat this program for finite times. Finally we are reduced to study the non-emptyness of the linear system on W of dimension n-\iota+1:

where \tau\colon W\rightarrow W_0 is a contraction morphism to the minimal model. Furthermore \dim \Phi_{|m_0K_W|}(W)\geq \dim \Phi_{|M_0|}(W)\geq 1. Now Theorem 5.6(1) says that \frac{q_n}{(2m_0+1)^{\iota-1}}>u_{n-\iota+1} is enough to secure the non-emptyness of the linear system (6), where u_{n-\iota+1} is obtained by the sequence \{u_t\}_{t=4}^{n-\iota+1} with u_i=\widetilde{\lambda}_i+u_{i-1}(2\widetilde{\lambda}_i+1), u_4=75\widetilde{\lambda}_4+37, \widetilde{\lambda}_{n-\iota+1}=m_0 and, for all other i, \widetilde{\lambda}_i=\lambda_i. Therefore statement (1) is correct.

Statement (1) and Lemma 2.7 allow us to reduce the problem onto lower dimensional varieties. Thus what we are left to do is similar to that for statement (1). So after one step restriction, we get the linear system (5) on F. After successive restrictions and inductions, we may obtain the linear system (6) on W of dimension n-\iota+1. Now we may apply Theorem 5.6(2) to get the condition \frac{q_n}{(2m_0+1)^{\iota-1}}>w_{n-\iota+1} where w_{n-\iota+1} is obtained by the sequence \{w_t\}_{t=4}^{n-\iota+1} with w_i=\widetilde{\lambda}_i+w_{i-1}(2\widetilde{\lambda}_i+1), w_4=151\widetilde{\lambda}_4+75, \widetilde{\lambda}_{n-\iota+1}=m_0 and, for all other i, \widetilde{\lambda}_i=\lambda_i. We are done.