Varieties of Picard rank one as components of ample divisors (Q888444)

It is a classical question in projective geometry that of studying the consequences on a projective variety of containing some special subvarieties of low codimension. In the paper under review an integral normal complex projective variety \(\mathcal{V}\) is asked to contain distinct effective Cartier divisors \(A_i\) of Picard number one such that \(A_1 +\dots+A_r\) is an ample divisor. The first result proved in this paper (see Theorem 1.1) is the positivity of each \(A_i\), being in fact nef and big and, moreover, the fact that the linear systems \(|m_iA_i|\) are defining birational morphisms which contract at most a finite set of curves, which are isomorphisms in a neighbourhood of \(A_i\) and such that \(f(A_i)\) are ample and effective. Secondly (see Theorem 1.2), under some assumption on the singularities of \(\mathcal{V}\) , the \(A'i\)'s are in fact ample so that the \(f_i\)'s are isomormphisms. Some applications of these results are presented (see for instance Proposition 1.3), mainly to the cases in which \(\mathcal{V}\) is smooth and the \(A'_i\)'s have small degree with respect to some polarizations of \(\mathcal{V}\), or when \(A_1\) is a projective space.