Base-point-freeness of double-point divisors of smooth birational-divisors on conical rational scrolls (Q1644829)

Let \(X \subseteq \mathbb{P}^N\) be a nondegenerate smooth \(n\)-dimensional projective variety (over an algebraically closed field of characteristic zero) of dimension \(n \geq 2\) and degree \(d\); \(\omega_X\) stands for its canonical bundle. It is known (see Theorem 0.1 and references there) that if \(X\) is neither a scroll over a curve nor the Veronese surface, the base locus of the linear system \(|\mathcal{O}_{\mathbb{P}^N}(d-n-(N-n)-1)_{|X} \otimes \omega_X^\vee|\) is contained in the so called \textit{nonbirational inner center of \(X\)}, denoted \(\mathcal{C}(X)\), that is the locus of points of \(X\) from which the projection of \(X\) from them is not birational onto its image. The case in which \(\dim \mathcal{C}(X) \geq 1\), has been described (see the Introduction of the paper and references therein) and it is natural to deal with the case of varieties for which \(\dim \mathcal{C}(X)=0\). One of such varieties is a particular divisor (\textit{smooth birational divisor}) on a conical rational scroll. In Thm. 0.3 it is shown that for such varieties the linear system \(|\mathcal{O}_{\mathbb{P}^N}(d-n-(N-n)-1)_{|X}|\) is base point free. In fact, using the first Chern class \(a\) of the vector bundle used to construct the structure of scroll, some extra information on the linear system \(|(\mathcal{O}_{\mathbb{P}^N}(d-n-a-1)_{|X} \otimes \omega_X^\vee)^{\otimes l}|\) is obtained.