Positivity of divisors on blown-up projective spaces. II. (Q2415311)

Let \(X_{s,(0)}\) be the blow-up of \(\mathbb P^n\) at s points in general position. In the previous manuscript [``Positivity of divisors on blown-up of projective spaces. I'', Preprint, \url{arXiv:1506.04726}], the same authors studied Fujita's conjecture about global generation (and very ampleness) and prove it for \(s \le 2n\). In the paper under review, the authors investigate further positivity properties of divisors on \(X_{s,(0)}\) and other spaces \(X_{s,(r)}\) obtained as subsequent blow-ups along linear cycles spanned by some of the \(s\) points. More precisely, let \(D\) be a general element in the linear system \[\vert dH - \sum_{i=1}^s m_iE_i \vert\] on \(X_{s,(0)}\), where \(H\) is a hyperplane section, \(E_i\) are the exceptional divisors and \(d, m_1,\ldots, m_s\) are positive integers. Let \(D_{(r)}\) be the strict transform of \(D\) on \(X_{s,(r)}\). The main result of the paper (Theorem 2.1) is a description of when \(D_{(r)}\) is semi-ample or globally generated. The proof is based on the study of a resolution of singularities of the base locus of \(D\) and on vanishing theorems . As an application the authors show that the abundance conjecture holds true for infinitely many families of explicitly constructed log canonical pairs \((X_{s,(0)}, D)\). It is known that the space \(X_{n+2, (n-2)}\) obtained as the iterated blow-up along all linear subspaces of \(\mathbb P^n\) spanned by the \(s\) points is isomorphic to the moduli space \(\overline{ \mathcal M}_{0,n+3}\) of rational stable pointed curves. As another application of their results, the authors show that F-conjecture holds true for all divisors on \(X_{n+2, (n-2)}\) that are strict transforms of an effective divisor on \(X_{n+2,(0)}\).