On linear stability and syzygy stability

In previous works, the authors investigated the relationships between linear stability of a generated linear series |V| on a curve C, and slope stability of the syzygy vector bundle MV,L:=ker(V⊗OC→L)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_{V,L} := \ker (V \otimes \mathcal {O}_C \rightarrow L)$$\end{document}. In particular, the second named author and L. Stoppino conjecture that, for a complete linear system |L|, linear (semi)stability is equivalent to slope (semi)stability of ML\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_{L}$$\end{document}. The first and third named authors proved that this conjecture holds in the two opposite cases: hyperelliptic and generic curves. In this work we provide a counterexample to this conjecture on any smooth plane curve of degree 7.


Introduction
Let C be a smooth projective curve over ℂ , and let L be a globally generated line bundle on C, with deg L = d and dim L = h 0 (C, L) − 1 , let V ⊆ H 0 (C, L) a subspace of dimension r + 1 generating L. Then M V,L ∶= ker(V ⊗ O C → L) is a rank r vector bundle, which appears in different ways and has been given different names in the literature (cf. [4,6,7,9,[11][12][13]).
Slope semistability of M V,L for a generic linear subsystem of a generic generated line bundle on a generic curve was conjectured by Butler in (cf. [7]) and proven in (cf. [4]). An analogue conjecture is still open for higher rank vector bundles.
In [15] the second named author and L. Stoppino investigate the relationships between linear (semi)stability of the linear series |V| ⊆ |L| , and slope (semi)stability of M V,L . In particular, it is immediate to show that slope (semi)stability of M V,L implies linear (semi)stability of |V| (cf. Lemma 2.3 below), and they prove that the two conditions are equivalent in some cases and give some examples when they aren't. Furthermore they conjecture that for Communicated by Daniel Greb. 1 3 complete linear systems, the two conditions are always equivalent. The only evidence on that conjecture lied in the fact that the conjecture seemed likely to hold on general curves.
In fact the first and third named authors showed in [8] that the conjecture holds when C is a hyperelliptic curve or a Brill-Noether-Petri general curve.
The purpose of this work is to show that this conjecture does not hold for smooth plane curves. In particular, we prove it does not hold on any smooth plane curve of degree 7: Theorem 1.1 Let C be a smooth plane curve of degree d = 7 . Then W 2 15 (C) is non-empty and a general element L in any of its components satisfies: i. The complete linear series |L| is linearly stable.
ii. The vector bundle M L is not semistable.

Notations and previous results
Throughout this work, C will denote a smooth projective curve of genus g ⩾ 2 over the field of complex numbers. We will denote = (C) the gonality of C, i.e. is the smallest integer such that there exists a degree map to ℙ 1 . Another invariant that we make use of, closely related to gonality, is the Clifford Index of curve, it defined for a curve C of genus g ⩾ 4 as it is defined to be Clif f(C) = 0 when g = 2 and Clif f(C) = 0 or 1 for g = 3 , according to whether C is hyperelliptic or not. The Clifford Index satisfies the following inequalities with respect to the gonality: the case Clif f(C) ⩽ (C) − 2 holding for general (C)-gonal curves in the moduli space M g of smooth curves of genus g. Furthermore the equality Clif f(C) = 0 holds if and only if C is hyperelliptic. We will denote Pic(C) the Picard group of line bundles, and Pic d (C) those of degree d. For L ∈ Pic(C) we will denote |L| = ℙ(H 0 (C, L) * ) the complete linear series of effective divisors linearly equivalent to L, and |V|, with V ⊂ H 0 (C, L) , a linear subseries of |L|.
To simplify some of the notations we will use divisors (up to linear equivalence) and the additive notation instead of line bundles, writing |D| for |O C (D)| , h 0 (D) for h 0 (C, O C (D)) , and so on. We will denote C the canonical line bundle and K C a canonical divisor.
We will denote as usual the Brill-Noether loci by When the expected dimension of W r d (C) is greater than or equal to 0, this locus is nonempty and every component of such a locus has dimension greater than or equal to this expected dimension, which is the Brill-Noether number Let E be a vector bundle on C, the slope of E is (d, r, g) = g − (r + 1)(g − d + r) .

Definition 2.1
We say that the vector bundle E is stable (respectively semistable) if any Let L be a line bundle on C, and let V ⊆ H 0 (C, L) a linear subspace. We say that the linear series |V| generates the line bundle We say that a linear series |V|, with V a linear subspace in Similarly, we say that a line bundle L is a g r generating pair if the global sections in V generate L. We say the linear series |V|, or the generating pair (L, V), is linearly stable (respectively linearly semistable) if for any sub- The following lemma is proven in [15]: Proof This is Remark 3.2 of [15]. The main point is that for any subspace 0 ≠ W ⊊ V generating L ′ ⊆ L we have the following diagram: The second named author and L. Stoppino investigate the reverse implication of the above Lemma in [15], in particular they conjecture that equivalence holds in the following cases: (1)

Conjecture 2.4 If (L, V) is a generating pair on C, such that
then linear (semi)stability of (L, V) is equivalent to (semi)stability of M V,L .
In the same work, the authors prove that the conjecture above holds if V = H 0 (C, L) is a complete linear series, and they apply this to prove the stability of some syzygy bundles M L . They remark that in general the equivalence does not hold, and observing the counterexamples they can construct, they state the stronger conjecture: Concerning complete linear series, they conjecture that equivalence always holds in this case. The first and third named author proved in [8] that Conjecture 2.6 does hold in the two opposite cases: when C is a hyperelliptic curve and when C is a Brill-Noether-Petri general curve.
The aim of this work is to show that Conjecture 2.6 does not hold in general: we can give counterexamples on any smooth plane curve of degree 7 (so genus 15 and gonality 6). In particular we will show that on such a curve C a generic line bundle in any component of the (non-empty) Brill-Noether locus W 2 15 (C) is globally generated, has h 0 (C, L) = 3 , is linearly stable, but M L is a rank 2 vector bundle which is not semistable, hence not stable.
These constructions do not contradict Conjecture 2.5 however, as they provide line bundles L with deg L = 15 > (C) ⋅ dim |V| = 12.

Dimension 2 linear series on higher gonality curves
In this section we construct dimension 2 complete linear series on curves with high gonality, and show that they are linearly stable. Most of the results we will make use of are stated in Voisin's work [18].
The main results are obtained as consequences of the following lemmas, to be found in [17] and [10] (cf. [1], Chapter IV, for more details):

Lemma 3.2 (Keem) Let C be a curve of genus g ⩾ 11 . Let d, r be two integers such that
We give the complete proof of the following theorem and of the constructions provided in [18], we think it is worthwhile to go over all details in the proof, for clarity of the exposition, for better understanding of the proofs involved later, and for the the interest in itself of the proof. ii.
and according to Mumford's Lemma 3.1 above, as the gonality of the curve is ⩾ 5 , no component has dimension greater than or equal to g − 5. Applying or it has a base point. Therefore a general element of a component of W 1 g−2 (C) is base point free and has h 0 (C, L) = 2 , and this proves the first point.
In order to prove the second point, we prove the following Claim every component of W 2 g−1 (C) has dimension at most g − 8. If the Claim holds, then we can proceed as above: set then, as every component of W 2 g (C) has dimension at least (g, 2, g) = g − 6 , W 2 g−1 + (C) has empty interior in W 2 g (C) as it has smaller dimension. Therefore a generic point F in a component of W 2 g (C) does not lie in W 2 g−1 + (C) so it is a base point free 2 dimensional linear series.
As the map P ↦ P * ⊗ C is an isomorphism , then a generic point in a component of W 1 g−2 (C) correspond to a generic point in a component of W 2 g (C) and the second point is proven. Proof of the Claim. By contradiction, suppose there is a component X of W 2 g−1 (C) of dimension greater than or equal to g − 7 . Then a general element of such a component does not lie in W 2 g−2 + (C) , as by Keem's Lemma (Lemma 3.2 above) dim W 2 g−2 ⩽ g − 9 . Therefore a general L ∈ X is base point free and has h 0 (C, L) = 3 . By same argument, as L * ⊗ C varies in a component of W 2 g−1 of dimension at least g − 7 as well, then for a general such L we have that L * ⊗ C is base point free with h 0 (C, L * ⊗ C ) = 3.
Now, let us consider the morphism L ∶ C → ℙ 2 induced by L. It cannot be an immersion, otherwise its image would be a plane curve of degree g − 1 and genus g, which is impossible for g ⩾ 11 . Therefore there is a couple (p, q) ∈ C 2 such that H 0 (C, L(−p − q)) = H 0 (C, L(−p)) = H 0 (C, L(−q)) ≅ ℂ 2 . In the following, we choose divisor notation. Let us choose a divisor Δ ∈ |L| and let us denote As both |Δ| and |K C − Δ| are base point free, we can see that |K C − Δ � | = |K C − Δ + p + q| is base point free as well: in fact the only base points could be p, q ∈ C , however, as Therefore we have a base point free linear series K C − Δ � , let us consider the induced map: then either this map is birational, and therefore there is a finite number of couples (x, y) ∈ C 2 such that and so or the map is a degree m morphism and in this case there are infinite couples (x, y) satisfying h 0 (Δ � + x + y) = 3 = h 0 (Δ � ) + 1 , these are all the couples contained in the fibers of K C −Δ � . However, as |K C − Δ � − p − q| = |K C − Δ| is base point free, we see that such fibers cannot contain more than two points (counted with multiplicity), so the degree of K C −Δ � must be m = 2 if it is not a birational map, and the set of such couples (x, y) has dimension 1.
Now, let us consider the following scheme: and the two maps: According to the argument above, there must be a component Y 0 dominating X ⊂ W 2 g−1 (C) by the morphism , and the fibers of pr 1 ∶ Y 0 → W 1 g−3 have dimension at most 1. Now as dim X ⩾ g − 7 by hypothesis, and dim W 1 , and the general fibers of pr 1 must be 1-dimensional. According to the description above, for Δ � ∈ U 0 the residual linear series K C − Δ � is a complete and base point free g 3 g+1 on C, inducing a degree 2 map Let us consider the normalization ∶C → C , and the map ̃ ∶ C →C . Then C has a complete linear series of dimension 3 and degree g+1 2 therefore it is not a rational curve. Then when Δ � varies in U 0 the curve C and the map ̃ are fixed.

Now for a general point
, where x, y are points in a fiber of ̃ . Therefore K C − Δ is the pull back through ̃ of a g 2 (g−1)∕2 on C . So we have By the Riemann-Hurwitz formula, the genus g � = g(C) satisfies g � ⩽ (g + 1)∕2 . So we have the following inequalities: and therefore we have that g is odd and satisfies 11 ⩽ g ⩽ 15 and C is a curve of genus g ′ such that g − 7 ⩽ g � ⩽ (g + 1)∕2 and that dim W 2 (g−1)∕2 (C) ⩾ g − 7. We can show that these inequalities cannot hold, and so we have proven the claim. In fact, according to the inequalities above, we have the following cases: i. if g = 15 then g � = 8 and dim W 2 7 (C) ⩾ 8 which is impossible, as it would imply that W 2 7 (C) = Pic 7 (C); ii. if g = 13 then g � = 7 or g � = 6 and dim W 2 6 (C) ⩾ 6 which is impossible, as the case g � = 6 would imply that W 2 6 (C) = Pic 6 (C) , and the case g � = 7 would imply that W 2 6 ( � C) ⊆ Pic 6 ( � C) has codimension at most 1 and is therefore equal to the theta divisor; iii. if g = 11 then g � = 6 or g � = 5 or g � = 4 and dim W 2 5 (C) ⩾ 4 which is impossible for similar arguments.
This completes the proof of the Claim and therefore of the Theorem.
We need the following Lemma proven in [

ii. The complete linear series |L| induces a birational morphism
where C ⊂ ℙ 2 is a singular curve of degree g.
iii. The complete linear series |L| is linearly stable.
Proof The first point follows from Theorem 3.3 above. We have to show that such a general element induces a birational map to its image and is linearly stable.
Let us prove that for a general divisor D ∈ W 2 g in an irreducible component of W 2 g , the linear series |D| induces a birational morphism D ∶ C → C ⊂ ℙ 2 . Let us observe that by the first point the linear series |D| and |K C − D| are complete and base point free g 2 g and g 1 As D cannot be an embedding, then there exist p, q ∈ C such that ii. |K C − D � | is a complete base point free g 2 g ; iii. |D � + p + q| is a complete base point free g 2 Furthermore, two points p, q ∈ C satisfy D (p) = D (q) if and only if the divisor D � = D − p − q satisfies the conditions above. Now let us consider the following scheme: and the two maps: According to the description above, the morphism is dominant on every component of W 2 g (C) , and the fiber of the morphism , over a general divisor D in a component of , is the set of all triples (D − x − y, x, y) such that D (x) = D (y) . Remark that the fiber over a divisor D � ∈ Im(pr 1 ) of pr 1 ∶ Y → W 2 g (C) is the set of all triples (D � , x, y) such that K C −D � (x) = K C −D � (y).
Therefore, in order to prove point (ii) in the statement of the theorem, let us suppose by contradiction that for a general divisor D in a component X of W 2 g (C) the morphism D ∶ C → ℙ 2 is not birational to its image. Then the fibers of have positive dimension, That component Y 0 must be dominant through pr 1 onto a component W 0 of W 1 g−2 (C) as well, otherwise the generic fiber of pr 1 would have dimension 2 which is impossible. Then we deduce that for a general element D � ∈ W 0 , the morphism K C −D � ∶ C → C ⊂ ℙ 2 is not birational, and has degree m > 1 . With the same argument as in the proof of Theorem 3.3, as we know that |K C − D � − x − y| is a complete base point free g 1 g−2 for some x, y ∈ C , we see that in fact it must be of degree 2 in this case.
Then we proceed as in the proof of Theorem 3.3, considering the normalization ∶C → C , and the map ̃ ∶ C →C . Then C has a complete linear series of dimension 2 and degree g 2 therefore it is not a rational curve. And so when D ′ varies in W 0 the curve C and the map ̃ are fixed. Let us call g � = g(C) its genus.
The divisor K C − D � is the pull back through ̃ of a g 2 g∕2 on C . So we have the first inequality following from Riemann-Hurwitz formula. As g ⩾ 11 by hypothesis, and even, then we must have g = 12 , g � = g∕2 = 6 , and dim W 2 g∕2 (C) = g − 6 = g � which is impossible. So this completes the proof of point (ii).
So we have proven that for a general divisor D in a component of W 2 g the linear series |D| and |K C − D| are base point free, and the map D ∶ C → C ⊂ ℙ 2 is birational. Let us prove that the multiplicity of any point p ∈ C is at most 2.
Consider the scheme defined above: and the two maps: We claim that every component of Y dominating a component of W 2 g through , dominates through pr 1 a component of W 1 g−2 as well. If the claim holds, we can show that the multiplicity m p (C) , of any point of p ∈ C = D (C) ⊂ ℙ 2 , is at most 2. In fact in that case, for a general D in a component of W 2 g , we have that for any couple (x, y) it is a base point free divisor, therefore the image D (x) = D (y) cannot have multiplicity higher than 2.
Let us prove now that the claim above holds: we have to show that any component Y 0 of Y that dominates through a component of W Then the component Y 0 has dimension g − 6 , as the fiber −1 (D) of a generic divisor D ∈ W 2 g is finite. The image pr 1 (Y 0 ) is then a locus strictly contained in a component of W 1 g−2 , and therefore of dimension g − 7 , as the fibers cannot have dimension greater than 1. Now, for a given D � ∈ pr 1 (Y 0 ) , the divisor K C − D � is base point free and induces a map As the fiber pr −1 1 (D � ) is positive dimensional, the morphism K C −D � is not birational, and as |K C − D � − x − y| is complete and base point free, then K C −D � is a degree 2 morphism.
Proceeding as in the previous proofs, we see that the normalization C of C and the morphism ̃ ∶ C →C do not vary when D ′ varies in pr 1 (Y 0 ) , and that the divisor K C − D � is the pull back ̃ * E of a divisor E ∈ W 2 g∕2 (C). Let us call g � = g(C) the genus of C , then we have the following inequalities: Then g must be even and we have the following cases: i. g = 12 and 5 ⩽ g ′ ⩽ 6; ii. g = 14 and g � = 7.
Y ∶= {(D � , x, y) | |D � | is a complete g 1 g−2 , |D � + x + y| is a complete and base point free g 2 g , |K C − D � − x − y| is a complete and base point free g 1 g−2 } , The first case would have either g � = 5 and dim W 2 6 (C) = 5 , which is impossible; or g � = 6 and dim W 2 6 (C) = 5 which is impossible as well. The second case satisfies g = 14 , g � = 7 , and dim W 2 6 (C) = 7 , which is impossible again. Therefore we have shown the claim that every component of Y dominating a component of W 2 g through , dominates through pr 1 a component of W 1 g−2 as well, and we have seen that this implies that for a generic D ∈ W 2 g (C) the morphism D ∶ C → C is birational and its image C has points of multiplicity at most 2. Now to complete the proof of point (iii) in the theorem we just have to apply Lemma 3.4. Remark 3.6 Theorem 3.5 is a consequence of Voisin's work in [18]. Most of the statements we present here are not proven in that work, (they make use of similar techniques as in previous results in the same article i.e. as in the proof of Theorem 3.3). We think it is worthwhile giving a full presentation of those results and of the proof of Theorem 3.3 here, remarking that the originality of the argument is due to Voisin.
We remark that linear stability was introduced by Mumford as it implies Chow stability of the corresponding point in the Hilbert scheme (cf. [2,6]). We will not use Chow stability in this work, however we notice that we have the following: Corollary 3.7 Let C be a curve of genus g ⩾ 11 and gonality ⩾ 5 , and let L be a general element in any component of W 2 g (C) . Then the curve C is Chow stable with respect to L.

Counterexamples on plane curves
In this section we show that any smooth plane curve of degree 7 admits counterexamples to Conjecture 2.6.

Applications, further questions, and remarks
We have proven that all smooth plane curves of degree 7 admit counterexamples to Conjecture 2.6.

Remark 5.1
As smooth plane curves of degree 7 are not generic in the moduli space M 15 of smooth genus 15 curves, and as all of them do not satisfy Conjecture 2.6, it would be interesting to describe the locus in M 15 of curves not satisfying Conjecture 2.6 and its numerical properties, and in general, it would be interesting to investigate the locus in M g of curves not satisfying Conjecture 2.6.

Question 5.2
We remark the techniques in Sect. 3 provide linearly stable complete base point free complete linear series of dimension 2 on all curves with genus g ⩾ 11 and gonality ⩾ 5 . However the very same techniques cannot be applied to find other counterexamples on plane curves with different degrees, in fact their numerical properties do not allow us to construct destabilizations in a similar way. Therefore we have counterexamples to Conjecture 2.6 only on smooth plane curves of degree 7. We would have to use other techniques to investigate on syzygy stability for plane curves in other degrees. It would be interesting to find other counterexamples in higher degrees.

Remark 5.4
It would be interesting to describe the space B(2, 15, 3) for a smooth plane curve C of degree 7, for example its dimension, the number of components etc., knowing that it is nonempty by [5], and it consists of non generated bundles by the corollary above.

Remark 5.5
In a similar way, we know that there is a stable globally generated vector bundle in B (2,7,3). Namely it is easy to see that the vector bundle M * B , where M B is the syzygy bundle fitting in the exact sequence with B = O ℙ 2 (1) |C is the degree 7 divisor on C, is a stable bundle in B (2,7,3): in fact a destabilization would be a line bundle S ⊂ M B such that deg S ⩾ (M B ) = −7∕2 ; then S * would be a base point free line bundle with deg S * ⩽ 3 , which is impossible as the curve C has gonality 6.
Furthermore M * B is the unique globally generated semistable vector bundle in B (2,7,3). It would be interesting to describe for d ⩾ 8 the spaces B (2, d, 3) and the locus of globally generated vector bundles inside any of those spaces, knowing that they are nonempty for d ⩾ 15 by [5].

Remark 5.6
In the recent works [3,14,16] the second named author considers stable base loci, augmented and restricted base loci for vector bundles. It would be interesting to compute explicitly the base loci in these cases for the unstable bundles M * L constructed above. In fact these are globally generated vector bundles, therefore they are nef vector bundles, however they are not semistable, and need not be ample. Acknowldegements The first named author is supported by grants PAPIIT-UNAM, IN100419 "Aspectos Geométricos del Moduli de Curvas M g " and CONACyT A1-S-9029, "Moduli de curvas y curvatura en A g ". This second named author is supported by the PRIN research project "Geometria delle Varietà algebriche" code 2015EYPTSB-PE1, by the research project SID 2018 -NOVELLI "Vector Bundles, Tropicalization, Fano Manifolds", and by the research project PranzoCONmatematicheSI. The third named author is supported by grants PAPIIT-UNAM, IN100419 "Aspectos Geométricos del Moduli de Curvas M g ".
Funding Open access funding provided by Università degli Studi di Padova within the CRUI-CARE Agreement.
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:// creat iveco mmons. org/ licen ses/ by/4. 0/.