On degeneration of the surface in the Fitting compactification of moduli of stable vector bundles (Q764022)

This paper studies a compactification \(\tilde{M}\), the Fitting compactification, of the moduli space \(M_0\) of semi-stable vector bundles on a smooth projective surface \(S\). The author constructed this compactification in a previous paper. The Fitting compactification has the property that the points of \(\tilde{M}\) do not correspond to sheaves on \(S\) but instead correspond to sheaves on certain (possibly singular) surfaces \(\tilde{S}\) constructed from \(S\). \newline The present paper describes the surfaces \(\tilde{S}\) that can appear. To be precise, let \(S\) be a smooth projective surface over an algebraically closure field of characteristic \(0\), \(H\) be an ample divisor on \(S\), and \(P(t)\) a polynomial with the property that the associated Fitting compactification \(\tilde{M}=\tilde{M}(H,P)\) is a fine moduli space. The points of \(y \in \tilde{M}\) are then in bijection with certain pairs \((\tilde{S},F)\) consisting of a surface \(\tilde{S}\) and a vector bundle \(F\) on \(\tilde{S}\). The main theorem of the paper, Theorem~1, describes \(\tilde{S}\) when \(y\) lies in the closure of the vector bundle locus: when \(y\) lies in the vector bundle locus, \(\tilde{S}=S\), and otherwise \[ \tilde{S} = \text{Proj}_{s=0}^{\infty} (I_{S}[t]+(t))^{s}/(t^{s+1}), \] where \(I_{S}\) is the Fitting ideal of \({\mathcal E}\text{xt}^{2}(Q,\mathcal{O}_{S})\) for a certain Artinian sheaf \(Q\).