Smoothing of multiple structures on embedded Enriques manifolds (Q2069622)

Let \(X\) be a reduced connected scheme and \(\mathcal{F}\) a vector bundle of rank \(m-1\) on \(X\). A multiple structure or more precisely a \(m\)-rope on \(X\) with conormal bundle \(\mathcal{F}\) is a scheme \(\overset{\sim}{X}\) with \(\overset{\sim}{X}_{red}=X\) such that \(\mathcal{I}^{2}_{X/\overset{\sim}{X}}=0\) and \(\mathcal{I}_{X/\overset{\sim}{X}}=\mathcal{F}\) as \(\mathcal{O}_{X}\)-modules, where \(\mathcal{I}_{X/\overset{\sim}{X}}\) is the ideal sheaf of the embedding of \(X\) in \( \overset{\sim}{X}\). A smoothing of multiple structures \(D\) is a flat family of schemes over a curve such that the central fibre is \(D\). It has been related to the deformations of morphisms in [\textit{F. J. Gallego} et al., Rev. Mat. Complut. 26, No. 1, 253--269 (2013; Zbl 1312.14009)] where Gallego et al. give a sufficient condition for a finite morphism to be deformed to an embedding. \newline In this paper the authors investigate the deformations of the composite of the universal covering map for an Enriques manifold \(Y\) of index \(d\) with an embedding of \(Y\) in a projective space \(\mathbb{P}^{N}\) using the infinitesimal condition described by Gallego et al.. The definition of an Enriques manifold used corresponds either to the one in the sense of [\textit{S. Boissière} et al., J. Math. Pures Appl. (9) 95, No. 5, 553--563 (2011; Zbl 1215.14046)] or [\textit{K. Oguiso} and \textit{S. Schröer}, J. Reine Angew. Math. 661, 215--235 (2011; Zbl 1272.14026)] depending on the index \(d\) and whether the universal cover of \(Y\) is a Calabi-Yau or a hyperkähler manifold. Given an embedding of an Enriques manifold \(Y\) of index \(d\) and dimension \(2n\) with canonical bundle \(K_{Y}\) in a large enough projective space, embedded \(d\)-ropes with conormal bundle \(\mathcal{E}=\displaystyle\bigoplus_{i=1}^{d-1}K_{Y}^{\otimes i}\) on \(Y\) are thoroughly studied and the dimension of the quasi-projective space parametrizing such \(d\)-ropes is computed. It turns out that \(d\)-ropes with conormal bundle \(\mathcal{E}\) appear naturally on Enriques manifolds of index \(d\) as flat limits of hyperkähler or Calabi-Yau manifolds. The main results on smoothing of such multiple structures are proven with the deformation results obtained in [\textit{F. J. Gallego} et al., Rev. Mat. Complut. 26, No. 1, 253--269 (2013; Zbl 1312.14009)]. These \(d\)-ropes on Enriques manifold are points in the Hilbert scheme of embedded Calabi-Yau or hyperkähler manifolds whose smoothness is proven for ropes with \(d=2\) as a consequence of smoothing. Moreover, in the Appendix the authors show that if an Enriques manifold \(Y\) of index \(d= 2\) whose universal cover is one of the known examples of hyperkähler six-folds is embedded inside \(\mathbb{P}^{N}\) then \(N\geq 13\). Reviewer's remark: Small typos on the pages 1250 and 1253: ``will will'' should be ``we will'', and ``upto'' should be ``up to'' respectively.