Birational geometry of hypersurfaces in products of projective spaces (Q2349887)

In this paper, the author studies the Lefschetz type theorem for Mori dream spaces when the ambient variety is a product of projective spaces. The main theorem, Theorem 1.1, states that for \(X\) a \(\mathbb{Q}\)-factorial normal hypersurface of dimension at least three in \(\mathbb{P}^n\times\mathbb{P}^m\) with \(m,n\geq2\) or a general hypersurface in \(\mathbb{P}^1\times\mathbb{P}^n\) of bidegree \((d,e)\) with \(1\leq d\leq n\) or \(e=1\), \(X\) is a Mori dream space and the Cox ring is computed. However, a very general hypersurface in \(\mathbb{P}^1\times\mathbb{P}^n\) of bidegree \((d,e)\) with \(d>n\) and \(e>2\) is not a Mori dream space. Moreover, in these cases the effective, movable and nef cones are completely described. As an application, one finds Mori dream spaces of Calabi-Yau type (e.g. bidegree \((2,n+1)\) in \(\mathbb{P}^1\times\mathbb{P}^n\)) and of general type (e.g. bidegree \((n,n+2)\) in \(\mathbb{P}^1\times\mathbb{P}^n\)). On the other hand, the main result also provides a simple example of a Mori dream space, the product of two projective spaces, where a sufficiently ample hypersurface is not necessarily a Mori dream space. The author also obtains a similar result when \(X\) a very general surface in \(\mathbb{P}^1\times\mathbb{P}^2\), cf. Proposition 1.2. In particular, it provides a simple example of strictly nef but not ample divisor: \(L=\mathcal{O}_X(2,-1)\) on \(X\) a very general surface of bidegree \((3,3)\) in \(\mathbb{P}^1\times\mathbb{P}^2\). As a remark of the proof, according to the author, ``the geometric construction (for the second part) of Theorem 1.1 was inspired by Mumford's example'', where a very general hypersurface \(X\) is given by the image of \(Y=\mathbb{P}(\mathcal{E})\), a projective bundle over an elliptic curve equipped with two morphisms \(f:Y\rightarrow\mathbb{P}^1\) and \(g:Y\rightarrow\mathbb{P}^n\), in \(\mathbb{P}^1\times\mathbb{P}^n\).