A master space for moduli spaces of Gieseker-stable sheaves (Q2313504): Difference between revisions

Let \(X\) be a projective manifold and fix a finite collection of ample line bundles \(L_{j}\) on \(X\) for \(1 \leq j \leq j_{0}\). Furthermore, suppose that \(\sigma = (\sigma_{1}, ..., \sigma_{j_{0}})\) is a non-zero vector of non-negative rational numbers. A torsion-free coherent sheaf \(E\) on \(X\) is called \textit{multi-Gieseker-semistable} with respect to this data if for all non-trivial proper sheaves \(F \subset E\) the inequality \[ \frac{\sum_{j} \sigma_{j} \chi(F \otimes L_{j}^{m})}{\text{rk}(F)} \leq \frac{\sum_{j} \sigma_{j} \chi(E \otimes L_{j}^{m})}{\text{rk}(E)} \] holds for all \(m\) sufficiently large. Under a boundedness hypothesis there exists a projective moduli space \(\mathcal{M}_{\sigma}\) of sheaves of a given topological type that are semistable with respect to \(\sigma\). For the degenerate case when all \(\sigma_{j}, \ 1 \leq j \leq j_{0}, \ j \neq j'\) are equal to zero except for \(j'\) the corresponding moduli space is the classical Gieseker moduli space \(\mathcal{M}_{L_{j'}}\). So the introduced stability condition in some sense interpolates the classical Gieseker stability conditions with respect to \(L_{1} , ..., L_{j_{0}}\). The main result of the paper is that for given finite collection of vectors \(\sigma^{(i)}, 1 \leq i \leq i_{0}\), all the moduli spaces \(\mathcal{M}_{\sigma^{(i)}}\) can be constructed as GIT-quotient from the same master space. As a corollary, for any given two ample line bundles \(L_{1}\) and \(L_{2}\) the moduli spaces \(\mathcal{M}_{L_{1}}\) and \(\mathcal{M}_{L_{2}}\) also can be obtained as a GIT-quotient from the same master space. According to [\textit{M. Thaddeus}, J. Am. Math. Soc. 9, No. 3, 691--723 (1996; Zbl 0874.14042)] it implies that the moduli spaces \(\mathcal{M}_{L_{1}}\) and \(\mathcal{M}_{L_{2}}\) are realted by a finite number of the so-called \textit{Thaddeus-flips}.