Framed sheaves on projective space and Quot schemes (Q2070951)

In this paper the authors identify two moduli spaces of sheaves, namely the moduli space of torsion free sheaves on \(\mathbb{P}^m\) with Chern character \((r,0, \dots, 0, -n)\) that are trivial along a hyperplane \(D\subset \mathbb{P}^m\) and the Grothendieck's Quot scheme \(Quot_{\mathbb{A}^m}(\mathcal{O}^{\oplus r},n)\) of 0-dimensional length \(n\) quotients of the free sheaf \( \mathcal{O}^{\oplus r}\) on \(\mathbb{A}^m\). More precisely, denote by \(Fr_{r,n}(\mathbb{P}^m)\) the moduli space of torsion free sheaves \(E\) with framing at \(D \subset \mathbb{P}^m\) and Chern character \((r,0, \dots, 0, -n)\), that is we fix an isomorphism \(\phi: E|_D \to \mathcal{O}_D^{\oplus r}\). The authors prove the following result. Fix \(m\geq 2, r\geq 1, n\geq 0\) and an hyperplane \(D\subset \mathbb{P}^m\). There is an injective morphism \[ \eta: Quot_{\mathbb{A}^m}(\mathcal{O}^{\oplus r},n)\to Fr_{r,n}(\mathbb{P}^m), \] which is an isomorphism if and only if \(m\geq 3\) or \((m,r)=(2,1)\). The proof goes by an infinitesimal argument, by comparing the two well-known tangent-obstruction theories on these moduli spaces. It is relevant to notice that the interest in these moduli spaces comes from Enumerative Geometry (Quot schemes) and String Theory (moduli of framed sheaves), as they lead to higher rank versions of Donaldson-Thomas invariants, which had been intensively studied in the Math and Physics literature.