In this paper, we study K3 double structures on minimal rational surfaces [Formula: see text]. The results show there are infinitely many non-split abstract K3 double structures on [Formula: see text] parametrized by [Formula: see text], countably many of which are projective. For [Formula: see text] there exists a unique non-split abstract K3 double structure which is non-projective (see [J.-M. Drézet, Primitive multiple schemes, preprint (2020), arXiv:2004.04921 , to appear in Eur. J. Math.]). We show that all projective K3 carpets can be smoothed to a smooth K3 surface. One of the byproducts of the proof shows that unless [Formula: see text] is embedded as a variety of minimal degree, there are infinitely many embedded K3 carpet structures on [Formula: see text]. Moreover, we show any embedded projective K3 carpet on [Formula: see text] with [Formula: see text] arises as a flat limit of embeddings degenerating to 2:1 morphism. The rest do not, but we still prove the smoothing result. We further show that the Hilbert points corresponding to the projective K3 carpets supported on [Formula: see text], embedded by a complete linear series are smooth points if and only if [Formula: see text]. In contrast, Hilbert points corresponding to projective (split) K3 carpets supported on [Formula: see text] and embedded by a complete linear series are always smooth. The results in [P. Bangere, F. J. Gallego and M. González, Deformations of hyperelliptic and generalized hyperelliptic polarized varieties, preprint (2020), arXiv:2005.00342 ] show that there are no higher dimensional analogues of the results in this paper.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.Ein and Lazarsfeld proved that for a very ample line bundle L on a smooth projective variety X, K X + (n + 1 + p)A satisfies the property N p . (see [10]).Another very interesting and related conjecture is the conjecture by Fujita. The precise statement is the following:Fujita's Conjecture: On a smooth projective variety of dimension n, K X + (n + 1)A is globally generated and K X + (n + 2)A is very ample where A is an arbitrary ample line bundle.Fujita's conjecture has been proved for surfaces by Reider (cf. [37]) using Bogomolov's instability theorem (see [2]) on rank two vector bundles. Fujita's freeness conjecture has been proved by Ein and Lazarsfeld (see [9]) for n = 3, by Kawamata (see [24]) for n = 3, 4 and by Fei Ye and Zhixian Zhu (see [39]) for n = 5.Since the first and the last terms are zero by Kodaira vanishing, hence H i (M L ⊗ (K + (l − i)B)) = 0 for all 2 ≤ i ≤ n.
We show that given an embedding of an Enriques manifold in a large enough projective space there will exist embedded multiple structures with same invariants (cohomology of the structure sheaf) as its universal cover which is either a hyperkähler or a Calabi-Yau manifold. We then show that these multiple structures can be smoothed to smooth hyperkähler or Calabi-Yau manifolds respectively. Hence we obtain a flat family of hyperkähler (or Calabi-Yau) manifolds embedded in the same projective space which degenerates to an embedded multiple structure of the given Enriques manifold. The above shows that the multiple structures on the embedded Enriques manifold are points of the Hilbert scheme containing the fibres of the above family. We prove that if the index of the Enriques manifold is two then they are smooth points of the Hilbert scheme.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.