Derived categories of moduli spaces of vector bundles on curves (Q1676419)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derived categories of moduli spaces of vector bundles on curves |
scientific article |
Statements
Derived categories of moduli spaces of vector bundles on curves (English)
0 references
7 November 2017
0 references
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.
0 references
Fourier-Mukai transform
0 references
moduli space of bundles
0 references
algebraic curves
0 references
Picard group
0 references