Boundedness of log Calabi-Yau pairs of Fano type (Q530620): Difference between revisions

It is known that given a smooth complex projective variety \(X\), for sufficiently large, divisible \(m\), the rational map \(\varphi_m=\varphi_{|mK_X|}: X\dashrightarrow X_m\) is birationally equivalent to the Iitaka fibration \(X\dashrightarrow \text{Proj}(R(K_X))\), where \(R(K_X)=\bigoplus_{m\geq 0} H^0(X, \omega^{\otimes m}_X)\) is the canonical ring. Note that the finite generation of \(R(K_X)\) (and its log versions) is established by \textit{C. Birkar} et al. [J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)] and by \textit{Y.-T. Siu} [``A general non-vanishing theorem and an analytic proof of the finite generation of the canonical ring'', \url{arXiv:math/0610740}] using analytic method. The Effective Iitaka Fibration Conjecture raised in [\textit{C. D. Hacon} and \textit{J. McKernan}, Invent. Math. 166, No. 1, 1--25 (2006; Zbl 1121.14011)] asserts that for any positive integer \(n\), there exists a uniform positive integer \(m\) depending only on \(n\) such that for any smooth projective variety \(X\) of dimension \(n\), the linear system \(|mK_X|\) defines a rational map birationally equivalent to the Iitaka fibration of \(X\). In the paper under review, the authors propose the Effective Log Iitaka Fibration Conjecture. Fix a positive integer \(n\) and a DCC set \(I\subset [0, 1]\cap \mathbb{Q}\). Then there exists an integer \(m>0\) only depending on \(n\) and the set \(I\), such that for any projective log canonical pair \((X, B)\) with the coefficients of \(B\) belong to \(I\) and \(\kappa(X, K_X+B)\geq 0\), then \(|m(K_X+B)|\) defines a map birational to the Iitaka fibration. They explain why the restriction on the coefficient set \(I\) is needed for the log version conjecture. Recall a set of log pairs \(\mathcal{C}\) is called \textit{bounded} if there exists a pair \((\mathcal{X}, \mathcal{B})\) and a projective morphism between quasi-projective schemes \(f: \mathcal{X}\rightarrow S\) such that any pair \((X, B)\in \mathcal{C}\) is isomorphic to the fibre \((\mathcal{X}_s, \mathcal{B}_s)\) for some closed point \(s\in \mathcal{S}\). The authors prove that for any fixed positive integer \(n\) and a DCC set \(I\subset [0, 1]\cap \mathbb{Q}\), the set \[ \{(X, B)\mid \dim X=n, (X, B) \text{ is klt}, B \text{ is big and with coefficients in }I, K_X+B\equiv 0 \} \] is bounded. As a corollary, the authors proves the Effective Log Iitaka Fibration Conjecture under the extra assumptions that \((X, B)\) is klt and that the restriction of \(B\) to the generic fibre of the Iitaka fibration is big. The connection of the boundedness result and the proof for the Effective Log Iitaka Fibration Conjecture is following. By running the Minimal Model Program appropriately, the authors can work on a relatively minimal model \(f': (X', B')\rightarrow Z'\), which is birationally equivalent to the Iitaka fibration \(f: (X, B)\dashrightarrow Z\) and whose base \(Z'\) is of log general type. By the canonical bundle formula, the question is then reduced to find a uniform \(m\) such that pluricanonical system of \(Z'\) gives a bi-rational map. To apply [\textit{C. Birkar} and \textit{D.-Q. Zhang}, Publ. Math., Inst. Hautes Étud. Sci. 123, 283--331 (2016; Zbl 1348.14038)], among other things, one needs find a uniform \(r>0\) such that \(r\) multiple of the moduli part \(M_{Z'}\) is Cartier. So the boundedness of \((F, B_F)\) is used, where \(F\) is a general fibre of \(f\). Moreover as another corollary, the authors obtain the boundedness of the set of weak Fano varieties (klt singularities, \(-K_X\) is big and nef) of dimension \(n\) with the Cartier index \(m\).