On the ample cone of an ample hypersurface (Q2565975)

Let \(X\) be a smooth projective variety and \(\mathcal D\) a smooth ample hypersurface of dimension at least \(3\) in \(X\). The weak Lefschetz theorem implies that the restriction map \(r: \text{Pic}(X)\rightarrow \text{Pic(}\mathcal D)\) is then an isomorphism. \textit{B. Hassett, H.-W. Lin} and \textit{C.-L. Wang} [Asian J. Math., 6, 95--99 (2002; Zbl 1052.14013)] gave an example of a pair \({\mathcal D}\subset X\), \(\dim {\mathcal D}=3\) such that the cone of ample divisor classes is larger than the image under \(r\) of the cone of ample divisor classes of \(X\). In this example the ample cone of \(\mathcal D\) is the union of ample cones of birational models of \(X\). The author shows that in general the ample cone of \(\mathcal D\) is larger than the union of ample cones of all birational models of the ambient space \(X\).