Representability for some moduli stacks of framed sheaves (Q1849599)

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.