Abstract:We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let $Z$ be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least two and let $X$ be a smooth ample divisor in $Z$, then $X$ is a Mori dream space as well.
The second result is: Let $Z$ be a Fano manifold of dimension at least four whose extremal contractions are of fiber type and let $X$ be a smooth anti-canonical hypersurface in $Z$, which is a smooth Calabi--Yau variety, then the unique minimal model of $X$ up to isomorphism is $X$ itself, and moreover, the movable cone conjecture holds for $X$, namely, there exists a rational polyhedral cone which is a fundamental domain for the action of birational automorphisms on the effective movable cone of $X$.
The third result is: Let $P:= \mathbb{P}^n \times \cdots \times \mathbb{P}^n$ be the $N$-fold self-product of the $n$-dimensional projective space. Let $X$ be a general complete intersection of $n+1$ hypersurfaces of multidegree $(1, \dots, 1)$ in $P$ with $\dim X \geq 3$. Then $X$ has only finitely many minimal models up to isomorphism, and moreover, the movable cone conjecture holds for $X$.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are related to the properties of the nef cone and the movable cone of hypersurfaces in Mori dream spaces. Specifically, the paper explores the following three main problems:
1. **Whether the sub - spaces of Mori dream spaces are still Mori dream spaces**:
- The first result of the paper shows that if \(Z\) is a smooth Mori dream space of at least four dimensions, whose minimal contractions are all of fiber type and the relative dimension is at least 2, then a smooth and ample divisor \(X\) in \(Z\) is also a Mori dream space. Moreover, \(\text{Eff}(Z)=\text{Mov}(Z)=\text{Nef}(Z)=i^*(\text{Nef}(X)) = i^*(\text{Mov}(X))=i^*(\text{Eff}(X))\).
2. **The minimal model of Calabi - Yau hypersurfaces and their movable cone conjecture**:
- The second result of the paper focuses on Calabi - Yau hypersurfaces in Fano manifolds. Specifically, if \(Z\) is a Fano manifold of at least four dimensions, whose minimal contractions are all of fiber type, and \(X\) is a smooth anti - canonical hypersurface (i.e., Calabi - Yau hypersurface) in \(Z\), then the unique minimal model of \(X\) is \(X\) itself. Moreover, the movable cone conjecture holds for \(X\), that is, there exists a rational polyhedral cone as the fundamental domain of the birational automorphism group on the effective movable cone of \(X\).
3. **The minimal model and movable cone conjecture of Calabi - Yau complete intersections in self - products of multi - projective spaces**:
- The third result of the paper studies Calabi - Yau complete intersections \(X\) in \(P := P^n\times\cdots\times P^n\) (\(N\) - times self - product). If \(X\) is generally obtained by the intersection of \(n + 1\) hypersurfaces of multi - degrees \((1,\cdots,1)\) in \(P\), and \(\dim X\geq3\), then \(X\) has only finitely many minimal models (up to isomorphism). Moreover, the movable cone conjecture holds for \(X\), that is, there exists a rational polyhedral cone as the fundamental domain of the birational automorphism group on the effective movable cone of \(X\).
These results not only deepen the understanding of the properties of sub - spaces in Mori dream spaces, but also provide new insights into the minimal model theory of Calabi - Yau hypersurfaces and the movable cone conjecture.