The stable adjunction map on Gorenstein varieties (Q1066208)

Let X be a normal irreducible n-dimensional projective variety whose local rings are Cohen-Macaulay and whose dualizing sheaf, \(K_ X\), is invertible. We call such X a Gorenstein variety. Let L be an ample line bundle on X. If L is spanned by global sections or X is smooth it is known that the adjoint line bundle \(K_ X\otimes L^{n-1}\) is numerically effective and big except for a few well understood cases. Assume now \(K_ X\otimes L^{n-1}\) numerically effective and big. Suppose also the existence of n-2 divisors of \(| L|\) intersecting scheme theoretically in a smooth surface S; this happens, for instance, if L is spanned. In this paper it is proved that the set on which \(K_ X\otimes L^{n-1}\) is not ample is the disjoint union of Cartier divisors that can be blown down to give a new Gorenstein variety X', \(\pi\) : \(X\to X'\), and an ample line bundle L' on X' such that \(K_{X'}\otimes L'{}^{n-1}\) is ample and \(\pi^*(K_{X'}\otimes L'{}^{n-1})=K_ X\otimes L^{n-1}\). -- Actually the blow down \(\pi\) : \(X\to X'\) is given by the map associated to a certain power of the adjoint system \(| K_ X\otimes L^{n-1}|\) that we call the stable adjunction mapping associated to (X,L). If moreover \(h^ 0(K_ X\otimes L^{n-2})\neq 0\), we also prove that \(K_{X'}\otimes L'{}^{n-2}\) is nef and that all the smooth surfaces S in the linear system \(| L|\) have Kodaira dimension \(\geq 0\) and \(\pi_ S: S\to S'=\pi (S)\) is the map of S onto its minimal model.