Derived categories of moduli spaces of vector bundles on curves (Q1676419)

Fix a smooth projective curve \(X\) over \(\mathbb C\) of genus \(g \geq 4\) and a degree \(1\) line bundle \(L \) on \(X\). Denote by \(M\) the moduli space of stable rank \(2\) vector bundles \(F\) on \(X\) with \(\det(F)\cong L\). Take \(\theta\) an ample line bundle on \(M\) which generates \(\mathrm{Pic}(M)\) and denote by \(E\) the Poincaré bundle on \(X \times M\), normalized by the condition that the fibers \(E_x\) satisfy \(c_1E_x=\theta\), for \(x\in X\). If \(D^bX\) and \(D^bM\) are the bounded derived categories of coherent sheaves on \(X\), respectively \(M\), denote by \(\Phi _E: D^b X \rightarrow D^b M\), the Fourier-Mukai transform defined by \(\Phi_ E ( F ) := p_{M ,*} ( p^*_ X ( F )\otimes E )\), \(p_X\) and \(p_M\) being the projections. The main result of the paper (Theorem 1.1) states that \(\Phi _E\) is fully faithful. This is proved as a consequence of the Theorem 1.2 which asserts: 1. \(H^0 ( M , E _x \otimes E^*_ x ) \cong \mathbb C\). 2. \(H^i( M , E_ x \otimes E^*_ x ) = 0\) for all \(i\geq 2\). 3. \(H^i ( M , E_x \otimes E^*_ y ) = 0\) for all \(i\), if \(x\not =y\). 4. \(H^i( M , E^*_x ) = 0\), for all \(i\). 5. \(H^i ( M , E^*_ x \otimes \theta ^*) = 0\), for all \(i\). The paper contains also other propositions, interesting by themselves.