Representability for some moduli stacks of framed sheaves

DOI10.1007/S00229-002-0290-ZMaRDI QIDQ1849599zbMATH OpenOpenAlexFDO

Authors Thomas A. Nevins

Publication date 1 December 2002

Published in Manuscripta Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

affine bundlesframed bundlesquot scheme

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) Fine and coarse moduli spaces (14D22) Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60)

Abstract: We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction morphism for moduli stacks of sheaves has fibers that are schemes.

Review text

The author considers the moduli problem of representing pairs \((\mathcal E, \phi)\) where \(\mathcal E\) is a torsion-free sheaf on a smooth connected complex projective surface \(S\) and \(\phi: {\mathcal E_D}\rightarrow E\) is a framing with a vector bundle \(E\) on a smooth connected complete curve \(D\subset S\). In contrast to the general approach established by \textit{D. Huybrechts} and \textit{M. Lehn} [Int. J. Math. 6, 297--324 (1995; Zbl 0865.14004); J. Algebr. Geom. 4, 67--104 (1995; Zbl 0839.14023)] which involves a stability condition, the author follows the more classical notation of \textit{M. Lehn's} doctoral thesis [Moduli spaces of framed vector bundles, Bonner Mathematische Schriften 241 (1993; Zbl 0841.14012)] where \(\phi\) is required to be an isomorphism. There it was shown (in arbitrary dimension \(\geq 2\)) that the moduli functor can be represented by an algebraic space if \(E\) is simplifying (i.e. \(H^0({\mathcal E},{\mathcal E}'(-D))=0\) for two such sheaves) und \(D\) is an effective divisor with good support (i.e. there is a big and nef \(D'\) with \(\text{supp}D= \text{supp}D'\)). Here this is replaced by the single condition \(H^0(D,\operatorname {End}E\otimes N_{D/S}^{-k})=0\) for \(k\geq 1\) and it is shown that the full moduli functor is represented even by a scheme. The proof does not need geometric invariant theory and is based on interpreting the moduli problem as a subfunctor of a Quot-functor over a relative Grassmannian. Since it involves the degeneration of a certain spectral sequence, it does not generalize immediately to higher dimensions.

Recommendations

• Moduli of framed sheaves on projective surfaces
• MODULI SPACES OF FRAMED SHEAVES ON CERTAIN RULED SURFACES OVER ELLIPTIC CURVES
• FRAMED MODULES AND THEIR MODULI
• Derived moduli of schemes and sheaves
• Framed sheaves on projective stacks

Cited in

(7)

• Moduli spaces of framed sheaves and quiver varieties
• Symplectic structures on moduli spaces of framed sheaves on surfaces
• Representability of derived stacks
• MODULI SPACES OF FRAMED SHEAVES ON CERTAIN RULED SURFACES OVER ELLIPTIC CURVES
• FRAMED MODULES AND THEIR MODULI
• Framed sheaves on projective stacks
• Poincaré polynomial of moduli spaces of framed sheaves on (stacky) Hirzebruch surfaces

This page was built for publication: Representability for some moduli stacks of framed sheaves

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