31 pages. Correction in statement and proof of Prop. 1.5 and other minor modifications. Final version, accepted for publication in Journal de Mathématiques Pures et Appliquées
We prove that, for any $g \geq 2$, the étale double cover $ρ_g:\mathcal{E}_{g} \to \widehat{\mathcal{E}}_{g}$ from the moduli space $\mathcal{E}_{g}$ of complex polarized genus $g$ Enriques surfaces to the moduli space $\widehat{\mathcal{E}}_{g}$ of numerically polarized genus $g$ Enriques surfaces is disconnected precisely over irreducible components of $\widehat{\mathcal{E}}_{g}$ parametrizing $2$-divisible classes, answering a question of Gritsenko and Hulek. We characterize all irreducible components of $\mathcal{E}_{g}$ in terms of a new invariant of line bundles on Enriques surfaces that generalizes the $ϕ$-invariant introduced by Cossec. In particular, we get a one-to-one correspondence between the irreducible components of $\mathcal{E}_g$ and $11$-tuples of integers satisfying particular conditions. This makes it possible, in principle, to list all irreducible components of $\mathcal{E}_g$ for each $g \geq 2$.
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 construct a moduli space of adequately marked Enriques surfaces that have a supersingular K3 cover over fields of characteristic $p \geq 3$. We show that this moduli space exists as a scheme locally of finite type over $\mathbb{F}_p$. Moreover, there exists a period map from this moduli space to a period scheme and we obtain a Torelli theorem for supersingular Enriques surfaces.
We give a short and "classical" proof of Borcherds' theorem that the moduli space of Enriques surfaces is quasi-affine. The use of the Borcherds' product is replaced in our proof by an application of the Grothendieck-Riemann-Roch theorem.
We shall study the existence condition of slope stable sheaves on Enriques surfaces. We also gives a different proof of the irreducibility of the moduli spaces of rank 2 stable sheaves.
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 the moduli space of Enriques surfaces in positive characteristic and eventually over the integers, and determine its local and global structure. As an application, we show lifting of Enriques surfaces to characteristic zero. The key observation is that the canonical double cover of an Enriques surface is birational to the complete intersection of three quadrics in IP^5, even in characteristic 2.
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.
Using wall-crossing for K3 surfaces, we establish birational equivalence of moduli spaces of stable objects on generic Enriques surfaces for different stability conditions. As an application, we prove in the case of a Mukai vector of odd rank that they are birational to Hilbert schemes. The argument makes use of a new Chow-theoretic result, showing that moduli spaces on an Enriques surface give rise to constant cycle subvarieties of the moduli spaces of the covering K3.
We compute the intersection Betti numbers of the GIT model of the moduli space of numerically polarized Enriques surfaces of degree 2. The strategy of the cohomological calculation relies on a general method developed by Kirwan to compute the cohomology of GIT quotients of projective varieties, based on the equivariantly perfect stratification of the unstable points studied by Hesselink and others and a partial resolution of singularities, called Kirwan blow-up.
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 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.
We construct moduli spaces of semistable objects on an Enriques surface for generic Bridgeland stability condition and prove their projectivity. We further generalize classical results about moduli spaces of semistable sheaves on an Enriques surface to their Bridgeland counterparts. Using Bayer and Macrì's construction of a natural nef divisor varying with the stability condition, we begin a systematic exploration of the relation between wall-crossing on the Bridgeland stability manifold and the minimal model program for these moduli spaces. We give three applications of our machinery to obtai…
Let X be an Enriques surface over the field of complex numbers. We prove that there exists a nontrivial quaternion algebra A on X. Then we study the moduli scheme of torsion free A-modules of rank one. Finally we prove that this moduli scheme is an étale double cover of a Lagrangian subscheme in the corresponding moduli scheme on the associated covering K3 surface.
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 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.
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 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…
We use wall-crossing in the Bridgeland stability manifold to systematically study the birational geometry of the moduli space $M_σ(\mathbf{v})$ of $σ$-semistable objects of class $\mathbf{v}$ for a generic stability condition $σ$ on an arbitrary Enriques surface $X$. In particular, we show that for any other generic stability condition $τ$, the two moduli spaces $M_τ(\mathbf{v})$ and $M_σ(\mathbf{v})$ are birational. As a consequence, we show that for primitive $\mathbf{v}$ of odd rank $M_σ(\mathbf{v})$ is birational to a Hilbert scheme of points. Similarly, in even rank we show that $M_σ(\mat…
We simplify the usual statement of the Torelli theorem for complex Enriques surfaces, by means of a lattice-theoretic trick. This allows easy proofs of several known results, which previously required intricate arithmetic arguments. The main new result is that the moduli space has contractible universal cover.
We give some remarks on our papers with Minamide and Yanagida on Bridgeland stability conditions. We also give a remark on stability conditions on Enriques surfaces, and give another proof of the projectivity of the coarse moduli spaces of semi-stable objects, which were obtained by Nuer.
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.
Let S be a complex Enriques surface; it is the quotient of a K3 surface X by a fixed-point-free involution. The Brauer group Br(S) has a unique nonzero element. We describe its pull-back in Br(X), and show that the surfaces S for which it is trivial form a countable union of hypersurfaces in the moduli space of Enriques surfaces.
We discuss the Borisov-Nuer conjecture in connection with the canonical maps from the moduli spaces $\mathcal M_{En,h}^a$of polarized Enriques surfaces with fixed polarization type $h$ to the moduli space $\mathcal F_g$ of polarized $K3$ surfaces of genus $g$ with $g=h^2+1$, and we exhibit a naturally defined locus $Σ_g\subset\mathcal F_g$. One direct consequence of the Borisov-Nuer conjecture is that $Σ_g$ would be contained in a particular Noether-Lefschetz divisor in $\mathcal F_g$, which we call the Borisov-Nuer divisor and we denote by $\mathcal{BN}_g$. In this short note, we prove that $…
Given d in IN, we prove that any polarized Enriques surface (over any field of characteristic different from 2 or with a smooth K3 cover) of degree greater than 12d^2 contains at most 12 rational curves of degree at most d. For d>2 we construct examples of Enriques surfaces of high degree that contain exactly 12 rational degree d curves.
We prove that any Fourier--Mukai partner of an abelian surface over an algebraically closed field of positive characteristic is isomorphic to a moduli space of Gieseker-stable sheaves. We apply this fact to show that the Fourier--Mukai set of canonical covers of hyperelliptic and Enriques surfaces over an algebraically closed field of characteristic greater than three is trivial. These results extend to positive characteristic earlier results of Bridgeland--Maciocia and Sosna.
We prove the non-emptiness of $M_{H,Y}(v)$, the moduli space of Gieseker-semistable sheaves on an unnodal Enriques surface $Y$ with Mukai vector $v$ of positive rank with respect to a generic polarization $H$. This completes the chain of progress initiated by H. Kim in \cite{Kim98}. We also show that the stable locus $M^s_{H,Y}(v)\neq\varnothing$ for $v^2>0$. Finally, we prove irreducibility of $M_{H,Y}(v)$ in case $v^2=0$ and $v$ primitive.
We classify Enriques surfaces with smooth K3 cover and finite automorphism group in arbitrary positive characteristic. The classification is the same as over the complex numbers except that some types are missing in small characteristics. Moreover, we give a complete description of the moduli of these surfaces. Finally, we realize all types of Enriques surfaces with finite automorphism group over the prime fields $\mathbb{F}_p$ and $\mathbb{Q}$ whenever they exist.
In this paper, we consider the preservation of stability by using the notion of Twisted stability. As applications, (1) we show that moduli spaces of vector bundles on K3 and abelian surfaces are irreducible, (2) we compute Hodge polynomials of some moduli spaces of vector bundles on Enriques surfaces and on elliptic surfaces with a section.
The Borcherds Phi-function is the automorphic form on the moduli space of Enriques surfaces characterizing the discriminant locus. In this paper, we give an algebro-geometric construction of the Borcherds Phi-function.
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…
An action of a group $G$ on an Enriques surface $S$ is called Mathieu if it acts on $H^0(2K_S)$ trivially and every element of order 2, 4 has Lefschetz number 4. A finite group $G$ has a Mathieu action on some Enriques surface if and only if it is isomorphic to a subgroup of the symmetric group $\mathfrak{S}_6$ of degree 6 and the order $|G|$ is not divisible by $2^4$. Explicit Mathieu actions of the three groups $\mathfrak S_5, N_{72}$ and $\mathfrak A_6$, together with non-Mathieu one of $H_{192}$, on polarized Enriques surfaces of degree 30, 18, 10 and 6, respectively, are constructed witho…
In this note it is shown that associating to a principally polarized abelian variety its de Rham cohomology defines a faithfully flat morphism of the moduli space of principally polarized abelian varieties in positive characteristics to the moduli space of symplectic $F$-Zips as defined in \cite{MW}.
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 study the global structure of moduli spaces of quasi-isogenies of polarized p-divisible groups introduced by Rapoport and Zink. Using the corresponding results for non-polarized p-divisible groups from a previous paper, we determine their dimensions and their sets of connected components and of irreducible components.
We construct quasi-projective moduli spaces of $K$-general lattice polarized irreducible holomorphic symplectic manifolds. Moreover, we study their Baily--Borel compactification and investigate a relation between one-dimensional boundary components and equivalence classes of rational Lagrangian fibrations defined on mirror manifolds.
A Finsler metric, whose holomorphic curvature is bounded from above by a negative constant, is constructed on the moduli stack of canonically polarized manifolds including singularities. Demailly's version of Ahlfors' lemma yields hyperbolicity of the moduli stack.
We show that the moduli space of polarized irreducible symplectic manifolds of $K3^{[n]}$-type, of fixed polarization type, is not always connected. This can be derived as a consequence of Eyal Markman's characterization of polarized parallel-transport operators of $K3^{[n]}$-type.
We compute moduli spaces of Bridgeland stable objects on an irreducible principally polarized complex abelian surface corresponding to twisted ideal sheaves. We use Fourier-Mukai techniques to extend the ideas of Arcara and Bertram to express wall-crossings as Mukai flops and show that the moduli spaces are projective.
It has been observed, by S. Rayan, that the complex projective surfaces that potentially admit non-trivial examples of semistable co-Higgs bundles must be found at the lower end of the Enriques-Kodaira classification. Motivated by this remark, it is natural to study the geometry of these objects over $\mathbb{P}^1 \times \mathbb{P}^1$. In this paper, we present necessary and sufficient conditions on the Chern classes $c_1,c_2$ of a bundle that guarantee the non-emptiness of the moduli space $\mathcal{M^{\text{co}}}(c_1,c_2)$ of rank 2 semistable co-Higgs bundles over $\mathbb{P}^1 \times \math…
