Linear stability and stability of Lazarsfeld-Mukai bundles

TL;DR

This paper investigates the stability properties of Lazarsfeld-Mukai bundles on algebraic curves, establishing new conditions for their stability and linking it to linear stability, especially on b3a0-gonal curves.

Contribution

It provides new criteria for the stability of Lazarsfeld-Mukai bundles using Butler's diagram and extends previous results by filling gaps in Butler's argument.

Findings

Surjectivity of the multiplication map when S is stable.

Conditions for the stability of M_L on Brill-Noether general curves.

Equivalence between the stability of M_L and linear stability on b3a0-gonal curves.

Abstract

Let $C$ be a smooth irreducible projective curve and let $(L,H^0(C,L))$ be a complete and generated linear series on $C$. Denote by $M_L$ the kernel of the evaluation map $H^0(C,L)\otimes\mathcal O_C\to L$. The exact sequence $0\to M_L\to H^0(C,L)\otimes\mathcal O_C\to L\to 0$ fits into a commutative diagram that we call the Butler's diagram. This diagram induces in a natural way a multiplication map on global sections $m_W: W^{\vee}\otimes H^0(K_C)\to H^0(S^{\vee}\otimes K_C)$, where $W\subseteq H^0(C,L)$ is a subspace and $S^{\vee}$ is the dual of a subbundle $S\subset M_L$. When the subbundle $S$ is a stable bundle, we show that the map $m_W$ is surjective. When $C$ is a Brill-Noether general curve, we use the surjectivity of $m_W$ to give another proof on the semistability of $M_L$, moreover we fill up a gap of an incomplete argument by Butler: With the surjectivity of $m_W$ we give conditions to determinate the stability of $M_L$, and such conditions implies the well known stability conditions for $M_L$ stated precisely by Butler. Finally we obtain the equivalence between the stability of $M_L$ and the linear stability of $(L,H^0(L))$ on $\gamma$-gonal curves.