Some examples of log Fano structures on blow-ups along subvarieties in products of two projective spaces (Q2084526)

With regard to Nagata's counterexamples to Hilbert's 14th problem, \textit{S. Mukai} [Encycl. Math. Sci. 132, 123--129 (2004; Zbl 1108.13300)] and \textit{A.-M. Castravet} and \textit{J. Tevelev} [Compos. Math. 142, No. 6, 1479--1498 (2006; Zbl 1117.14048)] proved that the blow-up of $(\mathbb{P}^n)^r$ at $s$ general points is a Mori dream space if and only if $1/(r+1) + 1/(s-n-1)+1/(n+1)>1$. \textit{C. Araujo} and \textit{A. Massarenti} [Proc. Lond. Math. Soc. (3) 113, No. 4, 445--473 (2016; Zbl 1364.14033)] and \textit{J. Lesieutre} and \textit{J. Park} [Proc. Am. Math. Soc. 145, No. 10, 4201--4209 (2017; Zbl 1370.14035)] showed that these blown-up spaces are log Fano. It is a natural problem to determine which blow-ups of products of projective spaces admit log Fano structures. In the paper under review, the author considers the successive blow-ups $\widetilde{X}$ of $Y:=\mathbb{P}^{n-k} \times \mathbb{P}^k$ with $n \geq 3$ and $2 \leq k \leq n-1$ along $C$ and then along the strict transform of $S$, where $C$ is a smooth hypersurface of degree $d$ in a fiber of the projection $Y \to \mathbb{P}^{n-k}$, and $S$ is a fiber of the other projection $Y \to \mathbb{P}^k$. The main result (Theorem 1) is the following: (1) $\widetilde{X}$ is always log Fano. (2) $\widetilde{X}$ is weak Fano if and only if \[ (n,k,d)=(3,2,1), (3,2,2), (3,2,3), (5,3,2), (2k-1, k, 1), (2k,k,1), (2k+1, k,1)\text{ with }k \geq 2. \] (3) $\widetilde{X}$ is Fano if and only if $(n,k,d)=(2k, k, 1)$ with $k \geq 2$. The main ingredient of the proof is the explicit computation of the nef cone $\operatorname{Nef}(\widetilde{X})$ (Proposition 2). As byproducts, the author obtains descriptions of the effective cone $\operatorname{Eff}(\widetilde{X})$ (Proposition 3) and the extremal contractions of $\widetilde{X}$ (Remark 8).