Stability of Picard sheaves for vector bundles on curves (Q1676420)

In this paper, the authors study the stability of Picard sheaves on the Jacobian \(J\) of a smooth projective curve \(X\). For \(g\) the genus of the curve and \(d \geq 2g-1\), the direct image of a universal line bundle \(L_{\text{uni}}\) under natural projection \(\pi : X \times J \to J\) is a vector bundle called the Picard bundle. A classical result of Ein-Lazarsfeld [\textit{L. Ein} and \textit{R. Lazarsfeld}, Lond. Math. Soc. Lect. Note Ser. 179, 149--156 (1992; Zbl 0768.14012)] and \textit{G. R. Kempf} [Am. J. Math. 112, No. 3, 397--401 (1990; Zbl 0719.14010)] is that this vector bundle is slope semistable with respect to the polarization given by the theta divisor. The Picard bundle can be viewed as an integral transform of the trivial line bundle \(\mathcal{O}_{X}\), namely the integral transform \(E \mapsto \widehat{E} := \mathbb{R}p_{*}( L_{\text{uni}} \otimes q^{*}E)\) with kernel \(L_{\text{uni}}\). Write \(\widehat{E}^0\) and \(\widehat{E}^1\) for the cohomology sheaves of \(\widehat{E}\). The main results hold when \(E\) is a semistable vector bundle of slope \(\mu(E) \geq 2g-1\) or \(\mu(E) \leq -1\). (The slope bounds imply that \(\widehat{E}\) is concentrated in a fixed degree, so it is either represented by \(\widehat{E}^0\) or \(\widehat{E}^1\).) Theorem A states that if \(E\) is a (semi)stable vector bundle on \(X\) of slope \(\mu(E) > (\text{resp. }\geq\)