No label defined (Q4949382)

Let \(X\subset\mathbb{P}^N\) be an \(n\)-dimensional connected projective submanifold of a projective space, and let \(p: \mathbb{P}^N\to\mathbb{P}^{N-q-1}\) denote the projection from a linear subspace \(\mathbb{P}^q\subset \mathbb{P}^N\) satisfying \(X\nsubseteq \mathbb{P}^q\). The paper under review provides a detailed study of the structure of the induced rational projection map \(p_X: X\to \mathbb{P}^{N-q-1}\) in the case that \(p_X\) has a lower-dimensional image. In this case, one has that \(Y:= X\cap\mathbb{P}^q\) is non-empty, where the special case \(Y= \{pt\}\) is very classical and well-understood. Also, the case when \(q=1\) and \(Y= \mathbb{P}^1\) has been settled for a surface \(X\) by A. Sommese and by B. Ilic in the 1980s. However, beyond these special cases, only very little is known so far. The paper under review is an attempt to achieve a better understanding of the projection map \(p_X: X\to \mathbb{P}^{N-q-1}\) in the general case. To this end, the authors study a closely related question, which includes many special cases of the original problem. More precisely, they extensively study the following general problem: Let \(Y\) be a proper connected \(k\)-dimensional projective submanifold of an \(n\)-dimensional projective manifold \(X\). Assume that \(k> 0\), and let \(L\) be a very ample line bundle on \(X\) such that \(L\otimes J_Y\) is spanned by global sections, where \(J_Y\) stands for the ideal sheaf of \(Y\) in \(X\). With this set-up, describe the structure of the geometric triple \((X,Y,L)\) under the additional assumption that the image of \(X\) under the map associated to the linear system \(|L\otimes J_Y|\) is lower-dimensional! By a careful cohomological analysis, including the study of upper and lower bounds for the dimensions of spaces of sections of \(L^{\otimes t}\), \(t\in\mathbb{N}\), as well as of the dimension of the image of \(X\) under this map and of various particular examples, the authors obtain a number of general estimates. Then, specializing to the cases where \(Y\) is a divisor or a linear subspace, respectively, they obtain finer results illuminating the original general problem of describing the structure of a projection \(p_X\) (as above) in a much more specific way, including various partial classification theorems. For the entire collection see [Zbl 0933.00031].