On the pluricanonical maps of varieties of intermediate Kodaira dimension (Q2376889): Difference between revisions

Let \(X\) and \(Y\) be smooth projective varieties and \(f: X\rightarrow Y\) an algebraic fiber space with generic fiber \(F\) of Kodaira dimension zero. Let \(b\) be the smallest integer such that \(h^0(F, bK_F)\) is not zero. Then there is a \(\mathbb{Q}\)-divisor \(L_{X/Y}\) on \(Y\) such that \[ {\mathcal{O}}_Y(\lfloor iL_{X/Y}\rfloor )\cong (f_* {\mathcal{O}}_X (ib K_{X/Y}) )^{**} \] and \[ H^0(Y, {\mathcal{O}}_Y(\lfloor ibK_Y+ iL_{X/Y}\rfloor ) ) \cong H^0(X, {\mathcal{O}}_X (ibK_X)) \] for all \(i>0\). Write the divisor \( L_{X/Y}= L_{X/Y}^{ss}+ \triangle\), where \( L_{X/Y}^{ss} \) is a \(\mathbb{Q}\)-Cartier divisor and \(\triangle\) is an effective \(\mathbb{Q}\)-divisor. One may assume that \( L_{X/Y}^{ss} \) is nef and \(\triangle \) is a simple normal crossing divisor. Let \(M_Y= L_{X/Y}^{ss}/b\) and \(B_Y= \triangle/b\). Prokhorov and Shokurov conjectured that there exists a positive integer \(I\) depending only on the dimension of \(X\) such that \(IbNM_Y\) is linearly equivalent to a base point free divisor on \(Y\), where \(N\) is a positive integer such that \(NL_{X/Y}^{ss}\) is a Weil divisor. In this paper, the author proved the following main theorem: Assume the Prokhorov-Shokurov conjecture holds. For any positive integers \(n, b, k\), there exist positive integers \(m(n, b, k)\) depending on \(n, b, k\) and \(N\) depending on \(k\) such that if \(f: X\rightarrow Y\) is the Iitaka fibration with \(X\) and \(Y\) smooth complex projective varieties, dim\(X=n\), with generic fiber \(F\) of \(f\) of Kodaira dimension zero, such that (1) \(F\) has a good minimal model; (2) \(b\) is the smallest integer such that \(h^0(F, bK_F)\) is not zero, and Bett\(_{dim(E')}(E')\leq k\), where \(E'\) is a smooth model of the cover \(E\rightarrow F\) of the generic fiber \(F\) associated to \(b\)-th root of the unique element of \(|bK_F|\); then the pluricanonical map \(\phi_{mK_X}\) from \(X\) to the projective space defined by the basis of \( H^0(X, {\mathcal{O}}_X (mK_X))\) is birationally equivalent to \(f\), for any integer \(m>m(n, b, k)\) and divisible by \(bN\). Some applications are discussed. In particular, the result holds if the variation of \(f\) is zero or \(\kappa(X)=\)dim\(X-1\). The main idea of the proof is to use the techniques developed by Hacon, McKernan, Takayama and Tsuji.