Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs (Q301608)

Let \(W\) be a smooth projective variety, then the Kodaira dimension \(\kappa (W)\) of \(W\) is the maximum dimension of the image of \(W\) via the linear series \(|mK_W|\) for all \(m>0\) (if \(|mK_W|=\emptyset\) for all \(m>0\), then we say that \(\kappa (W)<0\)). The Iitaka fibration of \(W\) is a rational contraction map \(f:W\dasharrow X\) where \(\dim X=\kappa (W)\) and \(\kappa (F)=0\) for the general fiber \(F\) of \(f\). This map is uniquely determined up to birational isomorphism by \(|mK_W|\) for any \(m>0\) sufficiently divisible. It is conjectured that for any integer \(d>0\) there exists an integer \(m_d>0\) depending only on \(d\) such that \(|mK_W|\) defines the Iitaka fibration for any smooth projective variety of dimension \(d\) and any integer \(m\) divisible by \(m_d\). In this paper, the authors prove the above conjecture assuming that certain invariants of the general fiber \(F\) of the Iitaka fibration are also bounded. More precisely, they show that for any integers \(d,b,\beta >0\) there exists an integer \(\bar m=m(d,b,\beta)>0\) such that if \(W\) is a smooth complex projective variety of dimension \(d\), \(F\) is the general fiber of the Iitaka fibration, \(b\) is the smallest positive integer such that \(|bK_F|\neq \emptyset\), \(\tilde F \) is a desingularization of the \(b\) to 1 cyclic cover determined by the unique divisor in \(|bK_F|\) and \(\beta =\dim H^{\dim F}(\tilde F,\mathbb C)\), then the Iitaka fibration of \(X\) is induced by \(|mK_W|\) for every integer \(m>0\) divisible by \(\bar m\).