A note on Ando's paper ''Pluricanonical systems of algebraic varieties of general type of dimension \(\leq{}5\)'' (Q1192443)

Let \(X\) be a non-singular projective variety of dimension \(n\) over an algebraically closed field \(k\) of characteristic zero. A Cartier divisor \(T\) is called numerically trivial if \((T,C)_ X=0\) for every curve \(C\) on \(X\). A Cartier divisor \(D\) is called \textit{nef} if \((D,C)_ X\geq 0\) for every curve \(C\) on \(X\). \textit{T. Ando} [in Algebraic geometry, Proc. Symp., Sendai/Jap. 1985, Adv. Stud. Pure Math. 10, 1-10 (1987; Zbl 0707.14003)] has shown the following results: (1) Assume that the canonical divisor \(K_ X\) is nef and big, and that \(n=4,5\). Then there exists a positive integer \(m(n)\) depending only on \(\dim X\) such that the rational map \(\Phi_{| mK_ X|}\) associated with \(| mK_ X|\) is a birational map onto its image for every \(m\geq m(n)\). Here \(m(n)\) is given as follows: \(m(4)=16\), \(m(5)=29\). --- (2) Assume that \(-K_ X\) is nef and big, and that \(n\leq 4\). Then \(\Phi_{|-mK_ X|}\) is birational for \(m\geq\ell(n)\), where \(\ell(n)\) is given by \(\ell(2)=3\), \(\ell(3)=5\), \(\ell(4)=12\). We improve Ando's argument and show: Main theorem. (1) Assume that \(K_ X\) is nef and big and that \(n=4,5\). Then \(\Phi_{| mK_ X|}\) is birational for \(m\geq m(n)\), where \(m(n)\) is given by \(m(4)=12\), \(m(5)=18\). (2) Assume that \(K_ X\) is numerically trivial and that \(n=3,4,5\). Let \(D\) be a nef and big divisor on \(X\). Then \(\Phi_{| mD|}\) is birational for \(m\geq k(n)\), where \(k(n)\) is given by \(k(3)=6\), \(k(4)=10\), \(k(5)=17\). (3) Assume that \(-K_ X\) is nef and big and that \(n=3,4\). Then \(\Phi_{|-K_ X|}\) is birational for \(m\geq\ell(n)\), where \(\ell(n)\) is given by \(\ell(3)=4\), \(\ell(4)=11\). In section 4, we present a function \(m(n)\) for \(n\geq 8\).