The Voisin map via families of extensions (Q2664668)

Let \(Y\) be a smooth cubic fourfold in \(\mathbb{P}^{5}\) not containing any plane. The variety of lines \(F(Y)\) of \(Y\) and a certain moduli space \(Z(Y)\) of twisted cubics in \(Y\) are hyperkähler variety of dimension \(4\) and \(8\), respectively. Let \(M_{\sigma}(v)\) be the moduli space of \(\sigma\)-semistable objects in a heart of a bounded t-structure of the Kuznetsov component of \(D^{b}(Y)\) with Mukai vector \(v\). It is known that there exists a Bridgeland stability condition \(\sigma\) and two Mukai vectors \(\lambda_{1}\) and \(\lambda_{2}\) such that \(F(Y)\) is isomorphic to both \(M_{\sigma}(\lambda_{1})\) and \(M_{\sigma}(\lambda_{1}+\lambda_{2})\), and \(Z(Y)\) is isomorphic to \(M_{\sigma}(2\lambda_{1}+\lambda_{2})\). Finally, the Voisin map is a dominant rational map \(F(Y)\times F(Y)\dashrightarrow Z(Y)\) known to be defined in the complement of the locus \(\Gamma\) of incident lines. In the paper under review, the Voisin map is reinterpreted in terms of stable objects on \(Y\). Given a line \(L\subset Y\) we denote by \(F_{L}\) and \(P_{L}\) the corresponding points in \(M_{\sigma}(\lambda_{1})\) and \(M_{\sigma}(\lambda_{1}+\lambda_{2})\), respectively. If \(L_{1}\) and \(L_{2}\) are two disjoint lines of \(Y\), the author proves that \(ext^{1}(F_{L_{1}},P_{L_{2}})=1\) meaning that there is essentially a unique non trivial extension of \(P_{L_{2}}\) by \(F_{L_{1}}\). This gives the Voisin map \(M_{\sigma}(\lambda_{1})\times M_{\sigma}(\lambda_{1}+\lambda_{2})\dashrightarrow M_{\sigma}(2\lambda_{1}+\lambda_{2})\). The main result of the paper is that the Voisin map can be resolved by the blow up \(B\) of \(M_{\sigma}(\lambda_{1})\times M_{\sigma}(\lambda_{1}+\lambda_{2})\) along \(\Gamma\) (with reduced structure). Indeed, the author proves that the functor of families of non-splitting extensions of \(P_{L}\) by \(F_{L}\) is represented by \(B\). Finally, he proves that the resulting map \(B\rightarrow M_{\sigma}(2\lambda_{1}+\lambda_{2})\) is a relative Quot scheme over \(M_{\sigma}(2\lambda_{1}+\lambda_{2})\).