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 elliptic ruled surface and that the image of $W$ via the rational map defined by $\mathcal{L}_{\bullet}$ is a cubic Del Pezzo surface $Δ\subset \mathbb{P}^3$ with $4$ nodes. Interestingly, this fact appears to be related to a conjecture of Castelnuovo.
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 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.
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 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.
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.
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 give some necessary conditions for a smooth irreducible curve $C\subset \mathbb{P}^4$ to be isolated in a smooth quintic threefold, and also find a lower bound for $h^1(\mathcal{N}_{C/{\mathbb{P}^4}})$. Combining these with beautiful results in Castelnuovo theory, we prove certain non-existence results on smooth curves in smooth quintic threefolds. As an application, we can prove Knutsen's list of examples of smooth isolated curves in general quintic threefolds is complete up to degree 9.
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 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.
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety $X$ is less than or equal to $deg(X)-codim(X)+1$. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that $reg(X) \le deg(X)-1$ for smooth threefolds $X$ …
The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\text{reg}(X) \leq d-1$, and we also classify the extremal cases. To achieve these results, we bound the regularity of fibe…
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]).
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…
We prove that there exists a pencil of Enriques surfaces defined over $\mathbb{Q}$ with non-algebraic integral Hodge classes of non-torsion type. This gives the first example of a threefold with the trivial Chow group of zero-cycles on which the integral Hodge conjecture fails. As an application, we construct a fourfold which gives the negative answer to a classical question of Murre on the universality of the Abel-Jacobi maps in codimension three.
Inspired by Beauville's recent construction of Ulrich sheaves on abelian surfaces, we pose the question of whether a torsion-free sheaf on a polarized smooth projective variety with Castelnuovo-Mumford regularity 1 is a GV (generic vanishing) sheaf, and present evidence that this question is governed by the positivity of cycles on generalized Brill-Noether loci. We prove that it has an affirmative answer for natural polarizations on many well-known irregular surfaces, as well as some polarizations on ruled threefolds over a curve.
We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective complex threefolds.
This paper develops families of complex Enriques surfaces whose Brauer groups pull back identically to zero on the covering K3 surfaces. Our methods rely on isogenies with Kummer surfaces of product type. We offer both lattice theoretic and geometric constructions. We also sketch how the construction connects to string theory and Picard-Fuchs equations in the context of Enriques Calabi-Yau threefolds.
The Weakly Special Conjecture contradicts orbifold Mordell, and hence the abc conjecture
Radboud University(拉德堡德大学);Université de Lorraine(洛林大学);Institut Élie Cartan de Lorraine, Université de Lorraine(洛林大学埃利·嘉当研究所);IMAPP Radboud University Nijmegen(奈梅亨拉德堡德大学IMAPP);Laboratoire Analyse, Géométrie et Applications, Institut Galilée - Université Sorbonne Paris Nord(索邦巴黎北大学吉莱研究所分析与几何应用实验室)
We use a topological framework to study descendent Gromov-Witten theory in higher genus, non-toric settings. Two geometries are considered: surfaces of general type and the Enriques Calabi-Yau threefold. We conjecture closed formulas for surfaces of general type in classes K and 2K. For the Enriques Calabi-Yau, Gromov-Witten invariants are calculated in genus 0, 1, and 2. In genus 2, the holomorphic anomaly equation is found.
A projectively normal Calabi-Yau threefold $X \subseteq \mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $\math…
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(C)$ of a general hyperplane section curve $C = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$. We show that each of these surfaces is either a cone over a curve $C \subset \mathbb{P}^{r-1}$ of maximal regularity or else a birational outer linear projection of a smooth rational surface scroll $\widetilde{X} \subset \mathbb{P}^{d+1}$. We prove that the Castelnuovo-Mumford regularity of th…