The indeterminacy locus of the Voisin map (Q2292900)

Let \(Y\) be a smooth cubic \(4\)-fold. The Hilbert scheme \(F(Y)\) of lines on \(Y\) is a hyper-Kähler variety of \(K3^{[2]}\)-type [\textit{A. Beauville}, J. Differ. Geom. 18, 755--782 (1983; Zbl 0537.53056)]. \textit{C. Lehn} et al. [J. Reine Angew. Math. 731, 87--128 (2017; Zbl 1376.53096)] constructed a hyper-Kähler \(8\)-fold associated to the twisted cubic curves on \(Y\). Let \(Y\) be a generic smooth cubic \(4\)-fold, and let \(M_3(Y)\) be the moduli space of twisted cubic rational curves contained in \(Y\). There is a \(\mathbb{P}^2\)-fibration \(M_3(Y)\rightarrow Z'\) followed by a divisorial contraction \(Z'\rightarrow Z\). The variety \(Z\) is proved to be a hyper-Kähler \(8\)-fold of \(K3^{[4]}\)-type. Voisin showed that the LLSvS \(8\)-fold is related to the hyper-Kähler \(4\)-fold \(F(Y)\). There is a degree \(6\) rational map \[ \phi: F(Y)\times F(Y)\dashrightarrow Z. \] The rational map \(\phi\) can be described in the following manner. For a general pair of lines \(([L], [L'])\in F(Y)\times F(Y)\) and any point \(x\in L\), there is a residue conic \(C_x\) in the intersection \(\langle x, L'\rangle\cap Y\). Then the union \(L\cup C_x\) is a twisted cubic curve in \(Y\), which is defined to be the image of \(([l], [l'])\). This map is undefined for two intersecting lines. Hence the indeterminacy of \(\phi\) contains the incidence \[ I:=\{([l], [l'])\in F(Y)\times F(Y)~|~ l\cap l'\neq \emptyset\}. \] The author of the paper under review shows that indeterminacy of \(\phi\) is exactly the incidence locus \(I\).