Ein-Lazarsfeld-Mustopa conjecture for the blow-up of a projective space (Q6145628)

Let \(X\) be a smooth projective variety over an algebraically closed field \(k\). If \(L\) is a globally generated line bundle on \(X\), the \textit{syzygy bundle} \(M_L\) of \(L\) is the kernel of the surjection \(H^0 (X, L) \otimes \mathcal O_X \to L\), hence is a vector bundle of rank \(h^0 (X, L) - 1\). For line bundles \(P\) and \(A\) on a surface \(X\) with \(A\) ample and setting \(L_d = dA + P\), \textit{L. Ein} et al. proved that \(M_{L_d}\) is \(A\)-stable for \(d \gg 0\) and conjectured the same if \(\dim X \geq 2\) [Math. Res. Lett. 20, No. 1, 73--80 (2013; Zbl 1299.14038)]. If \(P=0\) and \(L=dA\), the conjecture says that \(M_L\) is \(A\)-stable for \(d \gg 0\), which is equivalent to being \(L\)-stable. The latter statement has been proved in the following cases: \((X,L) = (\mathbb P^n, \mathcal O (d))\) [\textit{E. Ballico}, Rend. Circ. Mat. Palermo (2) 41, No. 2, 309--314 (1992; Zbl 0770.14009); \textit{H. Flenner}, Comment. Math. Helv. 59, 635--650 (1984; Zbl 0599.14015)] for char \(k=0\) and [\textit{H. Brenner}, Adv. Math. 219, 401--427 (2008; Zbl 1166.13007); \textit{I. Coanda}, Int. J. Math. 22, 515--534 (2011; Zbl 1222.14093)] for char \(k=p>0\); \((X,L)\) with \(X\) a smooth projective curve of genus \(g > 0\) and \(\deg L \geq 2g+1\) \textit{L. Ein} and \textit{R. Lazarsfeld} [Lond. Math. Soc. Lect. Note Ser. 179, 149--156 (1992; Zbl 0768.14012)]; \((X,L)\) with \(X\) a simple abelian variety and \(L\) ample and globally generated \textit{F. Caucci} and \textit{M. Lahoz} [Bull. Lond. Math. Soc. 53, No. 4, 1030--1036 (2021; Zbl 1478.14063)]; \((X,L)\) with \(X\) an algebraic surface and \(L\) sufficiently positive [Ein et al., loc. cit.]; \((X,L)\) with \(X\) an Enriques surface and \(L\) ample and globally generated with char \(k \neq 2\) \textit{J. Mukherjee} and \textit{D. Raychaudhury} [Proc. Am. Math. Soc. 150, No. 9, 3715--3724 (2022; Zbl 1497.14070)]. The authors prove this when \(X\) is the blow-up of \(\mathbb P^{n}\) at a linear subvariety \(Z \subset \mathbb P^n\) and char \(k=0\). Here \(\mathrm{Pic} X\) is freely generated by the pull-back of \(\mathcal O (1)\) and the exceptional divisor, so one has an explicit description of the line bundle \(L\). The authors prove the theorem by using the structure of \(X\) as a projective bundle and as a toric variety. In particular, the dictionary between geometry of \(X\) and multigraded commutative algebra allows them to get the geometric structure of \(M_L\) by using the syzygies of monomial ideals over non-standard bigraded polynomial rings, from which they strengthen an argument of Coanda [loc. cit.]. As a consequence, they show that \([M_L]\) is an isolated point in the moduli space \(\mathcal M\) of stable bundles for \(n > 2\). For \(n=2\) the bundle \([M_L]\) is unobstructed and the authors compute the dimension of the tangent space of \(\mathcal M\) at \(M_L\).