1 Introduction

Given a smooth projective variety X and a very ample line bundle L on X, let \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\) be a subspace such that the corresponding linear system \(\mathcal {L}_{V}\) is basepoint-free. The projective morphism

$$\begin{aligned} \phi _{V}:X\longrightarrow \mathbb {P}(V^{*}) \end{aligned}$$

is a central object of study in algebraic geometry. In particular, the syzygies of \(\phi _{V}\) are encoded in the so-called syzygy bundle \(M_{V}\), whose study has been of increasing interest in the last decades. Namely, we define the syzygy bundle \(M_{V}\) as the kernel of the evaluation map \(ev:V\otimes \mathcal {O}_{X}\rightarrow \mathcal {O}_{X}(L)\), which is surjective. In particular, we have the following short exact sequence

$$\begin{aligned} 0\longrightarrow M_{V}\longrightarrow V\otimes \mathcal {O}_{X}\longrightarrow \mathcal {O}_{X}(L)\longrightarrow 0, \end{aligned}$$

which describes \(M_{V}\) as a vector bundle of rank \(\dim V-1\). The syzygy bundles \(M_{V}\) have been studied from many perspectives in the last decades. In particular when \(V={{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\), the linear system \(\mathcal {L}_{V}\) is complete and the morphism \(\phi _{V}\) coincides with the embedding

$$\begin{aligned} \phi _{L}:X\hookrightarrow \mathbb {P}({{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))^{*}), \end{aligned}$$

given by the very ample line bundle L. In this case, the syzygy bundle is denoted by \(M_{L}:=M_{V}\), and it is behind many geometric properties of the embedding \(\phi _{L}\). For instance, the properties \((N_{p})\) in the sense of Green [14], or the stability of the pullback \(\phi _{L}^{*}T_{\mathbb {P}^{N_{L}}}\) of the tangent bundle of \(\mathbb {P}^{N_{L}}\), which is related to the stability of \(M_{L}\) and has been studied thoroughly in the recent years [2, 7, 8, 15, 17,18,19] and has led to the so-called Ein–Lazarsfeld–Mustopa Conjecture (see Conjecture 4.14). In this work, we focus our attention on the stability of the syzygy bundles \(M_{V}\) arising from linear systems \(\mathcal {L}_{V}\) which are non-necessarily complete.

In [1], motivated by the theory of tight closure, the systematic study of L-stable syzygy bundles on \(\mathbb {P}^{n}\) was considered. In particular, in [1, Question 7.8], Brenner asked the following question:

Question 1.1

Let us consider integers \(n,d\ge 1\). For which integers r such that \(n+1\le r\le \left( {\begin{array}{c}n+d\\ d\end{array}}\right) \) there exist r monomials \(m_{1},\dotsc ,m_{r}\) with no common factors such that the syzygy bundle \(M_{V}\) corresponding to the subspace \(V=\langle m_{1},\dotsc ,m_{r}\rangle \subset {{\,\textrm{H}\,}}^{0}(\mathbb {P}^{n},\mathcal {O}_{\mathbb {P}^{n}}(d))\) is semistable?

The case \(r=\left( {\begin{array}{c}n+d\\ n\end{array}}\right) \) had been previously proved in [12], and a complete answer was given in [4] and [3]. Moreover, in [4], the authors studied the local geometry of the moduli space \(\mathcal {M}\) in which an L-stable syzygy bundle may be represented. In [4, Theorem 4.4], they proved that apart from few exceptions, an L-stable syzygy bundle \(M_{V}\) corresponds to a smooth point in \(\mathcal {M}\) and they computed the dimension of the irreducible component containing it. From their result, one can see that if \(n\ge 4\), then \(M_{V}\) is infinitesimally rigid if and only if \(r=\left( {\begin{array}{c}n+d\\ n\end{array}}\right) \) and the linear system is complete. As we show in Theorem 3.1, this is not a particular feature of syzygy bundles on projective spaces, and we can generalize this fact to a large family of smooth projective varieties.

In this paper, we consider the analogous of Brenner’s Question 1.1 for any smooth projective variety:

Question 1.2

Let us fix an ample line bundle L on a smooth projective variety X of dimension d. For which integers \(\dim (X)+1\le r\le \dim {{\,\textrm{H}\,}}^{0}(X,L)\), is there a basepoint-free linear system \(\mathcal {L}_{V}\) associated to a subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) of dimension r, such that the syzygy bundle \(M_{V}\) is L-stable?

Since stability is an open property, we notice that positively answering Question 1.2 for a certain integer r, we obtain that the syzygy bundle \(M_{V}\) corresponding to a general subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\) of dimension r is L-stable. Notwithstanding, the implications of Question 1.2 go beyond this fact. It sheds new light on the geometry of certain moduli spaces of L-stable vector bundles on a projective variety. To be more precise, in Sect. 3, we consider a large family of polarized smooth projective varieties (XL) of any dimension. In this setting, we show (see Theorem 3.1) that a positive answer to Question 1.2 automatically yields smooth points on a suitable moduli space. Even more, we show that in this case, the dimension of the irreducible component containing these points is fully described by only using the very ample line bundle L. It is worthwhile to mention that this family of projective varieties include smooth complete projective toric varieties, Grassmannians, flag varieties among others. On the other hand, Theorem 3.1 works under well understood assumptions on the very ample line bundle L, which are actually very mild hypothesis when \(\dim (X)\ne 3\).

Motivated by these facts, we devote the second half of this paper to answer Question 1.2 for the product of two projective spaces \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\), which is an example of a smooth complete projective toric variety. In this case, we can use the Cox ring of X which is the standard-bigraded polynomial ring \(\mathbb {K}[x_{0},\dotsc ,x_{m},y_{0},\dotsc ,y_{n}]\) and we examine the possible degrees of syzygies among r forms \(\{f_{1},\dotsc ,f_{r}\}\) of degree (ab) with \(a,b>0\). This allows us to give a positive answer to Question 1.2 in a large amount of cases (see Theorem 4.7).

This work is organized as follows—In Sect. 2, we gather the basic results regarding stability of vector bundles on polarized projective varieties (XL) and the theory of syzygy bundles of linear systems needed in the sequel. Afterwards, the paper is divided in two main sections. In Sect. 3, we consider a large family of polarized projective varieties (XL), which include, but is not limited to, smooth complete projective toric varieties, Grassmannians or flag varieties. We prove (Theorem 3.1) that in this setting, an L-stable syzygy bundle of a non-necessarily complete linear system corresponds to a smooth point in its moduli space, and we give explicitly the dimension of the irreducible component containing that point. The second part of this work is found in Sect. 4, where we aim to answer Question 1.2 for products of projective spaces. Our main results in this regard are Theorem 4.7 and Corollary 4.10 which answers Question 1.2 in a large number of cases. In Theorem 4.12, we apply these results to give insight on the moduli spaces of syzygy bundles on \(\mathbb {P}^{m}\times \mathbb {P}^{n}\). Finally, we end this section posing some open questions regarding the stability of syzygy bundles of non-complete linear systems.

2 Basic results

Let (XL) be a polarized smooth projective variety of dimension d, defined over an algebraically closed field \(\mathbb {K}\) of characteristic zero and let L be a globally generated line bundle. For any vector subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\), we denote by \(\mathcal {L}_{V}\) the corresponding linear system. If \(\mathcal {L}_{V}\) is base point-free, we define the syzygy bundle \(M_{V}\) as the kernel of the evaluation map

$$\begin{aligned} ev:V\otimes {\mathcal {O}}_X \longrightarrow \mathcal {O}_X (L). \end{aligned}$$

Notice that \(M_{V}\) is a vector bundle fitting in the following short exact sequence

$$\begin{aligned} 0 \longrightarrow M_V \longrightarrow V\otimes {\mathcal {O}}_X \longrightarrow \mathcal {O}_X(L)\longrightarrow 0. \end{aligned}$$
(1)

In particular, we have

  • \(c_1(M_V)=-c_1(L)\),

  • \({{\,\textrm{rk}\,}}(M_V)=\dim (V)-1\),

  • \(\mu _{L}(M_V)=\frac{-L^d}{\dim (V)-1}.\)

The goal of this paper is to study the stability of the vector bundle \(M_{V}\) for appropriate subspaces \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\) and to obtain local information on the geometry of their corresponding moduli spaces. Let us first recall the definition and some key result about the stability of vector bundles.

Definition 2.1

Let (XL) be a polarized smooth variety of dimension d. A vector bundle E on X is L-stable (resp. L-semistable) if for any subsheaf \(F\subset E\) with \(0<{{\,\textrm{rk}\,}}(F)<{{\,\textrm{rk}\,}}(E)\), we have

$$\begin{aligned} \mu _{L}(F):=\frac{c_1(F)L^{d-1}}{{{\,\textrm{rk}\,}}(F)}<\mu _{L}(E):=\frac{c_1(E)L^{d-1}}{{{\,\textrm{rk}\,}}(E)}\\ \text {(resp.}\;\mu _{L}(F):=\frac{c_1(F)L^{d-1}}{{{\,\textrm{rk}\,}}(F)}\le \mu _{L}(E):=\frac{c_1(E)L^{d-1}}{{{\,\textrm{rk}\,}}(E)}\;). \end{aligned}$$

The following result is a cohomological characterization of the stability, and it will play a central role in the proof of our main result.

Lemma 2.2

[3, Lemma 2.1] Let (XL) be a polarized smooth variety of dimension d. Let E be a vector bundle on X. Suppose that for any integer q and any line bundle G on X such that

$$\begin{aligned} 0<q<{{\,\textrm{rk}\,}}(E) \quad \text { and } \quad (G\cdot L^{d-1})\ge q\mu _L(E) \end{aligned}$$

one has \( {{\,\textrm{H}\,}}^0\left( X,\bigwedge ^qE\otimes G^{\vee }\right) =0. \) Then, E is L-stable.

Remark 2.3

A vector bundle E satisfying the hypothesis of Lemma 2.2 is said to be cohomologically stable. It is worthwhile to point out that any cohomological stable vector bundle on a polarized variety (XL) is L-stable but not vice versa.

The stability of syzygy bundles associated to complete linear systems (i.e. when \(V={{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\)) on polarized varieties (XL) has received a lot of attention on the last decades (see, for instance, [2, 7, 8, 12, 18, 19]). Our goal is to answer the following much more general question:

Question 2.4

Let us fix an ample line bundle L on a smooth projective variety X of dimension d. For which integers \(r\le \dim {{\,\textrm{H}\,}}^{0}(X,L)\), is there a base point-free linear system \(\mathcal {L}_{V}\) associated to a subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) of dimension r, such that the syzygy bundle \(M_{V}\) is L-stable?

Question 2.4 is a generalization of a question raised by Brenner in [1, Question 7.8], regarding the stability of syzygy bundles of non-complete linear systems in \(\mathbb {P}^{N}\). This problem has been further studied in [3, 4, 16], where a complete answer for the case \((X,L)=(\mathbb {P}^{N},\mathcal {O}_{\mathbb {P}^{N}}(d))\) is given.

Remark 2.5

  1. (i)

    Since the L-stability is an open property, Question 2.4 is equivalent to ask for which integers \(r\le {{\,\textrm{H}\,}}^{0}(X,L)\), the syzygy bundle \(M_{V}\) corresponding to a general base point-free linear system \(\mathcal {L}_{V}\) given by a subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) of dimension r, is L-stable.

  2. (ii)

    In the case \(V={{\,\textrm{H}\,}}^{0}(X,L)\), there is a conjecture by Ein, Lazasferld and Mustopa (see [8, Conjecture 2.6] or Conjecture 4.14), which addresses the stability of the syzygy bundle \(M_{V}\).

Remark 2.6

As shown in Sect. 3, answering Question 2.4, and thus providing general syzygy bundles which are L-stable, shed new light on the geometry of the moduli spaces where the syzygy bundles are represented as a point.

3 Rigidness of the syzygy bundles

In this section, we focus on a polarized projective variety (XL) of dimension d and we consider a syzygy bundle \(M_{V}\) associated to a base point-free linear system \(\mathcal {L}_{V}\) with \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) a subspace of dimension \(r\le {{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))\). In general, it is not known if \(M_{V}\) is L-stable (see Conjecture 4.14 and Question 4.15). Notwithstanding, if \(M_{V}\) is L-stable, then it represents a point inside a suitable moduli space \(\mathcal {M}=\mathcal {M}_{X}(r-1;c_{1},\dotsc ,c_{\min \{r-1,d\}})\) of rank \(r-1\) L-stable vector bundles with Chern classes \(c_{i}=c_{i}(M_{V})\) for \(1\le i\le \min \{r-1,d\}\). In this section, we assume that \(M_{V}\) is L-stable, and we study the geometry of this moduli space \(\mathcal {M}\) around \([M_{V}]\).

Recall that the Zariski tangent space of \(\mathcal {M}\) at a point [E] is canonically given by

$$\begin{aligned} T_{[E]}\mathcal {M}\cong {{\,\textrm{Ext}\,}}^{1}(E,E)\cong {{\,\textrm{H}\,}}^{1}(X,E\otimes E^{\vee }), \end{aligned}$$

and we say that E is infinitesimally rigid if [E] is an isolated point, or equivalently if \(\dim T_{[M_{V}]}\mathcal {M}=0\). We have the following result:

Theorem 3.1

Let (XL) be a polarized projective variety such that \({{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X})=0\) and \({{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X}(L))=0\). For any base point-free linear system \(\mathcal {L}_{V}\) with \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\), denote by \(M_{V}\) the corresponding syzygy bundle. If \(M_{V}\) is L-stable and either

  1. (a)

    \(\dim (X)\ge 4\),

  2. (b)

    \(\dim (X)=3\) and the linear system \(\mathcal {L}_{V}\) is complete (\(V={{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\)).

  3. (c)

    \(\dim (X)=3\), the linear system \(\mathcal {L}_{V}\) is non-complete and \({{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L))=0\), or

  4. (d)

    \(\dim (X)=2\),

then

  1. (i)

    \([M_{V}]\in \mathcal {M}\) is a smooth point.

  2. (ii)

    The dimension of the irreducible component in \(\mathcal {M}\) containing \([M_{V}]\) is either

    • \(\dim _{\mathbb {K}}T_{[M_{V}]}\mathcal {M}= r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r)\), in Cases (a), (b), (c); or

    • \(\dim _{\mathbb {K}}T_{[M_{V}]}\mathcal {M}= r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r)+r{{\,\textrm{h}\,}}^{2}(X,\mathcal {O}_{X}(-L))\), in Case (d).

In particular, when \(\dim (X)\ge 3\), \(M_{V}\) is infinitesimally rigid if and only if \(V={{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\).

Proof

Let us start studying \({{\,\textrm{H}\,}}^{2}(X,M_{V}\otimes M_{V}^{\vee })\). We consider the exact sequence

$$\begin{aligned} 0\longrightarrow M_{V}\longrightarrow \mathcal {O}_{X}^{r}\longrightarrow \mathcal {O}_{X}(L)\longrightarrow 0. \end{aligned}$$
(2)

Dualizing the exact sequence (2) and tensoring it by \(M_{V}\), we obtain

$$\begin{aligned} 0\longrightarrow M_{V}(-L)\longrightarrow M_{V}\otimes \mathcal {O}^{r}_{X}\longrightarrow M_{V}\otimes M_{V}^{\vee }\longrightarrow 0. \end{aligned}$$
(3)

From the exact sequence of cohomology of (3), we have

$$\begin{aligned} \cdots \longrightarrow {{\,\textrm{H}\,}}^{2}(X,M_{V}^{r})\longrightarrow {{\,\textrm{H}\,}}^{2}(X,M_{V}\otimes M_{V}^{\vee })\longrightarrow {{\,\textrm{H}\,}}^{3}(X,M_{V}(-L))\longrightarrow \cdots \nonumber \\ \end{aligned}$$
(4)

To see that \({{\,\textrm{H}\,}}^{2}(X,M_{V}\otimes M_{V}^{\vee })=0\), it is enough to see that \({{\,\textrm{H}\,}}^{2}(X,M_{V})={{\,\textrm{H}\,}}^{3}(X,M_{V}(-L))=0\). From the exact sequence of cohomology of (2) and the hypothesis \({{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X}(L))={{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})=0\), we get

$$\begin{aligned} {{\,\textrm{H}\,}}^{2}(X,M_{V})=0. \end{aligned}$$
(5)

Let us compute \({{\,\textrm{H}\,}}^{3}(X,M_{V}(-L))\). From the exact sequence (2) tensored by \(\mathcal {O}_{X}(-L)\), we have

$$\begin{aligned} \cdots \longrightarrow {{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})\longrightarrow {{\,\textrm{H}\,}}^{3}(X,M_{V}(-L))\longrightarrow {{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L)^{r})\rightarrow {{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X})\longrightarrow \cdots .\nonumber \\ \end{aligned}$$
(6)

Since we assume that \({{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X})=0\), we have that

$$\begin{aligned} {{\,\textrm{H}\,}}^{3}(X,M_{V}(-L))\cong {{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L)). \end{aligned}$$
(7)

We leave Case (b) to the end of the proof. In any other case we have \({{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L))=0\) and it follows that

$$\begin{aligned} {{\,\textrm{H}\,}}^{2}(X,M_{V}\otimes M_{V}^{\vee })=0. \end{aligned}$$

Therefore, \([M_{V}]\) is a smooth point in \(\mathcal {M}\). Let us compute \(T_{[M_{V}]}\mathcal {M}\cong {{\,\textrm{H}\,}}^{1}(X,M_{V}\otimes M_{V}^{\vee })\).

Since \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\), the map \(({{\,\textrm{H}\,}}^{0}(ev):{{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}^{r})\rightarrow {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L)))\) is injective. Hence,

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}(X,M_{V})=0, \end{aligned}$$
(8)

From (3) and using (5), we have that

$$\begin{aligned}{} & {} 0 \longrightarrow {{\,\textrm{H}\,}}^{0}(X,M_{V}\otimes M_{V}^{\vee }) \longrightarrow {{\,\textrm{H}\,}}^{1}(X,M_{V}(-L)) \longrightarrow {{\,\textrm{H}\,}}^{1}(X,M_{V}^{r})\nonumber \\{} & {} \quad \longrightarrow {{\,\textrm{H}\,}}^{1}(X,M_{V}\otimes M_{V}^{\vee }) \longrightarrow {{\,\textrm{H}\,}}^{2}(X,M_{V}(-L))\rightarrow 0. \end{aligned}$$
(9)

Since \(M_{V}\) is L-stable, in particular, it is simple. So we have

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}(X,M_{V}\otimes M_{V}^{\vee })\cong \mathbb {K}. \end{aligned}$$
(10)

On the other hand, twisting (2), we obtain

$$\begin{aligned} 0\longrightarrow & {} {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}) \longrightarrow {{\,\textrm{H}\,}}^{1}(X,M_{V}(-L)) \longrightarrow {{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X}(-L)^{r}) \longrightarrow {{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X})\\\longrightarrow & {} {{\,\textrm{H}\,}}^{2}(X,M_{V}(-L)) \longrightarrow {{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X}(-L)^{r}) \longrightarrow {{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X}) \longrightarrow \cdots \end{aligned}$$

Since \({{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})=0\) and by Kodaira’s vanishing theorem \({{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X}(-L))=0\), we have that

$$\begin{aligned} \begin{array}{l} {{\,\textrm{H}\,}}^{1}(X,M_{V}(-L))\cong {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X})\\ {{\,\textrm{H}\,}}^{2}(X,M_{V}(-L))\cong {{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X}(-L)^{r}). \end{array} \end{aligned}$$
(11)

Finally, from (2), we have that

$$\begin{aligned} 0\longrightarrow {{\,\textrm{H}\,}}^{0}(X,M_{V}) \longrightarrow {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}^{r}) \longrightarrow {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L)) \longrightarrow {{\,\textrm{H}\,}}^{1}(X, M_{V}) \longrightarrow 0.\nonumber \\ \end{aligned}$$
(12)

Since \({{\,\textrm{H}\,}}^{0}(X,M_{V})=0\) (see 8), we obtain that

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\cong {{\,\textrm{H}\,}}^{1}(X,M_{V})\oplus {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}^{r}_{X}), \end{aligned}$$

which yields

$$\begin{aligned} {{\,\textrm{h}\,}}^{1}(X,M_{V})={{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-{{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}^{r})={{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r. \end{aligned}$$
(13)

Finally, from (9) and using (10), (11) and (13), we get

$$\begin{aligned} {{\,\textrm{h}\,}}^{1}(X,M_{V}\otimes M_{V}^{\vee })&={{\,\textrm{h}\,}}^{2}(X,M_{V}(-L))+r{{\,\textrm{h}\,}}^{1}(X,M_{V})-{{\,\textrm{h}\,}}^{1}(X,M_{V}(-L))\\&\quad +{{\,\textrm{h}\,}}^{0}(X,M_{V}\otimes M_{V}^{\vee })\\&={{\,\textrm{h}\,}}^{2}(X,\mathcal {O}_{X}(-L)^{r})+r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-{{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}^{r}))\\&\quad -{{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X})+1\\&=r{{\,\textrm{h}\,}}^{2}(X,\mathcal {O}_{X}(-L))+r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r). \end{aligned}$$

In particular, for Case (d) (\(\dim (X)=2\)), the proof is finished.

On the other hand, notice that if \(\dim (X)\ge 3\), by Kodaira’s vanishing theorem, we have \({{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X}(-L))=0\). Thus, we have

$$\begin{aligned} {{\,\textrm{h}\,}}^{1}(X,M_{V}\otimes M_{V}^{\vee })=r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r) \end{aligned}$$
(14)

the proof now follows for Case (a) (\(\dim (X)\ge 4\) and Case (c) (\(\dim (X)=3\), \(V\subsetneq {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\) and \({{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L))=0\)).

To finish the proof, we need to tackle Case (b), that is when \(\dim (X)=3\) and \(V={{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X})\). In this case, we have not seen that \([M_{V}]\) is a smooth point in \(\mathcal {M}\), so we cannot deduce directly that \(\dim _{\mathbb {K}} T_{[M_{V}]}\) gives the dimension of the irreducible component of \(\mathcal {M}\) containing \([M_{V}]\). However, from (14), we obtain that

$$\begin{aligned} {{\,\textrm{h}\,}}^{1}(X,M_{V}\otimes M_{V}^{\vee })=r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r)=0 \end{aligned}$$

since in this case \(r={{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))\). Therefore, \(\dim _{\mathbb {K}} T_{[M_{V}]}=0\), so \(M_{V}\) is infinitesimally rigid and so \([M_{V}]\) is smooth.

Remark 3.2

  1. (i)

    There is a wide range of projective varieties X satisfying that \({{\,\textrm{H}\,}}^{1}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X})=0\). For instance, we have Grassmannians and flag varieties ([20, Chapter 4], complete smooth projective toric varieties ([6, Chapter 9]) or arithmetically Cohen-Macaulay varieties.

  2. (ii)

    On the other hand, when \(\dim (X)=3\), the condition \({{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L))=0\) is not always satisfied even in the case of complete smooth toric varieties, as the following example shows—take \(X=\mathbb {P}^{3}\) and \(L=\mathcal {O}_{\mathbb {P}^{3}}(i)\) with \(i\ge 4\). When X is a complete toric variety of dimension n, this technical condition can be tackled using the Batirev–Borisov vanishing theorem. Indeed, for any Cartier nef divisor D on X, there is a lattice polytope \(P_{D}\) such that

    $$\begin{aligned} {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(D))=|P_{D}| \end{aligned}$$

    and

    $$\begin{aligned} {{\,\textrm{h}\,}}^{i}(X,\mathcal {O}_{X}(-D)= \left\{ \begin{array}{ll} 0, &{}\quad i\ne \dim (P_{D})\\ |{{\,\textrm{Relint}\,}}( P_{D})|, &{}\quad i=\dim (P_{D}), \end{array} \right. \end{aligned}$$

    where \(|P_{D}|\) is the number of lattice points of \(P_{D}\) and \(|{{\,\textrm{Relint}\,}}(P_{D})|\) is the number of lattice points in the relative interior of the polytope \(P_{D}\) (see [6, Section 5 and Theorem 9.2.7]).

Theorem 3.1 has been recently generalized in [10] and [11] where using generalized syzygy bundles, we construct recursively open subspaces of moduli spaces of simple sheaves on X that are smooth, rational, and quasiprojective varieties.

At the end of Sect. 4, we will apply the results of this section (see Theorem 4.12) to general syzygy bundles on \(\mathbb {P}^{m}\times \mathbb {P}^{n}\) associated to linear systems.

4 Stability of syzygy bundles of non-complete linear systems

The aim of this section is to answer Question 2.4 for \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\). Notice that X may be viewed as the smooth complete toric variety toric variety with Cox ring

$$\begin{aligned} R=\mathbb {K}[x_{0},\dotsc ,x_{m},y_{0},\dotsc ,y_{n}] \end{aligned}$$

graded by

$$\begin{aligned}&\deg (x_{i})=(1,0){} & {} 0\le i\le m\\&\deg (y_{i})=(0,1){} & {} 0\le i\le n. \end{aligned}$$

Any line bundle on X is of the form \(\mathcal {O}_{X}(a,b):=\pi _{1}^{*}\mathcal {O}_{\mathbb {P}^{m}}(a)\otimes \pi _{2}^{*}\mathcal {O}_{\mathbb {P}^{n}}(b)\) for some integers ab. A line bundle \(\mathcal {O}_{X}(a,b)\) is ample if and only if it is very ample, if and only if \(a,b>0\); and it is effective if and only if \(a,b\ge 0\). Moreover, we have the following identification of vector spaces:

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(a,b))\cong R_{(a,b)}{} & {} :=\langle x_{0}^{\alpha _{0}}\cdots x_{m}^{\alpha _{m}}y_{0}^{\beta _{0}}\cdots y_{n}^{\beta _{n}}\mid \alpha _{0}+\cdots +\alpha _{m}=a,\;\beta _{0}\\{} & {} \quad +\cdots +\beta _{n}=b\rangle . \end{aligned}$$

In particular, for all integers \(a,b\ge 0\), we have

$$\begin{aligned} \dim {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(a,b))=\left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) . \end{aligned}$$

In this setting, Lemma 2.2 can be rephrased as follows:

Lemma 4.1

Take \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(L=\mathcal {O}_{X}(a,b)\) a very ample line bundle. Let \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) be a vector space such that \(\mathcal {L}_{V}\) is a base point-free linear system. The syzygy bundle \(M_{V}\) is L-stable if for any \(0<q<r-1\) and any line bundle \(G=\mathcal {O}_{X}(x,y)\), then

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0 \quad \text {implies} \quad bmx+any>\frac{qab(m+n)}{r-1}. \end{aligned}$$

Proof

It follows from Lemma 2.2 using that

$$\begin{aligned} L^{m+n}=a^{m}b^{n}\left( {\begin{array}{c}m+n\\ m\end{array}}\right) =a^{m}b^{n}\left( {\begin{array}{c}m+n-1\\ n\end{array}}\right) (\frac{m}{n}+1) \end{aligned}$$

and

$$\begin{aligned} G\cdot L=a^{m-1}b^{n-1}\left( {\begin{array}{c}m+n-1\\ m\end{array}}\right) (b\frac{m}{n}x+ay). \end{aligned}$$

Notice that if \(G=\mathcal {O}(x,y)\) is a line bundle we have, from (1), the following inclusion of vector spaces

$$\begin{aligned}{} & {} {{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \hookrightarrow {{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}(V\otimes \mathcal {O}_{X})(x,y)\right) \\{} & {} \quad ={{\,\textrm{H}\,}}^{0}\left( X,\left( \bigwedge ^{q} V\right) \otimes \mathcal {O}_{X}(x,y)\right) . \end{aligned}$$

Hence, if \({{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0\), then \(G=\mathcal {O}_{X}(x,y)\) is effective. Therefore, we have \(x,y\ge 0\).

Our first goal is to prove that the syzygy bundle \(M_{V}\) associated to any sufficiently large vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) is always L-stable. More precisely, we show that for any base point-free linear system \(\mathcal {L}_{V}\) associated to an r-dimensional vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) such that

$$\begin{aligned} \frac{a(m+n)}{\min (m,n)}<r\le \left( {\begin{array}{c}a+m\\ m\end{array}}\right) \left( {\begin{array}{c}b+n\\ n\end{array}}\right) , \end{aligned}$$
(15)

the syzygy bundle \(M_{V}\) is L-stable. To this end, the following Lemma is needed.

Lemma 4.2

Take \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(L=\mathcal {O}_{X}(a,b)\) a very ample line bundle. Let \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) be a vector space such that \(\mathcal {L}_{V}\) is a base point-free linear system. For any \(0<q<r-1\) and any line bundle \(G=\mathcal {O}_{X}(x,y)\), if \({{\,\textrm{H}\,}}^{0}\left( \bigwedge ^{q}M_{V}(x,y)\right) \ne 0\), then \(x+y\ge q\).

Proof

We have that

$$\begin{aligned} M_{V}(-L)=\widetilde{K_{V}}, \end{aligned}$$

where \(K_{V}={{\,\textrm{syz}\,}}(f_{1},\dotsc ,f_{r})\) is the syzygy module of the forms \(\{f_{1},\dotsc ,f_{r}\}\subset R_{(a,b)}\) corresponding to a basis of V. Then, \(K_{V}\) lies in the following exact sequence:

$$\begin{aligned} 0\longrightarrow K_{V}\longrightarrow R(-a,-b)^{r}\xrightarrow {(f_{1},\dotsc ,f_{r})}R\longrightarrow 0. \end{aligned}$$

In particular, if

$$\begin{aligned} \bigoplus _{i=1}^{\mu }R(-a-\alpha _{i},-b-\beta _{i}) \longrightarrow K_{V} \longrightarrow 0 \end{aligned}$$

is a minimal presentation of \(K_{V}\), then we have for any \(1\le i\le \mu \) that

$$\begin{aligned} (\alpha _{i},\beta _{i})\in \{(x,y)\in \mathbb {N}^{2}\mid x+y\ge 1\}. \end{aligned}$$

As a consequence, we have a minimal presentation

$$\begin{aligned} \bigoplus _{i=1}^{\mu }\mathcal {O}(-\alpha _{i},-\beta _{i}) \longrightarrow M_{V} \longrightarrow 0 \end{aligned}$$
(16)

such that \(\alpha _{i}+\beta _{i}\ge 1\) for \(1\le i\le \mu \). Taking exterior powers in (16), we have

$$\begin{aligned} \bigoplus _{ 1\le i_{1}<\cdots <i_{q}\le \mu } \mathcal {O}( -\alpha _{i_{1}}-\cdots -\alpha _{i_{q}},-\beta _{i_{1}}-\cdots -\beta _{i_{q}} ) \longrightarrow \bigwedge ^{q}M_{V} \longrightarrow 0.\nonumber \\ \end{aligned}$$
(17)

Notice that for any q-uple \(1\le i_{1}<\dotsc <i_{q}\le \mu \), it holds that

$$\begin{aligned} \alpha _{i_{1}}+\cdots +\alpha _{i_{q}}+\beta _{i_{1}}+\cdots +\beta _{i_{q}}\ge q. \end{aligned}$$

Thus, if \({{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0\), then we have that \(x+y\ge q\).

Proposition 4.3

Take \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(L=\mathcal {O}_{X}(a,b)\) a very ample line bundle such that \(a\ge b\). Let \(\mathcal {L}_{V}\) be any basepoint-free linear system associated to a vector subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) with \(\dim (V)=r\). If

$$\begin{aligned} \frac{a(m+n)}{\min (m,n)}+1<r\le \left( {\begin{array}{c}a+m\\ m\end{array}}\right) \left( {\begin{array}{c}b+n\\ n\end{array}}\right) , \end{aligned}$$

then the syzygy bundle \(M_{V}\) associated to \(\mathcal {L}_{V}\) is L-stable.

Proof

We apply Lemma 4.1. Let us consider an integer \(0<q<r-1\) and \(G=\mathcal {O}_{X}(x,y)\) a line bundle such that \({{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0\). Since \(x,y\ge 0\) and \(a\ge b\), we have that \(bmx+any\ge b\min (m,n)(x+y)\). Therefore, it is enough to see that it holds

$$\begin{aligned} bnx+amy>\frac{qab(m+n)}{r-1}. \end{aligned}$$

Since \({{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0\), then we have that there is some q-uple \((i_{1},\dotsc ,i_{q})\) with \(1\le i_{1}<\cdots <i_{q}\le \mu \) in (17), such that

$$\begin{aligned} (x,y)\in (\alpha _{i_{1}}+\cdots +\alpha _{i_{q}},\beta _{i_{1}}+\cdots +\beta _{i_{q}})+\mathbb {Z}^{2}_{\ge 0}. \end{aligned}$$

Thus, we have that \(x+y\ge q\). Consequently,

$$\begin{aligned} bmx+any\ge b\min (m,n)q > \frac{qab(m+n)}{r-1} \end{aligned}$$

since we assume that \(r>\frac{a(m+n)}{\min (m,n)}+1\).

The remaining of this section is devoted to show that for any integer r such that

$$\begin{aligned} \frac{a(m+n)}{b\min (m,n)} +1 < r\le \frac{a(m+n)}{\min (m,n)}, \end{aligned}$$
(18)

there is a vector subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) with \(\dim (V)=r\) such that the associated linear system \(\mathcal {L}_{V}\) is base point-free and the corresponding syzygy bundle \(M_{V}\) is L-stable.

Notation 4.4

For any integer r satisfying (18), we denote by \(t_{r}\) the only integer such that

$$\begin{aligned} \frac{a(m+n)}{t_{r}\min (m,n)}+1<r\le \frac{a(m+n)}{(t_{r}-1)\min (m,n)}+1. \end{aligned}$$

Notice that it holds \(2\le t_{r}\le b\).

The following lemma is in the core of the proof.

Lemma 4.5

Let \(R=\mathbb {K}[x_{0},\dotsc ,x_{m},y_{0},\dotsc ,y_{n}]\) be the Cox ring of \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\), and let \(a\ge b\ge 2\) be two integers. For any integer r such that

$$\begin{aligned} \frac{a(m+n)}{b\min (m,n)} +1 < r\le \frac{a(m+n)}{\min (m,n)}, \end{aligned}$$

there is a vector subspace \(W\subset R_{(a,b)}\) of dimension

$$\begin{aligned} N=\dim W \ge \frac{a(m+n)}{(t_{r}-1)\min (m,n)}+1, \end{aligned}$$

such that

  1. (i)

    W admits a basis of monomials \(\{f_{1},\dotsc ,f_{N}\}\).

  2. (ii)

    We have that

    $$\begin{aligned} \{x_{i}^{a}y_{j}^{b}\mid 0\le i\le m,\;0\le j\le n\}\subset W. \end{aligned}$$
  3. (iii)

    If \(\xi =(g_{1},\dotsc ,g_{N})\in {{\,\textrm{syz}\,}}(f_{1},\dotsc ,f_{N})\) is a syzygy of degree \((a+\alpha ,b+\beta )\), then it holds that

    $$\begin{aligned} \alpha +\beta \ge t_{r}. \end{aligned}$$

In particular, condition (ii) implies that the linear system \(\mathcal {L}_{W}\) associated to W is base point-free.

Proof

We divide the proof in four cases:

  1. (A)

    \(n=m=1\), and \(R=\mathbb {K}[x_{0},x_{1},y_{0},y_{1}]\).

  2. (B)

    \(m=\min (n,m)=1\) and \(n>1\), and \(R=\mathbb {K}[x_{0},\dotsc ,x_{m},y_{0},y_{1}]\).

  3. (C)

    \(n=\min (n,m)=1\) and \(m>1\), and \(R=\mathbb {K}[x_{0},x_{1},y_{0},\dotsc ,y_{n}]\).

  4. (D)

    Otherwise.

Case (A). We consider the following two sets of monomials in \(R_{(a,b)}\):

$$\begin{aligned} \mathcal {A}= & {} \left\{ x_{0}^{a-(t_{r}-1)}x_{1}^{t_{r}-1}y_{0}^{b-1}y_{1}, x_{0}^{a-2(t_{r}-1)}x_{1}^{2(t_{r}-1)}y_{0}^{b}, \dotsc ,\right. \\{} & {} x_{0}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} x_{1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} y_{0}^{b-(1-\epsilon )}y_{1}^{1-\epsilon },\\{} & {} \left. x_{0}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} x_{1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} y_{0}^{b-\epsilon }y_{1}^{\epsilon } \right\} , \end{aligned}$$

and

$$\begin{aligned} \mathcal {B}= & {} \left\{ x_{0}^{a-1}x_{1}y_{0}^{b-(t_{r}-1)}y_{1}^{t_{r}-1}, x_{0}^{a-t_{r}}x_{1}^{t_{r}}y_{0}^{b-t_{r}}y_{1}^{t_{r}}, x_{0}^{a-2t_{r}+1}x_{1}^{2t_{r}-1}y_{0}^{b-(t_{r}-1)}y_{1}^{t_{r}-1}, \right. \\{} & {} \dotsc , x_{0}^{a-1-(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} x_{1}^{1+(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} y_{0}^{b-t_{r}+\epsilon }y_{1}^{t_{r}-\epsilon },\\{} & {} \left. x_{0}^{a-1-(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} x_{1}^{1+(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} y_{0}^{b+t_{r}-1-\epsilon }y_{1}^{t_{r}-1+\epsilon }\right\} , \end{aligned}$$

where

$$\begin{aligned} \epsilon =\epsilon (a,t_{r}):=\left\{ \begin{array}{cc} 0 &{}\quad \text {if}\quad \lfloor \frac{a}{t_{r}-1}\rfloor \quad \text {even} \\ 1 &{}\quad \text {if}\quad \lfloor \frac{a}{t_{r}-1}\rfloor \quad \text {odd}. \end{array} \right. \end{aligned}$$

We have that

$$\begin{aligned}&|\mathcal {A}|=\left\lfloor \frac{a}{t_{r}-1}\right\rfloor -1\\&|\mathcal {B}|=\left\lfloor \frac{a}{t_{r}-1}\right\rfloor \end{aligned}$$

We construct the vector space W from the sets of monomials \(\mathcal {A}\) and \(\mathcal {B}\), fulfilling conditions (i), (ii) and (iii). We consider two subcases:

Case (i): if \(2(t_{r}-1)\le b\).

If either it holds \(\frac{a}{t_{r}-1}\notin \mathbb {Z}\) or \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) is odd, we define

$$\begin{aligned} W=\langle \mathcal {A}\cup \mathcal {B}\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i,j\le 1\rangle . \end{aligned}$$

We have \(\dim W=2\lfloor \frac{a}{t_{r}-1}\rfloor + 3\). Otherwise, \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) is even, and we define

$$\begin{aligned} W=\langle (\mathcal {A}\setminus \{x_{0}^{t_{r}-1} x_{1}^{a-(t_{r}-1)} y_{0}^{b}\})\cup \mathcal {B}\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i,j\le 1\rangle . \end{aligned}$$

We have \(\dim W=2\lfloor \frac{a}{t_{r}-1}\rfloor + 2\).

Case (ii): if \(t_{r}\le b< 2(t_{r}-1)\).

If either it holds \(\frac{a}{t_{r}-1}\notin \mathbb {Z}\) or \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) is odd, we define

$$\begin{aligned} W=\langle \mathcal {A}\cup (\mathcal {B}\setminus \{ x_{0}^{a-1}x_{1}y_{0}^{b-(t_{r}-1)}y_{1}^{t_{r}-1}\})\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i,j\le 1\rangle . \end{aligned}$$

We have \(\dim W=2\lfloor \frac{a}{t_{r}-1}\rfloor + 2\). Otherwise, \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) is even, and we define

$$\begin{aligned} W=\langle (\mathcal {A}\setminus \{x_{0}^{t_{r}-1} x_{1}^{a-(t_{r}-1)} y_{0}^{b}\})\cup (\mathcal {B}\setminus \{ x_{0}^{a-1}x_{1}y_{0}^{b-(t_{r}-1)}y_{1}^{t_{r}-1}\})\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i,j\le 1\rangle . \end{aligned}$$

We have \(\dim W=2\lfloor \frac{a}{t_{r}-1}\rfloor + 1\).

In any case, we have that \(\dim W\ge \frac{2a}{t_{r}-1}+1\) and conditions (i), (ii) and (iii) hold.

Case (B). We consider the following sets of monomials in \(R_{(a,b)}\) for each \(1\le i\le m-1\):

$$\begin{aligned}{} & {} \mathcal {A}_{i}=\left\{ x_{i-1}^{a-(t_{r}-1)} x_{i}^{t_{r}-1} y_{0}^{b-1} y_{1}, x_{i-1}^{a-2(t_{r}-1)} x_{i}^{2(t_{r}-1)} y_{0}^{b}, \dotsc ,\right. \\{} & {} \quad x_{i-1}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} x_{i}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} y_{0}^{b-(1-\epsilon )} y_{1}^{1-\epsilon },\\{} & {} \quad \left. x_{i-1}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} x_{i}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} y_{0}^{b-\epsilon } y_{1}^{\epsilon } \right\} , \end{aligned}$$

and

$$\begin{aligned} \mathcal {B}_{i}= & {} \left\{ x_{i}^{a-(t_{r}-1)} x_{i+1}^{t_{r}-1} y_{0}^{b-2} y_{1}^{2}, x_{i}^{a-2(t_{r}-1)} x_{i+1}^{2(t_{r}-1)} y_{0}^{b-1}y_{1}, \dotsc , \right. \\{} & {} x_{i}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} x_{i+1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} y_{0}^{b-(2-\epsilon )} y_{1}^{2-\epsilon },\\{} & {} \left. x_{i}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} x_{i+1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} y_{0}^{b-(1+\epsilon )} y_{1}^{1+\epsilon } \right\} , \end{aligned}$$

If \(\frac{a}{t_{r}-1}\notin \mathbb {Z}\) or \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is odd, we define

$$\begin{aligned} W=\bigoplus _{i=1}^{m}\langle \mathcal {A}_{i}\cup \mathcal {B}_{i}\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i\le m,\;0\le j\le 1\rangle , \end{aligned}$$

and we have

$$\begin{aligned} \dim W = 2(m-1)\left( \left\lfloor \frac{a}{t_{r}-1}\right\rfloor -1\right) +2(m+1). \end{aligned}$$

Otherwise, \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is even, and we define

$$\begin{aligned} W=\bigoplus _{i=1}^{m}\langle (\mathcal {A}_{i} \setminus \{ x_{i-1}^{t_{r}-1} x_{i}^{a-(t_{r}-1)} y_{0}^{b} \} )\cup \mathcal {B}_{i}\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i\le m,\;0\le j\le 1\rangle , \end{aligned}$$

and we have

$$\begin{aligned} \dim W = (m-1)\left( \left\lfloor \frac{a}{t_{r}-1}\right\rfloor -2+\left\lfloor \frac{a}{t_{r}-1}\right\rfloor -1\right) +2(m+1). \end{aligned}$$

In any case, we have \(\dim W \ge \frac{(m+1)a}{t_{r}-1}+1\) and conditions (i), (ii) and (iii) hold.

Case (C). We consider the following sets of monomials in \(R_{(a,b)}\) for each \(1\le i\le n-1\):

$$\begin{aligned}{} & {} \mathcal {A}_{i}=\left\{ x_{0}^{a-(t_{r}-1)} x_{1}^{t_{r}-1} y_{i}^{b-1} y_{i+1}, x_{0}^{a-2(t_{r}-1)} x_{1}^{2(t_{r}-1)} y_{i}^{b}, \dotsc ,\right. \\{} & {} \quad x_{0}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} x_{1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} y_{i}^{b-(1-\epsilon )} y_{i+1}^{1-\epsilon },\\{} & {} \quad \left. x_{0}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} x_{1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} y_{i}^{b-\epsilon } y_{i+1}^{\epsilon } \right\} , \end{aligned}$$

and for \(i=n\):

$$\begin{aligned}{} & {} \mathcal {A}_{n}= \left\{ x_{0}^{a-(t_{r}-1)} x_{1}^{t_{r}-1} y_{n}^{b-1} y_{0}, x_{0}^{a-2(t_{r}-1)} x_{1}^{2(t_{r}-1)} y_{n}^{b}, \dotsc ,\right. \\{} & {} \quad x_{0}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} x_{1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -2)(t_{r}-1)} y_{n}^{b-(1-\epsilon )} y_{0}^{1-\epsilon },\\{} & {} \quad \left. x_{0}^{a-(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} x_{1}^{(\lfloor \frac{a}{t_{r}-1}\rfloor -1)(t_{r}-1)} y_{n}^{b-\epsilon } y_{0}^{\epsilon } \right\} , \end{aligned}$$

If \(\frac{a}{t_{r}-1}\notin \mathbb {Z}\) or \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is odd, we define

$$\begin{aligned} W=\bigoplus _{i=1}^{n}\langle \mathcal {A}_{i}\rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i\le 1,\;0\le j\le n\rangle , \end{aligned}$$

and we have

$$\begin{aligned} \dim W = (n+1)\left( \left\lfloor \frac{a}{t_{r}-1}\right\rfloor -1\right) +2(n+1). \end{aligned}$$

Otherwise, \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is even, and we define

$$\begin{aligned} W=\bigoplus _{i=1}^{n}\langle \mathcal {A}_{i} \setminus \{ x_{0}^{t_{r}-1} x_{1}^{a-(t_{r}-1)} y_{i}^{b} \} \rangle \oplus \langle x_{i}^{a}y_{j}^{b}\mid 0\le i\le n,\;0\le j\le 1\rangle , \end{aligned}$$

and we have

$$\begin{aligned} \dim W = (n+1)\left( \left\lfloor \frac{a}{t_{r}-1}\right\rfloor -2\right) +2(n+1). \end{aligned}$$

In any case, we have \(\dim W \ge \frac{(n+1)a}{t_{r}-1}+1\) and conditions (i), (ii) and (iii) hold.

Case (D). Let us consider now the vector space W constructed in Case (B) (respectively Case (C)) taking the subring \(R'=\mathbb {K}[x_{0},\dotsc ,x_{m},y_{0},y_{1}]\subset R\), if \(m=\max (m,n)\) (respectively taking the subring \(R'=\mathbb {K}[x_{0},x_{1},y_{0},\dotsc ,y_{n}]\), if \(n=\max (m,n)\)). Thus, W is also a vector subspace in \(R_{(a,b)}\) and conditions (i), (ii) and (iii) are automatically satisfied. On the other hand, we have that

$$\begin{aligned} \dim W\ge & {} \frac{a(\max (m,n)+1)}{t_{r}-1}+1\\= & {} \frac{\max (m,n)a}{t_{r}-1}+\frac{a}{t_{r}-1}+1\\\ge & {} \frac{\max (m,n)a}{\min (m,n)(t_{r}-1)}+\frac{a}{t_{r}-1}+1\\= & {} \frac{(m+n)a}{\min (m,n)(t_{r}-1)}+1. \end{aligned}$$

Proposition 4.6

Take \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(L=\mathcal {O}_{X}(a,b)\) a very ample line bundle, such that \(a\ge b\ge 2\). For any integer

$$\begin{aligned} \frac{a(m+n)}{b\min (m,n)}+1<r\le \frac{a(m+n)}{\min (m,n)}+1, \end{aligned}$$

let \(\mathcal {L}_{V}\) be general base point-free linear system associated to an r-dimensional vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\). Then, the syzygy bundle \(M_{V}\) corresponding to \(\mathcal {L}_{V}\) is L-stable.

Proof

By Remark 2.5, it is enough to find an r-dimensional vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) such that the linear system \(\mathcal {L}_{V}\) is base point-free and its corresponding syzygy bundle \(M_{V}\) is L-stable. To this end, we use Lemma 4.5.

By Notation 4.4, let us consider the integer \(2\le t_{r}\le b\) such that

$$\begin{aligned} \frac{a(m+n)}{t_{r}\min (m,n)}+1<r\le \frac{a(m+n)}{(t_{r}-1)\min (m,n)}+1. \end{aligned}$$

We consider the N-dimensional vector subspace W given by Lemma 4.5. We may write

$$\begin{aligned} W=\langle f_{1},\dotsc ,f_{N}\rangle =\langle x_{i}^{a}y_{j}^{b}\mid 0\le i\le m,\;0\le j\le n \rangle + \langle m_{1},\dotsc ,m_{N-(m+1)(n+1)} \rangle , \end{aligned}$$

where \(m_{i}\) is a monomial for any \(1\le i\le N-(m+1)(n+1)\). Then we construct the following r-dimensional vector space

$$\begin{aligned} V=\langle f_{1},\dotsc ,f_{r}\rangle =\langle x_{i}^{a}y_{j}^{b}\mid 0\le i\le m,\;0\le j\le n \rangle + \langle m_{1},\dotsc ,m_{r-(m+1)(n+1)} \rangle . \end{aligned}$$

Notice that \({{\,\textrm{syz}\,}}(f_{1},\dotsc ,f_{r})\subset {{\,\textrm{syz}\,}}(f_{1},\dotsc ,f_{N})\). Thus, applying condition (ii) of Lemma 4.5 to any syzygy \(\xi =(g_{1},\dotsc ,g_{r})\in {{\,\textrm{syz}\,}}(V)\) of degree \((a+\alpha ,b+\beta )\), we have that

$$\begin{aligned} \alpha +\beta \ge t_{r}. \end{aligned}$$

In particular, if \(K_{V}:={{\,\textrm{syz}\,}}(f_{1},\dotsc ,f_{r})\), we have the following minimal presentation

$$\begin{aligned} \bigoplus _{i=1}^{\mu }R(-a-\alpha _{i},-b-\beta _{i})\rightarrow K_{V} \longrightarrow 0, \end{aligned}$$

such that \(\alpha _{i}+\beta _{i}\ge t_{r}\) for any \(1\le i\le \mu \).

On the other hand, since \(M_{V}=\widetilde{K_{V}}\), we have the following minimal presentation

$$\begin{aligned} \bigoplus _{i=1}^{\mu }\mathcal {O}_{X}(-\alpha _{i},-\beta _{i})\longrightarrow M_{V}\longrightarrow 0, \end{aligned}$$

which yields, taking the q-th exterior power, the minimal presentation of \(\bigwedge ^{q}M_{V}\):

$$\begin{aligned} \bigoplus _{1\le i_{1}<\cdots <i_{q}\le \mu }\mathcal {O}_{X}( -\alpha _{i_{1}}-\cdots -\alpha _{i_{q}},-\beta _{i_{1}}-\cdots -\beta _{i_{q}}) \longrightarrow \bigwedge ^{q}M_{V}\longrightarrow 0. \end{aligned}$$

For any q-uple \(1\le i_{1}<\cdots <i_{q}\le \mu \), we have that

$$\begin{aligned} -\alpha _{i_{1}}-\cdots -\alpha _{i_{q}}-\beta _{i_{1}}-\cdots -\beta _{i_{q}}\ge qt_{r}. \end{aligned}$$
(19)

Now, we apply Lemma 2.2. Let us consider an integer \(0<q<r-1\) and a line bundle \(G=\mathcal {O}_{X}(x,y)\) such that

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0. \end{aligned}$$

We want to see that it holds

$$\begin{aligned} bmx+any>\frac{qab(m+n)}{r-1}. \end{aligned}$$

Since \(a\ge b\), we have that \(bmx+any\ge b\min (m,n)(x+y)\). On the other hand, by (19), assuming that \({{\,\textrm{H}\,}}^{0}\left( X,\bigwedge ^{q}M_{V}(x,y)\right) \ne 0\) we have that \(x+y\ge qt\). Consequently, we obtain that

$$\begin{aligned} bmx+any\ge b\min (m,n)(x+y)\ge bqt_{r} >\frac{qab(m+n)}{r-1} \end{aligned}$$

since we assume that

$$\begin{aligned} r>\frac{a(m+n)}{t_{r}\min (m,n)}+1. \end{aligned}$$

Propositions 4.3 and 4.6 yield the main result of this note.

Theorem 4.7

Let \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(a,b\ge 1\) two integers and let \(L:=\mathcal {O}_{X}(a,b)\) be a very ample line bundle on X. For any integer r such that

$$\begin{aligned} \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1<r\le \left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) ={{\,\textrm{h}\,}}^{0}(X,L), \end{aligned}$$

let \(\mathcal {L}_{V}\) be a general base point-free linear system associated to an r-dimensional vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\). Then, the syzygy bundle \(M_V\) corresponding to \(\mathcal {L}_{V}\) is L-stable.

Proof

Exchanging the role of m and n in \(\mathbb {P}^{m}\times \mathbb {P}^{n}\) if necessary, we may assume that \(a\ge b\). On the other hand, if we assume \(b=1\), then we have

$$\begin{aligned} \frac{a(m+n)}{b\min (m,n)}+1=\frac{a(m+n)}{\min (m,n)}+1. \end{aligned}$$

Therefore, the result follows directly from Proposition 4.3.

On the other hand, assume that \(a\ge b\ge 2\). Then, the result follows from Proposition 4.3 if

$$\begin{aligned} \frac{a(m+n)}{\min (m,n)}+1<r\le \left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) , \end{aligned}$$

or from Proposition 4.6 if

$$\begin{aligned} \frac{a(m+n)}{b\min (m,n)}+1<r\le \frac{a(m+n)}{\min (m,n)}+1. \end{aligned}$$

We have the following remark:

Remark 4.8

  1. (i)

    Let \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\) be a vector space corresponding to a base point-free linear system \(\mathcal {L}_{V}\), then we have that

    $$\begin{aligned} \dim X=m+n < \dim V \le \left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) ={{\,\textrm{h}\,}}^{0}(X,L). \end{aligned}$$

    By Theorem 4.7, we have seen that when V is general and

    $$\begin{aligned} \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1<\dim V\le \left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) ={{\,\textrm{h}\,}}^{0}(X,L), \end{aligned}$$

    then, the corresponding syzygy bundle \(M_{V}\) is L-stable. However, to solve completely Question 2.4, it remains open the case of a general vector space V such that

    $$\begin{aligned} m+n+1\le \dim V\le \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1. \end{aligned}$$
    (20)
  2. (ii)

    On the other hand, if we assume in addition that V is generated by monomials, then being \(\mathcal {L}_{V}\) a base point-free linear system implies that

    $$\begin{aligned} (m+1)(n+1)\le \dim V\le \left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) . \end{aligned}$$

    Therefore, Question 2.4 even when restricted to vector spaces V generated by monomials remains open when

    $$\begin{aligned} (m+1)(n+1)\le \dim V \le \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1. \end{aligned}$$
    (21)

    However, we notice that the open range of cases expressed in (21) is smaller than that of (20).

The following corollaries show that in some cases, Theorem 4.7 solves already Question 2.4 for \(\mathbb {P}^{m}\times \mathbb {P}^{n}\).

Corollary 4.9

Let \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(a,b\ge 1\) two integers and let \(L:=\mathcal {O}_{X}(a,b)\) be a very ample line bundle on X. If

$$\begin{aligned} \max (a,b) < \min (m,n)\min (a,b), \end{aligned}$$

then the syzygy bundle \(M_{V}\) corresponding to a general basepoint-free linear system \(\mathcal {L}_{V}\), is L-stable.

In particular, if \(m,n\ge 2\), for any integer \(t\ge 1\), we set \(H_{t}:=\mathcal {O}_{X}(t,t)\). Then, the syzygy bundle \(M_{V}\) associated to a general basepoint-free linear system \(\mathcal {L}_{V}\) with \(V\subset {{\,\textrm{H}\,}}^{0}(X,H_{t})\) is \(H_{t}\)-stable. Notice that then, \(M_{V}\) is also \(H_{1}\)-stable.

Proof

In this case, we have

$$\begin{aligned} m+n+1>\frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1. \end{aligned}$$

Since there is no base point-free linear system associated to a vector space V satisfying (20), the result follows from Theorem 4.7.

Corollary 4.10

Let \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\) and \(a,b\ge 1\) two integers and let \(L:=\mathcal {O}_{X}(a,b)\) be a very ample line bundle on X. If

$$\begin{aligned} \max (a,b) < \frac{(mn+m+n)\min (m,n)}{m+n}\min (a,b), \end{aligned}$$

then the syzygy bundle \(M_{V}\) corresponding to a general base point-free linear system \(\mathcal {L}_{V}\) given by a general vector space V generated by monomials, is L-stable.

Proof

In this case, we have

$$\begin{aligned} (m+1)(n+1)>\frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1. \end{aligned}$$

Since there is no base point-free linear system associated to a vector space V generated by monomials satisfying (21), the result follows from Theorem 4.7.

Remark 4.11

Let us consider a multiprojective space \(X=\mathbb {P}^{m_{1}}\times \cdots \times \mathbb {P}^{m_{k}}\), polarized by a very ample line bundle \(L:=\mathcal {O}_{X}(a_{1},\dotsc ,a_{k})\), \(a_i>0\). We notice that one can use analogous techniques of the previous results to obtain an integer \(B(m_{1},\dotsc ,m_{k};a_{1},\dotsc ,a_{k})\ge m_{1}+\cdots +m_{k}+1\) such that for a general subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\) satisfying

$$\begin{aligned} B(m_{1},\dotsc ,m_{k};a_{1},\dotsc ,a_{k})\le \dim V\le \left( {\begin{array}{c}m_{1}+a_{1}\\ m_{1}\end{array}}\right) \cdots \left( {\begin{array}{c}m_{k}+a_{k}\\ m_{k}\end{array}}\right) , \end{aligned}$$

the syzygy bundle \(M_{V}\) is L-stable.

As an application of Theorem 3.1 to this setting, we address now the geometry of the moduli space \(\mathcal {M}\) on which an L-stable syzygy bundle \(M_{V}\) can be represented (see Sect. 3).

Theorem 4.12

Let \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\), and \(a,b\ge 1\) two integers and let \(L:=\mathcal {O}_{X}(a,b)\) be a very ample line bundle on X. For any integer r such that

$$\begin{aligned} \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1<r\le \left( {\begin{array}{c}m+a\\ m\end{array}}\right) \left( {\begin{array}{c}n+b\\ n\end{array}}\right) ={{\,\textrm{h}\,}}^{0}(X,L), \end{aligned}$$

and a general subspace \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) with \(\dim V=r\), we consider \(M_{V}\) a general syzygy bundle corresponding to the non-complete linear system \(\mathcal {L}_{V}\). Let \([M_{V}]\) be the point representing \(M_{V}\) inside the moduli space \(\mathcal {M}\). We have

  1. (i)

    If either \(m+n\ge 4\), or \(m+n=3\) and \(r={{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))\), then \([M_{V}]\) is a smooth point and

    $$\begin{aligned} \dim _{\mathbb {K}}T_{[M_{V}]}\mathcal {M}=r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r). \end{aligned}$$
  2. (ii)

    If \(m+n=2\) then \([M_{V}]\) is a smooth point and

    $$\begin{aligned} \dim _{\mathbb {K}}T_{[M_{V}]}\mathcal {M}=r({{\,\textrm{h}\,}}^{0}(X,\mathcal {O}_{X}(L))-r)+r{{\,\textrm{h}\,}}^{2}(X,\mathcal {O}_{X}(-L)). \end{aligned}$$

In particular \(M_{V}\) is infinitesimally rigid if and only if \(\mathcal {L}_{V}\) is a complete linear system.

Proof

It follows straightforward from Theorem 4.7 and Corollary 3.1.

We finish this note with some examples and open problems. The following example shows that the bounds established in Theorem 4.7 are not far of being optimal. Indeed, the following example shows that for small positive integers ab, we are not always able to produce a vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(a,b))\) generated by monomials such that

  1. (i)

    The linear system \(\mathcal {L}_{V}\) is base point-free.

  2. (ii)

    The dimension of V satisfies (21) i.e.

    $$\begin{aligned} (m+1)(n+1)\le \dim V \le \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1. \end{aligned}$$
  3. (iii)

    The corresponding syzygy bundle \(M_{V}\) is L-stable.

Example 4.13

Let \(m=1\), \(n=1\) and \(X=\mathbb {P}^{1}\times \mathbb {P}^{1}\). We consider \(a=2\) and \(b=1\), and the very ample line bundle \(L=\mathcal {O}_{X}(2,1)\) on X. We have the identification of vector spaces

$$\begin{aligned} {{\,\textrm{H}\,}}^{0}(X,L)\cong \mathbb {K}\langle x_{0}^{2}y_{0}, x_{0}^{2}y_{1}, x_{1}^{2}y_{0},x_{1}^{2}y_{1}, x_0x_1y_0, x_0x_1y_1 \rangle . \end{aligned}$$

The open range (21) for the dimension of vector spaces V generated by monomials associated to base point-free linear systems \(\mathcal {L}_{V}\) is

$$\begin{aligned} 4=(m+1)(n+1)\le \dim (V)\le \frac{\max (a,b)(m+n)}{\min (a,b)\min (m,n)}+1=5 \end{aligned}$$

We will see that there is no such subspace V with \(\dim V=5\) such that its corresponding syzygy bundle \(M_{V}\) is L-stable. Indeed, we have only two possibilities:

  1. (a)

    \(V_{1}=\langle x_{0}^{2}y_{0}, x_{0}^{2}y_{1}, x_{1}^{2}y_{0},x_{1}^{2}y_{1}, x_0x_1y_0\rangle \).

  2. (b)

    \(V_{2}=x_{0}^{2}y_{0}, x_{0}^{2}y_{1}, x_{1}^{2}y_{0},x_{1}^{2}y_{1}, x_0x_1y_1\rangle \).

Notice that they are symmetric up to permutation of the variables \(\{y_{0},y_{1}\}\).

In any case, one can check that \({{\,\textrm{H}\,}}^{0}(X,M_{V_{i}}(1,0))\ne 0\), then we have an inclusion of vector bundles

$$\begin{aligned} \mathcal {O}_{X}(-1,0)\hookrightarrow M_{V_{i}}. \end{aligned}$$

However, comparing the slopes, we have

$$\begin{aligned} \mu _{L}(\mathcal {O}_{X}(-1,0))=-1=-\frac{L^{2}}{\dim V_{i}-1}=\mu _{L}(M_{V_{i}}). \end{aligned}$$

In particular \(\mathcal {O}_{X}(-1,0)\) is a subbundle destabilizing both syzygy bundles \(M_{V_{1}}\) and \(M_{V_{2}}\).

Notwithstanding, one can check that the 4-dimensional subspace \(W_{1}=\langle x_{0}^{2}y_{0}, x_{0}^{2}y_{1}, x_{1}^{2}y_{0},x_{1}^{2}y_{1}\rangle \), as well as the 6-dimensional subspace \(W_{2}={{\,\textrm{H}\,}}^{0}(X,L)\) provides base point-free linear systems whose syzygy bundles \(M_{W_{i}}\) are L-stable. In summary, Example 4.13 shows that dealing only with monomials, the lower bound established in Theorem 4.7 cannot always be improved. Indeed, we have first seen that the case \(\dim V=5\) cannot be covered.

As we pointed out in the introduction, it is a longstanding problem to determine the stability of the syzygy bundle associated to a complete linear system. More precisely, in [8, Conjecture 2.6] Ein, Lazarsfeld and Mustopa posed the following conjecture.

Conjecture 4.14

Let A and P two line bundles on a smooth projective variety X. Assume that A is very ample and set \(L_{d}:=dA+P\) for any positive integer d. Then, the syzygy bundle \(M_{L_{d}}\) is A-stable for \(d\gg 0\).

Related to this conjecture, Hering, Mustaţă and Payne considered the following question:

Question 4.15

Let L be an ample line bundle on a projective toric variety X. Is the syzygy bundle \(M_L\) semistable, with respect to some choice of polarization?

Based on our results, we propose a generalization of the above conjecture and question, to address the stability of syzygy bundles associated to non-complete linear systems. We pose the following problem.

Problem 4.16

Let X be a projective variety of dimension d and L be a very ample line bundle on X. Determine the integers \(d+1\le r\le {{\,\textrm{h}\,}}^{0}(X,L)\) such that for a general vector space \(V\subset {{\,\textrm{H}\,}}^{0}(X,L)\) of dimension r, the linear system \(\mathcal {L}_{V}\) is base point-free and the syzygy bundle \(M_{V}\) is L-stable.