No label defined (Q4699487)

Let \(X\) be a normal projective surface defined over an algebraically closed field of characteristic 0 and let \(L\) be a nef Weil divisor on \(X\). Assume that the adjoint linear system \(K_{X}+L\) is a Cartier divisor, where \(K_{X}\) is the canonical divisor of \(X\). The main purpose of this paper is to extend Reider's method to reflexive sheaves and the author obtains a generalization of Reider's theorem for the case where \(X\) is normal, that is, the author gives a criterion of spannedness or very ampleness of the adjoint linear system \(|K_{X}+L|\). The main method the author uses to prove the main theorem is the following: First he constructs a reflexive sheaf \(\mathcal{E}\) encoding the failure of \(K_{X}+L\) to be free or very ample by means of a generalized Serre construction. Then the author uses a partial desingularization of surfaces to make \(\mathcal{E}\) less singular over clusters at which the linear system \(|K_{X}+L|\) is not free or not very ample. (Here a \(0\)-dimensional subscheme of \(X\) is said to be a cluster.) Next he uses Bogomolov's instability theorem, which was generalized by the author to some non-locally free sheaves. Last he pushes forward a destabilizing sequence from the partial resolution to get a destabilizing sequence for \(\mathcal{E}\) and by doing some diagram chaising he obtains the result. By using the main result, he also obtains some theorems on pluricanonical maps and in particular he obtains the conjecture of \textit{F. Catanese, M. Franciosi, K. Hulek} and \textit{M. Reid} [Nagoya Math. J. 154, 185-220 (1999; Zbl 0933.14003)]. In the end, the reviewer remarks that in J. Alg. Geom. 7, No. 2, 239-249 (1998), \textit{T. Kawachi} and \textit{V. Masek} also gave a criterion of spannedness of the adjoint linear system of normal surfaces.