We construct a family of Fano fourfolds with the derived category of coherent sheaves of a general Enriques surface as semiorthogonal component. This improves a result of Kuznetsov, lowering the Fano dimension of a general Enriques surface from six to four.
It was Fano who first classified Enriques-Fano threefolds. However his arguments appear to contain several gaps. In this paper, we will verify some of his assertions through the use of modern techniques.
A Fano-Enriques threefold is a three-dimensional non-Gorenstein Fano variety of index 1 with at most canonical singularities. We study the birational geometry of Fano-Enriques threefolds with terminal cyclic quotient singularities. We investigate their rationality, and also provide an example of a Fano-Enriques threefold, whose pliability is 9, i.e. a Fano-Enriques threefold birationally equivalent to exactly 9 Mori fibre spaces in Sarkisov category.
In this paper we study Fano threefolds with a torsion divisor (Fano--Enriques). Due to this torsion divisor, they can be described as quotients of Fano threefolds by a finite abelian group action. We start from lists of Fano threefolds by Reid, Fletcher and Altınok and check which of them admit such an action with a Fano--Enriques quotient.
In this paper, we describe the simple isotropic decompositions of the curve sections of the known Enriques-Fano threefolds. The simple isotropic decompositions allow us to identify the irreducible components of the moduli space of the polarized Enriques surfaces. Thus, our analysis will enable us to show to which families of polarized Enriques surfaces the hyperplane sections of the Enriques-Fano threefolds belong.
In order to find useful information to complete the classification of Enriques-Fano threefolds, we will computationally study the singularities of some known Enriques-Fano threefolds of genus 6, 7, 8, 9, 10, 13 and 17. We will also deduce the projective normality of these threefolds.
We show that the derived category of a general Enriques surface can be realized as a semiorthogonal component in the derived category of a smooth Fano variety with a diagonal Hodge diamond.
This note is a report on the observation that the Enriques-Fano threefolds with terminal cyclic quotient singularities admit Calabi-Yau threefolds as their double coverings. We calculate the invariants of those Calabi-Yau threefolds when the Picard number is one. It turns out that all of them are new examples.
We give a classification of Fano threefolds $X$ with canonical Gorenstein singularities such that $X$ possess a regular involution, which acts freely on some smooth surface in $|-K_X|$, and the linear system $|-K_X|$ gives a morphism which is not an embedding. From this classification one gets, in particular, a description of some natural class of Fano--Enriques threefolds.
Let $U\subset \mathbb P^N$ be a projective variety which is not a cone and whose hyperplane sections are smooth Enriques surfaces. We prove that the degree of a $U$ is at most 32 and the bound is sharp.
We investigate when the fundamental group of the smooth part of a K3 surface or Enriques surface with Du Val singularities, is finite. As a corollary we give an effective upper bound for the order of the fundamental group of the smooth part of a certain Fano 3-fold. This result supports Conjecture A below, while Conjecture A (or alternatively the rational connectedness conjecture in [KoMiMo] which is still open when the dimension is at least 4) would imply that every log terminal Fano variety has a finite fundamental group (now a Theorem of S. Takayama).
We introduce a new technique, based on Gaussian maps, to study the possibility, for a given surface, to lie on a threefold as a very ample divisor with given normal bundle. We give several applications, among which one to surfaces of general type and another one to Enriques surfaces. For the latter we prove that any threefold (with no assumption on its singularities) having as hyperplane section a smooth Enriques surface (by definition an Enriques-Fano threefold) has genus g < 18 (where g is the genus of its smooth curve sections). The latter bound was also proved recently by Prokhorov, who al…
We study the deformations of a curve $C$ on an Enriques-Fano $3$-fold $X \subset \mathbb P^n$, assuming that $C$ is contained in a smooth hyperplane section $S \subset X$, that is a smooth Enriques surface in $X$. We give a sufficient condition for $C$ to be (un)obstructed in $X$, in terms of half pencils and $(-2)$-curves on $S$. Let $\operatorname{Hilb}^{sc} X$ denote the Hilbert scheme of smooth connected curves in $X$. By using the Hilbert-flag scheme of $X$, we also compute the dimension of $\operatorname{Hilb}^{sc} X$ at $[C]$ and give a sufficient condition for $\operatorname{Hilb}^{sc}…
Let $W\subset \mathbb{P}^{13}$ be the image of the rational map defined by the linear system of the sextic surfaces of $\mathbb{P}^3$ having double points along the edges of a tetrahedron. Let $\mathcal{L}$ be the linear system of the hyperplane sections of $W$. It is known that a general $S\in \mathcal{L}$ is an Enriques surface. The aim of this paper is to study the sublinear system $\mathcal{L}_{\bullet}\subset \mathcal{L}$ of the hyperplane sections of $W$ having a triple point at a general point $w \in W$. We will show that a general element of $\mathcal{L}_{\bullet}$ is birational to an …
Let $L$ be a line bundle on a K3 or Enriques surface. We give a vanishing theorem for $H^1(L)$ that, unlike most vanishing theorems, gives necessary and sufficient geometrical conditions for the vanishing. This result is essential in our study of Brill-Noether theory of curves on Enriques surfaces (reference [KL1]) and of Enriques-Fano threefolds (reference [KLM]).
We study nodal complete intersection threefolds of type $(2,4)$ in $\PP^5$ which contain an Enriques surface in its Fano embedding. We completely determine Calabi-Yau birational models of a generic such threefold. These models have Hodge numbers $(h^{11},h^{12})=(2,32)$. We also describe Calabi-Yau varieties with Hodge numbers equal to $(2,26)$, $(23,5)$ and $(31,1)$. The last two pairs of Hodge numbers are, to the best of our knowledge, new.
We define Enriques varieties as a higher dimensional generalization of Enriques surfaces and construct examples by using fixed point free automorphisms on generalized Kummer varieties. We also classify all automorphisms of generalized Kummer varieties that come from an automorphism of the underlying abelian surface.
Let M be a moduli scheme of stable sheaves with fixed Chern classes on an Enriques surface or a hyper-elliptic surface. If its expected dimension is 7 or more, then M admits only canonical singularities. Moreover, if M is compact, then its Kodaira dimension is zero.
We give a 1-dimensional family of classical and supersingular Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1. Moreover we show that there exist 30 nonsingular rational curves and ten non-effective (-2)-divisors on these Enriques surfaces whose reflection group is of finite index in the orthogonal group of the Neron-Severi lattice modulo torsion.
In this paper we consider moduli spaces of polarized and numerically polarized Enriques surfaces. The moduli spaces of numerically polarized Enriques surfaces can be described as open subsets of orthogonal modular varieties of dimension 10. One of the consequences of our description is that there are only finitely many isomorphism classes of moduli spaces of polarized and numerically polarized Enriques surfaces. We use modular forms to prove for a number of small degrees that the Kodaira dimension of the moduli space of numerically polarized Enriques surfaces is negative. Finally we prove that…
We study Ulrich bundles and their moduli on unnodal Enriques surfaces. In particular, we prove that unnodal Enriques surfaces are of wild representation type by constructing moduli spaces of stable Ulrich bundles of arbitrary rank and arbitrarily large dimension.
Complex Enriques surfaces with a finite group of automorphisms are classified into seven types. In this paper, we determine which types of such Enriques surfaces exist in characteristic 2. In particular we give a one dimensional family of classical and supersingular Enriques surfaces with the automorphism group isomorphic to the symmetric group of degree five.
We give an explicit description of the Godeaux surfaces that admit an involution such that the quotient surface is birational to an Enriques surface; these surfaces give a 6-dimensional unirational irreducible subset of the moduli space of surfaces of general type. In addition, we describe the Enriques surfaces that are birational to the quotient of a Godeaux surface by an involution and we show that they give a 5-dimensional unirational irreducible subset of the moduli space of Enriques surfaces. Finally, by degenerating our description we obtain some examples of non-normal stable Godeaux sur…
Mondromy and deformation-and-specialization arguments are used to produce a pencil of Enriques surfaces with no section and index one. The same technique completes the proof that the witness curves in "Rational connectivity ..." depend on the relative dimension.
We describe some one-dimensional moduli spaces of rank 2 Gieseker semistable sheaves on an Enriques surface improving earlier results of H. Kim. In case of a nodal Enriques surface the obtained moduli spaces are reducible for general polarizations. For unnodal Enriques surfaces we show how to reduce the study of moduli spaces of high even rank Gieseker semistable sheaves to low ranks. To prove this we use the method of K. Yoshioka who showed that in the odd rank one can reduce to rank 1.
We construct a 4-dimensional family of surfaces of general type with p_g=0 and K^2=3 and fundamental group Z/2xQ_8, where Q_8 is the quaternion group. The family constructed contains the Burniat surfaces with K^2=3. Additionally, we construct the universal coverings of the surfaces in our family as complete intersections on (\PP^1)^4 and we also give an action of Z/2xQ_8 on (\PP^1)^4 lifting the natural action on the surfaces. The strategy is the following. We consider an étale (Z/2)^3-cover T of a surface with p_g=0 and K^2=3 and assume that it may be embedded in a Fano 3-fold V. We construct…
We classify the bi-canonical representations of finite automorphisms on Enriques surfaces. There are three types of non-trivial cases and examples are given explicitly by Horikawa models. In particular, finite non-semi-symplectic automorphisms exist only in orders 4 and 8. One corollary is that any finite cyclic subgroup in the automorphism group of an Enriques surface has order 1, 2, 3, 4, 5, 6, 8. Moreover, for two of the three types, a uniqueness theorem for maximal-dimensional families is given.
We consider the class of singular double coverings $X \to \PP^3$ ramified in the degeneration locus $D$ of a family of 2-dimensional quadrics. These are precisely the quartic double solids constructed by Artin and Mumford as examples of unirational but nonrational conic bundles. With such quartic surface $D$ one can associate an Enriques surface $S$ which is the factor of the blowup of $D$ by a natural involution acting without fixed points (such Enriques surfaces are known as nodal Enriques surfaces or Reye congruences). We show that the nontrivial part of the derived category of coherent she…
We describe a period map for those simply connected Enriques surfaces in characteristic 2 whose canonical double cover is K3. The moduli stack for these surfaces has a Deligne-Mumford quotient that is an open substack of a $\mathbb P^1$-bundle over the period space. We also give some general results relating local and global moduli for algebraic varieties and describe the difference in their dimensions in terms of the failure of the automorphism group scheme to be reduced.
We study certain moduli spaces of sheaves on Enriques surfaces thereby obtaining, in every odd dimension, new examples of Calabi-Yau manifolds. We describe the geometry (canonical bundle, fundamental group, second Betti number and certain Hodge numbers) of these moduli spaces showing, in partial analogy to the well-known case of sheaves on K3 or Abelian surfaces, how the geometry of the surface reflects that of the moduli space itself.
In this note, we prove that the syzygy bundle $M_L$ is cohomologically stable with respect to $L$ for any ample and globally generated line bundle $L$ on an Enriques (resp. bielliptic) surface over an algebraically closed field of characteristic $\neq 2$ (resp. $\neq 2,3$). In particular our result on complex Enriques surfaces improves a result of Torres-López and Zamora by removing a condition on Clifford index. Together with the results of Camere and Caucci--Lahoz, it implies that $M_L$ is stable with respect to $L$ for an ample and globally generated line bundle $L$ on any smooth minimal co…
The main goal of this paper is to show that Castelnuovo- Enriques' $P_{12}$-theorem also holds for algebraic surfaces $S$ defined over an algebraically closed field $k$ of positive characteristic ($char(k) = p > 0$). The $P_{12}$-theorem is a precise version of the rough classification of algebraic surfaces, in particular the conditions $P_{12} = 0$, $P_{12} = 1$,$P_{12} \geq 2$ are respectively equivalent to : Kodaira dimension $-\infty, 0 , \geq 1$. The result relies on a main theorem describing the growth of the plurigenera for properly-elliptic or properly quasi-elliptic surfaces (surfaces…
In arXiv:1503.00125, the authors proved that every complete intersection smooth projective variety $Y$ is a Fano visitor, i.e. its derived category $D^b(Y)$ is equivalent to a full triangulated subcategory of the derived category $D^b(X)$ of a smooth Fano variety $X$, called a Fano host of $Y$. They also introduced the notion of Fano dimension of $Y$ as the smallest dimension of a Fano host $X$ and obtained an upper bound for the Fano dimension of each complete intersection variety. In this paper, we provide a Hodge-theoretic criterion for the existence of a Fano host which enables us to deter…
We describe a compactification by stable pairs (also known as KSBA compactification) of the $4$-dimensional family of Enriques surfaces which arise as the $\mathbb{Z}_2^2$-covers of the blow up of $\mathbb{P}^2$ at three general points branched along a configuration of three pairs of lines. Up to a finite group action, we show that this compactification is isomorphic to the toric variety associated to the secondary polytope of the unit cube. We relate the KSBA compactification considered to the Baily-Borel compactification of the same family of Enriques surfaces. Part of the KSBA boundary has …
We prove that the moduli space of empty real Enriques surfaces (and, thus, the moduli space of compact orientable 4-dimensional Einstein manifolds whose universal covering is a K3-surface and π_1(E) = Z/2 x Z/2) is connected. The proof is based on a systematic study of real elliptic pencils and gives explicit models of all empty real Enriques surfaces.
Building on the results of Deligne and Illusie on liftings to truncated Witt vectors, we give a criterion for non-liftability that involves only the dimension of certain cohomology groups of vector bundles arising from the Frobenius pushforward of the de Rham complex. Using vector bundle methods, we apply this to show that exceptional Enriques surfaces, a class introduced by Ekedahl and Shepherd-Barron, do not lift to truncated Witt vectors, yet the base of the miniversal formal deformation over the Witt vectors is regular. Using the classification of Bombieri and Mumford, we also show that bi…
The main purpose in this paper is to study the gonality, the Clifford index and the Clifford dimension on linearly equivalent smooth curves on Enriques surfaces. The method is similar to techniques of M.Green $\&$ R.Lazarsfeld and G.Pareschi.
In this article we explicitly compute equations of an Enriques surface via the involution on a K3 surface. We also discuss its tropicalization and compute the tropical homology, thus recovering a special case of the result of \cite{IKMZ}, and establish a connection between the dimension of the tropical homology groups and the Hodge numbers of the corresponding algebraic Enriques surface.
Given an Enriques surface $T$, its universal K3 cover $f: S\to T$, and a genus $g$ linear system $|C|$ on $T$, we construct the relative Prym variety $P_H=\Prym_{v, H}(\D/\CC)$, where $\CC\to |C|$ and $\D\to |f^*C|$ are the universal families, $v$ is the Mukai vector $(0,[D], 2-2g)$ and $H$ is a polarization on $S$. The relative Prym variety is a $(2g-2)$-dimensional possibly singular variety, whose smooth locus is endowed with a hyperkähler structure. This variety is constructed as the closure of the fixed locus of a symplectic birational involution defined on the moduli space $M_{v,H}(S)$. T…
We call a packing of hyperspheres in $n$ dimensions an Apollonian sphere packing if the spheres intersect tangentially or not at all; they fill the $n$-dimensional space; and every sphere in the packing is a member of a cluster of $n+2$ mutually tangent spheres (and a few more properties described herein). In this paper, we describe an Apollonian packing in eight dimensions that naturally arises from the study of generic nodal Enriques surfaces. The $E_7$, $E_8$ and Reye lattices play roles. We use the packing to generate an Apollonian packing in nine dimensions, and a cross section in seven d…
We define the over-exceptional lattice of a minimal algebraic surface of Kodaira dimension 0. Bounding the rank of this object, we prove that a conjecture by Campana and Corvaja--Zannier holds for Enriques surfaces, as well as K3 surfaces of Picard rank greater than 6 apart from a finite list of geometric Picard lattices. Concretely, we prove that such surfaces over finitely generated fields of characteristic 0 satisfy the weak Hilbert property after a finite field extension of the base field. The degree of the field extension can be uniformly bounded.
We introduce a holomorphic torsion invariant of log-Enriques surfaces of index two with cyclic quotient singularities of type $\frac{1}{4}(1,1)$. The moduli space of such log-Enriques surfaces with $k$ singular points is a modular variety of orthogonal type %of dimension $10-k$ associated with a unimodular lattice of signature $(2,10-k)$. We prove that the invariant, viewed as a function on the modular variety, is given by the Petersson norm of an explicit Borcherds product. We note that this torsion invariant is essentially the BCOV invariant in the complex dimension $2$. As a consequence, th…
We show that any toric Fano manifold of dimension at most eight with the positive second Chern character is isomorphic to the projective space by using polymake.
We study Fano manifolds of pseudoindex greater than one and dimension greater than five, which are blow-ups of smooth varieties along smooth centers of dimension equal to the pseudoindex of the manifold. We obtain a classification of the possible cones of curves of these manifolds, and we prove that there is only one such manifold without a fiber type elementary contraction.
We study the deformation theory of a Fano variety X with normal crossing singularities of dimension at most three. We obtain a formula for the sheaf T^1(X) of first order deformations of X in a suitable log resolution of X and its singular locus Z and we obtain explicit criteria for the existence of smoothings of X.
The Debarre-de Jong conjecture predicts that the Fano variety of lines on a smooth Fano hypersurface in $\mathbb{P}^n$ is always of the expected dimension. We generalize this conjecture to the case of Fano complete intersections and prove that for a Fano complete intersection $X\subset \mathbb{P}^n$ of hypersurfaces whose degrees sum to at most 7, the Fano variety of lines on $X$ has the expected dimension.
