ON THE ADJOINT LINEAR SYSTEM

Throughout this paper, we are working on the complex number field C. The aim of this paper is to explain the applications of Theorem 2 in .cint. 1. In the surface theory, the adjoint linear system has played important roles and many tools have been developed to understand it. In the cases of higher dimensional varieties, we don't have any useful tools so far. Theorem 2 implies that it is enough to compute the dimension of the adjoint linear system to check the birationality. We can compute, somehow, the dimension of the adjoint linear system. For example, we can get an information about $h^{0}$ (X, $O_{x}$( $K_{x}$ + D)) from Euler characteristic of vertical bar $K_{X}$ + D vertical bar and some vanishing theorems. We are going to show the applications of Theorem 2 to smooth three-folds and smooth fourfold, specially, of general type with a nef canonical divisor, smooth Fano variety, and Calabi-Yau manifold. Our main results are Theorem A and Theorem B. Most of birationality problems in Theorem A and Theorem B have been studied. (see Ando [1] and Matsuki [4] for the detail matters.) But Theorem 2 gives short and easy proofs in the cases of dimension 3 and improves the previously known results in the cases of dimension 4.4. 4.4.