---
address:
- 'Humboldt-Universität zu Berlin, Institut Für Mathematik, Unter den Linden 6 `` 10099 Berlin, Germany'
- 'Humboldt-Universität zu Berlin, Institut Für Mathematik, Unter den Linden 6 `` 10099 Berlin, Germany'
author:
- Gavril Farkas
- Angela Ortega
title: 'The maximal rank conjecture and rank two Brill-Noether theory'
---

[^1]

Introduction
============

The classical Brill-Noether theory of linear series on a curve $[C]\in \cM_g$, which describes the cycles $W^r_d(C):=\{L\in \mbox{Pic}^d(C): h^0(C, L)\geq r+1\}$, is one of the celebrated successes in the theory of algebraic curves. There have been numerous attempts to extend this theory to vector bundles of higher rank, and the subject of this paper is the interplay between Koszul cohomology of line bundles and Brill-Noether phenomena for vector bundles of rank $2$ on curves. Let $\cU_C^s(2, d)$ be the moduli space of stable vector bundles on $C$ of rank $2$ and degree $d$. For each $k\geq 0$, we consider the *Brill-Noether cycle* $$\mathcal{BN}_C(d, k):=\{E\in \cU_C^s(2, d): h^0(C, E)\geq k\}.$$ It is well-known that $\mathcal{BN}_C(d, k)$ has the structure of a determinantal subscheme of $\cU_C^s(2, d)$, and accordingly, each of its irreducible components is of dimension at least equal to the $\emph{Brill-Noether number}$ $\beta_g(d, k):=4g-3-k\bigl(k-d+2g-2\bigr).$ The expectation that for a general curve $[C]\in \cM_g$, the variety $\mathcal{BN}_C(d, k)$ is non-empty precisely when $\beta_g(d, k)\geq 0$, is false, and there are few uniform statements concerning the geometry of $\mathcal{BN}_C(d, k)$. A remarkable exception to such erratic behaviour is the highly interesting case of rank $2$ vector bundles with canonical determinant, which is clarified in [@T3].

To a bundle $E\in \mathcal{SU}_C(2, L)$ with $\mbox{det}(E)=L\in \mbox{Pic}(C)$ and $h^0(C, E)=p+3\geq 4$, following a construction introduced in [@V3] and developed in [@AN], one associates a non-trivial Koszul class $[\zeta(E)]\in K_{p, 1}(C, L)$. In this way, one establishes a dictionary between rank $2$ *Brill-Noether theory* and the *Koszul geometry* of $C$. For $p=1$, this procedure specializes to a more classical construction [@BV], [@M2], [@GMN], that assigns to a vector bundle $E\in \mathcal{SU}_C(2, L)$ with $h^0(C, E)=4$, a quadric $Q_E\in \mbox{Sym}^2 H^0(C, L)$ of rank at most $6$, containing the image $\phi_L(C)$ of $C$ under the map induced by $|L|$.

The starting point of our investigation was an attempt to translate, via this dictionary, various syzygetic results for curves in the style of [@AF], [@F3], into dimensionality problems for $\mathcal{BN}_C(d, k)$. For $k\leq 3$ and a general $[C]\in \cM_g$, the Brill-Noether locus $\mathcal{BN}_C(d, k)$ is irreducible and of the expected dimension $\beta_g(d, k)$, see [@T1]. The first case not governed by classical Brill-Noether theory is $k=4$, and we note that $$\beta_g(d, 4)=4d-4g-11.$$ It is natural to ask whether in this case too, the Brill-Noether number, determines the non-emptiness of $\mathcal{BN}_C(d, 4)$. Teixidor [@T2] has provided almost optimal answers to this question, and we summarize her results for a general curve $[C]\in \cM_g$: $$\mathcal{BN}_C(d, 4)\neq \emptyset, \ \ \mbox{ provided that  } d\geq \begin{cases}
2a+3, \text{ if } g=2a \Leftrightarrow \beta_g(d, 4)\geq 1;\\
2a+5, \text{ if } g=2a+1 \Leftrightarrow \beta_g(d, 4)\geq 5.\\
 \end{cases}$$ This leaves the case $g=2a+1$ and $d=2a+4$, as the only remaining possibility when $\beta_g(d, 4)\geq 0$. We prove the following result:

\[existence\] For a general curve $[C]\in \cM_{2a+1}$, the Brill-Noether locus $\mathcal{BN}_C(2a+4, 4)$ is non-empty and has at least one component of dimension $2$.

Note that since $\beta_g(d, 4)=1$, unlike in the case $k\leq 3$, the Brill-Noether number no longer predicts the dimension of $\mathcal{BN}_C(d, 4)$. This is a phenomenon which propagates beyond control as $k$ grows, and appears for the first time when $k=4$. This result combined with [@T2], settles the existence problem for bundles of rank $2$ with $4$ sections:

For a general curve $[C]\in \cM_g$, we have that $\mathcal{BN}_C(d, 4)\neq \emptyset$ whenever $\beta_g(d, 4)\geq 0$.

Using the already mentioned connection between coherent systems $(E, V)$, where $E\in \cU_C(2, d)$ and $V\in G(4, H^0(C, E))$ on one side, and the non-vanishing of the cohomology group $K_{1, 1}(C, \mbox{det}(E))$ on the other, Theorem \[existence\] is implied by the following:

\[quad4\] For a general curve $[C]\in \cM_{2a+1}$, the locus of special linear series $$\mathfrak{Koszul}(C):=\{L\in W^4_{2a+4}(C): \mathrm{Sym}^2 H^0(C, L)\stackrel{\nu_2(L)}\longrightarrow H^0(C, L^{\otimes 2})\ \ \mbox{ is not injective}\}$$ has at least one component of dimension $2$, whose general element corresponds to a complete base point free linear series, which cannot be written as $L=A_1\otimes A_2$, with $A_1, A_2\in W^1_{a+2}(C)$.

Assuming Theorem \[quad4\], the corresponding vector bundle $E\in \mathcal{BN}_C(2a+4, 4)$ is constructed as a twist of a *Lazarsfeld* bundle on $C$. Precisely, for $L\in \mathfrak{Koszul}(C)$, we take $E:=M_{W}\otimes L$, where $W\in G(3, H^0(C, L))$ is a suitably chosen subspace such that $\mbox{Ker } \nu_2(L)\cap \bigl(W\otimes H^0(C, L)\bigr)\neq 0$. This method of constructing $E$ is the first instance of a general construction of vector bundles starting from non-trivial Koszul cohomology classes of small rank [@vB], [@AN]. We refer to Section 5 for details.

Next we turn to Mercat’s generalization of Clifford’s inequality. For a semistable vector bundle $E$ of rank $2$ on $C$ and slope $\mu(E)$, Mercat [@Me] made an interesting prediction concerning its number of sections in terms of the Clifford index of the curve: $$\label{mercat1}
\mbox{If } \mathrm{Cliff}(C) + 2 \leq \mu(E) \leq g-1, \ \mbox{then }\
h^0(C, E) \leq 2+\mu(E) -\mathrm{Cliff}(C).$$ $$\label{mercat2}
\ \ \ \mbox{ If } \  1\leq \mu(E)\leq \mathrm{Cliff}(C)+2, \mbox{ then }\
h^0(C, E)\leq 2+\frac{1}{\mathrm{Cliff(C)+1}}\bigl(\mathrm{deg}(E)-2\bigr).$$

The conjecture is inspired by the case when $E$ can be written as an extension $$0\rightarrow A\rightarrow E\rightarrow A'\rightarrow 0,$$ where both line bundles $A, A'$ contribute to $\mathrm{Cliff}(C)$, in which case, (\[mercat1\]) is an immediate consequence of Clifford’s inequality applied to both $A$ and $A'$. For extensions of Clifford type inequalities to higher rank vector bundles and additional background, see [@LN].

We provide a counterexample to Mercat’s Conjecture when $h^0(C, E)=4$, which was the simplest case when the answer was unknown:

\[countermercat\] For each integer $a\geq 5$, there exist curves $[C]\in \cM_{2a+1}$ having maximal Clifford index $\mathrm{Cliff}(C)=a$, such that $\mathcal{BN}_C(2a+3, 4)\neq \emptyset.$ In particular Mercat’s Conjecture (\[mercat2\]) fails for $C$.

The counterexamples to Mercat’s Conjecture (also for $g=2a$, where $a\geq 6$, see Theorem \[K3surf2\]), are sections of $K3$ surfaces lying in certain Noether-Lefschetz loci. For the curves appearing in Theorem \[countermercat\], we observe that $\beta_g(2, d, 4)=-3$. The possibility that Mercat’s Conjecture might fail for some curves of genus $11$ was already entertained in [@GMN] Remark 3.5 and [@LMN] Question 5.5. In fact, it was that particular suggestion in loc. cit. that drew our attention to this problem.

The proof of Theorem \[countermercat\] uses again the observation that for a curve $C$ of genus $2a+1$ and gonality $a+2$, if $L\in W^4_{2a+3}(C)$ is a linear series such that the multiplication map $\nu_2(L):\mbox{Sym}^2 H^0(C, L)\rightarrow  H^0(C, L^{\otimes 2})$ is not injective, then $\mathcal{BN}_C(2a+3, 4)\cap \mathcal{SU}_C^s(2, L)\neq  \emptyset$. More precisely, the locus of curves $[C]\in \cM_{2a+1}$ with $\mathcal{BN}_C(2a+3, 4)\neq \emptyset$ is set-theoretically equal to the Koszul locus $$\mathfrak{Syz}_{g, 2a+3}^4:=\{[C]\in \cM_{2a+1}: \exists L\in W^4_{2a+3}(C)\ \mbox{ such that } K_{1, 1}(C, L)\neq \emptyset\}.$$ This is a virtual divisor in $\cM_{2a+1}$, which *is not contained* in the Hurwitz divisor [@HM] $$\cM_{2a+1, a+1}^1:=\{[C]\in \cM_{2a+1}: W^1_{a+1}(C)\neq \emptyset\}$$ of curves with a $\mathfrak g^1_{a+1}$. Curves $[C]\in \mathfrak{Syz}_{g, 2a+3}^4-\cM_{g, a+1}^1$ provide counterexamples to (\[mercat2\]).

Even though there curves of maximal Clifford index not verifying (\[mercat2\]), the question whether Mercat’s inequalities (\[mercat1\]) and (\[mercat2\]) are true for a *general* curve $[C]\in \cM_g$ remains a very stimulating one, and which can be naturally connected to the *Maximal Rank Conjecture* (MRC) in the form that appears in [@AF].

The original version of the MRC is due to Harris [@H] p. 79, and it amounts to the following: Let $C\subset \PP^r$ be a smooth curve of genus g and $\mbox{deg}(C)=d$, corresponding to a general point of the unique component of the Hilbert scheme ${\bf{Hilb}}_{d, g, r}$ mapping dominantly onto $\cM_g$ (that is, in the range $\rho(g, r, d)\geq 0$). Then the restriction maps $$\nu_m(C):H^0(\PP^r, \OO_{\PP^r}(m))\rightarrow H^0(C, \OO_C(m))$$ have maximal rank. In particular the Hilbert function of $C$ is minimal. One can generalize Harris’ Conjecture in two directions: Either $(a)$ by requiring that $[C]\in \cM_g$ be *general in moduli* rather than in the Hilbert scheme, then conjecturing that the restriction maps to $C$ be of maximal rank with respect to *all linear series* of type $\mathfrak g^r_d$, or $(b)$ by asking for the minimality not only of the Hilbert function but of the entire *graded Betti diagram* of $C$ (see Section 5 for how such a prediction can be correctly formulated). The generalization of Harris’ Conjecture in direction $(a)$ was discussed in [@AF] and we briefly review it in Section 2. In particular, it predicts the following:

*Maximal Rank Conjecture $(MRC)_{g, d}^r$: * We fix integers $g, r, d\geq 1$ such that $$0\leq \rho(g, r, d)< 2d+2-g-{r+2\choose 2}.$$ For a general curve $[C]\in \cM_g$, the map $\nu_2(l):\mbox{Sym}^2(V)\rightarrow H^0(C, L^{\otimes 2})$ is injective for every linear series $l=(L, V)\in G^r_d(C)$.

Returning to Theorem \[countermercat\], $(MRC)_{g, 2a+3}^4$ predicts that the syzygy locus $\mathfrak{Syz}_{g, 2a+3}^4$ is a proper subvariety of $\cM_g$, and then it must be a divisor.

\[mrc4sectiuni\] Fix an integer $a\geq 5$ and a general curve $[C]\in \cM_{2a+1}$. Then $$K_{1, 1}(C, L)=0\ \mbox{ for every }\ L\in W^4_{2a+3}(C),$$ and the failure locus $\mathfrak{Syz}_{g, 2a+3}^4$ is a divisor in $\cM_{2a+1}$. Consequently, Mercat’s Conjecture (\[mercat2\]) holds for all curves in the complement of $\mathfrak{Syz}_{g, 2a+3}^4$.

Using Mukai’s work [@M1], we can confirm this expectation in one interesting case, namely that of curves of genus $11$, and answer Question 5.5 in [@LMN]:

\[gen11\] The locus $\mathfrak{Syz}_{11, 13}^4:=\{[C]\in \cM_{11}: \exists L\in W^4_{13}(C) \ \mathrm{with}\ K_{1, 1}(C, L)\neq 0\}$  is an effective divisor in $\cM_{11}$. In particular, $\mathcal{BN}_C(13, 4)=\emptyset$ for a general curve $[C]\in \cM_{11}$.

The above mentioned relation to syzygies, enables us to prove conjecture (\[mercat1\]) for bounded genus:

\[mercatcinci\] Mercat’s Conjecture (\[mercat1\]) holds for a general curve of genus $g\leq 16$.

The most beautiful case in the proof of Theorem \[mercatcinci\] is when $[C]\in \cM_{15}$ and $h^0(C, E)=5$. In order to show that $\mathcal{BN}_C(19, 5)=\emptyset$, one must argue that if $$\phi_L:C\stackrel{|L|}\longrightarrow \PP^6$$ is one of the embeddings of $C$ by a linear series $L\in W^6_{19}(C)$ residual to a pencil of minimal degree, then $\phi_L(C)$ cannot lie on $5$ independent quadric hypersurfaces in $\PP^6$. Note that $4=\mbox{dim } \mbox{Sym}^2 H^0(C, L)-h^0(C, L^{\otimes 2})$ independent quadrics containing $\phi_L(C)$ come automatically, and we show that the existence of a *fifth* quadric is a non-trivial condition in the moduli space $\cM_{15}$.

To recapitulate, the original prediction (\[mercat2\]) is not true when formulated in terms of the original Clifford index, but both (\[mercat1\]) and (\[mercat2\]) are still expected to hold for general curves in moduli! It is customary to view the Koszul geometry of a curve as *second order Brill-Noether theory*, in the sense that once all types of linear series $\mathfrak g^r_d$ on a curve have been prescribed, syzygies provide a finer analysis, distinguishing among curves with the same Brill-Noether behaviour. Our analysis lends some credence to the principle that this *second order* BN analysis is connected in a precise forms (formulated in Section 5) to the *rank two* BN theory of the curve and the various predictions on the two sides of this correspondence are remarkably compatible!

As a word of caution however, proving $(MRC)_{g, d}^r$ when $\rho(g, r, d)\geq 1$ (let alone Conjecture \[minres\]), seems considerably more difficult that proving the original Harris Conjecture. When $\rho(g, r, d)=0$ the two statements are equivalent, see [@F3] Theorem 1.5.

We discuss the structure of the paper. In Section 2 we review the Maximal Rank Conjecture and some of its consequences. Section 3 contains the most important results of the paper. Using $K3$ surfaces, we disprove Mercat’s Conjecture (\[mercat2\]) (Theorems \[K3surf1\] and \[K3surf2\]) and set-up a link between rank $2$ vector bundles and MRC. We also prove Mercat’s Conjecture (\[mercat1\]) for general curves of bounded genus. In Section 4 we complete the proof of Theorem \[existence\] concerning non-emptiness of Brill-Noether loci, while Section 5 is devoted entirely to Koszul cohomology and its applications to rank two Brill-Noether theory. We end the introduction by thanking Herbert Lange and Peter Newstead for pertinent comments made on an earlier version of this paper.

The Maximal Rank Conjecture
===========================

In [@AF] a strong version of the *Maximal Rank Conjecture* (MRC) for general curves has been formulated and its various applications to the birational geometry of $\mm_g$ have been presented. Since MRC will turn out to be also connected to rank two Brill-Noether theory, we begin by recalling, in a somewhat restricted form, the set-up from [@AF] Section 5.

We fix positive integers $g, r, d$ such that $\rho(g, r, d)\geq 0$, as well as a general curve $[C]\in \cM_g$. We may assume that $G^r_d(C)$ is smooth of dimension $\rho(g, r, d)$. For a linear series $l=(L, V)\in G^r_d(C)$ we denote by $$\nu_2(l): \mathrm{Sym}^2 (V) \rightarrow H^0(C, L^{\otimes 2})$$ the multiplication map at the level of global sections. After choosing a Poincaré bundle on $C\times \mbox{Pic}^d(C)$, following [@ACGH] Chapter VII, one can construct vector bundles $\E_2$ and $\F_2$ over $G^r_d(C)$ with $\mbox{rank}(\E_2)={r+2\choose 2}$ and $\mbox{rank}(\F_2)=h^0(C, L^{\otimes
2})=2d+1-g$, together with a bundle morphism $\nu_2:\E_2\rightarrow \F_2$, such that for $l\in G^r_d(C)$ we have that $$\E_2(l)=\mathrm{Sym}^2 (V) \ \mbox{ and } \F_2(l)=H^0(C, L^{\otimes 2}),$$ and $\nu_2(l)$ is the multiplication map considered above. Since $[C]\in \cM_g$ satisfies Petri’s theorem, $H^1(C, L^{\otimes 2})=0$, therefore by Grauert’s theorem, $\F_2$ is locally free over $G^r_d(C)$.

\[strongmaxrank\] We fix integers $g, r, d\geq 1$ as above. For a general $[C]\in
\cM_g$, the locus $$\mathfrak{Quad}_{g, d}^r(C):=\{l\in G^r_d(C): \nu_2(l) \mbox{ is not of maximal rank}\}$$ has the expected dimension as a determinantal variety, that is, $$\mathrm{dim } \ \mathfrak{Quad}_{g, d}^r(C)=\rho(g, r,
d)-1-\bigl|2d+1-g-{r+2\choose 2}\bigr|,$$ where by convention, negative dimension means that $\mathfrak{Quad}_{g, d}^r(C)$ is empty.

The most significant case of Conjecture \[strongmaxrank\] is when we expect that $\mathfrak{Quad}_{g, d}^r(C)=\emptyset$, and we restate $(MRC)_{g, d}^r$ from the Introduction.

\[strongmaxrank2\] We fix integers $g, r, d\geq 1$ such that $$0\leq \rho(g, r, d)< 2d+2-g-{r+2\choose 2}.$$ For a general curve $[C]\in \cM_g$, the map $\nu_2(l)$ is injective for every $l\in G^r_d(C)$.

As discussed in [@AF], various important cases of Conjecture \[strongmaxrank2\] are known, see [@FP], [@F3], [@V1]. We feel that Conjecture \[strongmaxrank2\] should be true, while the evidence for the stronger statement \[strongmaxrank\] is perhaps less compelling and should be regarded more as an open question. It is reassuring to note that Conjecture \[strongmaxrank2\] is compatible with classical Brill-Noether theory.

\[rank4mrc\] $(MRC)_{g, d}^3$ holds. If $d\leq g+1$ and $[C]\in \cM_g$ is a Petri general curve, then $\nu_2(l)$ is injective for every $l\in G^3_d(C)$. Thus $\mathfrak{Quad}_{g, d}^3(C)=\emptyset$.

We fix $l:=(L, V)\in G^3_d(C)$ and use the elementary fact that if $\mbox{Ker } \nu_2(l)\neq 0$, then there exist pencils $A_1, A_2$ on $C$ such that $L=A_1\otimes A_2$. By Brill-Noether theory, $\mbox{deg}(A_i)\geq [(g+3)/2]$ for $i=1, 2$, hence $\mbox{deg}(L) \geq g+2$, which is a contradiction.

Mercat’s conjecture
===================

We follow standard notation and denote by $\cU_C^s(n, d)$ (respectively $\cU_C(n, d)$) the moduli space of stable (respectively semistable) vector bundles of rank $n$ and degree $d$ on $C$. If $L\in \mathrm{Pic}^d(C)$ is a line bundle, we set $\mathcal{SU}_C(n, L):=\{E\in \mathcal{U}_C(n, d): \mbox{det}(E)=L\}$ and $\mathcal{SU}_C^s(n, L):=\mathcal{SU}_C(n,L)\cap \cU_C^s(n, d)$.

Recently, Lange and Newstead [@LN] proposed a definition of the Clifford index of a higher rank vector bundle. For $E\in \cU_C(n, d)$, the *Clifford index* of $E$ is the quantity $$\gamma(E):=2+\mu(E)-\frac{2}{n}h^0(C, E)\geq 0.$$ By Serre duality, $\gamma(K_C\otimes E^{\vee})=\gamma(E)$. The *higher Clifford indices* of $C$ are defined as $$\gamma_n(C):=\mbox{min}\bigl\{\gamma(E): E\in \cU_C(n, d), \ \ \mu(E)\leq g-1, \ \ h^0(C, E)\geq 2n\bigr\}.$$ Note that $\gamma_1(C)=\mathrm{Cliff}(C)$ is the classical Clifford index of $C$. Several foundational properties of the invariants $\gamma_n(C)$ are studied in [@LN]. For instance the following inequality follows from the definition and is implicitly used in loc. cit.

$\gamma_2(C)\leq \mathrm{Cliff}(C)$.

We choose a line bundle $A$ on $C$ computing the Clifford index of $C$, that is, satisfying $\mbox{deg}(A)-2h^0(C, A)+2=\mathrm{Cliff}(C)$, where $h^0(C, A)\geq 2$. We set $E:=A\oplus A$ and note that $\gamma(E)=\gamma(A)=\mathrm{Cliff}(C)$.

An attempt to determine $\gamma_2(C)$ for a general curve $[C]\in \cM_g$, can be linked to an older conjecture of Mercat [@Me]. As already mentioned in the Introduction, for a bundle $E\in \widetilde{\cU}_C(2, d)$ with $\mathrm{Cliff}(C) + 2 \leq \mu(E) \leq 2g-4 - \mathrm{Cliff}(C)$, it was predicted that $$h^0(C, E) \leq 2+\mu(E) - \mathrm{Cliff}(C).$$ As pointed out in [@LN], a consequence of (\[mercat1\]) and (\[mercat2\]) is the equality $\gamma_2(C)=\mathrm{Cliff}(C)$. A positive answer to Mercat’s question, would show that, from the point of view of Clifford theory, special rank $2$ vector bundles are determined by special classical linear series. Inequalities (\[mercat1\]), (\[mercat2\]) hold trivially when $h^0(C, E) \leq 3$, thus one may assume that $h^0(C, E) \geq 4$. The following observation is essentially contained in [@Me]. We choose to make it explicit in order to make the bounds in (\[mercat1\]) and (\[mercat2\]) transparent to ourselves:

Let $E\in \cU_C(2, d)$ with $\mu(E)\leq g-1$. If $E$ contains a sub-pencil, then (\[mercat1\]) holds.

Suppose that the vector bundle $E$ fits into an exact sequence $$0 {\rightarrow}A {\rightarrow}E {\rightarrow}A' {\rightarrow}0,$$ with $A$ a subbundle with $h^0(C, A)= 2$. Then $h^1(C, A) = 2- \deg(A) + g-1 \geq 2$, if and only if $g-1 \geq \deg(A)$, but this last inequality is satisfied by the semistability of $E$. Since $4 \leq h^0(E) \leq h^0(A) + h^0(A')  $, we get $h^0(A') \geq 2$.\
If $h^1(C, A')\geq 2$, then both $A$ and $A'$ contribute to the Clifford index. It follows that $$h^0(C, E) \leq h^0(C, A) + h^0(C, A') \leq \frac{\deg(A)-\mathrm{Cliff}(C) +2}{2} + \frac{\deg(A')-\mathrm{Cliff}(C) +2}{2}$$ $$=\mu(E) +2-\mathrm{Cliff}(C),$$ that is, inequality holds in that case.\
Suppose $h^1(C, A') \leq 1$. Applying the definition of Clifford index to the bundle $A$, we obtain $
\deg(A) \geq \mathrm{Cliff}(C) +2,
$ hence $h^1(C, A) = 2- \deg(A) +g-1 \leq g -\mathrm{Cliff}(C)-1 $. On the other hand, by means of the long exact sequence in cohomology, we have $$\begin{aligned}
h^0(C, E) &=& h^1(C, E) +d - 2(g-1) \\
& \leq& h^1(C, A) + h^1(C, A') + d -2(g-1) \\
& \leq & d - \mathrm{Cliff}(C) -g +2  \\
& \leq& \frac{d}{2} - \mathrm{Cliff}(C) + 2\end{aligned}$$ where the last inequality follows by the hypothesis on $d$.

From now on we shall assume that $E\in \cU_C(2, d)$ is globally generated and carries no sub-pencil. We set $L:=\mbox{det}(E)\in \mathrm{Pic}^d(C)$ and consider the determinant map $$\lambda :  \bigwedge^2 H^0(C, E)  {\rightarrow}H^0(C, L)$$ The evaluation map $H^0(C, E) \otimes \OO_C {\rightarrow}E$ induces a morphism $\phi_E:  x \mapsto E(x)\in G\bigl(2, H^0(C, E)^{\vee}\bigr) $. Following [@BV], [@M2] we have a commutative diagram

$$\label{diag}
\xymatrix@R=22pt@C=26pt{
C \ar[d]_{\phi_L} \ar[r]^{\phi_E \qquad} & G\bigl(2, H^0(C, E)^{\vee}\bigr) \ar@{^(->}[d] \\
\PP(H^0(C, L)^{\vee}) \ar[r]^{\PP(\lambda^{\vee})} &  \PP(\bigwedge^2 H^0(C, E)^{\vee})
}$$

where the vertical arrow on the right is the Plücker embedding and $\PP(\lambda^{\vee})$ is the map induced at the level of projective spaces by the map dual to $\lambda$. In order to estimate de number of sections of $L$ we will use the following lemma, which is a direct consequence of [@PR] Lemma 3.9. We formulate it in a way that is compatible with (\[diag\]).

\[PRlemma\] Let $E$ be a globally generated rank 2 vector bundle on $C$ without sub-pencils. Then $$\mathrm{dim}\bigl( \mathrm{Im}\ \lambda\bigr) \geq 2h^0(C, E)-3.$$ In particular, $h^0(C, L)\geq 2h^0(C, E)-3$  and  $\mathrm{dim }\ ( \mathrm{Im}\ \PP(\lambda^{\vee}))\geq 2h^0(C, E)-4$.

We identify $G(2, H^0(C, E))\subset \PP\bigl(\bigwedge^2 H^0(C, E)\bigr)$ with the set of decomposable tensors $s\wedge t$, where $s, t\in H^0(C, E)$. The assumption that $E$ carries no sub-pencils implies that  $\PP(\mbox{Ker}\ \lambda) \cap G(2, H^0(C, E))=\emptyset$, and the claimed inequality follows.

Inside the dual projective space $\PP\bigl(\bigwedge^2 H^0(C, E)\bigr)$, we identify $\PP\bigl(\mbox{Ker } \lambda\bigr)$ with the space of hyperplanes in $\PP\bigl(\bigwedge^2 H^0(C, E)^{\vee}\bigr)$ containing the span $\langle \phi_L(C)\rangle$. We set $$\GG:=G\bigl(2, H^0(C, E)^{\vee}\bigr),\ \ \PP:=\PP\bigl(\bigwedge^2 H^0(C, E)^{\vee}\bigr)\  \mbox{ and }\ \Lambda:=\mbox{Im } \PP(\lambda^{\vee})\subset \PP.$$

Let us assume that $h^0(C, E)=4$. Lemma \[PRlemma\] implies that $\mbox{dim}(\mbox{Im } \PP(\lambda^{\vee})) \geq 4$, and $$Q_E:=\PP\bigl(\lambda^{\vee}\bigr)^{-1} \bigl( G(2, H^0(C, E)^{\vee})\bigr)\in \mbox{Sym}^2 H^0(C, L)$$ is a quadric of rank at most $6$ containing $\phi_L(C)$. In particular, the multiplication map $$\nu_2(L):\mbox{Sym}^2 H^0(C, L)\rightarrow H^0(C, L^{\otimes 2})$$ is not injective. Equivalently $K_{1, 1}(C, L)=\mathrm{Ker}\ \nu_2(C, L)\neq 0$.

More generally, diagram (\[diag\]) induces a pull-back morphism at the level of quadrics $$\mathrm{res}_{C}: H^0\bigl(\PP, \I_{\GG/\PP}(2)\bigr)\rightarrow \mathrm{Ker } \ \nu_2(C, L).$$ To link the geometry of $E$ to a syzygy type statement, we estimate the rank of $\mbox{res}_C$.

\[restrquadrics\] Assume $E$ is a globally generated rank $2$ vector bundle on $C$, without sub-pencils and with $h^0(C, E)\leq 5$. Then the map $\mathrm{res}_C$ is injective.

We begin with a *Plücker quadric* $Q\in H^0(\PP, \I_{\GG/\PP}(2))$, that is, a rank $6$ quadric corresponding to a $4$-dimensional quotient of $H^0(C, E)^{\vee}$. The dual $Q^{\vee}\subset \PP\bigl(\bigwedge^2 H^0(C, E)\bigr)$ is $4$-dimensional and contained in the dual Grassmannian $G\bigl(2, H^0(C, E)\bigr)$. Since $E$ contains no sub-pencils, it follows that $\PP(\mbox{Ker } \lambda)\cap Q^{\vee}=\emptyset$, that is, no hyperplane $H$ $$\Lambda\subset H\subset \PP$$ is tangent to $Q$. But this clearly implies that $\mbox{res}_C(Q)\neq 0$, for otherwise it would imply that $\Lambda \subset \mbox{Sing}(Q)$. This is impossible based on dimension reasons. Since every quadric containing $G(2, 5)\subset \PP^9$ is a Plücker quadric this finishes the proof.

We discuss how Proposition \[restrquadrics\] can be applied to study Mercat’s Conjecture. When $h^0(C, E)=4$, inequality (\[mercat1\]) is vacuous for curves of maximal Clifford index, while (\[mercat2\]) breaks into two vanishing statements depending on the parity of $g$:

\[mc2\] For $[C]\in \cM_{2a+1}$ with $\mathrm{Cliff}(C)=a$, is it true that $\mathcal{BN}_C(2a+3, 4)=\emptyset$? For a curve $[C]\in \cM_{2a}$ with $\mathrm{Cliff}(C)=a-1$, is it true that $\mathcal{BN}_C(2a+1, 4)=\emptyset$?

The answer to both these questions is negative. Using the surjectivity of the period map for $K3$ surfaces in the style of [@F1], [@K], we construct curves of maximal gonality and prescribed degree and genus, lying on $K3$ surfaces in $\PP^4$.

\[K3surf1\] For each integer $a\geq 5$, there exist smooth curves $C\subset \PP^4$ with $\mathrm{deg}(C)=2a+3$, $g(C)=2a+1$ and maximal Clifford index $\mathrm{Cliff}(C)=a$, such that $C$ lies on a smooth complete intersection $K3$ surface. As a consequence, $\mathcal{BN}_C(2a+3, 4)\neq \emptyset$ and Mercat’s Conjecture fails for $C$.

We use [@K] Theorem 6.1 to construct a curve $C\subset S\subset \PP^4$, lying on a smooth complete intersection surface of type $(2, 3)$ such that $\mbox{Pic}(S)=\mathbb Z\cdot H\oplus \mathbb Z\cdot C$, where $H^2=6,\ H\cdot C=2a+3$ and $C^2=4a$. Since $h^1(C, \OO_C(1))\geq 2$, it follows that $\OO_C(1)$ contributes to $\mathrm{Cliff}(C)$, hence $\mathrm{Cliff}(C)\leq \mathrm{Cliff}(\OO_C(1))=2a-5$. We aim to show that $\mathrm{Cliff}(C)=a$, that is, $C$ has maximal possible Clifford index.

Assume by contradiction that $\mathrm{Cliff}(C)<a$, which means that $\mbox{Cliff}(C)$ is computed by a line bundle which comes from $S$. Note by direct calculation that $S$ carries no $(-2)$ curves, in particular $C$ has Clifford dimension $1$. We reason along the lines of [@F1] Theorem 3. Using [@GL] we infer that there exists a curve $D\subset S$, satisfying $$\begin{aligned}
\label{conditions}
  & & h^0(S, \OO_S(D))=h^0(C, \OO_C(D))\geq 2, \nonumber\\
 & & h^0(S, \OO_S(C-D))=h^0(C, K_C(-D))\geq 2,\\
 & & C\cdot D\leq g-1, \nonumber\end{aligned}$$ such that $\mathrm{Cliff}(C)=\mathrm{Cliff}(D\otimes \OO_C)=D\cdot C-D^2-2$. In particular, such a divisor $D \equiv mH + nC$, with $m,n \in \ZZ$ must verify the inequalities: $$\begin{array}{rl}
\mbox{(i)} & D\cdot H= 6m + dn >2 \\
\mbox{(ii)} &  md + (2n-1 )(g-1) \leq 0 \\
\mbox{(iii)} & 3m^2 +mnd + n^2(g-1) \geq 0
\end{array}$$ We claim that there exist no divisors $D\subset S$ with $D^2 > 0$, satisfying (i)-(iii).

[*Case $n<0$.* ]{} From (iii), we have that either $m < -n$ or $m >-\frac{2a}{3} n$. In the first case, by using inequality (i) we get $$2< -6n +d n =n(2a - 3),$$ which is a contradiction since $n<0$ and $a\geq5$. Suppose $m > - 2an/3>0$. Inequality (ii) implies that $n(2-d/3)<1$, that is, $ (-n) (2a-3) < 3 $. Hence $2a-3 <3 $, which contradicts the hypothesis $a \geq 5$.

[*Case $n>0$.* ]{} Again, from condition (iii), we have either $m<-\frac{2a}{3}n$ or $m> -n$. In the first case, using (i) we obtain $2 < n(d-4a)$, which is impossible since $d=2a+3<4a$. Suppose now that $-n<m<0$. From (ii) we have that $2a(2n-1) \leq  -md <  nd$, which implies $n < \frac{2a}{ 4a-d} = \frac{2a}{2a-3} < 2.$ Then $n=1 > -m >0$, therefore the case $n>0$ does not occur.

[*Case $n=0$.* ]{} From (ii), $m \leq \frac{g-1}{d} = \frac{2a}{2a+3} <1$, but this yields a contradiction since, $m>0$. This completes the proof of the claim.

We are left with checking that $\mbox{Cliff}(\OO_C(D))\geq a$, for all primitive effective classes $D\in \mathrm{Pic}(S)$ such that $D^2=0$. By direct calculation, either $D\equiv C-D$, in which case $\mbox{Cliff}(\OO_C(D))=D\cdot C-D^2-2=2a-5\geq a$, or else, $D\equiv 2a H-3C$, hence $D\cdot C>g-1$, and $D$ cannot compute $\mathrm{Cliff}(C)$.

For genus $g=2a$, we have an analogous result in a similar range. We skip details:

\[K3surf2\] For $a\geq 6$, there exist smooth curves $C\subset \PP^4$ with $\mathrm{deg}(C)=2a+1$, $g(C)=2a$ and maximal Clifford index $\mathrm{Cliff}(C)=a-1$, such that $C$ is contained in a smooth $(2, 3)$ complete intersection $K3$ surface. It follows that $\mathcal{BN}_C(2a+1, 4)\neq \emptyset$.

It is important to realize that although (\[mercat2\]) (and very probably prediction (\[mercat1\]) as well), fail for certain Brill-Noether general curves, we still expect both Mercat conjectures to be valid for the generic curve. Theorem \[K3surf1\] should be interpreted as stating that the failure locus of (\[mercat2\]) is *not* a Brill-Noether locus in the classical sense, but rather a *Koszul subvariety* on $\cM_g$ in the style of [@F3], [@F5]. Precisely, the locus in $\cM_{2a+1}-\cM_{2a+1, a+1}^1$ where inequality (\[mercat2\]) does not hold, can be described as $$\mathfrak{Syz}_{g, 2a+3}^4:=\{[C]\in \cM_{2a+1}: \exists L\in W^4_{2a+3}(C)\ \mbox{ such that }\ K_{1, 1}(C, L)\neq 0\}.$$ This is a virtual Koszul divisor. Using the terminology of Section 2, a point $[C]$ lies in $\mathfrak{Syz}_{g, 2a+3}^4$ if and only if $\mathfrak{Quad}^4_{g, 2a+3}(C)\neq \emptyset$. Noting that $\rho(g, 4, 2a+3)=2a-9$, whereas $h^0(C, L^{\otimes 2})=2a+6$, one computes that the virtual dimension of $\mathfrak{Quad}_{g, 2a+3}^4(C)$ as a determinantal variety, is equal to $-1$. Since it is not difficult to provide examples of *embedded* curves $C\subset \PP^4$ of genus $g(C)=2a+1$ and $\mbox{deg}(C)=2a+3$, which lie on a single quadric such that $\OO_C(1)\in \mathfrak{Quad}_{g, 2a+3}^4(C)$ is an isolated point, one infers that only two scenarios are possible:

1.  $\mathfrak{Syz}_{g, 2a+3}^4$ is a divisor inside $\cM_g$, that is, $K_{1, 1}(C, L)=0$ for a general curve $[C]\in \cM_g$ and for *every* $L\in W^4_{2a+3}(C)$, or

2.  $\mathfrak{Syz}_{g, 2a+3}^4=\cM_g$.

Conjecture $(MRC)_{2a+1, 2a+3}^4$ predicts that the second possibility does not appear. In any event, the case of $\PP^4$ ought to be one of the more manageable situations for testing MRC in arbitrary genus. We can confirm this expectation for $a=5$. *Proof of Theorem \[gen11\].* Assume by contradiction that for a general curve $[C]\in \cM_{11}$ there exists a linear series $L\in W^4_{13}(C)$ such that $C\stackrel{|L|}\hookrightarrow \PP^4$ lies on a quadric $Q\subset \PP^4$. We claim that $Q$ must be smooth, because otherwise, $\mbox{rank}(Q)\leq 4$, and then $L$ is expressible as the sum of two pencils. This contradicts the fact that $\mbox{gon}(C)=7$. After counting dimensions, we observe that there exists $X\in |I_{C/\PP^4}(3)|$, which does not contain $Q$, and such that $S:=Q\cap X\subset \PP^4$ is a smooth $K3$ surface. By direct calculation, we check that $h^0(S, \OO_S(H-C))\geq 2$ and $(H-C)^2=0$, that is, $S$ is an elliptic $K3$ surface. This contradicts the main result of [@M1], where it has been shown that a general curve of genus $11$ lies on a single $K3$ surface of degree $20$, which moreover is general in its moduli space, in particular it has Picard number one. $\Box$

We next turn to the case of globally generated vector bundles $E$ with $h^0(C, E)=5$ having no sub-pencils. We set as usual $L:=\mbox{det}(E)$ and then $h^0(C, L)\geq 7$.

\[5sections\] For a general curve $[C]\in \cM_{2a+1}$, Mercat’s Conjecture holds for vector bundles with $5$ sections, if and only if $\mathcal{BN}_C(2a+5, 5)=\emptyset$. Similarly, for even genus, Mercat’s Conjecture for $h^0(C, E)=5$ holds in the case of a general curve $[C]\in \cM_{2a}$, if and only if $\mathcal{BN}_C(2a+3, 5)=\emptyset$.

Via diagram (\[diag\]), we use the existence of the Plücker quadrics in the ideal of the curve $\phi_L(C)$ embedded by the determinant line bundle, to confirm (\[mercat1\]) in bounded genus: *Proof of Theorem \[mercatcinci\]:* We fix a general curve $[C]\in \cM_g$ and a globally generated rank $2$ vector bundle $E$ on $C$ with $\mathrm{Cliff}(C)+2\leq \mu(E)\leq g-1$ and $L:=\mbox{det}(E)\in \mbox{Pic}^d(C)$. Let us assume that inequality (\[mercat1\]) does not hold, that is, $$\label{contradiction}
d<2\bigl(h^0(C, E)-2+\mathrm{Cliff}(C)\bigr).$$ Then, as pointed out, $E$ admits no sub-pencils and $h^0(C, L)\geq 2h^0(C, E)-3$. Since $C$ satisfies the Brill-Noether theorem, one writes $\rho\bigl(g, 2h^0(C, E)-4, d\bigr)\geq 0$. Coupled with assumption (\[contradiction\]), this forces $h^0(C, E)\leq 5$, and then, $h^0(C, E)=5, g=15$ and $d\leq 19$. There is no harm in assuming $d=19$, because if $\mathcal{BN}_C(19, 5)=\emptyset$, the same statement holds for lower degree by carrying out generic elementary transformations.

Therefore $E\in \mathcal{BN}_C(19, 5)$ and from Proposition \[restrquadrics\], one finds that $$\mbox{dim } \mbox{Ker } \nu_2(L)\geq 5=\mbox{dim } H^0\bigl(\PP^9, \I_{G(2, 5)/\PP^9}(2)\bigr).$$ Using again that $C$ is Brill-Noether general, we observe that $h^0(C, L)=7$,  $h^0(C, L^{\otimes 2})=\chi(C, L^{\otimes 2})=24$ and $A:=K_C\otimes L^{\vee}\in W^1_9(C)$ is a pencil of minimal degree. We infer that $\nu_2(L)$ is not surjective, and there exists a vector bundle $F\in \mathcal{SU}^s_C(2, K_C)$ in an extension $$0\rightarrow A\rightarrow F\rightarrow L\rightarrow 0,$$ such that $h^0(C, F)=h^0(C, A)+h^0(C, L)=2+7=9$. The proof that $F$ is stable is standard, cf. [@L] Prop. V.4. Applying [@T3], one can assume that the *Mukai-Petri map* $$\mbox{Sym}^2 H^0(C, F)\rightarrow H^0(C, \mbox{Sym}^2 F)$$ is injective, which is absurd since $3g-3<h^0(C, F)\ \bigl(h^0(C, F)+1\bigr)/2$. $\Box$

In the same spirit, we can link inequality (\[mercat1\]) to a MRC statement.

\[det7\] Let $[C]\in \cM_{g}$ be general. Mercat’s Conjecture (\[mercat1\]) for vector bundles $E$ with $h^0(C, E)=5$ is a consequence of the Maximal Rank Conjecture.

We sketch only the odd genus case, and write $g=2a+1$. From Remark \[5sections\] we know that it is enough to show that $\mathcal{BN}_C(2a+5, 5)=\emptyset$. If $E\in \cU_C(2, 2a+5)$ satisfies $h^0(C, E)=5$, then we know from Proposition \[restrquadrics\] that the image $\phi_L(C)$ induced by the determinant line bundle, lies on at least $5$ quadrics coming from the equations of the Grassmannian $G(2, 5)\subset \PP^9$. We set $r:=h^0(C, L)-1\geq 6$. Over the variety $G^r_{2a+5}(C)$ of linear series $\mathfrak g^r_{2a+5}$ there exists a morphism of vector bundles $\nu_2: \E_2\rightarrow \F_2$ which globalizes the multiplication maps $\nu_2(l)$, for $l=(L, V)\in G^r_{2a+5}(C)$. The Maximal Rank Conjecture predicts that the determinantal locus $$X_5(\nu_2):=\{l\in G^r_{2a+5}(C): \mbox{dim } \mbox{Ker }\nu_2(l)\geq 5\},$$ has expected dimension, that is, $X_5(\nu_2)=\emptyset$, hence no vector bundle $E$ with $h^0(C, E)=5$ can exist.

To close, we record the form conjecture (\[mercat1\]) takes for bundles with $6$ sections. Computing the appropriate degrees, one must show that $\mathcal{BN}_C(2a+7, 6)=\emptyset$ for a general curve $[C]\in \cM_{2a+1}$ and $\mathcal{BN}_C(2a+5, 6)=\emptyset$ for a general curve $[C]\in \cM_{2a}$.

Existence of stable vector bundles of rank $2$ with $4$ sections
================================================================

We begin by describing all possible bundles $E\in \cU_C(2, 2a+4)$ on a Petri general curve $[C]\in \cM_{2a+1}$ having $h^0(C, E)=4$. There are two cases to distinguish. Assume first that $E$ is stable and globally generated. Then $E$ carries no sub-pencil and $L:=\mbox{det}(E)\in W^4_{2a+4}(C)$, cf. Lemma \[PRlemma\] (see also [@GMN]). Using diagram (\[diag\]), as before we obtain a quadric of rank at most $6$ $$\label{rank6quadric}
Q_E\in \PP\ \mbox{Ker}\bigl\{  \nu_2(L):\mbox{Sym}^2 H^0(C, L)\rightarrow H^0(C, L^{\otimes 2})\bigr\}$$ containing the image of $\phi_L(C)$ of the curve under the linear series $|L|$.

Assume now that $E$ carries a sub-pencil. Since $\mbox{gon}(C)=a+2$, then necessarily, $E$ sits in an extension $$\label{pencilext}
0\rightarrow A\rightarrow E\rightarrow A'\rightarrow 0,$$ where $A, A'\in W^1_{a+2}(C)$, and $h^0(C, E)=h^0(C, A)+h^0(C,  A')$. In particular, $E$ is strictly semistable, $h^0(C, E)=4$ and the multiplication map $$\mu_0(A', K_C\otimes A^{\vee}): H^0(C, A')\otimes H^0(C, K_C\otimes A^{\vee})\rightarrow H^0(C, K_C\otimes A'\otimes A^{\vee}),$$ obtained by dualizing the boundary morphism $$\mbox{Ext}^1(A', A)\rightarrow \mbox{Hom}\bigl(H^0(C, A'), H^1(C, A)\bigr)$$ is not surjective (One notes that if $A\neq A'$, then by Riemann-Roch $h^0(C, K_C\otimes A^{\vee})=a$ and $h^0(C, K_C\otimes A'\otimes A^{\vee})=2a$, that is, $\mu_0(A', K_C\otimes A^{\vee})$ is a morphism between vector spaces of the same rank $2a$).

For a general curve $[C]\in \cM_{2a+1}$, the *Brill-Noether curve* $W_{a+2}^1(C)$ is smooth, connected and of genus $$g':=1+\frac{a}{a+1}{2a+2\choose a}.$$ The associated map $\phi:\mm_{2a+1}\dashrightarrow \mm_{g'}$ given by $\phi([C]):=[W^1_{a+2}(C)]$, has been studied in some detail in [@F4]. Intriguing questions, like that of describing geometrically the image of $\phi$ in $\mm_{g'}$, or of studying the (possibly empty) non-injectivity locus of $\phi$, remain however. In particular, it would be interesting to understand the geometric properties (e.g. Brill-Noether theory, automorphisms if any) of the curve $W^1_{a+2}(C)$. The previous condition, shows that $W_{a+2}^1(C)$ comes equipped with an interesting correspondence:

\[correspondence\] Fix $a\geq 2$ and a general curve $[C]\in \cM_{2a+1}$. The locus of pairs of pencils $$\mathfrak{S}_C:=\{(A, A')\in W^1_{a+2}(C) \times W^1_{a+2}(C): \mu_0(A', K_C\otimes A^{\vee})\ \mbox{ is not injective}\}$$ is a non-empty, symmetric correspondence on $W^1_{a+2}(C)$, disjoint from the diagonal.

From the Base Point Free Pencil Trick it follows that $(A, A')\in \mathfrak S_C$ if and only if $H^0(C, K_C-A-A')\neq 0$, which proves that $\mathfrak S_C$ is symmetric. Furthermore, since the multiplication maps $\mu_{0}(A, K_C\otimes A^{\vee})$ are injective for all $A\in W^1_{a+2}(C)$, it follows that $\mathfrak S_C\cap \Delta_{W^1_{a+2}(C)}=\emptyset$. The non-trivial part of Theorem \[correspondence\] is to show that $\mathfrak S_C\neq \emptyset$, and we shall prove this by degeneration. In order to carry this out, we need some preparation and recall a few basic facts about degenerations of multiplication maps on curves.

We fix a pointed curve $[C, p]\in \cM_{g, 1}$. If $l=(L, V)\in G^r_d(C)$ is a linear series, then the *vanishing sequence* $\{a_i^l(p)\}_{i=0, \ldots, r}$ of $l$ at $p$ is obtained by ordering the positive integers $\{\mbox{ord}_p(\sigma)\}_{\sigma\in V}$. If $L$ and $M$ are line bundles on $C$, we denote by $$\mu_0(L, M): H^0(C, L)\otimes H^0(C, M)\rightarrow
H^0(C, L\otimes M)$$ the usual multiplication map. For any element $\rho \in H^0(C, L)\otimes H^0(C, M)$, we write that $\mbox{ord}_p(\rho)\geq k$, if $\rho$ lies in the span of elements of the form $\sigma\otimes
\tau$, where $\sigma \in H^0(C, L)$ and $\tau \in H^0(C, M)$ are such that $\mbox{ord}_p(\sigma)+\mbox{ord}_p(\tau)\geq k$. Suppose $\{\sigma_i\}\subset H^0(L)$ and $\{\tau_j\}\subset H^0(M)$ are bases of global sections with the property that $\mbox{ord}_p(\sigma_i)=a_i^L(p)$ and $\mbox{ord}_p(\tau_j)=a_j^M(p)$ for all $i$ and $j$. Then if $\rho
\in \mbox{Ker}\ \mu_0(L,M)$, there exist two pairs of integers $(i_1,j_1)\neq (i_2,j_2)$ such that $$\mbox{ord}_p(\rho)=\mbox{ord}_p(\sigma_{i_1})+\mbox{ord}_p(\tau_{j_1})=\mbox{ord}_p(\sigma_{i_2})+
\mbox{ord}_p(\tau_{j_2}).$$

Let $[C_0:=D_0\cup_{p_0} E_0]\in \Delta_1\subset \mm_{2a+1}$ be a stable curve, where $[D_0, p_0]\in \cM_{2a, 1}$ and $[E_0, p_0]\in \cM_{1, 1}$ are general pointed curves. Let $\textbf{M}$ denote the versal deformation space of $C_0$, thus $\textbf{M}\rightarrow \mm_{2a+1}$ can be regarded as an étale neighbourhood of $[C_0]\in \mm_{2a+1}$. We then consider the proper Deligne-Mumford stack $\sigma:\mathfrak{G}^1_{a+2}\rightarrow \textbf{M}$ of limit linear series $\mathfrak G^1_{a+2}$, as well as the induced projection $\sigma':\mathfrak G^1_{a+2}\times_{\textbf{M}} \mathfrak G^1_{a+2}\rightarrow \textbf{M}$.

The key technical tool in the proof of Theorem \[correspondence\] is the construction of a stack $$\nu:\mathfrak S\rightarrow \mathfrak{G}^1_{a+2}\times_{\textbf{M}} \mathfrak{G}^1_{a+2}$$ such that, loosely speaking, the fibres of $\mu:=\sigma'\circ \nu$ are the (degenerations of the) correspondences $\mathfrak S_C$, when $[C]\in \textbf{M}$. The construction of $\mathfrak S$ goes along the lines of [@F2] Theorem 4.3, for which reason we shall be rather succint.

The stack $\mu: \mathfrak S\rightarrow \textbf{M}$ has the following structure:

$\bullet$ For $[C]\in \textbf{M}$ corresponding to a smooth curve, the points in the fibre $\mu^{-1}[C]$ are triples $(A, A', \rho)$, where $A, A'\in W^1_{a+2}(C)$ and $\rho\in \PP\ \mbox{Ker } \mu_0(A', K_C\otimes A^{\vee})$.

$\bullet$ For $[C]\in \textbf{M}$ corresponding to a singular curve $C:=D\cup_ p E$, where $[D, p]\in \cM_{2a, 1}$ and $[E, p]\in \cM_{1, 1}$, the fibre $\mu^{-1}[C]$ classifies elements $$\bigl(l, m, \ \rho_1,\  \rho_2\bigr),$$ where $m=\bigl\{(L'_D, V'_D), (L'_{E},
V'_{E})\bigr\}\in \sigma^{-1}[C]$ is a limit $\mathfrak g^1_{a+2}$ on $C$, whereas $$l=\bigr\{\bigl(K_{D}(2p)\otimes L_{D}^{\vee},
W_{D}\bigr), \ \bigl(\OO_{E}(4a\cdot p)\otimes
L_{E}^{\vee}, W_{E}\bigr)\bigr\}$$ is a limit $\mathfrak g_{3a-2}^{a-1}$ on $C$, which is complementary to a limit $\mathfrak g^1_{a+2}$ on $C$ having as aspects the line bundles $L_D\in \mbox{Pic}^{a+2}(C)$ and $L_E\in \mbox{Pic}^{a+2}(E)$.

Furthermore, we have elements $$\rho_1\in \PP\mbox{Ker}\{V'_{D}\otimes W_{D}\rightarrow
H^0\bigl(D, K_{D}(2p)\otimes L'_D\otimes L_D^{\vee}\bigr)\},$$ $$\rho_{2}\in \PP
\mbox{Ker}\{V'_{E}\otimes W_{E}\rightarrow H^0\bigl(E, \OO_E(4a\cdot p)\otimes L'_E\otimes L_E^{\vee} \bigr)\}$$ satisfying the compatibility relation $\mbox{ord}_p(\rho_1)+\mbox{ord}_p(\rho_2)\geq 4a$.

The morphism $\mathfrak S\stackrel{\mu}\rightarrow \textbf{M}$ factors through $\sigma':\mathfrak G^1_{a+2}\times_{\textbf{M}} \mathfrak G^1_{a+2}\rightarrow \textbf{M}$ by forgetting the elements $\rho_1$ and $\rho_2$. Moreover, $\mathfrak S$ has a determinantal structure over $\textbf{M}$ and each fibre $\mu^{-1}([C])$ has dimension at least $1$. We are in a position to prove Theorem \[correspondence\]:

*Proof of Theorem \[correspondence\].* Keeping the notation above, it suffices to show that for $C:=D\cup_p E$, the fibre $\mu^{-1}([C])$ has at least one irreducible component of dimension $1$. This implies that $\mu(\mathfrak S)$ maps dominantly onto $\textbf{M}$. Since for a smooth curve $[C']\in \textbf{M}$, the fibre $\mu^{-1}([C'])$ is isomorphic to $\mathfrak S_{C'}$, the conclusion follows.

We choose $[D, p]\in \cM_{2a, 1}$ sufficiently general such that (i) $D$ satisfies Petri’s Theorem, in particular, $W^1_{a+1}(D)$ is finite and reduced, (ii) $h^0(D, A\otimes A')=4$ for all pencils $A\neq A'$ on $C$ of degree $a+1$ (cf. [@V1] 3.1), and (iii) $p\notin \mbox{supp}(A)$, for any $A\in W^1_{a+1}(D)$. We construct piece by piece an element $(l, m, \rho_1, \rho_2)\in \mu^{-1}[C]$ as follows: We set $$m:=\bigl\{\bigl(A'(p), \ |V'_D|=p+|A'|\bigr),\ \ \bigl(A'_E(a\cdot p), \ |V'_E|=a\cdot p+|A'_E|\bigr)\bigr\},$$ where $A'\in W^1_{a+1}(D)$ and $A'_E\in \mbox{Pic}^2(E)$ are chosen arbitrarily. Then we take $$l:=\bigl\{\bigl(L_D:=K_D(p)\otimes A^{\vee}, |L_D|\bigr),\ \ \bigl(\OO_E(3a\cdot p)\otimes A_E^{\vee}, (2a-2)\cdot p+|\OO_E((a+2)\cdot p)\otimes A_E^{\vee})|\bigr)\bigr\},$$ where $A\in W^1_{a+1}(C)-\{A'\}$, and $A_E\in \mbox{Pic}^2(E)$ is again arbitrary. Thus $l$ is a refined limit $\mathfrak g^{a-1}_{3a-2}$ on $C$ having vanishing sequence with respect to $C$ equal to $a^{l_D}(p)=(1, 2, \ldots, a)$. By varying $A, A'\in W^1_{a+1}(D)$ and $A_E, A'_E\in \mbox{Pic}^2(E)$, we fill-up an entire component of the fibre $(\sigma')^{-1}[C]$.

We now describe all possibilities of choosing $\rho_1, \rho_2$ compatible with $l$ and $m$. First, $$\rho_1 \in \PP\mbox{Ker}\bigl\{H^0(D, A'(p))\otimes H^0\bigl(D, K_D(p)\otimes A^{\vee}\bigr)\rightarrow H^0\bigl(D, K_D(2p)\otimes A'\otimes A^{\vee}\bigl)\bigr\}$$ is uniquely determined corresponding to the non-zero section from $H^0(D, K_D-A-A')$. Clearly $\mbox{ord}_p(\rho_1)=3$, hence by compatibility $\mbox{ord}_p(\rho_2)\geq 4a-3$. After subtracting the base point $p\in E$, we find that $\rho_2$ must correspond to the unique non-zero element in the kernel of the multiplication map $$\mu_0(A'_E, \OO_E(4p)\otimes A_E): H^0(E, A'_E)\otimes H^0(E, \OO_E(4p)\otimes A_E^{\vee})\rightarrow H^0\bigl(E, \OO_E(4p)\otimes A_E'\otimes A_E^{\vee}\bigr).$$ This implies that $A_E\otimes A'_E=\OO_E(4p)$, hence $A_E\in \mbox{Pic}^2(E)$ can be freely chosen, and then $A'_E$ and $\rho_2$ are uniquely determined. All in all, $\mu^{-1}([C])$ has a $1$-dimensional component, which completes the proof. $\hfill$ $\Box$

For $a\geq 4$ and a general curve $[C]\in \cM_{2a+1}$, the determinantal variety $$\mathfrak{Koszul}(C):=\{L\in W^4_{2a+4}(C): \nu_2(L)\ \mbox{ is not injective}\}$$ is non-empty and has a component of dimension $2$, corresponding to complete linear series $L\in W^4_{2a+4}(C)$ which cannot be written as sums $L=A_1+A_2$, where $A_1, A_2\in W^1_{a+2}(C)$.

Over the smooth $(2a-4)$-dimensional variety $G^4_{2a+4}(C)$ of linear series $\mathfrak g^4_{2a+4}$ on $C$, we construct vector bundles $\cA$ and $\cB$ having fibres $$\cA(L, V):=\mbox{Sym}^2(V)\ \mbox{  and } \cB(L, V):=H^0(C, L^{\otimes 2})$$ over each point $(L, V)\in G^4_{2a+4}(C)$, where $L\in W^4_{2a+4}(C)$ and $V\subset H^0(C, L)$ is the corresponding $5$-dimensional space of sections. Clearly $\mbox{rank}(\cA)=15$ and $\mbox{rank}(\cB)=2a+8$. There exists a morphism of vector bundles $\nu_2:\cA\rightarrow \cB$, such that $$\nu_2(L, V):\mbox{Sym}^2(V)\rightarrow H^0(C, L^{\otimes 2})$$ is the multiplication map of sections. Every irreducible component of the degeneracy locus $\mathfrak{Quad}(\nu_2):=\{(L, V)\in G^4_{2a+4}(C): \nu_2(L, V) \mbox{ is not injective}\}$ has dimension at least $2=\mbox{dim } G^4_{2a+4}(C)-(2a+8-14)$.

To show that $\mathfrak{Quad}(\nu_2)\neq \emptyset$, we use that the correspondence $\mathfrak S_C$ is non-empty, and choose a pair $(A, A')\in \mathfrak S_C$, such that $h^0(C, A\otimes A')=5$. The pencils $A$ and $A'$ are complete and base point free, and we pick $\{\sigma_0, \sigma_1\}\subset H^0(C, A)$ (respectively $\{\sigma_0', \sigma_1'\}\subset H^0(C, A')$) bases for the respective spaces of sections. Then the element $$(\sigma_0\cdot \sigma_1')\cdot (\sigma_1\cdot \sigma_0')-(\sigma_0\cdot \sigma_0')\cdot (\sigma_1\cdot \sigma_1')\in \mathrm{Sym}^2 H^0(C, A\otimes A')$$ lies obviously in $\mbox{Ker }\nu_2(A\otimes A')$, that is, $A\otimes A'\in X(\nu_2)$. Let $Z\subset X(\nu_2)$ be an irreducible component such that $A\otimes A'\in Z$. Since $\mbox{dim}(Z)\geq 2$ and $\mathfrak S_C\subsetneqq W^1_{a+2}(C)\times W^1_{a+2}(C)$, necessarily, the general point of $Z$ corresponds to a complete linear series $L\in W^4_{2a+4}(C)$, which cannot be expressed as a sum of two pencils.

To each $L\in \mathfrak{Koszul}(C)$ as above, with an element $0\neq q_L\in \mbox{Ker }\nu_2(L)$, we assign a vector bundle $E\in \mathcal{SU}_C(2, L)$ as follows, see also [@GMN], [@vB]. Since $\mbox{rank}(q_L)\leq 5$, there exists a subspace $W\in G(3, H^0(C, L))$ such that $$q_L\in \mbox{Sym}^2 H^0(C, L)\cap \bigl(W\otimes H^0(C, L)\bigr).$$ We define $E$ to be the kernel of the following evaluation map: $$0\rightarrow E\rightarrow W\otimes L\rightarrow L^{\otimes 2}\rightarrow 0.$$ Clearly, $\mbox{det}(E)=L$ and $H^0(C, E)\supset \wedge^2 W\oplus \mathbb C \cdot q_L$, thus $h^0(C, E)\geq 4$. Moreover $E$ is globally generated.

The proof that $E$ is stable follows closely [@GMN] Theorem 3.2: An arbitrary quotient line bundle $A'$ of $E$ has $h^0(C, A')\geq 2$. Either $\mbox{deg}(A')>a+2$, which implies that $E$ is stable, or else, $\mbox{deg}(A')=a+2$ and $h^0(C, A')=2$. In the latter case, $E$ sits in an extension of type (\[pencilext\]), in particular $L$ is expressible as a sum of two elements from $W^1_{a+2}(C)$, a contradiction. Therefore $E\in \mathcal{BN}_C(2a+4, 4)$.

Applications of Koszul cohomology to rank $2$ vector bundles
============================================================

There is an interesting connection between vector bundles $E\in \cU_C(2, d)$ and syzygies of low rank in the Koszul cohomology group $K_{h^0(E)-3, 1}\bigl(C, \mbox{det}(E)\bigr)$. The first instance of this equivalence, when $h^0(C, E)=4$, is classical and has been used in [@BV], [@M2], [@GMN], as well as in this paper. We review a general construction which can be traced back to Voisin [@V3], and has been explicitly worked out in [@AN].

For a curve $C$ and a globally generated line bundle $L$ on $C$, the Koszul cohomology group $K_{p, 1}(C, L)$ can be defined as the cohomology of the complex: $$\bigwedge^{p+1} H^0(C, L)\stackrel{d_{p+1, 0}}\longrightarrow \bigwedge^p H^0(C, L)\otimes H^0(C, L) \stackrel{d_{p, 1}}\longrightarrow \bigwedge^{p-1}H^0(C, L)\otimes H^0(C, L^{\otimes 2}).$$ If $M_L$ is the *Lazarsfeld vector bundle* defined as the kernel of the evaluation map $$0\rightarrow M_L\rightarrow H^0(C, L)\otimes \OO_C\stackrel{\mathrm{ev}}\rightarrow L\rightarrow
0,$$ a simple argument using the exact sequences $$0\longrightarrow \bigwedge^a M_L\otimes L^{\otimes b} \rightarrow
\bigwedge^a H^0(C, L)\otimes L^{\otimes b}\longrightarrow \bigwedge^{a-1}
M_L\otimes L^{\otimes (b+1)}\longrightarrow 0$$ for various $a$ and $b$, leads to an identification [@PR] p.506, $$\label{koszul}
 K_{p, 1}(C, L)=\frac{H^0(C, \wedge^p
M_L\otimes L^)}{\wedge^{p+1} H^0(C, L)
}.$$

We say that a Koszul class $[\zeta]\in K_{p, 1}(C, L)$ has rank $\leq n$, if there exists a subspace $W\subset H^0(C, L)$ with $\mbox{dim}(W)=n$ and a representative $\zeta \in \wedge^p W\otimes H^0(C, L)$.

Let $E$ be a rank $2$ bundle on $C$ with $h^0(C, E)=p+3\geq 4$ and set $L:=\mbox{det}(E)$. We assume that the determinant map $\lambda:\wedge^2 H^0(C, E)\rightarrow H^0(C, L)$ does not vanish on decomposable tensors, or equivalently, $E$ carries no sub-pencils. Choosing a basis $(e_1, \ldots, e_{p+3})$ of $H^0(C, E)$, we introduce the subspace $$W:=\bigl\langle s_2:=\lambda(e_1\wedge e_2), \ldots, s_{p+3}:=\lambda(e_1\wedge e_{p+3})\bigr\rangle
\subset H^0(C, L).$$ By assumption, $\mbox{dim}(W)=p+2$. Following [@AN] (2.1) and [@V3] formula (2.22), we define the syzygy $$\zeta(E):=\sum_{i<j} (-1)^{i+j}\  s_2\wedge \ldots \wedge \hat{s_i}\wedge \ldots \wedge \hat{s_j} \wedge \ldots \wedge s_{p+3}\otimes \lambda(e_i\wedge e_j) \in \wedge^p W \otimes H^0(C, L).$$ It is shown in [@V3] Lemma 5, that $d_{p, 1}(\zeta(E))=0$, hence $[\zeta(E)]\in K_{p, 1}(C, L)$ gives rise to a non-trivial Koszul class of rank $p+2$.

When $h^0(C, E)=4$, thus $p=1$, using that $K_{1, 1}(C, L)=\mbox{Ker }\nu_2(L)$, as well as the quadric equation of $G(2, 4)\subset \PP^5$, we observe that $[\zeta(E)]=Q_E$, that is, the classical construction (\[rank6quadric\]) can be recovered in this Koszul-theoretic setting.

The construction of $[\zeta(E)]$ appears to be, strangely enough, insensitive to the stability of $E$. For instance if $E=A_1\oplus A_2$, where $A_1, A_2$ are base point free line bundles on $C$ contributing to the Clifford index, if we set $r_i:=h^0(C, A_i)-1\geq 1$, then $$0\neq [\zeta(A_1\oplus A_2)]\in K_{r_1+r_2-1}(C, A_1\otimes A_2)$$ is the *Green-Lazarsfeld syzygy* [@GL1]. It is the content of Green’s Conjecture that in the case of the canonical bundle $K_C$, in some sense, all non-trivial syzygies appear in such a way. We refer to [@V2], [@V3] for a solution of Green’s Conjecture for general curves and to [@AF] for a survey. On the other hand, Mercat’s Conjecture can be rewritten as $$h^0(E)\leq \mbox{sup}\{h^0(A_1)+h^0(A_2): A_1\otimes A_2=\mbox{det}(E),\  \ \  h^i(A_1), h^i(A_2)\geq 2 \ \ \mathrm{ for } \ i=0, 1\}.$$ We conclude that the assignment $$\mathcal{BN}_C(d, p+3)\ni E\mapsto [\zeta(E)]\in K_{p, 1}(C, \mbox{det}(E))$$ is not expected to produce non-trivial syzygies other than in the range where Green-Lazarsfeld syzygies are already known to appear.

This last observation, prompts us to formulate a *Minimal Resolution Conjecture* for the syzygies of curves embedded in projective space by complete linear series. We fix a curve $[C]\in \cM_g$, a complete base point free linear series $L\in W^r_d(C)$, and an integer $1\leq p\leq d-g+1$. Let $\phi_L: C\rightarrow \PP^r$ be the induced morphism. Using (\[koszul\]), the condition $K_{p, 1}(C, L)=0$ is equivalent to the injectivity of the restriction map, cf. [@PR] or [@F5] Proposition 2.3, $$\label{minresconj}
u(C, L): H^0\bigl(\PP^r, \bigwedge^{p-1} M_{\PP^r}(2)\bigr)\stackrel{| _C}\longrightarrow H^0\bigl(C, \bigwedge^{p-1} M_L\otimes L^{\otimes 2}\bigr).$$ Note that $M_{\PP^r}=\Omega_{\PP^r}(1)$ and by definition $M_L=\phi_L^*M_{\PP^r}$. The dimensions of both vector spaces appearing in the map (\[minresconj\]) are independent of $C$ and $L$: $$h^0(\PP^r, \wedge^{p-1} M_{\PP^r}(2))={r \choose p-1} \frac{(r+1)(r+2)}{p+1}$$ and $$h^0(C, \wedge^{p-1} M_L\otimes L^{\otimes 2})={r\choose p-1}\Bigl(-\frac{d}{r}(p-1)+2d+1-g\Bigr),$$ where for the second calculation we have used a filtration argument due to Lazarsfeld to show that $H^1(C, \wedge^{p-1} M_L\otimes L^{\otimes 2})=0$. We refer to [@F5] Proposition 2.1 for details.

If $\sigma:\mathcal{G}^r_d\rightarrow \cM_g$ is the space of pairs $[C, L]$, where $[C]\in \cM_g$ and $L\in W^r_d(C)-W^{r+1}_d(C)$ is base point free, there exist vector bundles $\cA$ and $\cB$ over $\mathcal{G}^r_d$ such that, $$\cA[C, L]=H^0\bigl(\PP^r, \bigwedge^{p-1} M_{\PP^r}(2)\bigr) \ \ \mbox{ and } \ \  \cB[C, L]=H^0\bigl(C, \bigwedge^{p-1} M_L\otimes L^{\otimes 2}\bigr),$$ as well as a vector bundle morphism $u:\cA\rightarrow \cB$ which globalizes the maps $u(C, L)$. We raise the following logical possibility, which is a wide-range generalization of both the Maximal Rank Conjecture $(MRC)_{g, d}^r$ and Green’s Conjecture for general curves:

\[minres\] (Minimal Resolution Conjecture)

We fix integers $g, r, d, p\geq 1$ such that $g-d+r\geq 0$, and assume that $$\label{cond1}
r-1-\bigl[\frac{g-1}{2}\bigr]\leq p\leq d-g+1$$ and $$\label{cond2}
{r\choose p-1}\Bigl(-\frac{d}{r}(p-1)+2d+1-g-\frac{(r+1)(r+2)}{p+1}\Bigr)+1>\rho(g, r, d).$$ Then for a general curve $[C]\in \cM_g$, we have that $K_{p, 1}(C, L)=0$, for all $L\in W^r_d(C)$.

The quantity $[(g-1)/2]$ is the Clifford index of the general curve of genus $g$. Condition (\[cond1\]) ensures (via Mercat’s Conjecture), that non-trivial syzygies of the form $[\zeta(E)]\in K_{p, 1}(C, \mbox{det}(E))$ do not appear in the predicted range. Note that certainly, syzygies of Green-Lazarsfeld type do not appear in $K_{p, 1}(C, L)$, for they would correspond to a pencil $A\in W^1_{r-p}(C)$ and a decomposition $L=A\otimes (L\otimes A^{\vee})$ where $r(A)+r(L\otimes A^{\vee})=p$. But $r-p>\mbox{gon}(C)$, thus $W^1_{r-p}(C)=\emptyset$.

Condition (\[cond2\]) which implies in particular that $\mbox{rank}(\cA)\leq \mbox{rank}(\cB)$, expresses the belief/hope that the first degeneracy locus of the morphism $u:\cA\rightarrow \cB$ has the expected dimension and maps to a proper subvariety of $\cM_g$. Conjecture \[minres\] implies Mercat’s Conjecture. Of course, we regard the Minimal Resolution Conjecture as being vastly more difficult than Mercat’s Conjecture, but would still like to point out a remarkable compatibility between two predictions which have been formulated independently of each other.

When $d=2g-2, r=g-1$, hence $W^{g-1}_{2g-2}(C)=\{K_C\}$, Conjecture \[minres\] specializes to Green’s Conjecture for general curves. This has been established by Voisin [@V2], [@V3]. The case $p=1$ of the Minimal Resolution Conjecture is simply the statement $(MRC)_{g, d}^r$ formulated in Section 2. Various other cases have been proved when $\rho(g, r, d)=0$ and $\mbox{rank}(\cA)=\mbox{rank}(\cB)$, that is, when the failure locus $$\mathfrak{Syz}_{g, d}^r:=\{[C]\in \cM_g: K_{p, 1}(C, L)\neq 0 \mbox{ for  a certain }\ L\in W^r_d(C)\}$$ is a divisor. We mention the case $(g, r, d)=(10, 4, 12)$ cf. [@FP], when the locus $\mathfrak{Syz}_{10, 4}^{12}$ is the $K3$ divisor on $\cM_{10}$, as well as the cases $(g, r, d)=(16, 7, 21), (22, 10, 30)$ see [@F5].

When $p=1$ condition (\[cond1\]) is superfluous, being a consequence of (\[cond2\]). For higher values of $p$ it can happen that (\[cond2\]) holds but (\[cond1\]) fails. An instructive example is that of $2$-canonically embedded curves $$C\stackrel{|K_C^{\otimes 2}|}\longrightarrow \PP^{3g-4},$$ when $d=4g-4, r=3g-4$. Assume $g=4a$, where $a\in \mathbb Z$. For $p=9a-5$, one notices by direct calculation that $\mbox{rank}(\cA)=\mbox{rank}(\cB)$, and one would expect the degeneracy locus of $u:\cA\rightarrow \cB$ to be a divisor. However inequality (\[cond1\]) is not satisfied since $p\leq h^0(C, K_C^{\otimes 2})-1-\mathrm{Cliff}(C)$, and indeed by [@GL1] we have that $K_{p, 1}(C, K_C^{\otimes 2})\neq 0$, for every curve $[C]\in \cM_g$. Therefore $u:\cA\rightarrow \cB$ is everywhere degenerate.

The name *Minimal Resolution Conjecture* already appears in literature and refers to a statement predicting that if $X\subset \PP^r$ is an embedded projective variety, the resolution of general sets of points $\Gamma\subset X$ is “minimal”, being determined by the Hilbert function of $X$ and the cardinality $|\Gamma|$. We refer to [@FMP] for a formulation of the most general form of the conjecture and to [@EPSW] for the most studied case, that of $X=\PP^r$. In the case when $X=C\stackrel{|L|}\rightarrow \PP^r$ is a smooth curve of genus $g$ embedded by a very ample linear series $L\in W^r_d(C)$, MRC for points as formulated in [@FMP] Corollary 1.8 is equivalent to a collection of vanishing statements for every integer $0\leq i\leq r$: $$H^1(C, \wedge^i M_L\otimes \xi)=0, \mbox{ for a general line bundle } \xi\in \mathrm{Pic}^j(C), \mbox{ where } j=g-1+\lceil\frac{di}{r}\rceil,$$ and $$H^0(C, \wedge^i M_L\otimes \xi)=0, \mbox{ for a general line bundle } \xi\in \mathrm{Pic}^j(C), \mbox{ where } j=g-1+\lfloor\frac{di}{r}\rfloor.$$ We do not see an obvious connection between Conjecture \[minres\] which predicts the minimality of the resolution of $C$ itself, and MRC for *general points* on $C$. This discrepancy is vividly illustrated when $L=K_C$: Conjecture \[minres\] specializes to Green’s Conjecture for general curves, whereas the Minimal Resolution Conjecture for points boils down to the following equality of cycles in the Jacobian, see [@FMP] Theorem 3.1: $$\Theta_{\bigwedge^i M_{K_C}^{\vee}}=C_{g-i-1}-C_i\subset \mathrm{Pic}^{g-2i-1}(C).$$ This is a statement of a different flavour, for instance it is insensitive to $\mathrm{Cliff}(C)$.

We record various applications of the Conjecture \[minres\]:

\[genericdet\] We fix integers $1\leq r\leq g-2$, a general curve $[C]\in \cM_g$ and a general line bundle $L\in \mathrm{Pic}^{g+r}(C)$. Assuming the Minimal Resolution Conjecture for $C$, for any vector bundle $E\in \mathcal{SU}_C(2, L)$, the following inequality holds: $$h^0(C, E)<3+\frac{r^2-g}{r+g}.$$

We assume that $E$ is a semistable vector bundle on $C$ with $\mbox{det}(E)=L$ and write $$h^0(C, E)=p+3\geq 3+\frac{r^2-g}{r+g}.$$ First we note that $E$ carries no sub-pencils. Indeed, a general $L\in \mathrm{Pic}^{g+r}(C)$ cannot be expressed as a sum $L=A\otimes A'$, where $h^0(C, A)+h^0(C, A')\geq p+3$. It follows that $0\neq [\zeta(E)]\in K_{p, 1}(C, L)$. The numerical assumption on $p$ is equivalent to the condition $\mbox{rank}(\cA)\leq \mbox{rank}(\cB)$, in particular Conjecture \[minres\] implies that $K_{p, 1}(C, L)=0$, which is a contradiction.

To derive Proposition \[genericdet\] we have used a much weakened version of Conjecture \[minres\]. Precisely, for a general $[C]\in \cM_g$ and $p\geq (r^2-g)/(r+g)$, it suffices to produce *a single example* of a non-special line bundle $L\in \mbox{Pic}^{g+r}(C)$ such that $K_{p, 1}(C, L)=0$, for Theorem \[genericdet\] to hold true.

The assumptions of Theorem \[genericdet\] can be fulfilled for bounded genus. A nice illustration is the case $g=8, r=6$. The Minimal Resolution Conjecture predicts that $K_{2, 1}(C, L)=0$ for a general line bundle $L\in \mathrm{Pic}^{14}(C)$. Equivalently, the ideal of the curve $C\stackrel{|L|}\longrightarrow \PP^6$ is cut out by quadrics. This has been verified by Verra [@Ve] Theorem 5.16, in the course of his proof of the unirationality of $\mm_{14}$. Then from Proposition \[genericdet\] we deduce that $h^0(C, E)\leq 4$, for any $E\in \mathcal{SU}_C(2, L)$. If we drop the genericity assumption on the determinant bundle $L$, we can find vector bundles having more sections. For instance, there exists a unique vector bundle $E\in \mathcal{SU}_C(2, K_C)$ with $h^0(C, E)=6$, see [@M2] Theorem A.

An important particular case of Theorem \[genericdet\] is when $r=g-2$. In this situation, the predicted vanishing for Koszul cohomology is equivalent to the *Prym-Green Conjecture*, already formulated in [@AF] 1.4: If $L\in \mathrm{Pic}^{2g-2}(C)$ is a general line bundle, $$\label{prymgreen}
K_{p, 1}(C, L)=0 \Leftrightarrow p\geq \frac{g-4}{2}.$$ The Prym-Green Conjecture predicts in particular, that for $g=2i+6$, the general *paracanonical curve* $C\subset \PP^{g-2}$ embedded by a $\mathfrak g_{2g-2}^{g-2}$, enjoys property $(N_i)$. This statement has important applications to the birational geometry of the moduli spaces $\mathcal{R}_{g, l}$ parametrizing pairs $[C, \xi]$ where $[C]\in \cM_g$ and $\xi^{\otimes l}=\OO_C$. The Prym-Green Conjecture has been verified for all $g\leq 16$ and details will appear in [@EFS].

\[prgrbn\] For a general curve $[C]\in \cM_g$ with $g\leq 16$, and a general line bundle $L\in \mathrm{Pic}^{2g-2}(C)$, one has the following inequality for all $E\in \mathcal{SU}_C(2, L)$: $$h^0(C, E)\leq \frac{g+1}{2}.$$

It is worth pointing out that when $L=K_C$, the conclusion of Theorem \[prgrbn\] no longer holds. If $[C]\in \cM_{2a}$ lies on a $K3$ surface, Mukai and Voisin [@V1] have showed that there exists a (unique!) vector bundle $E\in \mathcal{SU}_C(2, K_C)$ with $h^0(C, E)=a+2$. On the other hand, the Brill-Noether subvarieties of $\mathcal{SU}_C(2, K_C)$ have a Lagrangian structure and are governed by different numerical invariants [@BF], [@T3].

We close, by pointing out that each time a form of the Minimal Resolution Conjecture is known, one can derive a corresponding non-existence result for rank $2$ vector bundles. The following result, is just one example of a statement of this type:

\[genus16\] We fix a general curve $[C]\in \cM_{16}$ and $L\in W^7_{21}(C)$ one of the finitely many linear series residual to a minimal pencil. Then there exist no semistable bundles $E\in \mathcal{SU}_C(2, L)$ with $h^0(C, E)=5$.

We observe that $\mathrm{Cliff}(C)=\mathrm{Cliff}(L)=7$. Let $E$ be a semistable bundle with $\mbox{det}(E)=L$ and $h^0(C, E)\geq 5$. First we claim that $E$ cannot have sub-pencils. Indeed, if $$0\rightarrow A\rightarrow E\rightarrow A'\rightarrow 0$$ is an extension with $h^0(C, A)\geq 2$, then $\mbox{deg}(A)\geq 9=\mathrm{gon}(C)$, hence $\mbox{deg}(A')\leq 12$ and $h^0(C, A')\leq 2$ by Brill-Noether theory. In particular $h^0(C, E)\leq h^0(C, A)+h^0(C, A')\leq 4$, a contradiction.

Thus the bundle $E$ is free of sub-pencils, and then $0\neq [\zeta(E)]\in K_{2, 1}(C, L)$. This implies that $K_{1, 2}(C, L)\neq 0$ as well, in particular using [@F5] Theorem 1.1, the point $[C]\in \cM_{16}$ belongs to the Koszul divisor $\mathfrak{Syz}_{16, 21}^7$, which contradicts the generality assumption on $C$.

[EMS]{}

M. Aprodu and G. Farkas, [*[Koszul cohomology and applications to moduli]{}*]{}, arXiv:0811.3117, to appear in “Grassmannians, vector bundles and moduli spaces”, Proceedings Clay Math. Institute, Volume 14 (2011). M. Aprodu and J. Nagel, [*[Non-vanishing for Koszul cohomology of curves]{}*]{}, Comment. Math. Helvetici **82** (2007), 617-628. E. Arbarello, M. Cornalba, P. Griffiths and J. Harris, [*[Geometry of algebraic curves]{}*]{}, Grundlehren der mathematischen Wissenschaften **267**, Springer Verlag 1985. H. -Ch. Graf von Bothmer, [*[Generic syzygy schemes]{}*]{}, J. Pure Applied Algebra, **208** (2007), 867-876. A. Bertram and B. Feinberg, [*[On stable rank two bundles with canonical determinant]{}*]{}, in: “Algebraic Geometry” ed. P. Newstead, Marcel Dekker 1998, 259-269. S. Brivio and A. Verra, [*[The theta divisor of $SU_C(2, 2d)^s$ is very ample if $C$ is not hyperelliptic]{}*]{}, Duke Math. Journal **82** (1996), 503-552. D. Eisenbud, G. Farkas and F.-O. Schreyer, [*[The Prym-Green Conjecture]{}*]{}, in preparation. D. Eisenbud, S. Popescu, F.-O. Schreyer and Ch. Walter, [*[Exterior algebra methods for the Minimal Resolution Conjecture]{}*]{}, Duke Math. Journal **112** (2002), 379-395. G. Farkas, [*[Brill-Noether loci and the gonality stratification of $\cM_g$]{}*]{}, J. reine angew. Mathematik **539** (2001), 185-200. G. Farkas, [*[Gaussian maps, Gieseker-Petri loci and large theta-characteristics]{}*]{}, J. reine angew. Mathematik **581** (2005), 151-173. G. Farkas, [*[Koszul divisors on moduli spaces of curves]{}*]{}, American Journal of Math. **131** (2009), 819-869. G. Farkas, [*[Rational maps between moduli spaces of curves and Gieseker-Petri divisors]{}*]{}, J. Algebraic Geometry **19** (2010), 243-284. G. Farkas, [*[Syzygies of curves and the effective cone of $\mm_g$]{}*]{}, Duke Math. Journal **135** (2006), 53-98. G. Farkas, M. Mustaţă and M. Popa, [*[Divisors on $\cM_{g, g+1}$ and the Minimal Resolution Conjecture for points on canonical curves]{}*]{}, Ann. Scient. École Normale Sup. **36** (2003), 553-581. G. Farkas and M. Popa, [*[Effective divisors on $\mm_g$, curves on $K3$ surfaces and the Slope Conjecture]{}*]{}, Journal of Algebraic Geometry **14** (2005), 151-174. M. Green and R. Lazarsfeld, [*[The non-vanishing of certain Koszul cohomology groups]{}*]{}, J. Differential Geometry **19** (1984), 168-170. M. Green and R. Lazarsfeld, [*[Special divisors on curves on a $K3$ surface]{}*]{}, Inventiones Math. **89** (1987), 357-370. I. Grzegorczyk, V. Mercat and P. E. Newstead, [*[Stable bundles of rank $2$ with $4$ sections]{}*]{}, arXiv:1006.1258. J. Harris, [*[Curves in projective space. With the collaboration of D. Eisenbud]{}*]{}, University of Montreal 1982. J. Harris and D. Mumford, [*[On the Kodaira dimension of $\mm_g$]{}*]{}, Inventiones Math. **67** (1982), 23-88. A. Knutsen, [*[Smooth curves on projective $K3$ surfaces]{}*]{}, Math. Scandinavica **90** (2002), 215-231. Y. Laszlo, [*[Un Théorème de Riemann pour les diviseurs theta sur les espaces de modules de fibres stables sur une courbe]{}*]{}, Duke Math. Journal **64** (1991), 333-347. H. Lange and P. E. Newstead, [*[Clifford indices for vector bundles on curves]{}*]{}, arXiv:0811.4680, in: Affine Flag Manifolds and Principal Bundles (A. H. W. Schmitt editor), Trends in Mathematics, 165-202, Birkhäuser 2010. H. Lange, V. Mercat and P. E. Newstead, [*[On an example of Mukai]{}*]{}, arXiv:1003.4007. V. Mercat, [*[Clifford’s theorem and higher rank vector bundles]{}*]{}, International Journal of Math. **13** (2002), 785-796. S. Mukai, [*[Curves and $K3$ surfaces of genus eleven]{}*]{}, in: Moduli of vector bundles, Lecture Notes in Pure and Appl. Math. 179 Dekker (1996), 189-197. S. Mukai, [*[Curves and Grassmannians]{}*]{}, in: Algebraic Geometry and Related Topics, Inchon 1992, (J.-H. Yang, Y. Namikawa, K. Ueno editors), 19-40, International Press 1993. K. Paranjape and S. Ramanan, [*[On the canonical ring of a curve]{}* ]{}, in: Algebraic Geometry and commutative Algebra (1987), 503-516. M. Teixidor i Bigas, [*[On the Gieseker-Petri map for rank two vector bundles]{}*]{}, Manuscripta Math., **75** (1992), 375-382. M. Teixidor i Bigas, [*[Existence of coherent systems of rank two and dimension four]{}*]{}, Collectanea Math. **58** (2007), 193-198. M. Teixidor i Bigas, [*[Petri map for rank two bundles with canonical determinant]{}*]{}, Compositio Math. **144** (2008), 705-720. A. Verra, [*[The unirationality of the moduli space of curves of genus $14$ or lower]{}*]{}, Compositio Math. **141** (2005), 1425-1444. C. Voisin, [*[Sur l’application de Wahl des courbes satisfaisant la condition de Brill-Noether-Petri]{}*]{}, Acta Math. **168** (1992), 249-272. C. Voisin, [*[Green’s generic syzygy conjecture for curves of even genus lying on a $K3$ surface]{}*]{} J. European Math. Society, **4**, (2002), 364-404. C. Voisin, [*[Green’s canonical syzygy conjecture for generic curves of odd genus]{}*]{}, Compositio Math. **141** (2005), 1163-1190.

[^1]:
