A master space for moduli spaces of Gieseker-stable sheaves

DOI10.1007/S00031-018-9477-6MaRDI QIDQ2313504zbMATH OpenOpenAlexFDO

Authors Daniel Greb, Julius Ross, Matei Toma

Publication date 19 July 2019

Published in Transformation Groups (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1605.06642

zbMATH Keywords

Gieseker moduli space, stability condition, GIT quotient

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Sheaves in algebraic geometry (14F06) Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60) Geometric invariant theory (14L24) Representations of quivers and partially ordered sets (16G20)

Abstract: We consider a notion of stability for sheaves, which we call multi-Gieseker stability that depends on several ample polarisations $L_1,dots,L_N$ and on an additional parameter $sigmainmathbb{Q}_{geq0}^{N}setminus0$. The set of semi stable sheaves admits a projective moduli space $mathcal{M}_{sigma}$. We prove that given a finite collection of parameters $sigma$, there exists a sheaf- and representation-theoretically defined master space $Y$ such that each corresponding moduli space is obtained from $Y$ as a Geometric Invariant Theory (GIT) quotient. In particular, any two such spaces are related by a finite number of "Thaddeus-flips". As a corollary, we deduce that any two Gieseker-moduli space of sheaves (with respect to different polarisations $L_1$ and $L_2$) are related via a GIT-master space. This confirms an old expectation and generalises results from the surface case to arbitrary dimension.

Review text

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}.

Recommendations

• Variation of Gieseker moduli spaces via quiver GIT
• Moduli of vector bundles on higher-dimensional base manifolds — Construction and variation
• Semi-continuity of stability for sheaves and variation of Gieseker moduli spaces
• Multi-Gieseker semistability and moduli of quiver sheaves
• Walls of Gieseker semistability and the Mumford-Thaddeus principle for moduli spaces of sheaves over higher dimensional bases

Cites work

• A functorial construction of moduli of sheaves
• Change of polarization for moduli of sheaves on surfaces as Bridgeland wall-crossing
• Geometric Invariant Theory
• Geometric invariant theory and decorated principal bundles
• Geometric invariant theory and flips
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• Moduli for principal bundles over algebraic curves. II
• MODULI OF REPRESENTATIONS OF FINITE DIMENSIONAL ALGEBRAS
• Moduli of representations of the fundamental group of a smooth projective variety. I
• Mori dream spaces and GIT.
• Mumford–Thaddeus Principle on the Moduli Space of Vector Bundles on an Algebraic Surface
• Semi-continuity of stability for sheaves and variation of Gieseker moduli spaces
• The geometry of moduli spaces of sheaves
• The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface
• Variation of geometric invariant theory quotients. (With an appendix: ``An example of a thick wall by Nicolas Ressayre)
• Variation of Gieseker moduli spaces via quiver GIT
• Walls of Gieseker semistability and the Mumford-Thaddeus principle for moduli spaces of sheaves over higher dimensional bases

Cited in

(8)

• Master spaces for stable pairs
• Walls of Gieseker semistability and the Mumford-Thaddeus principle for moduli spaces of sheaves over higher dimensional bases
• Multi-Gieseker semistability and moduli of quiver sheaves
• Semi-continuity of stability for sheaves and variation of Gieseker moduli spaces
• Stable configurations of linear subspaces and quotient coherent sheaves
• Variation of Gieseker moduli spaces via quiver GIT
• The Beauville-Bogomolov class as a characteristic class
• Semistability conditions defined by ample classes

This page was built for publication: A master space for moduli spaces of Gieseker-stable sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2313504)