Abstract
Let (X, L) be a polarized smooth projective variety. For any basepoint-free linear system \(\mathcal {L}_{V}\) with \(V\subset {{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\), we consider the syzygy bundle \(M_{V}\) as the kernel of the evaluation map \(V\otimes \mathcal {O}_{X}\rightarrow \mathcal {O}_{X}(L)\). The purpose of this article is twofold. First, we assume that \(M_{V}\) is L-stable and prove that, in a wide family of projective varieties, it represents a smooth point \([M_{V}]\) in the corresponding moduli space \(\mathcal {M}\). We compute the dimension of the irreducible component of \(\mathcal {M}\) passing through \([M_{V}]\) and whether it is an isolated point. It turns out that the rigidness of \([M_{V}]\) is closely related to the completeness of the linear system \(\mathcal {L}_{V}\). In the second part of the paper, we address a question posed by Brenner regarding the stability of \(M_{V}\) when V is general enough. We answer this question for a large family of polarizations of \(X=\mathbb {P}^{m}\times \mathbb {P}^{n}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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
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
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
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 (X, L) 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 (a, b) 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 (X, L) 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 (X, L), 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 (X, L) 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
Notice that \(M_{V}\) is a vector bundle fitting in the following short exact sequence
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 (X, L) 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
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 (X, L) 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
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 (X, L) 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 (X, L) 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
-
(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.
-
(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 (X, L) 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
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 (X, L) 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
-
(a)
\(\dim (X)\ge 4\),
-
(b)
\(\dim (X)=3\) and the linear system \(\mathcal {L}_{V}\) is complete (\(V={{\,\textrm{H}\,}}^{0}(X,\mathcal {O}_{X}(L))\)).
-
(c)
\(\dim (X)=3\), the linear system \(\mathcal {L}_{V}\) is non-complete and \({{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X}(-L))=0\), or
-
(d)
\(\dim (X)=2\),
then
-
(i)
\([M_{V}]\in \mathcal {M}\) is a smooth point.
-
(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
Dualizing the exact sequence (2) and tensoring it by \(M_{V}\), we obtain
From the exact sequence of cohomology of (3), we have
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
Let us compute \({{\,\textrm{H}\,}}^{3}(X,M_{V}(-L))\). From the exact sequence (2) tensored by \(\mathcal {O}_{X}(-L)\), we have
Since we assume that \({{\,\textrm{H}\,}}^{2}(X,\mathcal {O}_{X})={{\,\textrm{H}\,}}^{3}(X,\mathcal {O}_{X})=0\), we have that
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
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,
From (3) and using (5), we have that
Since \(M_{V}\) is L-stable, in particular, it is simple. So we have
On the other hand, twisting (2), we obtain
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
Finally, from (2), we have that
Since \({{\,\textrm{H}\,}}^{0}(X,M_{V})=0\) (see 8), we obtain that
which yields
Finally, from (9) and using (10), (11) and (13), we get
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
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
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
-
(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.
-
(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
graded by
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 a, b. 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:
In particular, for all integers \(a,b\ge 0\), we have
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
Proof
It follows from Lemma 2.2 using that
and
Notice that if \(G=\mathcal {O}(x,y)\) is a line bundle we have, from (1), the following inclusion of vector spaces
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
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
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:
In particular, if
is a minimal presentation of \(K_{V}\), then we have for any \(1\le i\le \mu \) that
As a consequence, we have a minimal presentation
such that \(\alpha _{i}+\beta _{i}\ge 1\) for \(1\le i\le \mu \). Taking exterior powers in (16), we have
Notice that for any q-uple \(1\le i_{1}<\dotsc <i_{q}\le \mu \), it holds that
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
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
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
Thus, we have that \(x+y\ge q\). Consequently,
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
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
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
there is a vector subspace \(W\subset R_{(a,b)}\) of dimension
such that
-
(i)
W admits a basis of monomials \(\{f_{1},\dotsc ,f_{N}\}\).
-
(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}$$ -
(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:
-
(A)
\(n=m=1\), and \(R=\mathbb {K}[x_{0},x_{1},y_{0},y_{1}]\).
-
(B)
\(m=\min (n,m)=1\) and \(n>1\), and \(R=\mathbb {K}[x_{0},\dotsc ,x_{m},y_{0},y_{1}]\).
-
(C)
\(n=\min (n,m)=1\) and \(m>1\), and \(R=\mathbb {K}[x_{0},x_{1},y_{0},\dotsc ,y_{n}]\).
-
(D)
Otherwise.
Case (A). We consider the following two sets of monomials in \(R_{(a,b)}\):
and
where
We have that
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
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
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
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
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\):
and
If \(\frac{a}{t_{r}-1}\notin \mathbb {Z}\) or \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is odd, we define
and we have
Otherwise, \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is even, and we define
and we have
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\):
and for \(i=n\):
If \(\frac{a}{t_{r}-1}\notin \mathbb {Z}\) or \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is odd, we define
and we have
Otherwise, \(\frac{a}{t_{r}-1}\in \mathbb {Z}\) and it is even, and we define
and we have
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
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
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
We consider the N-dimensional vector subspace W given by Lemma 4.5. We may write
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
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
In particular, if \(K_{V}:={{\,\textrm{syz}\,}}(f_{1},\dotsc ,f_{r})\), we have the following minimal presentation
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
which yields, taking the q-th exterior power, the minimal presentation of \(\bigwedge ^{q}M_{V}\):
For any q-uple \(1\le i_{1}<\cdots <i_{q}\le \mu \), we have that
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
We want to see that it holds
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
since we assume that
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
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
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
or from Proposition 4.6 if
We have the following remark:
Remark 4.8
-
(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) -
(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
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
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
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
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
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
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
-
(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}$$ -
(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 a, b, 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
-
(i)
The linear system \(\mathcal {L}_{V}\) is base point-free.
-
(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}$$ -
(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
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
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:
-
(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 \).
-
(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
However, comparing the slopes, we have
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.
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Brenner, H.: Looking out for stable syzygy bundles. With an appendix by Georg Hein. Adv. Math. 219, 401–427 (2008)
Caucci, F., Lahoz, M.: Stability of syzygy bundles on abelian varieties. Bull. Lond. Math. Soc. 53(4), 1030–1036 (2021)
Coanda, I.: On the stability of syzygy bundles. Int. J. Math. 22, 515–534 (2011)
Costa, L., Macias Marques, P., Miró-Roig, R.M.: Stability and unobstructedness of syzygy bundles. J. Pure Appl. Algebra 214, 1241–1262 (2010)
Cox, D.: The homogeneous coordinate ring of a toric variety. J. Algebr. Geom. 4(1), 17–50 (1995)
Cox, D., Little, J., Schenck, H.: Toric varieties, Graduate Studies in Mathematics, vol. 124. American Mathematical Society, Providence (2011)
Ein, L., Lazarsfeld, R.: Stability and restrictions of Picard bundles, with an application to the normal bundles of elliptic curves. Complex projective geometry (Trieste, 1989, Bergen, 1989), pp. 149–156, London Math. Soc. Lecture Note Ser., vol. 179. Cambridge University Press, Cambridge (1992)
Ein, L., Lazarsfeld, R., Mustopa, Y.: Stability of syzygy bundles on an algebraic surface. Math. Res. Lett. 20(1), 73–80 (2013)
Eisenbud, D., Mustaţă, M., Stillman, M.: Cohomology on toric varieties and local cohomology with monomial supports. J. Symb. Comput. 29(4–5), 583–600 (2000)
Fantechi, B., Miró-Roig, R.M.: Lagrangian subspaces of the moduli space of simple sheaves on K3 surfaces. arXiv:2306.05338
Fantechi, B., Miró-Roig, R. M.: Moduli of generalized syzygy bundles. arXiv:2306.04317
Flenner, H.: Restrictions of semistable bundles on projective varieties. Comment. Math. Helv. 59, 635–650 (1984)
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. http://www.math.uiuc.edu/Macaulay2/
Green, M.: Koszul cohomology and the geometry of projective varieties. J. Differ. Geom. 19, 125–171 (1984)
Hering, M., Mustaţă, M., Payne, S.: Positivity for toric vector bundles. Annales de l’Institut Fourier 60, 607–640 (2010)
Macias Marques, P., Miró-Roig, R.M.: Stability of syzygy bundles. Proc. Am. Math. Soc. 139, 3155–3170 (2011)
Miró-Roig, R.M., Salat-Moltó, M.: Ein–Lazarsfeld–Mustopa conjecture for the blow-up of a projective space. Preprint
Mukherjee, J., Raychaudhury, D.: A note on stability of syzygy bundles on Enriques and bielliptic surfaces. Proc. Am. Math. Soc. 150, 3715–3724 (2022). arXiv:2111.08231
Trivedi, V.: Semistability of syzygy bundles on projective spaces in positive characteristics. Int. J. Math. 21, 1475–1504 (2010)
Weyman, J.: Cohomology of Vector Bundles and Syzygies. Cambridge University Press, Cambridge (2003)
Acknowledgements
The authors are thankful to the anonymous referee for useful comments. The second author is grateful to Liena Colarte Gómez for useful discussions regarding syzygies of bigraded homogeneous forms.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. The authors did not receive any funding to write this manuscript.
Author information
Authors and Affiliations
Contributions
Both authors contributed to the design and revision of this manuscript.
Corresponding author
Ethics declarations
Conflict of Interest
The authors have no competing interests to declare that are relevant to the content of this article.
Ethical Approval
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rosa M. Miró-Roig has been partially supported by the grant PID2019-104844GB-I00. Martí Salat-Moltó has been partially supported by the grant MDM-2014-0445-18-2.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Miró-Roig, R.M., Salat-Moltó, M. Syzygy Bundles of Non-complete Linear Systems: Stability and Rigidness. Mediterr. J. Math. 20, 265 (2023). https://doi.org/10.1007/s00009-023-02456-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-023-02456-5