Uhlenbeck-Donaldson compactification for framed sheaves on projective surfaces (Q2435096)

Let \(X\) be a smooth complex projective surface, \(H\) an ample class on \(X\) and \(c\in K(X)_{\mathrm{num}}\). Denote by \(M^\mu(c)\) the corresponding moduli space of slope stable bundles on \(X\). This moduli space can be compactified by taking its closure in the Gieseker-Maruyama moduli space \(M^{\mathrm{ss}}(c)\). The space \(M^\mu(c)\) can also be regarded as a moduli space of bundles carrying a Hermitian-Yang-Mills metric and, as such, has a differential-geometric compactification \(N(c)\), called the Uhlenbeck-Donaldson compactification. The space \(N(c)\) can be given the structure of a scheme and there is a morphism \(M^{\mathrm{ss}}(c)\to N(c)\) which restricts to an isomorphism on \(M^\mu(c)\). In this paper, the authors consider the corresponding problem for framed sheaves, that is for pairs \((\mathcal{E},\phi:\mathcal{E}\to\mathcal{F})\), where \(\mathcal{F}\) is a fixed coherent sheaf on \(X\). There is a notion of slope stability for framed sheaves depending on a parameter \(\delta\), which is a polynomial with rational coefficients. This gives rise to a GIT moduli space \(M=M^{\mathrm{ss}}(c,\mathcal{F})\). The main result of the paper is the construction of an analogue \(M^{\mu ss}\) of the Uhlenbeck-Donaldson compactification under the condition that \(\mathcal{F}\) is an \(\mathcal{O}(D)\)-module for some big and nef curve \(D\) on \(X\). The authors prove also that there is a projective morphism \(M\to M^{\mu \mathrm{ss}}\) which is birational on the components of \(M\) which contain locally free framed sheaves. The first step in the proof is, as expected, a boundedness result for framed sheaves; this is not restricted to surfaces. The moduli space \(M^{\mu \mathrm{ss}}\) is then defined as a sort of quotient of a locally closed subset of a suitable Quot scheme. The space \(M^{\mu \mathrm{ss}}\) has a natural set-theoretic stratification which allows a comparison with the moduli spaces of framed ideal instantons.