On Enriques-Fano threefolds and a conjecture of Castelnuovo

Let W⊂P13\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$W\subset \mathbb {P}^{13}$$\end{document} be the image of the rational map defined by the linear system of the sextic surfaces of P3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {P}^3$$\end{document} having double points along the edges of a tetrahedron. Let L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}$$\end{document} be the linear system of the hyperplane sections of W. It is known that a general S∈L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S\in \mathcal {L}$$\end{document} is an Enriques surface. The aim of this paper is to study the sublinear system L∙⊂L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}_{\bullet }\subset \mathcal {L}$$\end{document} of the hyperplane sections of W having a triple point at a general point w∈W\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$w \in W$$\end{document}. We will show that a general element of L∙\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}_{\bullet }$$\end{document} is birational to an elliptic ruled surface and that the image of W via the rational map defined by L∙\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}_{\bullet }$$\end{document} is a cubic Del Pezzo surface Δ⊂P3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta \subset \mathbb {P}^3$$\end{document} with 4 nodes. Interestingly, this fact appears to be related to a conjecture of Castelnuovo.


Introduction
Let L be an r-dimensional linear system of surfaces of P 3 such that the desingularization S of the general element S ∈ L has zero geometric genus p g ( S) = 0 and zero arithmetic genus p a ( S) = 0.It follows that S is regular, i.e. it has zero irregularity q( S) = 0. We also recall that a variety is said to be irregular if it has positive irregularity; moreover, we will say that a singular variety X has regular (respectively, irregular ) desingularization if, for each resolution of singularities f ∶ X → X, we have q( X) = 0 (respectively, q( X) > 0).What happens if we force the surfaces of L to have a triple point at a general point of P 3 ?Castelnuovo conjectured in [4, pp. 187-188] that one gets an (r − 10)-dimensional sublinear system L • ⊂ L whose general element satisfies one of the following three properties: (A) it is an irreducible surface whose desingularization is an irregular surface with zero geometric genus and with arithmetic genus equal to −1; (B) it is reducible in two rational surfaces intersecting along a rational curve; (C) it has the same genera as a general element of L.
Castelnuovo also observed that the first property is impossible if r > 19.Moreover, he stated that, if 13 ≤ r ≤ 19 and if the first property occurs, the image of P 3 via the rational map defined by L • is a Del Pezzo surface in P r−10 of degree 3 ≤ r − 10 ≤ 9. We will apply the arguments of Castelnuovo to (rational) regular smooth irreducible threefolds (see § 2).A natural adaptation to (rational) threefolds with isolated singularities and with regular desingularization follows, as we will see in § 3.
An example of such threefolds is the classical Enriques-Fano threefold, which was found by Fano in [11, §8] and which is the image of the 13-dimensional linear system of the sextic surfaces of P 3 having double points along the six edges of a tetrahedron.Let W ⊂ P 13 be the classical Enriques-Fano threefold and let L be the 13-dimensional linear system of its hyperplane sections.It is known that W is rational, that W has only eight singular points, and that a general S ∈ L is an Enriques surface, which is a smooth irreducible surface with p g (S) = p a (S) = 0. We will study the sublinear system L • ⊂ L of the hyperplane sections of the classical Enriques-Fano threefold W having a triple point at a general point w ∈ W (see § 5).We will find that the general element of this sublinear system satisfies the property (A) conjectured by Castelnuovo.In particular, we will prove the following result.
Theorem 1.1.Let (W, L) be the classical Enriques-Fano threefold.Let L • ⊂ L be the sublinear system of the hyperplane sections of W having a triple point at a general point w ∈ W . Then (i) a general S • ∈ L • is birational to an elliptic ruled surface; (ii) the image of W via the rational map defined by L • is a Cayley cubic surface, that is a cubic Del Pezzo surface in P 3=13−10 with four singular points.
More generally, an Enriques-Fano threefold is a normal threefold W endowed with a complete linear system L of ample Cartier divisors such that the general element S ∈ L is an Enriques surface and such that W is not a generalized cone over S. Every Enriques-Fano threefold is known to be singular with isolated singular points (see [6] and [9,Lemma 3.2]) and to have regular desingularization (see [7,Lemma 4.1]); nevertheless, the classification of these objects still remains an open question.
In § 4 we will show that the Enriques-Fano threefold found by Bayle in [1, §6.3.2](and also by Sano in [16,Theorem 1.1 No.14]) coincides with the classical Enriques-Fano threefold: we will do this thanks to a computational analysis with the software Macaulay2.Finally, let (W, L) be the Enriques-Fano threefold found by Prokhorov in [15,Proposition 3.2], which we will refer to as Prokhorov-Enriques-Fano threefold of genus 17 : we will see that also by imposing a triple point at the general element of L, one obtains a surface whose desingularization has q = 1, p g = 0 and p a = −1.Indeed, in § 6, we will prove the following result.
Remark 2.2.Let W be a smooth irreducible threefold and let L be a linear system on W such that dim L ≥ 2 and such that the general element is a smooth irreducible surface.Let us suppose that L has base curves.One can take appropriate blow-ups of W along these curves until one gets a birational morphism bl ∶ W → W such that the strict transform L of L has no base curves.Let S be an element of L. It follows that S is a nef divisor.Furthemore S is the strict transform of an element S ∈ L. If S is a big divisor, then S is big too.Some consequences of Proposition 2.1 are stated in [5, §6] for the 3-dimensional projective space W = P 3 .We will adapt them for any regular smooth irreducible threefold.
Proposition 2.3.Let W be a regular smooth irreducible threefold endowed with an r-dimensional linear system L such that r ≥ 3 and such that the general element is a smooth irreducible surface.If the intersection of two general surfaces of L, outside the base locus, is an irreducible curve, then a general element S ∈ L is a regular surface.
Proof.We may assume that the base locus of L is empty or at worst a finite set.Indeed, if this were not the case, the proof could proceed with the pair (W , L) of Remark 2.2 instead of the pair (W, L).This is possible since a general S ∈ L is a smooth surface isomorphic to a general S ∈ S and such that q(S) = q(S).
Let us now fix a general S ∈ L, which is a nef divisor, and let us suppose that S is an irregular surface.Let ∆ ⊆ P r be the image of the rational map φ L ∶ W ⇢ P r defined by L. Since r ≥ 3 > 1 and S is irreducible by hypothesis, then dim ∆ > 1.Furthermore, we have that dim ∆ < 3, since S is not a big divisor (see Proposition 2.1).So ∆ is a surface and the general fibre of φ L is a curve.Let S ′ be another general element of L. The intersection curve S ∩ S ′ is sent by φ L to the intersection of two general hyperplane sections of ∆, which is a set of d ∶= deg ∆ points of ∆.We observe that ∆ cannot be a plane, since r ≥ 3 > 2. Hence we have that S ∩ S ′ is a reducible curve given by d ≥ 2 fibres of φ L .Since this is a contradiction with the hypothesis, then S must be regular.
We recall that a one-dimensional linear system on a variety is called pencil.Let us extend the use of this term.Let S be a smooth surface and let B be a smooth curve of genus b ≥ 0. A surjective rational map f ∶ S ⇢ B with connected fibres is called pencil of genus b of curves on S. All the curves of such a pencil are linearly equivalent if and only if b = 0.In this case we will refer to it as rational pencil.If b > 0, we will talk about irrational pencil and, in this case, f is a morphism (see [2, p.114]).In particular, an irrational pencil of genus one is called elliptic pencil.Definition 2.4.A congruence of curves of a threefold W is a two-dimensional irreducible family V of curves contained in W such that only one curve of the family passes through a general point of W . Proposition 2.5.Let W be a regular smooth irreducible threefold endowed with an r • -dimensional linear system L • , where r • ≥ 3, such that the general element is an irregular smooth irreducible surface.Then two general elements S • and S ′ • of L • intersect each other (outside the base locus) along a reducible curve.In particular, on a fixed S • , the components of such a curve are fibres of a pencil of genus b, where 0 ≤ b ≤ q(S • ).Furthermore, by moving the surface S • , these component curves give a congruence V of curves of W .
Proof.We may assume that L • is base point free.Indeed, if L • had base curves, then we could take the pair (W , L • ) as in Remark 2.2, where L • has no base curves.If L • still had a finite set of base points, then we could blow-up such points until we get a birational morphism bl ∶ W → W such that the strict transform L• of L • is base point free.Thus, we could continue the proof by denoting the pair ( W , L• ) by (W, L • ): this is possible since a general surface S• ∈ L• is birational to a general surface S • ∈ L • and they have the same irregularity.
Therefore, since the divisors of L • are not big (see Proposition 2.1), then the image of the morphism φ • ∶ W → P r• defined by L • is not a threefold.Moreover, since r • ≥ 3 > 1 and the elements of L • are generically irreducible, then φ • (W ) is not even a curve.The image of W via φ • is thus a surface ∆ and a general Furthermore, the fibres of ψ ∶ S • → B are generically equal to the ones of φ • S• ∶ S • → Γ.By Proposition 2.3 we have that the curves on S • given by the intersection with other general elements of L • are reducible; in particular the components of such curves are fibres of the map φ • S• ∶ S • → Γ.We observe that 0 ≤ b ∶= p g (B) = p g (Γ) ≤ q(S • ), since we have the injection Finally, by moving the surface S • , we obtain that the fibres of the morphism φ • ∶ W → ∆ ⊂ P r• give a two dimensional family V such that through a general point w ∈ W only one curve of the family passes, that is If we take W = P 3 as in [5, §6], or more in general a rational smooth irreducible threefold, instead of any regular smooth irreducible threefold, we obtain an additional property.Let us see which one.
Remark 2.6.Let (W, L • ) be a pair given by a threefold and a linear system satisfying the hypothesis of Proposition 2.5.If W is rational, the congruence V of curves of W is parametrized by a rational surface R. Let us explain why.Through a general point w ∈ W only one curve γ w ∈ V passes (see Definition 2.4).If R is the surface parametrizing the curves of V, let r w be the point of R corresponding to the curve γ w .We have a dominant rational map W ⇢ R such that w ↦ r w .Since W is rational, then R is unirational, and so, as consequence of the Castelnuovo Rationality criterion, R is rational.
Castelnuovo's conjecture.Let us take a rational smooth irreducible threefold W and an r-dimensional linear system L on W such that a general S ∈ L is a smooth irreducible surface with zero geometric genus p g (S) = 0 and zero arithmetic genus p a (S) = 0. Let L • be the sublinear system of L given by the surfaces of L having a triple point at a general point w ∈ W . Then the linear system L • has dimension r − 10 and one of the following conditions occurs: Let us suppose that case (A) of Castelnuovo's conjecture occurs.Let us consider the blow-ups necessary to obtain a birational morphism bl ∶ W → W such that the strict transform S• of S • is a smooth irreducible surface moving in an r-dimensional base point free linear system, given by the strict transform L• of L • .If r ≥ 13, then r • ∶= dim L • = r − 10 ≥ 3 and we can apply Proposition 2.5 to the pair ( W , L• ).Thus, the intersection of two general surfaces of L• is the union of some elements of a congruence of curves of W .These curves are fibres of a pencil of genus b on a general surface S• ∈ L• , where 0 ≤ b ≤ q( S• ) = 1.In particular, if φ• ∶ W → P r• is the morphism defined by L• , we have that b ∶= p g (Γ) where Γ ∶= φ• (S • ).Furthermore, ∆ ∶= φ• ( W ) is a rational surface of P r• with general hyperplane section Γ (see Remark 2.6).
Remark 2.7.If case (A) of Castelnuovo's conjecture occurs, if r ≥ 13 and if Γ is an elliptic curve, then ∆ ⊂ P r• is a Del Pezzo surface (see [3, VI, Exercise (1)]).In this case ∆ ⊂ P r• is represented on the projective plane P 2 by a linear system D of elliptic curves with dim D ≤ 9. Since the linear system L • is in birational correspondence with the linear system D, we have dim D = dim L • = r − 10 ≤ 9, which implies r ≤ 19.

Castelnuovo's conjecture for singular threefolds
Interestingly, Castelnuovo's conjecture, its consequences and preliminary results can be adapted to singular threefolds.Let us see which ones and how.Let W be an irreducible threefold with isolated singularities and let L be an r-dimensional linear system on W , where r ≥ 2, such that the general element S ∈ L is a smooth irreducible surface disjoint from the singular points of W .Let us take a resolution f ∶ W → W of the singularities of W . Since f is an isomorphism outside the singular points of W , we have that the surface f −1 (S) is isomorphic to S. Furthermore, f −1 (S) moves in the linear system L ∶= f * L, which still has dim L = r.Consequently we have a smooth irreducible threefold W endowed with an r-dimensional linear system L, where r ≥ 2, such that the general element Ŝ ∈ L is a smooth irreducible surface.If in addition W is rational and p g (S) = p a (S) = 0, then W is rational too and p g ( Ŝ) = p a ( Ŝ) = 0. Let w be a general point of W : since we may assume that w is not a singular point of W , then ŵ ∶= f −1 (w) is still a point of W . Furthermore, if L • is the sublinear system of L given by the surfaces of L having a triple point at w ∈ W , then L• ∶= f * L • is the sublinear system of L given by the surfaces of L having a triple point at ŵ ∈ W . Thus, we can adapt Castelnuovo's conjecture to a rational irreducible threefold W with isolated singularities endowed with an r-dimensional linear system L whose general element is a smooth irreducible surface disjoint from the singular points of W , since we can birationally work with the pair ( W , L) defined as above.For completeness, let us state the following results.
Theorem 3.1.Let W be an irreducible threefold with isolated singularities and let L be an r-dimensional linear system on W , where r ≥ 2, such that the general element is a smooth irreducible surface disjoint from the singular points of W .If the elements of L are big and nef divisors, then a desingularization of W has the same irregularity as a general surface S ∈ L.
Proof.Let us apply Proposition 2.1 to the pair ( W , L), constructed as above.
Theorem 3.2.Let W be an irreducible threefold with isolated singularities and let L be an r-dimensional linear system on W , where r ≥ 3, such that the general element is a smooth irreducible surface disjoint from the singular points of W .If W has regular desingularization and if the intersection of two general surfaces of L (outside the base locus) is an irreducible curve, then a general element S ∈ L is a regular surface.
Proof.Let us apply Proposition 2.3 to the pair ( W , L), constructed as above.
Theorem 3.3.Let W be an irreducible threefold with isolated singularities and let L • be an r • -dimensional linear system on W , where r • ≥ 3, such that the general element is an irregular smooth irreducible surface disjoint from the singular points of W .If W has regular desingularization, then two general elements S • and S ′ • of L • intersect each other (outside the base locus) along a reducible curve.In particular on a fixed S • , the components of such a curve are fibres of a pencil of genus b with 0 ≤ b ≤ q(S • ).Furthermore, by moving the surface S • , these component curves give a congruence of curves of W .
Proof.Let us apply Proposition 2.5 to the pair ( W , L• ), constructed as above.
We will study a particular type of pair (W, L) with the properties seen above.Let us recall that an Enriques surface is a smooth, irreducible surface S with zero irregularity q(S) = 0 and non-trivial canonical divisor K S such that 2K S ∼ 0.
(ii) L is a complete linear system of ample Cartier divisors on W such that the general element S ∈ L is an Enriques surface; (iii) W is not a generalized cone over S, i.e., W is not obtained by contraction of the negative section on the P 1 -bundle P(O S ⊕ O S (S)) over S.
We define the genus and the degree of an Enriques-Fano threefold (W, L) to be, respectively, the values p ∶= S 3 2 + 1 and deg(W ) ∶= S 3 , where S ∈ L. Hence deg(W ) = 2p − 2. The linear system L defines a rational map φ L ∶ W ⇢ P p , where dim L = p ≥ 2. Furthermore, the genus p of an Enriques-Fano threefold (W, L) is at most 17 and the bound is sharp (see [13] and [15]).Definition 3.5.Let W be a normal variety such that its canonical divisor K W is Q-Cartier.Let f ∶ W → W be a resolution of the singularities of W and let {E i } i∈I be the family of all irreducible exceptional divisors.Since we have that say that the singularities of W are terminal if a i > 0 for all i, and they are canonical if a i ≥ 0 for all i.
It is known that every Enriques-Fano threefold (W, L) is singular with isolated singular points (see [9,Lemma 3.2]): moreover K W is 2-Cartier and these singularities are canonical (see [6]).Since a general S ∈ L is a Cartier divisor on W and it is an Enriques surface, then S is a smooth surface with zero geometric genus and zero arithmetic genus which is disjoint from the singular points of W . Furthermore, W has regular desingularization (see [7,Lemma 4.1]).Although the classification of Enriques-Fano threefolds (W, L) still accounts for an open question, examples have been found by several authors.Fano claimed that Enriques-Fano threefolds exist only for p = 4, 6, 7, 9, 13 (see [11]), but his classification is incomplete.Under the assumption that the singularities of W are terminal cyclic quotients, the Enriques-Fano threefolds were classified by Bayle in [1] and, in a similar and independent way, by Sano in [16].If W appears in the papers of Bayle and Sano, it has genus 2 ≤ p ≤ 10 or p = 13.More generally, if an Enriques-Fano threefold has terminal singularities, then it admits a Q-smoothing, i.e., it appears as central fibre of a small deformation over the 1-parameter unit disk such that a general fibre only has cyclic quotient terminal singularities (see [14,Main Theorem 2]).Hence every Enriques-Fano threefold with only terminal singularities is a limit of the ones contained in the papers of Bayle and Sano.Thus, to complete the classification, the case of non-terminal canonical singularities ought to be considered.To date, only a few examples of Enriques-Fano threefolds with non-terminal canonical singularities are known: one of genus p = 9 found by Knutsen, Lopez and Muñoz in [13] and another one of genus 17 found by Prokhorov in [15].Finally there is an Enriques-Fano threefold of genus 13, which was mentioned very briefly by Prokhorov (see [15,Remark 3.3]).

Enriques-Fano threefolds of genus greater than or equal to 13
In order to adapt the ideas of Castelnuovo to the Enriques-Fano threefolds (W, L), we are interested in the ones of genus p = dim L ≥ 13.Let us list the known Enriques-Fano threefolds of genus 13 ≤ p ≤ 17.
The classical Enriques-Fano threefold.Let S be the linear system of the sextic surfaces of P 3 having double points along the six edges of a fixed tetrahedron T ⊂ P 3 .Up to a change of coordinates, one can consider the tetrahedron T = {s 0 s 1 s 2 s 3 = 0} in P 3  [s0∶s1∶s2∶s3] .In this case S has equation [12, p.635]).Then dim S = 13 and a general element of S has triple points at the vertices of T .The rational map ν S ∶ P 3 ⇢ P 13 defined by S is birational onto the image, which we will denote by W 13  F ; indeed, the linear system S is very ample outside the tetrahedron T , since it contains a sublinear system whose fixed part is given by the tetrahedron T and whose movable part is given by the quadric surfaces of P 3 .If L denotes the linear system of the hyperplane sections of W 13  F ⊂ P 13 , then (W 13  F , L) is an Enriques-Fano threefold of genus p = 13 (see [11, §8]).The threefold W 13  F is rational by construction and it has eight quadruple points whose tangent cone is a cone over a Veronese surface.We will refer to this Enriques-Fano threefold (W 13  F , L) as the classical Enriques-Fano threefold.The Enriques-Fano threefold of genus 13 found by Bayle and Sano.Let us consider the smooth Fano threefold X = P 1 × P 1 × P 1 and the involution σ ∶ X → X given by which has the following eight fixed points BS , which is defined by the sublinear system of − K X given by the σ-invariant elements.The threefold W 13 BS is an Enriques-Fano threefold of genus 13 and it is endowed by a linear system L defining an embedding φ L ∶ W 13  BS ↪ P 13 (see [1, §6.3.2] and [16, Theorem 1.1 No.14]).Furthermore, W 13  BS has eight singular points, given by the images via π of the eight fixed points of σ.Thanks to the use of Macaulay2 it turns out that the embedding of W 13  BS in P 13 is the classical Enriques-Fano threefold (see Code A.1 of Appendix A).
The Prokhorov-Enriques-Fano threefold of genus 17.Let P be the octic Del Pezzo surface given by the image of the anticanonical embedding of P 1 × P 1 in P 8 , which is defined by the linear system of the divisors of bidegree (2, 2), i.e. where Let us consider P 8 as the hyperplane {x = 0} in the 9-dimensional projective space P 9 [y0,0∶⋅⋅⋅∶y2,2∶x] and let us take the cone V over P with vertex at v ∶= [0 ∶ ⋅ ⋅ ⋅ ∶ 0 ∶ 1].The cone V is a Fano threefold with anticanonical divisor −K V = 2M , where M is the class of the hyperplane sections of V (see [15,Lemma 3.1]).Let τ ∶ V → V be the involution defined by τ (x) = −x and τ (y i,j ) = (−1) i+j y i,j .This involution has five fixed points v, v 0,0 , v 0,2 , v 2,0 , v 2,2 , where v i,j ∶= {x = 0, y k,l = 0 (k, l) ≠ (i, j)}.There exists a linear system Q of quadric sections of V such that Q is base point free and each member of Q is τinvariant: it is given by the restriction on V of the quadric hypersurfaces of P 9 of type q 1 (y 0,0 , y 0,2 , y 1,1 , y 2,0 , y 2,2 ) + q 2 (y 0,1 , y 1,0 , y 1,2 , y 2,1 , x) = 0, where q 1 and q 2 are quadratic homogeneous forms.In particular a general member S ∈ Q is smooth, it does not contain any of v, v 0,0 , v 0,2 , v 2,0 , v 2,2 and the action of τ on S is fixed point free be the quotient morphism and let S ∶= π( S) = S τ .Then S is a smooth Enriques surface and if we set L ∶= O W 17 P (S) , we have that (W 17 P , L) is an Enriques-Fano threefold of genus 17 (see [15,Proposition 3.2]).The threefold W 17  P is unirational by construction and it has five singular points, given by the images via π of the five fixed points of τ .Understanding whether W 17  P is rational remains an open question.We will refer to this Enriques-Fano threefold (W 17 P , L) as the Prokhorov-Enriques-Fano threefold of genus 17.
The Prokhorov-Enriques-Fano threefold of genus 13.Let S 6 ⊂ P 6 be the sextic Del Pezzo surface, which is the image of P 2 via the rational map defined by the linear system of the cubic plane curves passing through three fixed points in general position.Let us consider P 6 as a hyperplane H in a 7-dimensional projective space P 7 and let us take the cone V over S 6 with vertex at a general point v ∈ P 7 .Prokhorov claimed that one can construct an Enriques-Fano threefold (W 13 P , L) of genus 13, in a similar way as for the Prokhorov-Enriques-Fano threefold of genus 17 (see [15,Remark 3.3]).We will refer to this object as the Prokhorov-Enriques-Fano threefold of genus 13.
In § 5 we will apply the ideas of Castelnuovo to the classical Enriques-Fano threefold (W 13  F , L): we will see that case (A) of Castelnuovo's conjecture occurs for (W 13  F , L) (see Theorem 1.1).This will lead to the claim that case (A) of Castelnuovo's conjecture also occurs for the Prokhorov-Enriques-Fano threefold of genus 17 (see Corollary 1.2).We observe that it actually makes sense to ask ourselves about the link between the arguments of Castelnuovo and the Prokhorov-Enriques-Fano threefolds, since the Remark 2.6 also holds for a unirational variety.

Castelnuovo's conjecture for the classical Enriques-Fano threefold
Let us consider the classical Enriques-Fano threefold (W = W 13 F , L).We aim to study the sublinear system L • ⊂ L of the hyperplane sections of W with triple point at a general point w ∈ W .
We recall that W is the image of P 3 via the birational map ν S ∶ P 3 ⇢ W ⊂ P 13 , defined by the linear system S of the sextic surfaces having double points along the edges of a tetrahedron T (see [11, §8]).Let us fix the tetrahedron T ⊂ P 3 with vertices v 0 , v 1 , v 2 , v 3 and faces f 0 , f 1 , f 2 , f 3 , such that f i is the face opposite to the vertex v i , and let us denote the edges by l ij ∶= f i ∩ f j , for 0 ≤ i < j ≤ 3.By definition, for each surface S ∈ L there is a unique sextic surface Σ ∈ S such that S = ν S (Σ).Hence, if we take a surface S • ∈ L • ⊂ L, there must exist a unique sextic surface Σ • ∈ S such that S • = ν S (Σ • ).This surface Σ • is a particular surface of S, which has triple point at the point p ∈ P 3 such that w = ν S (p).We can so represent the linear system L • on W via the sublinear system S • ⊂ S on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the point p ∈ P 3 such that ν S (p) = w.Since w is a general point of W , we may consider p as a general point of P 3 .A priori we have that r • ∶= dim S • ≥ dim S − 10 = 13 − 10 = 3 and that the linear system S • defines a rational map ν • ∶ P 3 ⇢ P r• .
Let us take the plane ⟨p, l 0i ⟩ generated by the point p and the edge l 0i , for a fixed index 1 ≤ i ≤ 3.If 1 ≤ j < k ≤ 3 with j, k ≠ i, then the edges l 0i and l jk are disjoint lines of P 3 ; so the plane ⟨p, l 0i ⟩ and the line l jk intersect at a point, outside l 0i .Let r i be the line joining this point and the point p, i.e. r i ∶= ⟨p, ⟨p, l 0i ⟩ ∩ l jk ⟩.Proposition 5.1.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Then the three lines r 1 , r 2 , r 3 are contained in the base locus of S • .
Proof.Assume the contrary.Let us take a surface Σ • ∈ S • and let us fix 1 ≤ i, j, k ≤ 3 with j < k and j, k ≠ i.By Bezout's Theorem, Σ • ∩ r i is given by 6 points.Since r i is a line of the plane ⟨p, l 0i ⟩, then it intersects the line l 0i at a point.Thus, r i is a line joining the triple point p of Σ • and two particular double points of Σ • , each one lying in one of the two opposite disjoint edges l 0i and l jk .Then Σ • ∩ r i contains at least 3 + 2 + 2 = 7 points, counted with multiplicity.This is a contradiction, so Let us denote by A the two-dimensional linear system of the planes of P 3 passing through the point p.On a general plane α ∈ A we can construct a cubic plane curve γ α with node at p and passing through the six points given by the intersection of α with the six edges of the tetrahedron T .Let us denote these six points by Lemma 5.2.On a general plane α ⊂ P 3 passing through the point p, there is a unique cubic plane curve γ α , defined as above.
Proof.Let g be the linear system of the cubic plane curves on α passing through the six points {A ij 0 ≤ i < j ≤ 3} and having a node at p.If the six fixed points had been general, we would have imposed 2⋅3  2 + ∑ 6 i=1 1 = 9 independent conditions.In our case the points {A ij 0 ≤ i < j ≤ 3} are not in general position: indeed, they are the vertices of a complete quadrilateral whose edges are the intersection of the plane α with the four faces of the tetrahedron T .Hence dim g ≥ 3+2 2 − 9 − 1 = 0. We want to show that the equality holds.In order to do it, we take the blow-up bl ∶ α → α of the plane α at the points {A ij 0 ≤ i < j ≤ 3} ∪ p, by denoting the exceptional divisors by e ij = bl −1 (A ij ) and e p = bl −1 (p), for 1 ≤ i < j ≤ 3.If we denote by the strict transform of a general line of α, then the strict transform of a general γ α ∈ g is γα ∼ 3 − 2e p − ∑ 0≤i<j≤3 e ij .By the generality of the point p ∈ P 3 , we may assume that the five points p, A 02 , A 13 , A 03 , A 12 are in general position, since no three of them are collinear.So we can consider the unique irreducible conic δ passing through p, A 02 , A 13 , A 03 , A 12 , as in Figure 1, which has strict transform δ ∼ 2 − e p − e 02 − e 13 − e 03 − e 12 .Since γα ⋅ δ = 0, then we have the following exact Lemma 5.3.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Then the rational map ν • ∶ P 3 ⇢ P r• defined by S • contracts the cubic plane curves γ α , constructed as above.
Proof.By Bezout's Theorem, a general element Σ • ∈ S • intersects a cubic plane curve γ α in 6 ⋅ 3 = 18 points.Furthermore, Σ • and γ α have in common, in the base locus of S • , the point p (which is a triple point for Σ • and a node for γ α ) and the six points {A ij 0 ≤ i < j ≤ 3} (which are nodes for Σ • and simple points for γ α ).Hence, outside the base locus, we have that Σ • ∩ γ α is given by 6 Remark 5.4.Thanks to a computational analysis via Macaulay2, one can see that the general fibre of the rational map ν • ∶ P 3 ⇢ P r• defined by S • is a cubic plane curve γ α (see Code A.2 of Appendix).
Proposition 5.5.The cubic plane curves γ α , defined as above, give a congruence V of curves of P 3 .
Proof.By Lemma 5.2 we have that the set of the cubic plane curves γ α is a 2dimensional family V.In particular V is birationally parametrized by the same projective plane P 2 parametrizing the planes passing through p.It remains to show that, given a general point p ′ ∈ P 3 , there is a unique curve of V passing through it.By Lemma 5.3 and Remark 5.4 we have that the curves of V are the general fibres of the rational map ν Corollary 5.6.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Then the image of P 3 via the rational map ν • ∶ P 3 ⇢ P r• defined by S • is a surface ∆ ⊂ P r• .
Proof.Let ∆ be the image of P 3 via ν • .By Lemma 5.3 and Remark 5.4, the general fibre of ν • is a cubic plane curve, so we have dim ∆ = 3 − 1 = 2.
Let us now pay attention to a particular surface of P 3 .Let us consider the linear system c on P 2 given by the cubic plane curves passing through the six vertices of a complete quadrilateral.The image of P 2 via the rational map defined by c is a special Del Pezzo surface of degree 3, which is called Cayley cubic surface (see [10, §9.2.2]).This surface has four singular points whose tangent cone is a quadric cone: we will refer to these singularities as nodes.The four nodes of the Cayley cubic surface are given by the image of the four edges of the fixed complete quadrilateral.
Theorem 5.7.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Then the image of P 3 via the rational map ν • ∶ P 3 ⇢ P r• defined by S • is a Cayley cubic surface ∆ ⊂ P 3 .Thus, r • = 3.
Proof.Let us take a general element α ∈ A, i.e. a general plane passing through p.If we restrict the linear system S • to this plane, we obtain the linear system s on α of the sextic plane curves with triple point at p and nodes at the six points {A ij 0 ≤ i < j ≤ 3}.The plane α and a general fibre of ν • intersect, outside the base locus of S • , at a single point: indeed, the general fibre of ν • is a cubic plane curve γ α ′ contained in a plane α ′ ∈ A, where α ′ ≠ α; so we have that α intersects γ α ′ , outside the base locus of S • , at 1 ⋅ 3 − 1 ⋅ 2 = 1 point.Then the linear system s defines the rational map ν • α ∶ α ≅ P 2 ⇢ P r• which is generically 1 ∶ 1.In the following we will see that, by applying three quadratic transformations, we obtain, from s, the linear system c of the cubic plane curves passing through the six vertices of a complete quadrilateral.Thus, the image of α via ν • α is the image of P 2 via the rational map defined by c, that is a Cayley cubic surface.By Corollary 5.6, this is the image ∆ of P 3 via ν • ∶ P 3 ⇢ P r• .Hence r • = 3.
Let us recall that the four faces of the tetrahedron T intersect the plane α along four lines: the line ⟨A 01 , A 02 , A 03 ⟩ passing through A 01 , A 02 , A 03 , the line ⟨A 01 , A 12 , A 13 ⟩ passing through A 01 , A 12 , A 13 , the line ⟨A 02 , A 12 , A 23 ⟩ passing through A 02 , A 12 , A 23 and the line ⟨A 03 , A 13 , A 23 ⟩ passing through A 03 , A 13 , A 23 .These four lines are the edges of a complete quadrilateral Q A with six vertices at the points {A ij 0 ≤ i < j ≤ 3}.Hence s is the linear system of the sextic plane curves triple at p e double at the six vertices of Q A .Let us consider the quadratic trasformation q p,A12,A03 ∶ P 2 ⇢ P 2 given by the linear system of the conics passing through the three points p, A 12 , A 03 .Let B 23 , B 13 , B 01 , B 02 be the images of the points A 23 , A 13 , A 01 , A 02 .We have that each of the lines ⟨p, A 12 ⟩, ⟨p, A 03 ⟩ and ⟨A 12 , A 03 ⟩ is contracted by q p,A12,A03 to a point, denoted respectively by B 03 , B 12 and p ′ .Furthermore, the four edges of the complete quadrilateral Q A are sent to the four edges of a new complete quadrilateral Q B with six vertices at the points {B ij 0 ≤ i < j ≤ 3}: in particular we have that Thus, the linear system s of the sextic plane curves triple at the point p and double at the six points {A ij 0 ≤ i < j ≤ 3} is transformed in the linear system q 5 of the quintic plane curves double at p ′ , B 23 , B 13 , B 01 , B 02 and passing through B 12 and B 03 .Let us consider the quadratic trasformation q p ′ ,B23,B01 ∶ P 2 ⇢ P 2 given by the linear system of the conics passing through the three points p ′ , B 23 , B 01 .Let C 13 , C 12 , C 02 , C 03 be the images of the points B 13 , B 12 , B 02 , B 03 .We have that each of the lines ⟨p ′ , B 23 ⟩, ⟨p ′ , B 01 ⟩ and ⟨B 23 , B 01 ⟩ is contracted by q p ′ ,B23,B01 to a point, denoted respectively by C 01 , C 23 and p ′′ .Furthermore, the four edges of the complete quadrilateral Q B are sent to the four edges of a new complete quadrilateral Q C with six vertices at the points {C ij 0 ≤ i < j ≤ 3}, in the following way: As a result, the linear system q 5 of the quintic plane curves double at p ′ , B 23 , B 13 , B 01 , B 02 and passing through B 12 and B 03 is transformed in the linear system q 4 of the quartic plane curves double at C 13 and C 02 and passing through p ′′ , C 23 , C 12 , C 01 , C 03 .Let us consider the quadratic trasformation q p ′′ ,C13,C02 ∶ P 2 ⇢ P 2 given by the linear system of the conics passing through the three points p ′′ , C 13 , C 02 .Let D 23 , D 12 D 01 , D 03 be the images of the points C 23 , C 12 , C 01 , C 03 .We have that each of the lines ⟨p ′′ , C 13 ⟩, ⟨p ′′ , C 02 ⟩ and ⟨C 13 , C 02 ⟩ are contracted by q p ′′ ,C13,C02 to a point, denoted respectively with D 02 , D 13 and p ′′′ .Furthermore, the four edges of the complete quadrilateral Q C are sent to the four edges of a new complete quadrilateral Q D with six vertices the points {D ij 0 ≤ i < j ≤ 3}: Then the linear system q 4 of the quartic plane curves double at C 13 and C 02 and passing through p ′′′ , C 23 , C 12 , C 01 , C 03 is transformed in the linear system c of the cubic plane curves passing through {D ij 0 ≤ i < j ≤ 3}, which are the six vertices of a complete quadrilateral Q D .
Corollary 5.8.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .The only base curves of S • are the six edges of T and the lines r 1 , r 2 , r 3 .
Proof.Let ∆ be the image of P 3 via the rational map ν • .Two of its general hyperplane sections intersect each other at deg ∆ = 3 points (see Theorem 5.7).Let us consider the preimages of these two curves: they are two elements Σ • and Σ ′ • of S • , intersecting, outside the base locus of S • , along a nonic curve.Indeed, the intersection of Σ • and Σ ′ • , outside the base locus of S • , is given by the union of deg ∆ = 3 fibres of ν • , which are cubic plane curves (see Lemma 5.3 and Remark 5.4).The base locus of S • contains the six edges of T and the three lines r 1 , r 2 , r 3 (see Proposition 5.1).If another curve existed in the base locus of S • , then Σ • would intersect Σ ′ • , outside it, along a curve of degree less than 9, and so deg ∆ < 3, which is a contradiction.By using the notations of the proof of Theorem 5.7, we have the following facts.Proposition 5.9.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Let ∆ ⊂ P 3 be the Cayley cubic surface given by the image of the rational map ν • ∶ P 3 ⇢ P 3 defined by S • .Then the four nodes of ∆ are given by the image via ν • of the four faces of the tetrahedron T .
Proof.The faces of T intersect a general plane α ∈ A along the four edges of the complete quadrilateral Q A .The edges of Q A are sent by s to the edges of Q B , which are mapped by q 5 to the edges of Q C , which are transformed by q 4 in the edges of Q D , which are finally sent by c to the four singular points of ∆.
Let us consider the lines s i ∶= ⟨p, v i ⟩ joining the point p ∈ P 3 and the vertex v i of the tetrahedron T , for 0 ≤ i ≤ 3.
Corollary 5.10.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Let ∆ ⊂ P 3 be the Cayley cubic surface given by the image of the rational map ν • ∶ P 3 ⇢ P 3 defined by S • .Then the four lines s 0 , s 1 , s 2 , s 3 are sent via ν • to the four nodes of ∆ ⊂ P 3 .
Proof.By Bezout's Theorem, a general sextic surface Σ • ∈ S • intersects each of the four lines at 6 points.We also observe that Σ • and each of these lines have in common, in the base locus of S • , the point p and a vertex of T , which are triple points for Σ • .Hence, outside the base locus, we have that Σ • ∩ s i is given by 6 − 3 − 3 = 0 points, for all 0 ≤ i ≤ 3.So the four lines s 0 , s 1 , s 2 , s 3 are contracted by ν • to four points.Let us fix now 0 ≤ i ≤ 3. We have that s i intersects at a point the face of T opposite to the vertex v i .Hence the point to which the line s i is sent by ν • is the same point to which the face f i is sent by ν • , that is one of the four nodes of ∆ (see Proposition 5.9).
The surfaces of the linear system S • will now be the subject of our analysis.First let us recall some facts about the surfaces of the linear system S. Definition 5.11.A surface of P 3 has ordinary singularities if it has at most the following singularities: a curve γ of double points (that are generically the transverse intersection of two branches) with at most finitely many pinch points, and with γ having at most finitely many triple points as singularities, with three independent tangent lines, which are triple points also for the surface.Remark 5.12.Let us blow-up P 3 at the vertices of T , obtaining a smooth threefold Y ′ and a birational morphism bl ′ ∶ Y ′ → P 3 with exceptional divisors E i ∶= (bl ′ ) −1 (v i ) for 0 ≤ i ≤ 3.If H denotes the pullback on Y ′ of the hyperplane class on P 3 , the strict transform of an element of S is linearly equivalent to 6H − 3 ∑ 3 i=0 E i .Let us blow-up the strict transforms lij of the edges of T , for 0 ≤ i < j ≤ 3: we obtain a smooth threefold Y ′′ and a birational morphism bl ′′ ∶ Y ′′ → Y ′ with exceptional divisors F ij ∶= (bl ′′ ) −1 ( lij ).Let Σ ′′ be the strict transform on Y ′′ of a general element Σ ∈ S: it is linearly equivalent to 6H − 3 ∑ where Ẽi is the strict transform of E i , for 0 ≤ i ≤ 3, and H denotes the pullback bl ′′ * H, by abuse of notation.We have that Σ ′′ is smooth, since it is the blow-up of a surface Σ ∈ S with ordinary singularities along its singular curves (see [12, p.620-621]).Let us take the following exact sequence [12, p.187]).We have that Serre Duality, since Y ′′ is a rational smooth threefold by construction; furthermore, we have that Serre Duality, since it is known that the desingularization of a sextic surface in S is birational to an Enriques surface (see [8, p.275]).So we obtain h e. there are no quadric surfaces of P 3 containing the edges of T .We also have that In our case, first we blow-up P 3 at the vertices of T , at the point p and at the six points r i ∩ l 0i , r i ∩ l jk , for i, j, k ∈ {1, 2, 3} with j < k and j, k ≠ i.In this way we obtain a smooth threefold X ′ and a birational morphism bl ′ ∶ X ′ → P 3 with exceptional divisors , where 0 ≤ h ≤ 3. Let us denote by l0i , ljk and ri , respectively, the strict transforms of the lines l 0i , l jk and r i .Then we blow-up X ′ along these objects.We obtain a smooth threefold X ′′ and a birational morphism bl ′′ ∶ X ′′ → X ′ , with exceptional divisors Furthermore, let us denote by Ẽh , Ẽp , Ẽ′ i , Ẽ′′ i , respectively the strict transforms of E h , E p , E ′ i , E ′′ i .We denote by H the pullback of a general plane of P 3 via the birational morphism bl ′ ○ bl ′′ ∶ X ′′ → P 3 .Then the strict transform Σ ′′ • of an element Σ Remark 5.13.The anticanonical divisor of X ′′ is linearly equivalent to the strict transform of a quartic surface of P 3 with double points at the vertices of T and at the point p and containing the six edges of T and the three lines r 1 , r 2 , r 3 , i.e.
(see [12, p.187]).Then we have K Since there are no quadric surfaces of P 3 containing the edges of T (see Remark 5.12), there are also no quadric surfaces of P 3 containing the edges of T and the point p.So we obtain h 0 (X ′′ , O X ′′ (K X ′′ + Σ ′′ • )) = 0.
Theorem 5.14.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .The strict transform Σ ′′ • on X ′′ of a general element Σ • ∈ S • , via the blow-ups described above, is a smooth surface with p g (Σ ′′ • ) = 0, q(Σ ′′ • ) = 1 and p a (Σ ′′ • ) = −1.
Proof.It is known that the blow-ups bl ′ ○ bl ′′ ∶ X ′′ → P 3 solve the singularities of a general Σ • ∈ S • ⊂ S at the vertices of the tetrahedron T and along its edges.In order to obtain the smoothness of the strict transform Σ ′′ • on X ′′ of Σ • , it remains to show that bl ′ ○ bl ′′ ∶ X ′′ → P 3 also solves the triple point p of Σ • .By Bertini's Theorem, it is sufficient to prove that the linear system Σ ′′ • is base point free on Ẽp .We recall that Ẽp is the blow-up of the plane E p ≅ P 2 at the three points ) and where T C p Σ • denotes the tangent cone to Σ • at p. Thanks to a computational analysis via Macaulay2, we find that P(T C p Σ • ) is a cubic plane curve passing through the points E p ∩ r1 , E p ∩ r2 , E p ∩ r3 (see Code A.2 of Appendix A).In particular we have that Σ ′′ • cuts on Ẽp the strict transform via bl ′′ Ẽp ∶ Ẽp → E p of a linear system of cubic curves on E p whose base points are only the points E p ∩ r1 , E p ∩ r2 , E p ∩ r3 (see Code A.2 of Appendix A).Thus, Σ ′′ • Ẽp is base point free and so Σ ′′ • is smooth.By using the adjunction formula we have the following exact sequence Remark 5.13).Furthermore, we have that ).In order to verify that the last value is equal to 1, we observe that the strict transform on X ′′ of a quadric surface of P 3 containing the edges of T is linearly equivalent to 2H − ∑ 3 i=0 Ẽi − ∑ 0≤i<j≤3 F ij .By Remark 5.13 we have the following exact sequence Finally, by the Riemann-Roch theorem we have that p a (Σ ′′ • ) = p g (Σ ′′ • ) − q(Σ ′′ • ) = −1.
Let us now recall some definitions.Let R be a smooth surface and Γ a smooth, irreducible curve.We say that R is a ruled surface over Γ if there is a surjective morphism f ∶ R → Γ such that, for a general point x ∈ Γ, we have that f −1 (x) is isomorphic to P 1 .It is equivalent to saying that R is birational to Γ × P 1 (see [3,Theorem III.4]).Furthermore, we say that a smooth variety Z is uniruled if it is covered by a family of rational curves.More precisely, Z is a uniruled variety if there is a variety K with dim K = dim Z − 1 and there is a dominant rational map K × P 1 ⇢ Z.Every uniruled variety Z has Kodaira dimension κ(Z) = −∞.
Theorem 5.15.Let S • be the linear system on P 3 given by the sextic surfaces of P 3 double along the six edges of the tetrahedron T and triple at the general point p ∈ P 3 .Then the strict transform Σ ′′ • of a general element Σ • ∈ S • , via the blow-ups described above, is an elliptic ruled surface.
Proof.Let us take a general Σ • ∈ S • and its image Γ ∶= ν • (Σ • ), which is a general hyperplane section of the Cayley cubic surface ∆ ⊂ P 3 .Since ∆ only has isolated singularities, then Γ is a smooth elliptic cubic plane curve.Furthermore, Σ • is union of ∞ 1 rational cubic plane curves, fibres of ν • , given by the preimages of the ∞ 1 points of Γ (see Lemma 5. and we obtain Theorem 1.1 (see Theorems 5.7, 5.15).We have thus proved that case (A) of Castelnuovo's conjecture occurs for the classical Enriques-Fano threefold and that the consequences stated in Remark 2.7 are verified.

Consequences for the Prokhorov-Enriques-Fano threefolds
It is known that all Enriques surfaces appear as the desingularization of some sextic surface of P 3 double along the six edges of a tetrahedron and triple at the four vertices (see [8, p.275]).By using notations of previous sections, we can say that all Enriques surfaces are birational to a surface Σ ∈ S and so to a hyperplane section of the classical Enriques-Fano threefold.If we consider an Enriques-Fano threefold (W, L) of genus 13 ≤ p ≤ 17, we can say that a general S ∈ L is birational to a hyperplane section of the classical Enriques-Fano threefold.In particular, a general element of L having a triple point at a general point w ∈ W is birational to a hyperplane section of the classical Enriques-Fano threefold with triple point at a point on it.Let (W 17 P , L) be the Prokhorov-Enriques-Fano threefold of genus 17: since a general S ∈ L is a general Enriques surface (see proof of [7,Proposition 4.7]), then, by Theorem 1.1, we obtain Corollary 1.2.
Open questions.Verifying whether the linear system L • on the Prokhorov--Enriques-Fano threefold of genus 17 has dimension 7 = 17 − 10 would be an interesting question to address in later studies.Similarly, understanding what happens on the Prokhorov-Enriques-Fano threefold of genus 13 would account for a stimulating topic of investigation.

Appendix A. Computational analysis and Macaulay2 codes
We will essentially use the package Cremona of Staglianò (see [17]) and in particular the following functions, commands and methods: toMap, to construct the rational map defined by a linear system; rationalMap, to construct rational maps between projective varieties; image, to compute the image of a rational map; degree, to compute the degree of a rational map; isBirational, to verify the birationality of a rational map; inverseMap, to compute the inverse of a birational map; ideal, to compute the base locus of a rational map.We will also use the function tan-gentCone, to compute the tangent cone to an affine variety at the origin, and the following standard functions: associatedPrimes, to compute the irreducible components of a variety; jacobian, to compute the Jacobian matrix of the generators of

(
A) a general element S • ∈ L • is an irreducible surface which has irregular desingularization S• with q( S• ) = 1, p g ( S• ) = 0 and p a ( S• ) = −1; (B) the surfaces S • ∈ L • are reducible in the union S • = F • ∪ M • of two rational surfaces passing through the point w, where the surface M • changes by moving S • , the surface F • is fixed and F • ∩ M • is a rational curve; (C) the surfaces S • ∈ L • have the same genera as a general S ∈ L.