This paper classifies Fano 4-folds with high Picard number, showing they are either products of surfaces or related to cubic 4-folds, and explores their birational geometry and contractions.
Contribution
It improves classification results for Fano 4-folds with Picard number greater than 6, providing explicit descriptions and new geometric insights.
Findings
01
For Picard number >9, Fano 4-folds are products of del Pezzo surfaces.
02
In the range 7 ≤ ρ(X) ≤ 9, non-product cases relate to blow-ups of cubic 4-folds.
03
Describes the structure of Fano 4-folds with small elementary contractions.
Abstract
We study (smooth, complex) Fano 4-folds X with Picard number rho(X)>6. We show that if rho(X)>9, then X is a product of del Pezzo surfaces, thus improving recent results by the author and by the author and S.A. Secci; the statement is now optimal. In the range rho(X)=7,8,9 we show that if X is not a product of surfaces, and has no small elementary contraction, then it is the blow-up of a cubic 4-fold along a special configuration of planes. When instead rho(X)>6 and X has a small elementary contraction, we study X depending on its fixed prime divisors, giving explicit results on the geometry of X in the framework of birational geometry. In particular for the boundary case rho(X)=9 we show that either X is a product of surfaces, or X belongs to two explicit families, or there is a sequence of flips X-->X' where X' is a smooth projective 4-fold with an elementary contraction onto a…
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Commutative Algebra and Its Applications · Geometry and complex manifolds
Full text
Towards the classification of Fano 4-folds with b2≥7
C. Casagrande
Università di Torino,
Dipartimento di Matematica,
via Carlo Alberto 10,
10123 Torino - Italy
We study (smooth, complex) Fano 4-folds X with Picard number ρX≥7. We show that if ρX>9, then X is a product of del Pezzo surfaces (Th. 1.1), thus improving results in [Cas24, CS24]; the statement is now optimal. In the range ρX∈{7,8,9} we show that if X is not a product of surfaces, and has no small elementary contraction, then it is the blow-up of a cubic 4-fold along a special configuration of planes
(Th. 1.2). When instead ρX≥7 and X has a small elementary contraction, we study X depending on its fixed prime divisors, giving explicit results on the geometry of X in the framework of birational geometry.
In particular for the boundary case ρX=9 we show that either X is a product of surfaces, or X belongs to two explicit families, or there is a sequence of flips X\dasharrowX′ where X′ is a smooth projective 4-fold with an elementary contraction onto a 3-fold (Th. 1.4).
In the paper we also give several results on rational contractions of fiber type of Fano 4-folds, and more generally of Mori dream spaces; in particular we use some properties of del Pezzo surfaces over non-closed fields, applied to generic fibers.
1. Introduction
Since the classification of Fano 3-folds in the 80’s, there has been a lot of interest in the study of higher dimensional Fano varieties, starting from dimension 4. With the introduction of the Lefschetz defect (see below), the author has developped a program to study (smooth, complex) Fano 4-folds X with large second Betti number b2(X)
via birational geometry, in the framework of the Minimal Model Program. Let us recall that, since X is Fano, we have b2(X)=ρX where ρX is the Picard number of X.
In this paper we focus on the explicit study and classification of Fano 4-folds X with Picard number ρX≥7.
Our first result is the following.
Let X be a smooth Fano 4-fold with ρX>9. Then X≅S1×S2, with Si del Pezzo surfaces.
Let us note that the statement above is proven in [Cas24] for ρ>12, and in [CS24, Cor. 1.4] for ρ=12, therefore the theorem is new for the cases ρ=10 and ρ=11. It is now optimal, as we know one family of Fano 4-folds with ρ=9 that are not products of surfaces.
We recall that, so far, there are only 5 known families of Fano 4-folds with ρ∈{7,8,9} that are not products. Three such families, with ρ=7,8,9, are given by the Fano models of the blow-up of P4 at 6,7,8 general points respectively (see §11.1), and two additional families with ρ=7 are constructed in [CS24, Prop. 1.9] (see §11.2). Some candidates are also given in [ibid., Questions 7.6 and 7.25];
in this range of Picard numbers we expect few families.
Besides Th. 1.1, in this paper we perform a detailed study of Fano 4-folds X≅S1×S2 with ρX∈{7,8,9}; we obtain many explicit results on the geometry of X, including some classification results, and new candidates (see Questions 11.2, 11.5, 11.6).
In particular we give a complete characterization of the case where X does not have small elementary contractions, as follows.
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
Then ρX≤9 and there are a cubic 4-fold Z⊂P5 with at most isolated ordinary double points, and s=ρX−1 distinct planes A1,…,As⊂Z intersecting pairwise in a point, such that X is obtained from Z by blowing-up one plane Ai and successively the transforms of the other ones.111The resulting 4-fold does not depend on the order of the blow-ups, see Lemma 2.10.
We do not know whether a Fano 4-fold as in the statement above does exist, see §11.7 and Question 11.6, so on one hand we get more candidate families of Fano 4-fold as blow-ups of cubic 4-folds, on the other hand it may very well be that this case does not happen. Let us note that Th. 1.2 builds on the study in [Cas24], where under the same assumptions, the bound ρX≤12 was proven. We refer the reader to 8.4 for an overview of the proof of Th. 1.2.
Consider now the remaining case of a Fano 4-fold X≅S1×S2, with ρX≥7, and having small elementary contractions.
Here we rely on the classification of fixed prime divisors222A prime divisor D⊂X is fixed if D=Bs∣mD∣ for all m∈Z>0.D⊂X from [Cas13a] (see p. 2.3 and Section 5). Given such D,
there
are a sequence of flips X\dasharrowX′ with X′ smooth, and an elementary divisorial contraction σ:X′→Y, such that
D is the transform of Exc(σ), and Y is Fano. Moreover we have only four possibilities for σ: it is
the blow-up of a smooth point, or of a smooth irreducible curve, or
of
an isolated, locally factorial, terminal singularity with
Exc(σ) a quadric, or finally of an irreducible surface.
We call Dof type (3,0)sm, (3,1)sm, (3,0)Q, or (3,2) accordingly.
When X has a small elementary contraction, it must contain some fixed prime divisor D of type (3,0)sm, (3,1)sm, or (3,0)Q (Rem. 9.1).
We study X depending on the type of fixed prime divisors that it contains; in particular in the first case, when D is of type (3,0)sm, we show the following.
Let X be a smooth Fano 4-fold with ρX≥7, having a fixed prime divisor of type (3,0)sm. Then one of the following holds:
(i)
ρX≤9* and X has an elementary rational contraction onto a 3-fold;333A rational contraction of X is a rational map f:X\dasharrowY that factors as a sequence of flips X\dasharrowX′ followed by a contraction f′:X′→Y, namely a morphism such that f∗′OX′=OY with Y projective,
see §2; f is elementary if ρX−ρY=1.*
2. (ii)
ρX=7,
h0(X,−KX)≤15,
and there is a sequence of flips X\dasharrowX′ such that X′=Bl6ptsY, Y a smooth Fano 4-fold with ρY=1.
Th. 1.3 refines the study in [Cas17], where under the same assumptions, the bound ρX≤12 was proven. We refer the reader to 9.3 for an overview of the proof of Th. 1.3.
The remaining possibility is that of a Fano 4-fold X with ρX≥7, having a fixed prime divisor of type (3,1)sm or (3,0)Q, and no fixed prime divisor of type (3,0)sm; we study this case
by refining the results in [Cas22]. This allows to complete the proof of Th. 1.1, and also
to give a partial result on the case of Picard number ρ=9, as follows.
Let X be a smooth Fano 4-fold with ρX=9.
Then one of the following holds:
(i)
X≅S1×S2, with Si del Pezzo surfaces;
2. (ii)
X* has an elementary rational contraction onto a 3-fold;*
3. (iii)
X* is the blow-up of W along a normal surface S,
where W is the Fano model of Bl7ptsP4, and S⊂W is the transform of a cubic scroll or
a cone over a twisted cubic in
P4, containing the blown-up points;*
4. (iv)
X* is a blow-up of a cubic 4-fold as in Th. 1.2.*
We note that our only example of Fano 4-fold X≅S1×S2 with ρX=9 has an elementary rational contraction onto a 3-fold (see §11.1), while we do not know whether cases (iii) and (iv) do happen (see [CS24, §7.2] for (iii), and §11.7 for (iv)).
Our general approach is to study Fano 4-folds via their contractions and rational contractions, and
there are a few tools and results that we use systematically and
are crucial in proving the previous theorems; let us introduce them.
Rational contractions of fiber type. We recall that a rational contraction is a rational map f:X\dasharrowY that factors as a sequence of flips X\dasharrowX′ followed by a contractionf′:X′→Y, namely a morphism such that f∗′OX′=OY, with Y projective; f is of fiber type when dimY<dimX.
We study in detail rational contractions of fiber type f:X\dasharrowY of Fano 4-folds (more generally of Mori dream spaces),
see also [Cas08, Cas20].
The case where dimY=3 is treated in [CS24], where a sharp bound on ρX is given, together with a partial classification for the range ρX≥7, as follows.
Theorem 1.5** ([CS24], Theorems 1.3, 1.10, and 1.11).**
Let X be a smooth Fano 4-fold with ρX≥7, having a rational contraction onto a 3-fold,
and not isomorphic to a product of surfaces.
Then ρX≤9, and one of the following holds:
(i)
X* has an elementary rational contraction onto a 3-fold;*
2. (ii)
X* is the blow-up of W along a normal surface S,
where W is the Fano model of BlρX−2ptsP4, and S⊂W is the transform of a surface A⊂P4 containing the blown-up points. The surface A is either
a cubic scroll, or
a cone over a twisted cubic, or a sextic K3 surface with A1 or A2 singularities at the blown-up points; if A is a K3 surface then ρX=7.*
We note that, in the setting of Th. 1.5, the case where we do not yet have a classification is when X has an elementary rational contraction onto a 3-fold.
Consider now a rational contraction of fiber type f:X\dasharrowY with dimY∈{1,2}. We can choose a factorization of f as X\dasharrowφX′→f′Y where φ is a sequence of flips, X′ is smooth, and f′ is a K-negative contraction of fiber type. Let F⊂X′ be a general fiber; then F is smooth and is either a del Pezzo surface, or a Fano 3-fold.
Let N1(X′) be the vector space of one-cycles in X′, with R-coefficients, modulo numerical equivalence, and
let us consider N1(F,X′):=ι∗(N1(F))⊂N1(X′), where ι:F↪X′ is the inclusion. Then df:=dimN1(F,X′) is an invariant of f and does not depend on the choice of the resolution f′ (Def.-Rem. 3.2).
Moreover df is equal to the Picard number of the generic fiber Xη of f′, which is a smooth Fano variety over the non-closed field K=C(Y) of rational functions on Y (Lemma 3.5).
When df is large enough, we show that f factors through a rational contraction onto a 3-fold, as follows.
Let X be a smooth Fano 4-fold and f:X\dasharrowY a
non-trivial 444Namely Y={pt}. rational contraction of fiber type.
If df≥5, then
f can be factored as X\dasharrowgZ→hY, where dimZ=3.
To prove this, we use different strategies depending on the dimension of the base Y. When dimY=2, we consider the generic fiber Xη of f′:X′→Y (notation as above),
which is a smooth del Pezzo surface over the field K=C(Y).
When df=ρXη≥5, there is a morphism Xη→C onto a curve over K (Lemma 4.2), and we use results on spreading out to get the statement (see Lemmas 3.6 and 3.14, and Section 4).
Instead, when Y≅P1, a general fiber F⊂X′ of f′ is a smooth, complex Fano 3-fold with ρF≥df=dimN1(F,X′). When df≥5, we use the monodromy action on N1(F) and Nef(F) to extend a contraction F→S with dimS=2 to a relative contraction over some open subset of Y=P1, see Prop. 4.4.
Using the results from [CS24] on rational contractions onto 3-folds, we deduce from Th. 1.6 the following result.
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and f:X\dasharrowY a non-trivial rational contraction of fiber type.
Then df≤4.
The bound df≤4 is sharp, see the discussion after Th. 4.5.
Theorem 1.7 is very much related to how
the faces of the cone of effective divisors can intersect the cone of movable divisors.
More precisely, let us consider N1(X), the vector space of divisors with R-coefficients up to numerical equivalence, and in it the cones Eff(X) and Mov(X) respectively of effective and movable divisors (see Section 2); we have Mov(X)⊂Eff(X), and since X is Fano, both cones are rational polyhedral.
If τ is a face of Eff(X), we say that τ is a movable face if τ∩Mov(X)={0}, otherwise we say that τ is a fixed face (Def. 2.4).
Given a non-trivial rational contraction of fiber type f:X\dasharrowY, we have that τf:=⟨[D]∈N1(X)∣D is effective and SuppD does not dominate Y⟩ is a movable face of Eff(X), of dimension ρX−df (Def.-Rem. 3.2, Rem. 3.4). Conversely, given a proper, movable face τ of Eff(X), there exists a non-trivial rational contraction of fiber type f:X\dasharrowY with df≥ρX−dimτ (see Rem. 3.11). This gives the following.
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces.
If τ is a movable face of Eff(X), then
dimτ≥ρX−4. In particular the cone Eff(X) is generated by classes of fixed prime divisors.
The Lefschetz defect.
Another essential tool
is the Lefschetz defect, an invariant of X defined as follows.
For any prime divisor ι:D↪X, set N1(D,X):=ι∗(N1(D))⊂N1(X). Then we define the Lefschetz defect of X as
[TABLE]
We refer the reader to [Cas12, CRS22] for results on the Lefschetz defect of Fano varieties of arbitrary dimension; in dimension 4 we have the following.
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces. Then δX≤1.
Fixed prime divisors of type (3,2).
A fixed prime divisor of type (3,2) is the exceptional divisor E of an elementary divisorial contraction σ:X→Y such that dimσ(E)=2 (see Th.-Def. 5.1). If X≅S1×S2 and ρX≥7, we have δX≤1 by Th. 1.9, therefore N1(E,X) has codimension at most one in N1(X). We show the following.
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and E⊂X a fixed prime divisor of type (3,2) such that N1(E,X)⊊N1(X).
Then ρX≤9 and
X has an elementary rational contraction onto a 3-fold.
This improves the bound ρX≤12 shown in [Cas17, Prop. 5.32]. Besides the bound ρX≤9, in Th. 7.1 we give several geometric properties of X, that could lead to an explicit classification of this case.
We refer the reader to 7.3 for an overview of the proof of Th. 1.10.
In particular, we need a generalization of Theorems 1.6 and 1.7 in the case of
rational contractions f:X\dasharrowS with dimS=2 that are quasi-elementary, namely with df=ρX−ρS (see Def. 3.8), as follows.
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and f:X\dasharrowS a quasi-elementary rational contraction onto a surface. Then ρX−ρS≤3,
and if ρX−ρS>1, then f factors as X\dasharrowgY\dasharrowhS where dimY=3.
The bound ρX−ρS≤3 follows easily from the previous results, while the proof that, in the non-elementary case, f factors through a 3-fold,
is rather long (see Section 6).
We work by contradiction: by assuming that the statement does not hold, we get an explicit description of X as a sequence of flips and blow-ups from P2×P2; finally we show that this construction never yields a Fano 4-fold. See 6.5 for a more detailed overview of the proof.
Let us conclude this Introduction by noting that the condition ρ≥7 arises naturally and is optimal for many of these results, like Th. 1.2, Th. 1.5, Th. 1.7, Cor. 1.8, Th. 1.9, and Th. 1.11; on the other hand
Fano 4-folds with ρ≤6 exhibit different behaviours,
as we show in Examples 4.6, 4.7, and 4.11, and in §11.4.
The structure of the paper is as follows.
In Section 2 we fix the notation and terminology, and we recall some preliminary results needed in the sequel.
Section 3 contains several preliminary notions and results on regular and rational contractions of fiber type f:X\dasharrowY of Mori dream spaces. In particular we define quasi-elementary and special rational contractions of fiber type and recall their main properties, and we introduce
the invariant df mentioned above.
In Section 4 we apply the previous results to Fano 4-folds, and we prove Theorems 1.6 and 1.7 on rational contractions of fiber type, and Cor. 1.8 on movable faces of the cone of effective divisors.
In Section 5 we recall the classification of fixed prime divisors in Fano 4-folds X with
ρX≥7 in four types, and give many related properties that are used in the sequel.
In Section 6 we prove Th. 1.11 on quasi-elementary rational contractions onto a surface. In Section 7 we prove Th. 1.10 on fixed prime divisors of type (3,2), and give some applications needed in the sequel.
In Section 8
we prove
Th. 1.2, that characterizes Fano 4-folds with no small contractions (with ρ≥7, and not products) as suitable blow-ups of cubic 4-folds.
In Section 9 we prove
Th. 1.3 on Fano 4-folds with a fixed prime divisor of type (3,0)sm. Finally
in
Section 10 we consider Fano 4-folds with a fixed prime divisor of type (3,1)sm or (3,0)Q, and prove Theorems 1.1 and 1.4; we also give a partial result on the case ρ=8 (Cor. 10.6).
In Section 11 we collect several examples. We first recall the known examples of Fano 4-folds that are not products, with ρ≥7 (§11.1 and §11.2), and then give other relevant explicit examples; in some cases we do not know whether these 4-folds are actually Fano for large values of the Picard number.
Acknowledgements.
I had the idea of using the properties of del Pezzo surfaces over non-closed fields at
the minicourse “Quotients of groups of birational transformations” by Susanna Zimmermann, at the V Latin American School of Algebraic Geometry (V ELGA) in Brazil, August 2024;
I thank her and the organisers of the school.
I am also grateful to Brendan Hassett for explaining me that there exist families of cubic 4-folds containing a configuration of planes as in Th. 1.2.
The author has been partially supported by PRIN 2022L34E7W “Moduli spaces and birational geometry”, and is a member of GNSAGA, INdAM.
If N is a finite-dimensional real vector space and a1,…,ar∈N, ⟨a1,…,ar⟩ denotes the convex cone in N generated by a1,…,ar.
Moreover, for every a=0, a⊥ is the hyperplane orthogonal to a in the dual vector space N∗.
If α∈N∗ and τ:=⟨a⟩, we write α⋅τ>0 (respectively α⋅τ<0, α⋅τ=0) if
α⋅a>0 (respectively α⋅a<0, α⋅a=0).
A facet of a cone is a face of codimension one. If C⊂N is a convex polyhedral cone, we denote by C∨⊂N∗ its dual cone.
Lemma 2.1**.**
Let σ be a convex polyhedral cone in a finite dimensional real vector
space N. Let τ be a one-dimensional face of σ, and let α∈N∗ be such that
α⋅τ<0 and α⋅τ′≥0 for every one-dimensional face τ′=τ of σ.
If η is a face of σ such that η⊂kerα, then τ+η is a face of σ.
Proof.
This is proved in [Cas20, Lemma 4.7] when dimη=1; the same proof applies to the general case.
∎
The index of a locally factorial Fano variety X is the divisibility of −KX in Pic(X).
For the standard terminology and properties in birational geometry and about Mori dream spaces, we refer the reader to [KM98, HK00], and we recall that smooth Fano varieties are Mori dream spaces by [BCHM10, Cor. 1.3.2].
A contraction is a projective, surjective morphism with connected fibers, between normal quasi-projective varieties. It can be birational or of fiber type. A contraction f:X→Y is K-negative if, for some m∈N,
−mKX is Cartier and f-ample.
Let X be a projective, normal, and Q-factorial Mori dream space.
As usual we denote by N1(X) the real vector space of numerical equivalence classes of one-cycles in X with real coefficients, and by N1(X) the dual vector space of numerical equivalence classes of R-divisors in X.
If D is a divisor and C a curve in X, we denote by [D]∈N1(X) and [C]∈N1(X) their numerical equivalence classes, and we set D⊥:=[D]⊥⊂N1(X) and C⊥:=[C]⊥⊂N1(X).
A movable divisor is an effective divisor D such that the stable
base locus of the linear system ∣D∣ has codimension ≥2.
We will consider the usual cones of divisors and of curves:
[TABLE]
where
all the notations are standard except maybe mov(X), which is the convex cone generated by classes of curves moving in a family covering X.
Since X is a Mori dream space, all these cones are rational polyhedral. An extremal ray R of NE(X) is a one-dimensional face of this cone. Given a divisor D on X, we say that R is D-negative (respectively D-positive, D-trivial) if D⋅R<0 (respectively D⋅R>0, D⋅R=0). We also write Locus(R) for the union in X of all curves with class in R.
Given a contraction f:X→Y, we set NE(f):=(kerf∗)∩NE(X), a face of NE(X) of dimension ρX−ρY.
The contraction f is elementary if ρX−ρY=1. An elementary contraction can be divisorial, small, or of fiber type.
An elementary contraction f is of type (a,b) if dimExc(f)=a and dimf(Exc(f))=b. If n=dimX, we say that f is of type (n−1,b)sm if f is the blow-up of a smooth, b-dimensional irreducible subvariety A⊂Yreg. Finally when n=4 we say that f is of type (3,0)Q if Exc(f) is an irreducible 3-dimensional quadric with
NExc(f)/X≅OQ(−1).
A flip is the flip of a small elementary contraction. Given a divisor D on X, a D-negative (respectively D-positive, D-trivial) flip is the flip of a small elementary contraction f:X→Y such that D⋅NE(f)<0
(respectively D⋅NE(f)>0, D⋅NE(f)=0). We do not assume that contractions or flips are K-negative, unless specified.
A SQM(small Q-factorial modification) is a birational map φ:X\dasharrowX′ such that X′ is again projective, normal, and Q-factorial, and φ is an isomophism in codimension one; since X is a Mori dream space, φ always factors as a finite sequence of flips.
A rational contraction is a rational map f:X\dasharrowY that factors as X\dasharrowSQMX′→f′Y, where f′ is a contraction; f can be birational or of fiber type, and we say that f is non-trivial if Y={pt}. We call f′ a resolution of f. We say that f is elementary if ρX−ρY=1; if f is elementary and birational, then it can be divisorial or small, depending whether Exc(f′) is a prime divisor or codimExc(f′)>1.
There is a fan in N1(X), called the Mori chamber decomposition and denoted by MCD(X), supported on Mov(X), whose cones are in bijection with the set of rational contractions of X (up to isomorphism of the target); the cone corresponding to f:X\dasharrowY is f∗(Nef(Y)).
Remark 2.2**.**
Let X be a projective, normal, and Q-factorial Mori dream space, and f:X\dasharrowY, g:X\dasharrowZ two rational contractions. Then there exists a contraction h:Z→Y such that f=h∘g if and only if f∗(Nef(Y))⊂g∗(Nef(Z)).
A fixed prime divisor is a prime divisor D which is the stable base locus of the linear system
∣D∣; then [D]∈N1(X) generates a one-dimensional face of Eff(X).
Let X be a projective, normal, and Q-factorial Mori dream space. The fixed prime divisors in X are the exceptional divisors of divisorial elementary rational contractions of X.
Definition 2.4**.**
Let τ be a face of Eff(X). We say that τ is a fixed face if τ∩Mov(X)={0}, otherwise we say that τ is a movable face.
Definition 2.5**.**
We say that two fixed prime divisors D,E⊂X are adjacent if ⟨[D],[E]⟩ is a fixed face of Eff(X).
Let Z⊂X be a closed subset. We set
[TABLE]
where ι:Z↪X is the inclusion.
Lemma 2.6**.**
Let f:X→Y be a contraction and Z⊂X a closed subset. Then:
[TABLE]
Proof.
The pushforward f∗:N1(X)→N1(Y) is a surjective linear map with kernel of dimension ρX−ρY, and f∗(N1(Z,X))=N1(f(Z),Y).
∎
Remark 2.7**.**
Let Z⊂X a closed subset and D⊂X a prime divisor such that Z∩D=∅. Then N1(Z,X)⊂D⊥⊊N1(X).
Indeed for every curve C⊂Z we have D⋅C=0, hence [C]∈D⊥.
An ordinary double point is an isolated singularity x0 of an n-dimensional variety X that is locally analytically isomorphic to the vertex of the cone over a smooth (n−1)-dimensional quadric.
Remark 2.8**.**
Let X be a quasi-projective 4-fold with an ordinary double point at x0 and Sing(X)={x0}. Let f:X′→X be the blow-up of X at x0. Then X′ is smooth, Exc(f) is a smooth quadric, and f is a divisorial, K-negative elementary contraction of type (3,0)Q; in particular x0 is a locally factorial, terminal singularity.
Let A⊂X be a smooth irreducible surface containing x0, and let g:X′′→X be the blow-up of A. Then X′′ is smooth and g is a divisorial, K-negative elementary contraction of type (3,2); we have g−1(x0)≅P2 while the other non-trivial fibers of g are P1’s.
By a family of curves in a projective variety X we mean an irreducible closed subset V⊂Chow(X) such that for general v∈V, the corresponding cycle Cv of X is an integral curve; then for every v∈V the cycle Cv is a connected curve in X.
The numerical equivalence class [Cv]∈N1(X) does not depend on v∈V, and we denote it by [V].
The anticanonical degree of the family is −KX⋅[V]. We say that V is a family of rational curves if for general v∈V the curve Cv is rational. We denote by Locus(V) the union of the curves Cv for v∈V, and we say that V is covering if Locus(V)=X.
We work over the field of complex numbers, but we will occasionally also consider varieties defined over non-closed fields of characteristic zero, as follows. Let X be a complex projective variety and f:X→Y a contraction of fiber type. The generic fiberXη of f is the fiber over the generic point η of Y, and it is a projective variety over the field K=C(η)=C(Y) of rational functions on Y. We will be interested in the case where Xη is a smooth del Pezzo surface;
we refer the reader to [Has09] for properties of del Pezzo surfaces over non-closed fields.
Preliminaries on Fano 4-folds.
We finally recall some preliminary results on contractions and rational contractions of 4-folds and Fano 4-folds.
Lemma 2.9** ([AW98a], Th. on p. 256; [AW98b], Prop. 2.1).**
Let X be a smooth projective 4-fold and f:X→Y a K-negative elementary contraction of type (3,2). Then Y has at most isolated ordinary double points, in particular Y has locally factorial, terminal singularities, and S:=f(Exc(f)) has isolated singularities. If y0∈S is a singular point for Y or for S, then dimf−1(y0)=2.
Moreover f is the blow-up of Y along S.555Namely the blow-up of Y along the ideal sheaf IS/Y; S is a reduced closed subscheme of Y that may be singular.
Lemma 2.10**.**
Let Y be a smooth, irreducible, quasi-projective 4-fold, and S1,S2⊂Y two smooth, irreducible surfaces intersecting transversally in one point y0∈Y. Then there is a commutative diagram:
[TABLE]
where σi:Xi→Y is the blow-up of Si, and τi:X→Xj is the blow-up of the transform Si⊂Xj of Si, where {i,j}={1,2}. The composition f:X→Y is a K-negative birational contraction with f(Exc(f))=S1∪S2, f−1(y)≅P1 for every y∈(S1∪S2)∖{y0}, and f−1(y0)≅P1×P1.
Proof.
Let us consider the blow-up σ1:X1→Y of S1. The surface S2 is blown-up at y0, and its transform S2⊂X1 intersects the exceptional divisor Exc(σ1) along a smooth irreducible curve Γ, which is the exceptional curve of the blow-up σ1∣S2:S2→S2.
We also have NS2/X1=(σ1∣S2)∗NS2/Y, therefore
(NS2/X1)∣Γ≅OP1⊕2.
Now let τ2:X→X1 be the blow-up of S2, and f:=τ2∘σ1:X→Y. We have f−1(y)≅P1 and −KX⋅f−1(y)=1 for every y∈(S1∪S2)∖{y0}.
Moreover f−1(y0)=(τ2)−1(Γ)=PΓ(NS2/X1∨)∣Γ≅P1×P1, and Exc(τ2)∣f−1(y0)≅OP1×P1(−1,0). If C⊂f−1(y0) is a curve {pt}×P1 with τ2(C)=Γ, then Exc(τ2)⋅C=0 and hence −KX⋅C=−KY⋅Γ=1, so that −KX∣f−1(y0)≅OP1×P1(1,1). In particular we see that f is K-negative, and NE(f)=NE(τ2)+R≥0[C]. It is not difficult to see that C is numerically equivalent to the transform of a general fiber of σ1∣Exc(σ1), and that the contraction of the extremal ray R≥0[C] is τ1:X→X2 as in the statement.
∎
Lemma 2.11**.**
Let X be a projective 4-fold with locally factorial and terminal singularities, and f:X→Y a K-negative elementary contraction of type (3,2); set E:=Exc(f) and S:=f(E)⊂Y. Then
χ(X,−KX)=χ(Y,−KY)−χ(S,−KY∣S).
Proof.
We note that Y still has locally factorial and terminal singularities.
We have Rif∗OX(−KX)=0 for every i>0 [KM98, Cor. 2.68], thus χ(X,−KX)=χ(Y,f∗OX(−KX)).
Consider the exact sequence on X:
[TABLE]
We have −KX+E=f∗(−KY), thus using f∗OX=OY, R1f∗OX(−KX)=0, and the projection formula, via f∗ we get
Let X be a normal projective 4-fold. An exceptional plane is a surface L⊂Xreg such that L≅P2 and NL/X≅OP2(−1)⊕2; we denote by CL⊂L a curve corresponding to a line in P2. An exceptional line is a smooth rational curve ℓ⊂Xreg such that Nℓ/X≅OP1(−1)⊕3. Note that KX⋅CL=−1 while KX⋅ℓ=1.
Let X be a smooth Fano 4-fold and φ:X\dasharrowX′ a SQM.
We have the following:
(a)
X′* is smooth, X∖dom(φ)=L1∪⋯∪Lr where Li are pairwise disjoint exceptional planes,
and
X′∖dom(φ−1)=ℓ1∪⋯∪ℓr
where ℓi are pairwise disjoint exceptional lines.
*
2. (b)
Let C⊂X′ be an irreducible curve, different from ℓ1,…,ℓr, and intersecting ℓ1∪⋯∪ℓr in s≥0 points; then −KX′⋅C≥1+s.
3. (c)
Let X be a smooth Fano 4-fold and f:X\dasharrowY a rational contraction. Then there exists a resolution f′:X′→Y
of f such that f′ is K-negative.
Lemma 2.16**.**
Let X be a smooth Fano 4-fold and g:X→Z a contraction of fiber type. Then ρZ≤δX+2.
Proof.
The proof of [Cas24, Lemma 2.6] gives the statement.
∎
3. Preliminaries on rational contractions of fiber type
In this section we give many preliminary results on regular and rational contractions of fiber type of Mori dream spaces, that will be used throughout the paper.
Let X be a projective, normal, and Q-factorial Mori dream space, f:X→Y a contraction of fiber type, and set Fy:=f−1(y).
Then there is a non-empty open subset Y0⊂Y such that the linear subspace N1(Fy,X)⊂N1(X) is constant for y∈Y0.
Moreover, for y∈Y0,
N1(Fy,X)⊥∩Eff(X)
is a face of Eff(X), has dimension dim(N1(Fy,X)⊥)=ρX−dimN1(Fy,X), and is the smallest face of Eff(X) containing f∗(Eff(Y)).
Definition - Remark 3.2** (τf,df).**
Let X be a projective, normal, and Q-factorial Mori dream space, and f:X\dasharrowY a rational contraction of fiber type. We denote by
τf the minimal face of Eff(X) containing f∗(Eff(Y)),666Equivalently, τf is the minimal face of Eff(X) containing f∗(Nef(Y)). and we set:
[TABLE]
We will use the following properties:
∙
for every resolution
f′:X′→Y of f, if F⊂X′ is a general fiber of f′, we have dimN1(F,X′)=df (see Lemma 3.1);
2. ∙
df≤ρX−ρY, in particular df=1 when f is elementary;
3. ∙
df=1 when dimX−dimY=1;
4. ∙
τf∩Mov(X) is a face of Mov(X) (because Mov(X)⊂Eff(X)) and contains f∗(Nef(Y)), therefore dim(τf∩Mov(X))≥ρY, and τf is a movable face of Eff(X) if Y=pt;
5. ∙
whenever f is regular, or more generally regular and proper on some non-empty open subset of X, if F⊂X is a general fiber, then τf=N1(F,X)⊥∩Eff(X).
Indeed if φ:X\dasharrowX′ is a SQM such that f∘φ−1 is regular, then F must be contained in the open subset where φ is an isomorphism, hence N1(F,X)≅N1(φ(F),X′) under the natural isomorphism N1(X)≅N1(X′)
(see [Cas20, Lemma 2.17]).
Lemma 3.3**.**
Let X be a projective, normal, and Q-factorial Mori dream space, f:X→Y a contraction of fiber type, and F⊂X a general fiber.
Let W⊂N1(X) be the linear subspace of classes of R-divisors whose support does not dominate Y.
Then W=N1(F,X)⊥.
Proof.
Let Y0⊂Y be an open subset as in Lemma 3.1, so that we can assume that N1(F,X)=N1(Fy,X) for every y∈Y0.
Let D be a divisor whose support does not dominate Y. Then there is y∈Y0 such that (SuppD)∩Fy=∅, hence D⋅C=0 for every curve C⊂Fy, and [D]∈N1(Fy,X)⊥. This shows that W⊆N1(F,X)⊥.
By Lemma 3.1N1(F,X)⊥∩Eff(X) is a face of Eff(X) of dimension equal to dim(N1(F,X)⊥), therefore N1(F,X)⊥ is generated by the one-dimensional faces of Eff(X) contained in it.
On the other hand every one-dimensional face of Eff(X) is generated by the class of some prime divisor, and we conclude that N1(F,X)⊥ can be generated by classes of prime divisors.
Now let D⊂X be a prime divisor such that [D]∈N1(F,X)⊥. Then D cannot dominate Y, otherwise we could choose y∈Y0 such that Fy⊂D and Fy∩D=∅. Thus we could find a curve C⊂Fy such that D⋅C>0, a contradiction. Therefore [D]∈W, and we conclude that N1(F,X)⊥⊆W and finally N1(F,X)⊥=W.
∎
Remark 3.4**.**
In the setting of Def.-Rem. 3.2, it follows from Lemmas 3.1 and 3.3 that
[TABLE]
Lemma 3.5**.**
Let X be a projective, normal, and Q-factorial Mori dream space, f:X→Y a contraction of fiber type, and F⊂X a general fiber. Let also η be the generic point of Y and Xη the generic fiber of f. Then ρXη=dimN1(F,X)=df.
Proof.
Recall that since X is a Mori dream space,
Pic(X) is finitely generated, and N1(X)≅Pic(X)⊗R.
Consider the restriction r:Pic(X)→Pic(Xη) and the induced homomorphism rR:Pic(X)⊗R→Pic(Xη)⊗R.
Since X is Q-factorial, rR is surjective. Moreover kerrR coincides with the linear subspace W⊂N1(X) of classes of R-divisors whose support does not dominate Y. Therefore by Lemma 3.3 we have dimkerrR=ρX−dimN1(F,X), which yields the statement.
∎
Lemma 3.6**.**
Let X be a normal quasi-projective variety
and
f:X→Y a contraction of fiber type. Let η be the generic point of Y, Xη the generic fiber of f, Zη a normal projective variety over K=C(η), and gη:Xη→Zη a projective morphism over K such that (gη)∗OXη=OZη.
Then there exists an open subset Y0 of Y such that f∣f−1(Y0):f−1(Y0)→Y0 factors as the composition of two contractions f−1(Y0)→Z0→Y0 that extend Xη→Zη→η.
Proof.
We apply the results on spreading out schemes and morphisms. By [Poo17, Th. 3.2.1(i) and (ii)], there exist an open subset Y0 of Y and a quasi-projective variety Z0, with a surjective projective morphism h:Z0→Y0, that extend Zη→η.
Consider the
normalization ν:Z0ν→Z0; restricting to the generic fibers
we get νη:(Z0ν)η→Zη which is the normalization of Zη. Since Zη is normal, ν is an isomorphism on the generic fibers, and up to composing with ν we can assume that Z0 is normal.
Note that (gη)∗OXη=OZη implies that every fiber of gη is geometrically connected [Liu02, Ch. 5, Th. 3.15 and Cor. 3.17].
Then by [Poo17, Th. 3.2.1(iii) and (iv)], up to shrinking Y0, we can assume that there exists a projective morphism g:f−1(Y0)→Z0, with connected fibers, extending gη, so that f∣f−1(Y0)=h∘g.
∎
Lemma 3.7**.**
Let X be a projective, normal, and Q-factorial Mori dream space. Let X0⊂X be an open subset and f0:X0→Y0 a contraction. Then there exists a rational contraction f:X\dasharrowY such that Y contains Y0 as an open subset and f∣X0=f0.
Proof.
Let Y0⊂PN be an embedding as locally closed subset. Then f0 gives a rational map F0:X\dasharrowPN with B:=X∖dom(F0) closed subset of codimension ≥2.
Let H⊂PN be a general hyperplane and consider the divisor F0∗(H) on X∖B.
Then F0∗(H) extends uniquely to a Weil divisor on X, that we still denote by F0∗(H). Since X is Q-factorial, there exists m∈Z>0 such that D:=mF0∗(H) is Cartier; then D is also movable, because its base locus is contained in B. Moreover, since X is a Mori dream space, up to taking a possibly larger m we can assume that the complete linear system ∣D∣ defines a rational map F:X\dasharrowPM=P(H0(X,D)) such that, if Y:=F(dom(F))⊂PM, the induced map f:X\dasharrowY is a rational contraction. Then Y contains Y0 as an open subset and f∣X0=f0.
∎
We will work with two particular types of rational contractions of fiber type, namely “quasi-elementary” and “special” contractions; let us recall the definition and a few properties, and refer the reader to [Cas13a, §2.2] and [Cas20, §2] respectively for more details.
Definition 3.8**.**
Let f:X→Y be a contraction of fiber type.
We say that f is quasi-elementary if dimN1(F,X)=ρX−ρY for every fiber F⊂X of f, namely if
df=ρX−ρY.
We say that f is special if Y is Q-factorial and codimf(D)≤1 for every prime divisor D⊂X.
An elementary contraction of fiber type is always quasi-elementary.
A quasi-elementary contraction is always special, by the following.
Let X be a projective, normal, and Q-factorial Mori dream space and f:X→Y a contraction of fiber type. Then f is quasi-elementary if and only if Y is Q-factorial and f∗(B) is an irreducible (possibly non-reduced) divisor for every prime divisor B⊂Y.
If Y is a curve, then every contraction of fiber type f:X→Y is special. If Y is a surface, then f is special if and only if it is equidimensional [Cas20, Lemma 2.7].
Consider now a rational contraction of fiber type f:X\dasharrowY. We say that f is quasi-elementary, respectively special, if a resolution
of f is quasi-elementary, respectively special; this does not depend on the choice of the resolution.
Lemma 3.10**.**
Let X be a projective, normal, and Q-factorial Mori dream space and f:X\dasharrowY a rational contraction. The following are equivalent:
(i)
f* is of fiber type and special;*
2. (ii)
f* is of fiber type and dim(τf∩Mov(X))=ρY (see Def.-Rem. 3.2);*
3. (iii)
there exists a proper face ηf of Mov(X) such that
f∗(Nef(Y))⊂ηf, dimηf=ρY, and ηf=τ∩Mov(X) for some face τ of Eff(X).
If these conditions hold and moreover f is regular with general fiber F⊂X, then ηf=(N1(F,X))⊥∩Mov(X).
Proof.
The equivalence of (i) and (ii) is [Cas22, Lemma 5.3].
Assume (ii). Note that ηf:=τf∩Mov(X) is a face of Mov(X) because Mov(X)⊂Eff(X), it is proper because τf⊊Eff(X), it contains f∗(Nef(Y)), and dimηf=ρY, hence we get (iii).
Conversely, assume (iii). Since ηf⊊Mov(X), we have τ⊊Eff(X), hence f∗(Nef(Y))⊂∂Eff(X), and f is of fiber type.
By definition τf is the minimal face of Eff(X) containing f∗(Nef(Y)), therefore τf⊂τ, and τf∩Mov(X)=τ∩Mov(X)=ηf has dimension ρY, and we get (ii).
Finally, when f is regular, ηf=τf∩Mov(X)=(N1(F,X))⊥∩Mov(X) by Lemma 3.1.
∎
Remark 3.11**.**
Let X be a projective, normal, and Q-factorial Mori dream space, and τ a proper, movable face of Eff(X). Then there exists a special rational contraction of fiber type f:X\dasharrowY with ηf=τ∩Mov(X) and τf⊂τ, hence ρY=dim(τ∩Mov(X)) and df=ρX−dimτf≥ρX−dimτ (notation as in Lemma 3.10 and Def.-Rem. 3.2).
Indeed it is enough to choose a cone η0∈MCD(X) such that η0⊂τ∩Mov(X) and dimη0=dim(τ∩Mov(X)); then the rational contraction f:X\dasharrowY such that f∗(Nef(Y))=η0
has the desired properties, by Lemma 3.10.
Let X be a projective, normal, and Q-factorial Mori dream space and f:X\dasharrowY a rational contraction of fiber type.
Then f can be factored as X\dasharrowgZ→hY where h is birational and g is a special rational contraction of fiber type.
Lemma 3.13**.**
Let X be a projective, normal, and Q-factorial Mori dream space and f:X\dasharrowY a rational contraction of fiber type that
is regular and proper on some non-empty open subset of X.
Then f can be factored as X\dasharrowgZ→hY where h is birational and g is a special rational contraction of fiber type
that is regular and proper on some non-empty open subset of X. In particular f and g have isomorphic general fibers.
Proof.
This follows from the same proof as [Cas20, Prop. 2.13].
∎
Lemma 3.14**.**
Let X be a projective, normal, and Q-factorial Mori dream space and f:X→Y a contraction of fiber type. Suppose that there exist a non-empty open subset Y0⊂Y and a contraction of fiber type g0:f−1(Y0)→Z0 such that f∣f−1(Y0) factors through g0:
[TABLE]
Then f can be factored as X\dasharrowgZ→hY, where h is a contraction, and g is
a special rational contraction that coincides with g0 on
g0−1(U) for
some non-empty open subset U of Z0.
Proof.
By Lemma 3.7 there exists a rational contraction g′:X\dasharrowZ′ that restricts to g0 on f−1(Y0), in particular g′ is of fiber type and is regular and proper on f−1(Y0).
Now we apply Lemma 3.13 to g′, and deduce that
g′ factors as X\dasharrowg′′Z′′→αZ′ where
α is birational and g′′ is a special rational contraction of fiber type that is regular and proper on some non-empty open subset of X. In particular g′′ has the same general fiber as g0.
Let us consider Ff,Fg⊂X general fibers of f and g0 respectively; we have Fg⊂Ff, so N1(Fg,X)⊂N1(Ff,X), and hence
N1(Ff,X)⊥⊂N1(Fg,X)⊥⊂N1(X).
Let us set:
[TABLE]
(see Def.-Rem. 3.2), so that
ηg′′ is a face of Mov(X), and it has dimension
ρZ′′ because g′′ is special, by Lemma 3.10.
We note that ηg′′ is a union of cones of MCD(X) of dimension ρZ′′, one being (g′′)∗(Nef(Z′′)).
The cone f∗(Nef(Y)) belongs to the fan MCD(X) and is contained both in Mov(X) and in N1(Ff,X)⊥, therefore
in ηg′′. Hence there exists a cone η∈MCD(X) of dimension ρZ′′ such that f∗(Nef(Y))⊆η⊆ηg′′.
Let g:X\dasharrowZ be the rational contraction of fiber type such that η=g∗(Nef(Z)). Then ρZ=ρZ′′ and
there is a SQM ψ:Z′′\dasharrowZ such that g=ψ∘g′′
(see [Oka16, Th. 1.2]),
in particular g and g′′ have the same general fiber Fg.
Then g is special again by Lemma 3.10, and it
coincides with g0 on
g0−1(U) for
some non-empty open subset U of Z0.
Finally f∗(Nef(Y))⊂g∗(Nef(Z)), therefore there exists a contraction h:Z→Y such that f=h∘g (see Rem. 2.2).
∎
Lemma 3.15**.**
Let X be a projective, normal, and Q-factorial Mori dream space, and f:X\dasharrowY a rational contraction of fiber type that factors as X\dasharrowgZ\dasharrowhY where g and h are rational contractions, h is of fiber type, and Z is Q-factorial.
If f is special (respectively, quasi-elementary), then h is special (respectively, quasi-elementary).
Proof.
Up to composing with SQM’s, we can assume that f, g, and h are regular.
Suppose that f is special; in particular Y is Q-factorial. Let D⊂Z be a prime divisor such that h(D)⊊Y.
Then g−1(D) has pure codimension one in X and g(g−1(D))=D, so there is an irreducible component
DX of g−1(D) such that g(DX)=D. Since f is special, h(D)=f(DX) must be a prime divisor in Y, so that h is special.
Suppose now that f is quasi-elementary. We use Lemma 3.9:
first of all Y is Q-factorial. Let B⊂Y be a prime divisor. Then f∗(B)=g∗(h∗(B)) is irreducible (possibly non-reduced), therefore h∗(B) must have a unique irreducible component, and h is quasi-elementary too.
∎
Lemma 3.16**.**
Let X be a projective, normal, and Q-factorial Mori dream space, and f:X\dasharrowY a rational contraction of fiber type. We have the following:
(a)
f* factors as X\dasharrowgZ→hY
where h is a contraction and g is an elementary rational contraction, either divisorial or of fiber type;*
2. (b)
if f is special, then h is of fiber type or an isomorphism;
3. (c)
when g is divisorial:
∙
if f is special, then Exc(g) dominates Y or a prime divisor in Y;
2. ∙
if f is quasi-elementary, then Exc(g) dominates Y.
Proof.
Consider the cone f∗(Nef(Y))∈MCD(X).
Since f is of fiber type, f∗(Nef(Y)) is contained in the boundary of Eff(X), hence also in the boundary of Mov(X).
Let us
consider a facet η of Mov(X) containing f∗(Nef(Y)),
and
η0∈MCD(X) of dimension ρX−1 such that f∗(Nef(Y))⊂η0⊂η.
Then η0=g∗(Nef(Z)) for an elementary rational contraction g:X\dasharrowZ and we have a factorization:
[TABLE]
where h is a contraction (see Rem. 2.2).
By construction η0 is contained in the boundary of Mov(X), therefore g cannot be small. This gives (a), and (b) follows from [Cas20, Prop. 2.10].
For (c), suppose that g is divisorial. The first statement follows from the definition of special contraction. For the second statement,
up to composing with a SQM we can assume that g is regular; set E:=Exc(g)⊂X, and let F⊂X be a general fiber of f.
If f(E)⊊Y, then F∩E=∅, thus N1(F,X)⊂E⊥ (see Rem. 2.7). We also have E⋅NE(g)<0, thus NE(g)⊂E⊥, in particular NE(g)⊂N1(F,X). On the other hand NE(g)⊂kerf∗, and we conclude that N1(F,X)⊊kerf∗ and f cannot be quasi-elementary.
∎
Remark 3.17**.**
In the setting of Lemma 3.16, it follows from the proof
that the choices for g correspond to the facets of Mov(X) that contain f∗(Nef(Y)). More precisely, given a facet η of Mov(X) containing
f∗(Nef(Y)), we costruct g:X\dasharrowZ as in the statement, with moreover η=Mov(X)∩g∗(N1(Z)). Then g is of fiber type if and only if η is contained in the boundary of Eff(X), otherwise g is divisorial.
Lemma 3.18**.**
Let X be a projective, normal, and Q-factorial Mori dream space of dimension n, and f:X\dasharrowY a quasi-elementary rational contraction
with dimY=n−2 and ρX−ρY=2.
Then one of the following holds:
(i)
f* factors as X\dasharrowgZ→hY where dimZ=n−1 and g and h are elementary of fiber type;*
2. (ii)
f* admits two factorizations
X\dasharrowαiWi→hiY for i=1,2,
where αi is elementary and divisorial with exceptional locus dominating Y, hi is elementary of fiber type, and α1∗(N1(W1))=α2∗(N1(W2)).*
Proof.
We note that since f is quasi-elementary, the cone f∗(Nef(Y)) has dimension ρX−2 and is contained in a face of Mov(X) of dimension ρX−2 (see Lemma 3.10). Therefore
f∗(Nef(Y)) is contained
in exactly two facets τ1 and τ2 of
Mov(X).
If one of these facets is contained in ∂Eff(X), then by applying Lemma 3.16 and Rem. 3.17 we factor f as in (i).
Otherwise, if
no τi is contained in
∂Eff(X), for i=1,2 again by applying Lemma 3.16 and Rem. 3.17
we get a factorization of f as
[TABLE]
where αi is a divisorial elementary rational contraction
with exceptional locus dominating Y, and hi is elementary.
Moreover α1∗(N1(W1))=α2∗(N1(W2)) because
τ1=τ2.
∎
We conclude this section by recalling two results on special or quasi-elementary rational contractions of Fano 4-folds, that are needed in the sequel.
Let X be a smooth Fano 4-fold with ρX≥7 and f:X\dasharrowS a quasi-elementary rational contraction onto a surface. Then S is a smooth del Pezzo surface.
4. Factoring rational contractions of fiber type of Fano 4-folds through 3-folds
In this section we consider rational contractions of fiber type f:X\dasharrowY of Fano 4-folds.
When dimY=3, the results in [CS24] give a good understanding of X and f, see Th. 1.5.
We consider here the case
dimY∈{1,2}. We show that when df≥5, then f always factors through a 3-fold (Th. 1.6 from the Introduction, see Th. 4.1 below).
This has in turn important applications on the geometry of Fano 4-folds with ρX≥7, given in Th. 4.5 and Cor. 4.10.
Theorem 4.1**.**
Let X be a smooth Fano 4-fold and f:X\dasharrowY a non-trivial rational contraction of fiber type.
(a)
If df≥5, then
f can be factored as X\dasharrowgZ→hY where dimZ=3, g is a special rational contraction, and h is a contraction of fiber type.
2. (b)
If df=4 and dimY=2, then either the statement in (a) holds, or
f is regular with general fiber a del Pezzo surface of degree one.
As explained in the Introduction, for the proof of Th. 4.1 we will use different strategies depending on the dimension of the base Y.
We recall that df=1 when dimY=3, therefore df≥4 implies that either dimY=2 or Y≅P1.
For the case dimY=2, we will consider the generic fiber of a K-negative resolution f′ of f, and rely on Lemma 4.2; for the case Y≅P1, we will use Prop. 4.4, that exploits the monodromy action on the nef cone of a general fiber of f′.
Lemma 4.2**.**
Let K be a field of characteristic zero and let S be a smooth, projective del Pezzo surface over K.
If ρS≥4, then one of the following holds:
(i)
there exists a surjective morphism S→C onto a curve;
2. (ii)
ρS=4* and KS2=1.*
Proof.
We assume that S has no surjective morphism to a curve, and show (ii).
There exists a birational map S→S0 where S0 is a minimal del Pezzo surface over K. By our assumptions S0 does not have a conic bundle structure, hence ρS0=1 (see [Has09, Th. 3.9]). Among the (finitely many) possible birational maps S→S0 with ρS0=1, let us choose one with KS02 maximal. Note that KS02=7 (see [ibid., Ex. 3.1.2]).
The map S→S0 is the blow-up of r distinct (closed) points, of degrees d1,…,dr;777The degree of a closed point p is dimension of its residue field K(p) over the base field K. we have
[TABLE]
in particular r≥3 and KS02≥4.
Let i∈{1,…,r} and let us consider S1:=BlpiS0. Then S1 is a del Pezzo surface with ρS1=2, and S1 does not have a morphism onto a curve, therefore there is another birational map S1→S0′ which blows-up a point of degree di′. We have KS12=KS02−di=KS0′2−di′, and KS02≥KS0′2
by the maximality of KS02, hence di≥di′.
The birational map
[TABLE]
is called an elementary link of type II, see [Isk96, (2.2.2)], and these links are classified in [ibid., Th. 2.6(ii)].
It follows from this classification and from di≥di′
that di≥2 if KS02∈{4,6,9}, and di≥3 if KS02∈{5,8}. By (4.3) this implies that KS02=9, therefore (S0)Kˉ≅PKˉ2, where Kˉ is the algebraic closure of K and (S0)Kˉ=S0×SpecKSpecKˉ. Let π:PKˉ2→S0 be the projection.
We show that there is at most one index i∈{1,…,r} such that di=2.
Assume that this is not the case, for instance that d1=d2=2. This means that, for i=1,2,
π−1(pi)={pi1,pi2}⊂PKˉ2 is an orbit for the action of the Galois group Gal(Kˉ/K). Then the line ℓi:=pi1pi2⊂PKˉ2 is fixed by the action of the Galois group, hence ℓi=π∗(ℓi,K) where ℓi,K⊂S0 is a curve, and H0(S0,ℓ1,K+ℓ2,K)≅H0(PKˉ2,OPKˉ2(2)).
In the linear system ∣ℓ1,K+ℓ2,K∣, the pencil of curves
containing p1 and p2 defines a map Blp1,p2S0→PK1, against our assumptions.
Therefore there is at most one i such that di=2, and dj≥3 for every j=i.
Again by (4.3) we get 8≤2+3(r−1)≤∑idi=9−KS2≤8, and we conclude that r=3, ρS=4, (d1,d2,d3)=(2,3,3) up to order, and KS2=1.
∎
Let φ:X\dasharrowX′ be a SQM such that f′:=f∘φ−1:X′→Y is a K-negative resolution of f, and F⊂X′ a general fiber of f′.
Let also η be the generic point of Y and Xη the generic fiber of f′; then Xη is a smooth del Pezzo surface over K=C(η), with KXη2=KF2 (by generic flatness) and ρXη=dimN1(F,X′)=df (by Lemma 3.5).
If df=ρXη≥4, then
we can apply Lemma 4.2. If we are in case (i),
there is a surjective morphism gη:Xη→Cη onto a curve, defined over K. By normalizing and taking the Stein factorization, we can assume that Cη is smooth and (gη)∗OXη=OCη.
Then by Lemma 3.6 there are a non-empty open subset Y0⊂Y,
a quasi-projective 3-fold Z0 with a contraction Z0→Y0 extending Cη→η, and a contraction g0:(f′)−1(Y0)→Z0, such that f∣(f′)−1(Y0)′ factors through g0.
Finally using Lemma 3.14 we get (a).
Suppose now that we are in case (ii) of Lemma 4.2, namely df=ρXη=4 and KXη2=1. Then KF2=1 and φ is an isomorphism by [Cas22, Lemma 5.10], so f is regular and we get (b).
∎
Proposition 4.4**.**
Let X be a smooth Fano 4-fold, X\dasharrowX′ a SQM, and f:X′→P1 a K-negative contraction. Let ι:F↪X′ be a general fiber of f.
If ρF≥6, or if ρF=4,5 and ι∗:N1(F)→N1(X′) is injective,
then f can be factored as X\dasharrowgZ→hP1 where dimZ=3, g is a special rational contraction, and h is a contraction.
Proof.
Let Y0⊆P1 be an open subset over which f is smooth, and set X0:=f−1(Y0) and F:=f−1(y)
for y∈Y0. Note that F is a smooth Fano 3-fold. We consider the monodromy action of π1(Y0,y) on H2(F,R)=N1(F); the image of the restriction N1(X0)→N1(F) is the invariant subspace N1(F)π1(Y0,y), see
[Voi02, Th. 16.24].
Assume that
ρF≥6. Then F≅P1×S where S is a del Pezzo surface [IP99, §12.6]; consider the projections π1:F→P1 and π2:F→S.
Set τ:=π1∗Nef(P1) and σ:=π2∗Nef(S). Then
σ is a facet of Nef(F),
τ is a one-dimensional face of Nef(F), and every other one-dimensional face of Nef(F) is contained in σ, because it corresponds to a contraction of F that factors through π2.
Let g∈π1(Y0,y).
By [Wiś91b, Wiś09], we have g(Nef(F))=Nef(F), so that g permutes the facets of Nef(F); see [CFST16, §2] for an analysis of the monodromy action on the nef cone of F. In particular
g(σ)=σ by [CFST16, Th. 2.7], because π2 is the unique elementary contraction of fiber type of F, the other elementary contractions of F being birational. This also implies that g(τ)=τ; in particular g preserves the linear subspaces π1∗N1(P1) and π2∗N1(S) of N1(F).
We have KF=π1∗KP1+π2∗KS, and g(KF)=KF because KF=KX0∣F. Therefore g must fix also π2∗KS, so that π2∗(−KS)∈N1(F)π1(Y0,y). We conclude that there exists H∈Pic(X0) such that H∣F=π2∗(−KS). It follows from [Wiś91b, Prop. 1.3]
that H is relatively nef over Y0, hence
it induces a contraction
g0:X0→Z0 such that f∣X0 factors through g0 and g0∣F=π2, so that the general fiber of g0 is P1. Finally using Lemma 3.14 we get the statement.
Suppose now that
ρF=4,5 and ι∗:N1(F)→N1(X′) is injective. Then the restriction N1(X′)→N1(F) is surjective, hence N1(X0)→N1(F) is surjective too,
and the monodromy action is trivial. Thus again by [Wiś91b, Prop. 1.3]
we see that every contraction of F extends to a relative contraction of X0 over Y0.
Since F is a Fano 3-fold with ρF≥4, by [IP99, Theorem on p. 141] it has a conic bundle onto a surface. Then f∣X0 factors through a contraction g0:X0→Z0 with general fiber P1, and we conclude as above by Lemma 3.14.
∎
Let f′:X′→P1 be a K-negative resolution of f, and ι:F↪X′ a general fiber.
If df=dimN1(F,X′)≥5, then either ρF≥6, or ρF=5 and ι∗:N1(F)→N1(F,X′) is an isomorphism. Thus the statement follows from Prop. 4.4.
∎
The following implies Th. 1.7 from the Introduction.
Theorem 4.5**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and f:X\dasharrowY a non-trivial rational contraction of fiber type.
Then df≤4. If moreover df=4 and dimY=2, then Y≅P2 and f:X→P2 is regular and equidimensional, with general fiber a del Pezzo surface of degree one.
The bound df≤4 is sharp: see
Ex. 6.2 for an example where df=4, with Y=P1 and ρX=7.
Moreover the condition ρX≥7 is necessary, as the following examples show.
Example 4.6**.**
Let X be a Fano 4-fold with δX=3 and ρX=6 which is not a product of surfaces. Such 4-folds have been classified in [CRS22, §7 and Corrigendum], there are 9 families. Each such X has a quasi-elementary contraction f:X→S where S≅P1×P1 or S≅F1, thus df=ρX−ρS=4.
Example 4.7**.**
Let X be as in Ex. 4.6.
By composing f:X→S with a P1-bundle S→P1, we get a quasi-elementary contraction f′:X→P1 with df′=ρX−1=5.
We note first of all that if dimY=3, then the general fiber of f is P1 and df=1, therefore we can assume that dimY∈{1,2}.
4.8**.**
Suppose that f factors as X\dasharrowgZ→hY where dimZ=3, g is a special rational contraction, and h is a contraction of fiber type.
Then df≤3 if dimY=2 and df≤4 if Y≅P1.
Proof.
We apply the results in [CS24] to g:X\dasharrowZ. First of all,
we have δX≤1 by Th. 1.9, hence ρX−ρZ≤2 by [ibid., Lemma 3.12]. Moreover Z has the following property:
if Z\dasharrowZ′ is a SQM, and Z′→W is a sequence of elementary divisorial contractions, then every contraction of the sequence is of type (2,0). This is shown in [ibid., Lemma 5.9, 5.13, Lemma 5.15] when ρX−ρZ=2, and in [ibid., proof of Th. 6.3] and [Cas13a, §4.2]
when g is elementary.
Let g′:X′→Z be a resolution of g, and note that h∘g′:X′→Y is a resolution of f. Let Fh⊂Z be a general fiber of h:Z→Y, so that F:=(g′)−1(Fh)⊂X′ is a general fiber of h∘g′. By Def.-Rem. 3.2 and Lemma 2.6 we get df=dimN1(F,X′)≤ρX−ρZ+dimN1(Fh,Z)≤2+dimN1(Fh,Z).
If dimY=2, then Fh≅P1, hence dimN1(Fh,Z)=1 and df≤3.
Assume that Y≅P1. We show that dimN1(Fh,Z)≤2, which implies that df≤4.
By Lemma 3.16 we can factor h as Z\dasharrowαW→βP1 where α is an elementary rational contraction, either divisorial or of fiber type, and β is a contraction.
If α is divisorial, we apply again Lemma 3.16 to β, and we proceed in this way until we find a factorization of h as:
[TABLE]
where α′ is a (possibly empty) sequence of elementary divisorial rational contractions, β′ and β′′ are elementary of fiber type, dimS=2, and β′ and γ are regular.
Up to composing with SQM’s, we can assume that β′′ and α′ are regular (note that dimN1(Fh,Z) does not vary, see Def.-Rem. 3.2). Then α′(Fh)⊂W′ is a general fiber of β′ or of γ∘β′′, and dimN1(α′(Fh),W′)≤2 because both contractions β′ and β′′ are elementary, and the general fiber of γ is P1. Moreover, since dimα′(Exc(α′))=0 by the properties of Z, we have α′(Fh)∩α′(Exc(α′))=∅, hence dimN1(Fh,Z)=dimN1(α′(Fh),W′)≤2 (see [Cas20, Lemma 2.17]).
∎
4.9**.**
We consider now the case where f cannot be factored as in 4.8; then we get df≤4 by
Th. 4.1(a).
Suppose moreover that
df=4 and dimY=2. Then Th. 4.1(b) implies that
f:X→Y is regular, with general fiber a del Pezzo surface of degree one.
We show that f is special and Y≅P2.
By Prop. 3.12 we can factor f as X\dasharrowf′Y′→φY where f′ is a special rational contraction of fiber type, and φ is birational; then Y′ is a smooth rational surface (Lemma 3.19). If Y′≅P2, then φ is an isomorphism, f is special, and we get the statement.
Assume by contradiction that Y′≅P2. Then Y′ is obtained as a blow-up of some Hirzebruch surface, therefore it has a contraction ψ:Y′→P1. Consider ψ∘f′:X\dasharrowP1. We show that dψ∘f′>4, contradicting the first part of the proof.
Let ζ:X\dasharrowX′ be a SQM such that
f′′:=f′∘ζ−1:X′→Y′ is regular.
[TABLE]
Since φ is birational, f′′ and φ∘f′′ have the same general fiber, and
df′′=dφ∘f′′=df=4; moreover dψ∘f′=dψ∘f′′ (see Def.-Rem. 3.2).
If F2⊂X′ is a general fiber of ψ∘f′′, and F1⊂F2⊂X′ a general fiber of f′′, then dψ∘f′′=dimN1(F2,X′)>dimN1(F1,X′)=4. This concludes the proof. ∎
The following implies Cor. 1.8 from the Introduction.
Corollary 4.10**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces.
If τ is a movable face of Eff(X), then
dimτ≥ρX−4≥3.
In particular, every face of dimension 1 or 2 of Eff(X) is fixed.
Again, the condition ρX≥7 is necessary, as the following example shows.
Example 4.11**.**
Let X be a Fano 4-fold as in Examples 4.6 and 4.7; we have ρX=6 and X is not a product of surfaces. The cone Eff(X) has a one-dimensional movable face, given by (f′)∗Nef(P1) where f′:X→P1 is a quasi-elementary contraction as in Ex. 4.7.
By Rem. 3.11 there is a non-trivial rational contraction of fiber type
f:X\dasharrowY
such that dimτ≥ρX−df. We have
df≤4 by Th. 4.5, hence dimτ≥ρX−4.
∎
5. Preliminaries on fixed prime divisors of Fano 4-folds
In this section we recall the classification of fixed prime divisors in Fano 4-folds X with
ρX≥7,
or ρX=6 and δX≤2, and give many related properties that are used in the sequel.
Theorem - Definition 5.1** **(the type of a fixed prime divisor).
(See [Cas17, Th. 5.1,
Cor. 5.2, Lemma 5.25].)*
Let X be a smooth Fano 4-fold with ρX≥7,
or ρX=6 and δX≤2,
and D a fixed prime divisor in X.*
(a)
There exists a unique diagram:
[TABLE]
where ξ is a SQM, σ is a divisorial elementary contraction with exceptional divisor the transform D of D, and Y is Fano (possibly singular);
2. (b)
σ* is of type (3,0)sm, (3,0)Q, (3,1)sm, or (3,2), and we define D to be of type (3,0)sm, (3,0)Q, (3,1)sm, or (3,2), accordingly;*
3. (c)
if D is of type (3,2), then X=X. In the other cases ξ factors as a sequence of at least ρX−4D-negative and K-negative flips.
4. (d)
We define CD⊂D⊂X to be the transform of a general irreducible curve CD⊂D⊂X contracted by σ, of minimal anticanonical degree. Then CD≅P1, D⋅CD=−1, and CD⊂dom(ξ).
5. (e)
Given a SQM φ:X\dasharrowX′ and a divisorial elementary contraction σ′:X′→Y′ with Exc(σ′) the transform of D, there is a commutative diagram:
[TABLE]
where ψX and ψY are SQM’s, D⊂dom(ψX),
and σ(D)⊂dom(ψY).
Among the known families of Fano 4-folds with ρX≥7, we have examples of all four types of fixed prime divisors, see §11.1 and §11.2.
Example 5.2**.**
Let X=S1×S2 with S1 and S2 del Pezzo surfaces, and ρX≥7. Then every fixed prime divisor D⊂X is of type (3,2), and D=C×S2 or S1×C where C is a (−1)-curve.
Lemma 5.3** ([Cas17], Rem. 2.17(2) and [Cas13a], Cor. 3.14).**
Let X be a smooth Fano 4-fold with ρX≥7, or ρX=6 and δX≤2. Let E⊂X be a fixed prime divisor of type (3,2), X\dasharrowX′ a SQM, and E′⊂X′ the transform of E. Then
E does not contain exceptional planes and
dimN1(E,X)=dimN1(E′,X′).
Let X be a smooth Fano 4-fold, φ:X\dasharrowX′ a SQM, and E⊂X′ a fixed prime divisor. We define the type of E to be the type
of its transform EX⊂X, and we define CE⊂E⊂X′ to be the transform of CEX⊂X.
Remark 5.4**.**
In the above setting, we have CEX⊂dom(φ) and CE⊂dom(φ−1).
Indeed X∖dom(φ) is a finite union of exceptional planes (Lemma 2.14). If E is of type (3,2), then EX does contain exceptional planes by Lemma 5.3, hence X∖dom(φ) intersects EX at most in dimension one, and does not touch CEX.
Suppose that E is not of type (3,2), and let L⊂X∖dom(φ) be an exceptional plane. If L⊂EX, then CEX∩L=∅. If instead L⊂EX but L∩EX=∅, let us consider the SQM ξ:X\dasharrowX as in Th.-Def. 5.1, and let E⊂X be the transform of EX. Then L⊂X∖dom(ξ) and if L⊂X is its transform, we have dim(L∩E)=1, and the general curve CE is disjoint from L, thus again CEX∩L=∅.
Remark 5.5** (the cone Mov(X)∨).**
Let X be a smooth Fano 4-fold with ρX≥7, or ρX=6 and δX≤2.
Consider the cone Mov(X)∨⊂N1(X), dual of the cone of movable divisors, and note that mov(X)⊂Mov(X)∨⊂NE(X) because dually Nef(X)⊂Mov(X)⊂Eff(X). By
[Cas17, Lemma 5.29] we have:
[TABLE]
and every ⟨[CD]⟩ is a one-dimensional face of Mov(X)∨.
This means that Mov(X)∨ has two types of one-dimensional faces, and dually that Mov(X) has two types of facets. The one-dimensional face ⟨[CD]⟩
corresponds to the facet Mov(X)∩[CD]⊥ of Mov(X); the cones of MCD(X) of dimension ρX−1 contained in this facet correspond precisely to divisorial elementary rational contractions X\dasharrowY with exceptional divisor D.
The second type of one-dimensional faces α of Mov(X)∨ are those contained in mov(X), so that α is a common one-dimensional face of the two cones. Then the corresponding facet α⊥∩Mov(X) of Mov(X) is contained in a (movable) facet of Eff(X), and the cones of MCD(X) of dimension ρX−1 contained in this facet correspond to elementary rational contractions of fiber type.
Lemma 5.6**.**
Let X be a smooth Fano 4-fold with ρX≥7, or ρX=6 and δX≤2. Let
φ:X\dasharrowX′ be a SQM and
E⊂X′ a fixed prime divisor of type (3,2). Then [CE] generates an extremal ray of NE(X′) if and only if E does not meet any exceptional line.
Proof.
If [CE] generates an extremal ray of NE(X′), it must be divisorial
by Rem. 5.4, and
the statement follows from Th.-Def. 5.1 and Lemma 2.14.
Conversely, suppose that E⊂X′ does not meet exceptional lines. Then E⊂dom(φ−1) (Lemma 2.14(a)) and φ−1(E)⊂X cannot contain exceptional planes (Lemma 5.3), therefore neither can E.
Since E⋅CE<0, NE(X′) must have an E-negative extremal ray R; we have Locus(R)⊂E, hence R is birational.
We claim that R cannot be small. Indeed if R0 is a small extremal ray of NE(X′), and KX′⋅R0≥0, then Locus(R0) is a finite union of exceptional lines (see Lemma 2.14), hence Locus(R0)∩E=∅. If instead −KX′⋅R0>0, then Locus(R0) is a finite union of exceptional planes (see Lemma 2.13), therefore Locus(R0)⊂E.
We conclude that R is divisorial, and by Th.-Def. 5.1
we must have [CE]∈R.
∎
Lemma 5.7**.**
Let X be a smooth Fano 4-fold with ρX≥7, or ρX=6 and δX≤2. Let φ:X\dasharrowX′ be a SQM, E⊂X′ a fixed prime divisor of type (3,2), and f:X′→Y a K-negative contraction such that f(CE)={pt}. Then [CE] generates an extremal ray of NE(X′).
Proof.
Since [CE]∈NE(f) and E⋅CE<0, there exists an extremal ray R of NE(f) such that E⋅R<0. Moreover R is K-negative, because f is. If R is small, then Locus(R) is a finite union of exceptional planes (see Lemma 2.13). In particular Locus(R) must be contained in dom(φ−1) (see Lemma 2.14), and the transform of E in X contains an exceptional plane, a contradiction (see Lemma 5.3).
Hence R is divisorial, and by Th.-Def. 5.1
we must have [CE]∈R.
∎
Lemma 5.8**.**
Let X be a smooth Fano 4-fold with ρX≥7, or ρX=6 and δX≤2. Let φ:X\dasharrowX′ be a SQM and f:X′→Y an elementary contraction of type (3,2); set A:=f(Exc(f))⊂Y.
Then
Y can contain finitely many pairwise disjoint exceptional lines, all disjoint from A. If Γ⊂Y is an irreducible curve that is not an exceptional line, then −KY⋅Γ≥1. Suppose moreover that
−KY⋅Γ=1. Then Γ cannot meet any exceptional line, and if Γ meets A, then Γ⊂A.
Furthermore, for every SQM ψ:Y\dasharrowY′, we have A⊂dom(ψ).
Proof.
We note that f is K-negative (see Lemma 2.14) and Y
is locally factorial with
at most ordinary double points, contained in A (Lemma 2.9).
By Th.-Def. 5.1(e) we have a commutative diagram:
[TABLE]
where φY is a SQM, σ is a divisorial elementary contraction with exceptional divisor the transform of Exc(f), Y is Fano, Exc(σ)⊂dom(φ), and σ(Exc(σ))⊂dom(φY).
Then the same proof as [CS24, proof of Lemma 5.48]
gives the statement. Note that if Γ⊂Y is an irreducible curve with −KY⋅Γ=1, Γ∩A=∅, and Γ⊂A, then the transform Γ′⊂X′ has −KX′⋅Γ′≤0, thus Γ′ is an exceptional line (Lemma 2.14) and meets Exc(f), contradicting Lemma 5.6. ∎
Let X be a smooth Fano 4-fold with ρX≥7 and D,E⊂X two
distinct fixed prime divisors.
(a)
If D⋅CE=0, then D and E are adjacent.
2. (b)
If E is of type (3,2) and D and E are adjacent, then D⋅CE=0.
Lemma 5.10**.**
Let X be a smooth Fano 4-fold with ρX≥7, or ρX=6 and δX≤2. Let D1,…,Dm⊂X be
fixed prime divisors such that Di⋅CDj=0 for i=j. Then ⟨[D1],…,[Dm]⟩ is a fixed face of Eff(X) of dimension m, and there exists a birational (rational) contraction f:X\dasharrowY with exceptional divisors D1,…,Dm, where Y is Q-factorial with ρY=ρX−m.
Proof.
It is easy to see that [D1],…,[Dm]∈N1(X) are linearly independent. Moreover if D is an effective divisor with [D]∈⟨[D1],…,[Dm]⟩, D=0, then D⋅CDi<0 for some i∈{1,…,m}, therefore D is not movable, and ⟨[D1],…,[Dm]⟩∩Mov(X)={0}.
Each [Di] generates a one-dimensional face of Eff(X).
To show that ⟨[D1],…,[Dm]⟩ is a face, we proceed by induction on m, by applying Lemma 2.1 with the linear maps on N1(X) given by intersection with CDi.
Finally, for the existence of the map f, see [Cas22, Lemma 4.2 and its proof].
∎
Lemma 5.11**.**
Let X be a smooth Fano 4-fold with ρX≥7 and D and E two adjacent fixed prime divisors,
of type (3,0)sm and (3,2) respectively. Then D∩E=∅.
Proof.
This follows from Lemma 5.3 and [Cas20, Lemma 4.9].
∎
Let X be a smooth Fano 4-fold with ρX≥7. Let D be a fixed prime divisor of type (3,0)Q, and E1, E2 fixed prime divisors of type (3,2), both adjacent to D, such that D∩Ei=∅ for i=1,2. Then E1⋅CE2=E2⋅CE1=1.
Lemma 5.13**.**
Let X be a smooth Fano 4-fold with ρX≥7, ψ:X\dasharrowX′ a SQM,
and D,E⊂X′ two adjacent fixed prime divisors, of type (3,1)sm and (3,2) respectively, with E⋅CD>0.
Then E⋅CD=1 and E∩L=∅ for every exceptional plane L⊂D.
Proof.
Let DX,EX⊂X be the transforms of D,E respectively.
It is shown in [Cas22, Lemma 4.23] that EX⋅CDX=1 and
that EX is disjoint from every exceptional plane contained in DX.
This implies the statement,
indeed E⋅CD=EX⋅CDX (see Rem. 5.4), and if L⊂D is an exceptional plane,
then L⊂dom(ψ−1) (see Lemma 2.14), and its transform LX⊂X is an exceptional contained in DX, therefore LX∩EX=∅, and hence L∩E=∅.
∎
Lemma 5.14**.**
Let X be a smooth Fano 4-fold with ρX≥7,
X\dasharrowX a SQM, and
σ:X→Y and α:X→Z divisorial elementary contractions of type (3,2) and (3,1)sm respectively. Set E:=Exc(σ) and D:=Exc(α), and assume that D⋅CE=0 and E⋅CD>0.
Then
⟨[CD],[CE]⟩ is a face of NE(X) and we have a commutative diagram:
[TABLE]
where σ′ is an elementary contraction of type (3,2) with exceptional divisor α(E), and α′ is the blow-up of a smooth point with exceptional divisor σ(D) (see Fig. 5.1). Moreover D≅PP1(O⊕2⊕O(1)) and E⋅CD=1.
Proof.
Since D⋅CE=0, D and E are adjacent by Lemma 5.9, and
E⋅CD=1 by Lemma 5.13.
We note that D⋅R≥0 for every extremal ray R of NE(X) different from R≥0[CD]; this follows from Th.-Def. 5.1,
Lemma 2.14, and [Cas17, Rem. 5.6].
Let H∈Pic(X) be the pullback under σ of an ample divisor on Y, and set m:=H⋅CD>0. Then (H+mD)⋅CE=(H+mD)⋅CD=0, and if R is an extremal ray of NE(X)
different from R≥0[CD] and R≥0[CE],
then H⋅R>0, D⋅R≥0, and hence (H+mD)⋅R>0. This shows that
H+mD is nef and (H+mD)⊥∩NE(X)=⟨[CD],[CE]⟩ is a face of NE(X), hence we have a commutative diagram as (5.15) where σ′ and α′ are divisorial elementary contractions with exceptional divisors the images of E and D respectively. Then it is not difficult to see as in [Cas22, proof of Lemma 4.23] that σ′ is of type (3,2), α is the blow-up of a one-dimensional fiber of σ′,
D≅PP1(O⊕2⊕O(1)), σ(D)≅P3, and α′ is of type (3,0)sm. See also [CS24, Lemma 2.18].
∎
Lemma 5.16**.**
Let X be a smooth Fano 4-fold with ρX≥7 and D a fixed prime divisor of type (3,1)sm. Then there is at most one fixed prime divisor E of type (3,2) which is adjacent to D and such that E⋅CD>0.
Proof.
This follows from [Cas22, Lemma 4.23 and its proof]; see also Lemma 5.14. Let X\dasharrowξX→Y be the contraction of D as in Th.-Def. 5.1(a), and D,E⊂X the transforms of D,E respectively. Then D is isomorphic to the blow-up of P3 along a line, E⊂dom(ξ) so that E≅E, E∩D is the exceptional divisor of D→P3, and the fibers of the blow-up D→P3 are numerically equivalent to ξ(CE). Therefore the class [CE] is uniquely determined by D.
∎
Lemma 5.17**.**
Let X be a smooth Fano 4-fold with ρX≥7. Let D be a fixed prime divisor of type (3,1)sm, and E1, E2 distinct fixed prime divisors of type (3,2), both adjacent to D, such that D∩Ei=∅, for i=1,2. Then one of the following holds:
(i)
E1⋅CE2=E2⋅CE1=0;
2. (ii)
up to exchanging E1 and E2, we have
E1⋅CD=0 and E2⋅CD=E2⋅CE1=1.
Proof.
We assume that (i) does not hold, and show (ii).
If E1⋅CE2=0, then E1 and E2 are adjacent by Lemma 5.9, hence
E2⋅CE1=0 by the same lemma; similarly if E2⋅CE1=0. Therefore we can assume that
E1⋅CE2>0 and E2⋅CE1>0.
By Lemma 5.16 there exists i∈{1,2} such that Ei⋅CD=0; up to exchanging E1 and E2, we can suppose that E1⋅CD=0. Note that D⋅CE1=0 because D and E1 are adjacent (Lemma 5.9).
Then by [Cas22, Lemma 6.9 and Prop. 6.1] there exists an exceptional plane L⊂D such that CD≡CL+CE1. By Lemma 5.3 we have L⊂E2, thus E2⋅CL≥0 and
E2⋅CD≥E2⋅CE1>0.
By Lemma 5.13
we have E2⋅CD=1, which implies that E2⋅CE1=1.
∎
Lemma 5.18**.**
Let X be a smooth Fano 4-fold with ρX≥7, D a fixed prime divisor of type (3,0)sm or (3,1)sm, and X\dasharrowξX→σY the contraction of D as in Th.-Def. 5.1(a). Then δY≤2.
Proof.
We note first of all that X is not isomorphic to a product of surfaces because it has a fixed prime divisor of type (3,0)sm or (3,1)sm,
therefore
δX≤1 by Th. 1.9. Moreover Y is a smooth Fano 4-fold.
If by contradiction δY≥3, then NE(Y) has
an extremal ray R of type (3,2) with codimN1(E,Y)=δY where E=Locus(R) (see [Cas12, Rem. 3.2.6] for the case δY≥4, and [CRS22, Th. 1.4 and proof of Lemmas 3.2 and 4.5] for the case δY=3).
Consider the transforms EX⊂X and EX⊂X.
Let Γ⊂E be a general fiber of the contraction of R, and let
ΓX⊂X and ΓX⊂X be its transforms. By generality we have Γ∩σ(Exc(σ))=∅, hence −KX⋅ΓX=−KY⋅Γ=1. By Lemma 2.14 this implies that ΓX⊂dom(ξ−1), therefore −KX⋅ΓX=1 and EX⋅ΓX=E⋅Γ=−1. Thus EX⊂X is a non-nef prime divisor covered by rational curves of anticanonical degree one, so that EX is a fixed prime divisor of type (3,2) by [Cas17, Lemma 2.18].
Then using Lemmas 2.6 and 5.3 we get
[TABLE]
a contradiction.
∎
Lemma 5.19**.**
Let X be a Fano 4-fold with ρX≥7 and δX≤1, X\dasharrowX′ a SQM, and f:X′→S a contraction.
Assume that ρS≥3, and
let Γ⊂Sreg be a (−1)-curve. Then there is an exceptional line ℓ⊂X′, whose class is extremal in NE(X′), such that f(ℓ)=Γ.
Proof.
Since R≥0[Γ] is an extremal ray of NE(S), there is an extremal ray R of NE(X′) such that f∗(R)=R≥0[Γ], so that the contraction of R must be birational, with fibers of dimension at most one (see [Cas08, §2.5]). If KX′⋅R≥0, then R contains the class of an exceptional line ℓ⊂X′ (see Lemma 2.14) and we have f(ℓ)=Γ.
We suppose that KX′⋅R<0 and show that this gives a contradiction.
Then R cannot be small (Lemma 2.13), thus it must be of type (3,2) with locus D:=f−1(Γ), and D is a fixed prime divisor of type (3,2) (see Th.-Def. 5.1). By Lemma 2.6 we have dimN1(D,X′)≤1+ρX−ρS≤ρX−2.
On the other hand, if DX⊂X is the transform of D, Lemma 5.3 gives dimN1(DX,X)=dimN1(D,X′), contradicting δX≤1.
∎
Remark 5.20**.**
Let X be a smooth Fano 4-fold with ρX≥7 and
E,D1,…,Dm fixed prime divisors such that E is of type (3,2), each Di is of type (3,1)sm, and E⋅CDi=Di⋅CDj=0 for every i,j=1,…,m, i=j.
By Lemma 5.9 this implies that Di⋅CE=0 for every i=1,…,m, and Lemma 5.10 gives that
⟨[E],[D1],…,[Dm]⟩ is a fixed face of Eff(X), and E,D1,…,Dm can be contracted together by a birational (rational) contraction with Q-factorial target. However the geometry of this contraction depends on the order in which we contract the divisors; let us describe this. See also [CS24, Lemma 2.19] for the case m=1, and [Cas22, Lemma 6.9, Prop. 6.1, Prop. 6.4].
Let us first describe how the divisors E,D1,…,Dm intersect in X.
For every i,j∈{1,…,m}, i=j, Di∩Dj is either empty or a disjoint union of exceptional planes [Cas22, Lemma 4.13(b)]. Let us also note that X is not a product of surfaces because it has fixed prime divisors of type (3,1)sm, thus δX≤1 by Th. 1.9, and E can be disjoint from at most one Di (otherwise, if E is disjoint from Di and Dj with i=j, then N1(E,X)⊂Di⊥∩Dj⊥ by Rem. 2.7, a contradiction).
Moreover
by [CS24, Lemma 2.17(ii)], for every i=1,…,m such that Di∩E=∅, there exists an exceptional plane Li⊂Di such that Di⋅CLi=−1, E⋅CLi=1, CDi≡CE+CLi, and E∩L=∅ for every exceptional plane L⊂Di such that CL≡CLi; we also have that E∩Di is a disjoint union of surfaces isomorphic to F1. For j=i we get Dj⋅CLi=0 and hence Dj∩Li=∅, because Dj⋅CL0<0 for every exceptional plane L0⊂Dj.
We can first perform a sequence of (D1+⋯+Dm)-negative and E-trivial flips, and get a SQM ξ1:X\dasharrowX. Then E⊂dom(ξ1), so that [CE] is still extremal in NE(X) (Lemma 5.6), and we have a diagram:
[TABLE]
where α and α~ are the contractions of R≥0[CE], of type (3,2), and locally isomorphic, Y is Fano with at most isolated, locally factorial, terminal singularities, and ξY is a SQM (Th.-Def. 5.1, Lemma 2.9).
In Y the divisors D1,…,Dm are pairwise disjoint, are contained in Yreg, and are the exceptional divisors of σY:Y→W blow-up of m pairwise disjoint smooth irreducible curves Γ1,…,Γm⊂Wreg; W has the same singularities as Y and Y (see Fig. 5.2).
Set f:=σY∘α~:X→W. Then f is
a resolution of the birational map X\dasharrowW, with
exceptional divisors E,D1,…,Dm. In X the relative cone of f is NE(f)=⟨[CE],[CL1],…,[CLm]⟩, and CDi≡CE+CLi for every i,888Or NE(f)=⟨[CE],[CL1],…,[CLm−1],[CDm]⟩ if E∩Dm=∅ in X. while in Y we have NE(σY)=⟨[CD1],…,[CDm]⟩.
Moreover W is Fano. To see this, consider f∗(−KW)=−KX+E+2(D1+⋯+Dm), and let R be an extremal ray of
NE(X). If KX⋅R≥0, then there is an exceptional line
ℓ⊂X with [ℓ]∈R (see Lemma 2.14), and we have
(D1+⋯+Dm)⋅ℓ>0, −KX⋅ℓ=−1, E⋅ℓ=0, thus f∗(−KW)⋅ℓ>0.
Suppose instead that R is K-negative.
The extremal rays of NE(X) that are negative for some exceptional divisor of f are precisely those in NE(f), therefore if R⊂NE(f) we have −KX⋅R>0, (E+2(D1+⋯+Dm))⋅R≥0, and
again f∗(−KW)⋅R>0. We conclude that f∗(−KW) is nef and f∗(−KW)⊥∩NE(X)=NE(f), which implies that −KW is ample.
On the other hand from X we can also consider the remaining (D1+⋯+Dm)-negative flips, that will be given by the extremal rays generated by [CL1],…,[CLm] (which are E-positive), and get a SQM ξ2:X\dasharrowX. Now we get a birational map σ:X→Z which is the blow-up of m pairwise disjoint smooth irreducible curves Γ1′,…,Γm′⊂Z, and Z is smooth and Fano (this can be seen with a similar argument as for W). In Z we have E⋅Γi′>0 for every i=1,…,m. Moreover [CE] is extremal in NE(Z), and there is an associated elementary contraction of type (3,2)α0:Z→W.
[TABLE]
Set g:=α0∘σ:X→W. Then g is another resolution of the birational map X\dasharrowW, and now we have NE(g)=⟨[CD1],…,[CDm],[ℓ1],…,[ℓm]⟩ where ℓi⊂X is the exceptional line corresponding to the exceptional plane Li⊂X.999Or NE(g)=⟨[CD1],…,[CDm],[ℓ1],…,[ℓm−1]⟩ if E∩Dm=∅ in X. Moreover CE≡CDi+ℓi for every i.
Lemma 5.21**.**
In the setting of Rem. 5.20, let i∈{1,…,m} be such that E∩Di=∅,
A⊂W be the image of E, and Γi⊂W the image of Di, so that A is an irreducible surface and Γi a smooth irreducible curve contained in Wreg. Then A and Γi intersect transversally at finitely many points, contained in Areg.
Proof.
Let S be a connected component of E∩Di in X. Then S≅F1 and if ℓ⊂F1 is the fiber of the P1-bundle and e⊂F1 is the (−1)-curve, we have ℓ≡CE, e=S∩Li, and e≡CLi (notation as in Rem. 5.20).
The surface S is contained in dom(ξ1), therefore it is mapped isomorphically to X, where we still denote it by S. Set AY:=α~(E)⊂Y and Λ:=α~(S)⊂AY;
then Λ is a connected component of AY∩α~(Di).
We note that S=α~−1(Λ) and α~∣S is a P1-bundle, so that α~ has one-dimensional fibers over Λ, hence both AY and Y are smooth at every point of Λ
(Lemma 2.9).
Moreover Λ≅P1 and Λ≡CDi. If α~(Di)∣AY=mΛ+B where B is a divisor in AY supported on the other connected components of AY∩α~(Di) (note that AY∩α~(Di)⊂(AY)reg), we get −1=α~(Di)⋅CDi=α~(Di)⋅Λ=α~(Di)∣AY⋅AYΛ=mΛ2, so that m=1 and Λ is a (−1)-curve in AY.
This shows that, in W, w0:=σY(Λ)=f(S) is a point, and A is smooth at w0. Moreover σY∣AY is the blow-up of the reduced point w0, therefore the curve Γi and A intersect transversally at w0.
∎
Lemma 5.22**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, X\dasharrowX a SQM, and f:X→Y a special contraction with dimY=3 and ρX−ρY=2.
Then NE(f)=⟨[CE1],[CE2]⟩ where E1,E2⊂X are fixed prime divisors of type (3,2) such that
N1(Ei,X)=N1(X) for i=1,2.
Proof.
The Fano 4-folds as in the statement are classified in [CS24, Th. 5.1].
The description of NE(f) is in [ibid., Lemma 5.6], and we keep the same notation. In particular
let α~:X→W the elementary contraction of type (3,2) with exceptional divisor E1, and S:=α~(E1)⊂W. Then
N1(S,W)=N1(W) by [ibid., 5.67]; on the other hand
kerα~∗⊂N1(E1,X) and α~∗(N1(E1,X))=N1(S,W), and we conclude that N1(E1,X)=N1(X).
Let us consider now E2. If we are in case (b) of [ibid., Lemma 5.39], then the situation for E1 and E2 is symmetric [ibid., Lemma 5.46, 5.60], and as before we conclude that N1(E2,X)=N1(X). If we are in case (a) and the surface S is singular, then α~:X→W has a 2-dimensional fiber F0 (Lemma 2.9). We have E2⋅NE(α~)>0, hence dim(F0∩E2)≥1 and kerα~∗⊂N1(E2,X). On the other hand T:=α~(E2)⊃S, so that α~∗(N1(E2,X))=N1(T,W)⊃N1(S,W)=N1(W), and we conclude again that N1(E2,X)=N1(X).
We are left with the case where we are in case (a) and S is smooth.
Then by [ibid., Th. 5.1, Lemma 5.68, 5.70] there is a SQM W\dasharrowW:=Blq0,…,qrP4 (see §11.1), with r=ρX−3, and S⊂W is the transform of a cubic scroll A⊂P4 containing the points q0,…,qr. Moreover Y≅Blp1,…,prP3 and there is a P1-bundle π:W→Y, induced by the projection P4\dasharrowP3 from q0, such that f=π∘α~.
The points q0,…,qr∈P4 are in general linear position [ibid., 5.63], therefore up to exchanging some points we can assume that q0 does not belong to the (−1)-curve in A≅F1. Then the projection of A from q0 is a smooth quadric surface B0⊂P3, and B:=π(S)=Blp1,…,prB0 is a smooth surface with ρB=2+r=ρX−1. Finally E2⊂X is the transform of T=π−1(B)⊂W, which is a P1-bundle over B, thus T is smooth with ρT=ρX=ρW+1. We have E2≅T because
both T and S are smooth, S⊂T, and α~ is the blow-up along S.
Let us consider the restriction r:N1(W)→N1(T).
Since
N1(T,W)=N1(S,W)=N1(W), dually r is injective.
We claim that the class [S]∈N1(T) is not in the image r(N1(W)). Let us first show that this implies the statement. Consider the commutative diagram:
[TABLE]
where the horizontal maps are the restrictions. Since r is injective and φ is an isomorphism, φ(r(N1(W))) is a hyperplane contained in Imr′. Moreover φ([S]) is outside this hyperplane and φ([S])=[E1∣E2]∈Imr′, and we conclude that r′ is surjective, hence an isomorphism as ρE2=ρX, and finally that N1(E2,X)=N1(X).
To prove our claim, note that the canonical class KA is not the restriction of a class in N1(P4).
Let σ:W→P4 be the blow-up of q0,…,qr, and S′⊂W the transform of A. Then σ∣S′ is the blow-up of A along q0,…,qr, and KS′=(σ∣S′)∗(KA)+∑i=0rei, where ei⊂S′ are the (−1)-curves, that are restrictions to S′ of the exceptional divisors of σ. Hence we see that KS′ is not the restriction of a class in N1(W). Moreover S⊂W is contained in the open subset where the SQM W\dasharrowW is an isomorphism [CS24, Lemma 5.48], therefore KS is not the restriction of a class in N1(W).
We have S⊂T and KS=(KT+S)∣S, hence KT+S∈r(N1(W)). On the other hand KT=(KW+T)∣T, and we conclude that [S]∈r(N1(W)).
∎
In this section we prove the following result (Th. 1.11 from the Introduction), that will be needed in the next section; it improves Theorems 4.1 and 4.5 in the case of a quasi-elementary rational contraction onto a surface.
Theorem 6.1**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and f:X\dasharrowS a quasi-elementary rational contraction onto a surface.
Then ρX−ρS≤3, and if ρX−ρS>1, then f factors as X\dasharrowgY\dasharrowhS where dimY=3,
g and h are rational contractions, g is special, and h
is elementary.
The condition ρX≥7 is necessary, see Ex. 4.6; see moreover §11.4 for an example of a Fano 4-fold X with ρX=3 and a quasi-elementary contraction X→P2, with general fiber Bl2ptsP2, that does not factor through a 3-fold. We also note that the bound ρX−ρS≤3 is sharp, as the following examples show.
Example 6.2**.**
Let X be one of the two families of Fano 4-folds with ρX=7 described in §11.2. Then there are a
quasi-elementary rational contraction f:X\dasharrowS
with dimS=2 and
df=ρX−ρS=3, and
a rational contraction f′:X\dasharrowP1 with df′=4.
Example 6.3**.**
Let X be the Fano model of the blow-up of P4 at r general points, with r∈{6,7,8}, so that ρX∈{7,8,9} (see §11.1). Then there is a
a quasi-elementary rational contraction f:X\dasharrowS
with dimS=2 and df=ρX−ρS=2.
Theorems 6.1 and 1.5 allow to classify complete the case where ρX−ρS=3, as follows.
Corollary 6.4**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and f:X\dasharrowS a quasi-elementary rational contraction onto a surface with
ρX−ρS≥3. Then ρX−ρS=3 and X is as in Th. 1.5(ii).
We first show a preliminary property in Lemma 6.6, then we prove
Th. 6.1.
The proof is quite long and will take the whole section.
The bound ρX−ρS≤3 follows easily from Th. 4.5; the main work is to prove that f factors through a 3-fold, when it is not elementary. So suppose that ρX−ρS∈{2,3} and let f~:X→S be a K-negative resolution of f. We analyse the possible factorizations of f in elementary contractions, using Lemmas 3.16 and 3.18, and show that either the statement holds, or f~ has two distinct factorizations X→σiYi→giS where σi is elementary of type (3,2) and gi is quasi-elementary and K-negative, for i=1,2. Set Ei:=Exc(σi)⊂X.
The surface S is smooth del Pezzo with ρS≥4; for a (−1)-curve Γ⊂S, D:=f~∗Γ is a fixed prime divisor in X. Using results from Section 5 we show that D is of type (3,1)sm, and that up to exchanging E1 and E2 we have E1⋅CD=0, E2⋅CD=E2⋅CE1=1, and E1⋅CE2>1. Then by applying Lemma 6.6 we deduce that the general fiber of g2 is P1×P1.
Thanks to this, if ρX−ρS=3, we factor again g2 using Lemma 3.18, and we get the statement.
We finally prove that in this setting we cannot have ρX−ρS=2,
proceeding by contradiction. We show that Y1 is smooth and g1:Y1→S is a P2-bundle, while
the general fiber of f~ is Bl2ptsP2.
Then we consider a birational map α:S→P2, and show that α∘g1:Y1→P2 also factors as Y1\dasharrowSQMY1→βP2×P2→hP2, where h is the first projection and β is the blow-up of ρX−3 lines contained in distinct fibers of h (compare with §11.3).
Let B2⊂P2×P2 be the transform of E2⊂X; then B2 is a prime divisor of bidegree (2,1), containing the lines blown-up by β. We also consider A⊂B2 the surface image of E1⊂X.
A careful analysis of the possible configurations for B2 and A shows that this case gives a contradiction.
Lemma 6.6**.**
Let X be a smooth Fano 4-fold with ρX≥7 and
X\dasharrowX a SQM.
Let f:X→S be a K-negative contraction onto a surface that factors as g∘σ, where σ:X→Y is a divisorial elementary contraction of type (3,2).
[TABLE]
Suppose also that there is a (−1)-curve Γ⊂Sreg such that D:=f∗(Γ) is a fixed prime divisor of type (3,1)sm with E⋅CD>0, where E:=Exc(σ)⊂X.
Then the general fiber of g is P1×P1.
Proof.
Since f(CE)={pt}, we have D⋅CE=0, therefore D and E are adjacent by Lemma 5.9.
Let τ:S→S1 be the contraction of the (−1)-curve Γ, and set p:=τ(Γ)∈S1; the composition τ∘f:X→S1 contracts D to the point p. We run an MMP for D, relative to τ∘f: this means that we consider D-negative small extremal rays in NE(τ∘f) and their flips, until we find a D-negative divisorial extremal ray in the relative cone. In this way
we get a commutative diagram:
[TABLE]
where φ is a sequence of D-negative flips, α is a divisorial elementary contraction with exceptional divisor the transform D⊂X of D, and h is a contraction of fiber type. Note that both D and the indeterminacy locus of φ−1 are contained in the fiber (h∘α)−1(p).
By Th.-Def. 5.1, Z is smooth and is a SQM of a smooth Fano 4-fold, and
α is the blow-up of a smooth curve C⊂Z.
Since [CE] is extremal in NE(X), by Lemma 5.6E is disjoint from all exceptional lines in X.
Let us factor φ as a sequence of D-negative flips:
[TABLE]
Let E⊂X and Ei⊂Xi be the transforms of E.
We show by induction on i=1,…,r that Ei is disjoint from all exceptional lines in Xi. For i=1 we have already remarked this.
Suppose that the claim holds in Xi, and consider the flip σi:Xi\dasharrowXi+1.
If σi is not K-negative, then its indeterminacy locus is a disjoint union of exceptional lines (see Lemma 2.14), and Xi+1 will have less exceptional lines than Xi, still disjoint from Ei+1. If instead σi is K-negative, then its indeterminacy locus is a finite disjoint union of exceptional planes Lj⊂Xi (see Lemma 2.13) such that D⋅CLj<0, because σi is D-negative. Then Ei∩Lj=∅ by Lemma 5.13, thus in Xi+1 the divisor Ei+1 stays disjoint from the new exceptional lines in the indeterminacy locus of σi−1.
We conclude that E⊂X is disjoint from all exceptional lines in X, and
by Lemma 5.6
the class [CE] generates an extremal ray of NE(X), which is contracted by the map h∘α:X→S1. Let σ^:X→Y be the associated contraction, of type (3,2) with exceptional divisor E (see Th.-Def. 5.1).
where
σ′ is a divisorial elementary contraction of type (3,2) with Exc(σ′)=α(E),
α′ is the blow-up of a smooth point q∈W with
Exc(α′)=σ^(D)=:D′⊂Y, and g1 is a contraction of fiber type.
Moreover φY is a SQM such that σ^(E)⊂dom(φY−1) (by Th.-Def. 5.1), therefore
Y∖dom(φY−1) is contained in the fiber (g1∘α′)−1(p), and the same for D′. We conclude that
g:Y→S, g1∘α′:Y→S1, and g1:W→S1, all have isomorphic general fibers.
We show that F≅P1×P1 where F⊂W is the general fiber of g1; this gives the statement.
By Lemma 2.9 both Y and W have at most isolated, locally factorial, and terminal singularities; in particular F is smooth.
We show that g1 is K-negative. Let ℓ⊂W be an irreducible curve with −KW⋅ℓ≤0, and ℓY⊂Y its transform.
Note that ℓY⊂D′ because α′(D′)={q}, thus D′⋅ℓY≥0 and
0≥−KW⋅ℓ=(−KY+3D′)⋅ℓY≥−KY⋅ℓY.
By Lemma 5.8ℓY is an exceptional line, disjoint from σ^(E), and KY⋅ℓY=1 also gives D′⋅ℓY=0,
thus ℓY∩D′=∅.
Then
the transform ℓX⊂X is again an exceptional line,
disjoint from both
E and D.
It is not difficult to see that ℓX must be contained in dom(φ−1), so that its transform ℓX⊂X
is an exceptional line, disjoint from D. Since f is K-negative, f(ℓX)⊂S is a curve. Moreover it cannot be the (−1)-curve Γ, otherwise ℓX would be contained in D. We conclude that τ(f(ℓX))=g1(ℓ)⊂S1 is a curve, and g1 is K-negative, therefore its general fiber
F is a smooth del Pezzo surface.
Suppose by contradiction that F≅P1×P1. Then F is covered by a family of curves of anticanonical degree 3, thus W is covered by a family of curves of anticanonical degree 3, contracted by g1. If C⊂W is a curve of the family containing the point q blown-up by α′:Y→W, then every irreducible component C0 of C satisfies −KW⋅C0>0, because g1 is K-negative.
Let C0 be an irreducible component of C containing q, and
C0⊂Y its transform.
If −KW⋅C0=1 we get −KY⋅C0≤−2, and if −KW⋅C0=3 we get −KY⋅C0=0 or −KY⋅C0≤−3,
in any case
contradicting Lemma 5.8. Therefore it must be −KW⋅C0=2, −KY⋅C0≤−1, and
C0 is an exceptional line by Lemma 5.8. However we must also have C=C0∪C1 with C1 irreducible, −KW⋅C1=1, and q∈C1. Then the transform of C1 in Y is an irreducible curve of anticanonical degree one intersecting an exceptional line, contradicting
Lemma 5.8.
Therefore F≅P1×P1.
∎
Let us assume that f is not elementary, so that ρX−ρS>1.
Since f is quasi-elementary, we have df=ρX−ρS, and S is a smooth del Pezzo surface (Lemma 3.20). By Th. 4.5 we have ρX−ρS≤4, and if
ρX−ρS=4, then it should be S≅P2, which is impossible because ρX≥7. Therefore we have 2≤ρX−ρS≤3, in particular ρS≥ρX−3≥4.
We are left to show that f factors as X\dasharrowgY\dasharrowhS where dimY=3, g is special, and h is elementary.
Let us consider a K-negative resolution f~:X→S of f.
6.7**.**
Either we get the statement, or X contains two fixed prime divisors E1,E2 of type (3,2) such that CE1 and CE2 are contracted by f~ and (E1⋅CE2)(E2⋅CE1)>1.
Proof.
We consider first the case ρX−ρS=2, and apply Lemma 3.18 to f. If we get (i), we have the statement. If we get (ii),
then f admits two factorizations X\dasharrowαiWi→hiS where αi is a divisorial elementary rational contraction with exceptional locus dominating S for i=1,2, so that αi is of type (3,2). Moreover α1∗N1(W1)=α2∗N1(W2), hence Exc(α1)=Exc(α2) by Th.-Def. 5.1.
Let Ei⊂X be the transform of Exc(αi); then Ei is
a fixed prime divisor of type (3,2), E1=E2, and CEi is contracted by f~. Moreover R≥0[CEi] is an extremal ray of NE(f~)
by Lemma 5.7, and finally
NE(f~)=⟨[CE1],[CE2]⟩. Since f is quasi-elementary, we have dim(NE(f~)∩mov(X))=2 (see [Cas13a, Prop. 2.22]), hence
(E1⋅CE2)(E2⋅CE1)>1 by [Cas20, Lemma 4.6(a)].
Suppose now that ρX−ρS=3; we proceed similarly. By Lemma 3.16f factors as
[TABLE]
where g is elementary, either divisorial or of fiber type, and h is of fiber type (because f is quasi-elementary). Moreover h is quasi-elementary by Lemma 3.15 and
ρX2−ρS=2, therefore dimX2=3, and we conclude that dimX2=4 and
g is birational divisorial with Exc(g) dominating S.
Now we apply Lemma 3.18 to h. If we get (i), then h factors as
X2\dasharrowg2Y→h2S where dimY=3 and both g2 and h2 are elementary of fiber type. Since Exc(g) dominates S, its image in Y is a divisor, hence the composition g2∘g:X\dasharrowY is special, and we get the statement.
If instead we get (ii), for i=1,2 we have a factorization of h as
[TABLE]
where αi is a divisorial elementary rational contraction with exceptional locus dominating S for i=1,2, so that αi is of type (3,2).
Let Ei⊂X be the transform of Exc(αi)⊂X2. Similarly as in the previous case ρX−ρS=2 we see that Ei is a fixed prime divisor of type (3,2), CEi is contracted by f~, and E1=E2. Let moreover G⊂X be the transform of Exc(g), which is again a fixed prime divisor of type (3,2).
We note that G and Ei are adjacent, because they are both contracted by the composite birational map X\dasharrowSQMX\dasharrowgX2\dasharrowαiWi, where Wi is Q-factorial and ρX−ρWi=2 (see e.g. [Cas22, proof of Lemma 4.2]).
By Lemma 5.9 we conclude that G⋅CEi=Ei⋅CG=0 for i=1,2.
Let us show that
(E1⋅CE2)(E2⋅CE1)>1.
Let β:X→W1 be a resolution of the above map X\dasharrowW1; with a slight abuse of notation, we still denote by G and Ei their transforms in X.
Then G,E1 are the exceptional divisors for β, and
β(E2)⊂W1 is a divisor that dominates S under h1:W1→S, therefore
β(E2)⋅NE(h1)>0. Moreover
β∗(β(E2))=E2+(E2⋅CE1)E1+(E2⋅CG)G=E2+(E2⋅CE1)E1, and [β∗(CE2)]∈NE(h1).
Hence:
[TABLE]
and we conclude that (E1⋅CE2)(E2⋅CE1)>1.
∎
6.8**.**
Let i∈{1,2}. Since f~ is K-negative and contracts CEi, by Lemma 5.7R≥0[CEi] is an extremal ray of NE(f~),
and we have a
factorization:
[TABLE]
where σi is the contraction
of R≥0[CEi], Yi has at most isolated terminal and locally factorial singularities (Lemma 2.9), σi(Ei) dominates S, and gi is quasi-elementary (Lemma 3.15).
We also note that gi is K-negative: suppose otherwise; then by Lemma 5.8gi must contract some exceptional line of Yi, disjoint from σi(Ei), and this contradicts the K-negativity of f~.
Let Fi⊂Yi be a general fiber of gi, so that Fi is a smooth del Pezzo surface.
6.9**.**
Let Γ⊂S be a (−1)-curve (recall that ρS≥4), and set D:=f~−1(Γ); then D is a prime divisor because f~ is quasi-elementary (Lemma 3.9), and it is fixed because Γ is. Moreover f~∗(Γ)=mD for some m∈Z>0, thus D⋅γ=0 for every γ∈NE(f~), and D is the pullback of some divisor in S; this implies that m=1 and D=f~∗(Γ).
We show that D is of type (3,1)sm.
We have f~(D)=Γ, therefore dimN1(D,X)≤1+ρX−ρS≤4
(Lemma 2.6).
On the other hand we have
δX≤1 by Th. 1.9, and we deduce from Lemma 5.3 that D cannot be of type (3,2).
Moreover for i=1,2 we have D⋅CEi=0, hence D is adjacent to Ei by Lemma 5.9; in X we have D∩Ei=∅ because Ei dominates S, thus dim(D∩Ei)=2 and since the indeterminacy locus of the map X\dasharrowX is one-dimensional (Lemma 2.14(a)), we have D∩Ei=∅ in X, where D,Ei⊂X are the transforms of D,Ei respectively.
Then D cannot be of type (3,0)sm by Lemma 5.11. Moreover D cannot be of type (3,0)Q, otherwise by Lemma 5.12 we get a contradiction with (E1⋅CE2)(E2⋅CE1)>1. We conclude that D is of type (3,1)sm.
We apply Lemma 5.17. Since (E1⋅CE2)(E2⋅CE1)>1, up to exchanging E1 and E2 we have:
[TABLE]
Note that E1⋅CE2 and E2⋅CE1 do not depend on D,
therefore (6.10) must hold for
the pullback D of every(−1)-curve Γ⊂S.
Since E2⋅CD>0, we can apply
Lemma 6.6 to f~=g2∘σ2 and D, and deduce that F2≅P1×P1, where F2⊂Y2 is a general fiber of g2.
6.11**.**
Suppose that ρX−ρS=3, so that
ρY2−ρS=2, and apply Lemma 3.18 to g2:Y2→S.
We show that (ii) cannot happen. Otherwise, g2 factors as Y2\dasharrowαW→hS where α is elementary and divisorial with exceptional locus dominating S. Consider
a resolution α′:Y2′→W of α. Then there is a sequence of flips ψ:Y2\dasharrowY2′, relative to g2, such that
α=α′∘ψ.
[TABLE]
By Lemma 5.8 each flip in ψ has locus contained in the smooth locus of the 4-fold, and is either K-negative, or K-positive. Therefore the locus of each flip is a finite disjoint union of exceptional planes or lines, and such locus must be contracted to finitely many points by g2. We conclude that h∘α′ sends the indeterminacy locus Y2′∖dom(ψ−1) to a finite set of points, therefore ψ is an isomorphism on the general fiber F2, and
h∘α′ has general fiber F2′≅P1×P1. However this is impossible, because α′ must restrict to a non-trivial birational contraction on F2′.
Therefore we must get (i) from Lemma 3.18,
and g2 factors as
Y2\dasharrowβZ→kS
with dimZ=3 and both maps are elementary of fiber type.
Since E2 dominates S, its image in Z is a surface, β∘σ2:X\dasharrowZ is special,
and we get the statement.
6.12**.**
We are left with the case where ρX−ρS=2 and g1 and
g2 are elementary. We show that this case does not happen, as it leads to a contradiction.
For i=1,2 let ri be the degree of (gi)∣σi(Ei):σi(Ei)→S. Then σi blows-up Fi in ri points, so if F⊂X is a general fiber of f~, then F is a del Pezzo surface with
[TABLE]
We show that:
[TABLE]
Indeed write (Ei)∣F=Γi1+⋯+Γiri; then Γij≡CEi for every j, and
and we get r2=1, F1≅P2, ρF=3, and
r1=E1⋅CE2=2.
6.15**.**
We show that:
[TABLE]
Indeed
(−KX−2E1−3E2)⋅CEi=0 for i=1,2, thus
−KX−2E1−3E2=f~∗M for some divisor M on S.
By Lemma 5.19, for every (−1)-curve Γ⊂S there exists an exceptional line ℓ⊂X such that f~(ℓ)=Γ. We have Ei⋅ℓ=0 for i=1,2 by Lemma 5.6, thus
[TABLE]
and this implies that
M⋅Γ=−1=KS⋅Γ for every (−1)-curve Γ⊂S. Since S is a del Pezzo surface with ρS=ρX−2≥5, N1(S) is generated by classes of (−1)-curves, and we conclude that M=KS.
6.17**.**
Set B2′:=σ1(E2)⊂Y1. Applying the pushforward (σ1)∗ to (6.16) we get:
[TABLE]
Restricting to F1≅P2 gives OY1(B2′)∣F1≅OP2(1),
in particular B2′ is g1-ample. If A is an ample divisor on S, then for r≫0 the divisor B2′+rg1∗(A) is ample on Y1, and we still have OY1(B2′+rg1∗(A))∣F1≅OP2(1).
By [BS95, Prop. 3.2.1], this implies that g1 is a P2-bundle and
Y1 is smooth, so that Y1 is a SQM of a smooth Fano 4-fold Y1′ with ρY1′≥6 (see Th.-Def. 5.1).
6.19**.**
Let us choose a birational morphism α:S→P2, which blows-up the points p1,…,pm∈P2 with m=ρS−1=ρX−3≥4.
For i∈{1,…,m} let Γi⊂S be the (−1)-curve over pi, and
set Di:=f~∗Γi⊂X. Then Di is a fixed prime divisor of type (3,1)sm with Di⋅CE1=Di⋅CE2=E1⋅CDi=0 and E2⋅CDi=1, for every i=1,…,m (see 6.9). Moreover for i=j we have Di∩Dj=∅, therefore Di⋅CDj=0. By Rem. 5.20 this implies that ⟨[E1],[D1],…,[Dm]⟩ is a fixed face of Eff(X)≅Eff(X), of dimension ρX−2.
For i∈{1,…,m} set Di′:=σ1(Di)⊂Y1; the divisors D1′,…,Dm′ are contracted to points by α∘g1. We run a MMP in Y1 for D1′+⋯+Dm′, relative to α∘g1, and get
a commutative diagram:
[TABLE]
where ξ is a SQM, β is birational with exceptional divisors the transforms D1′′,…,Dm′′⊂Y1 of D1′,…,Dm′⊂Y1, and h:W→P2 is an elementary contraction with general fiber FW≅P2. Moreover it follows from
Rem. 5.20 that
β is the blow-up of m pairwise disjoint smooth curves C1,…,Cm⊂W, and W is smooth and a SQM of a smooth Fano 4-fold.
Let B2′⊂Y1 and B2⊂W be the transforms of E2, and set H=h∗OP2(1)∈Pic(W).
We have −KS=α∗(−KP2)−∑i=1mΓi, and by (6.18)
−KY1+g1∗α∗(−KP2)−∑i=1mDi′=3B2′, which in Y1 gives
−KY1+3β∗(H)−∑i=1mDi′′=3B2′.
Finally via the pushforward β∗ we get:
[TABLE]
This implies that
B2∣FW≅OP2(1), therefore using again [BS95, Prop. 3.2.1] as in 6.17 we get
W=PP2(E), where E is a rank 3 vector bundle on P2.
Recall that W is a SQM of a smooth Fano 4-fold. Moreover, since −KW is divisible by 3 in Pic(W),
W cannot contain exceptional lines nor exceptional planes, so the second elementary contraction of W cannot be small (see Lemma 2.14 and Lemma 2.13), and W is Fano of index
3. This also implies that c1(E)≡0mod3, and by [SW90]
we conclude that W≅P2×P2 . We can assume that h:P2×P2→P2 is the first projection.
Let us consider the curves C1,…,Cm⊂P2×P2 blown-up by β.
We have
that h(Ci)=pi∈P2 with pi=pj for i=j, so that Ci is a smooth curve in h−1(pi)=P2. If L⊂h−1(pi) is a general line, we have −KP2×P2⋅L=3 and L must meet Ci, hence Di′′⋅L>0, where L⊂Y1 is
its transform. On the other hand L cannot be an exceptional line, because Y1 can contain at most finitely many of them (see Lemma 2.14), therefore −KY1⋅L>0, which implies that Di′′⋅L=1
and Ci⋅P2L=1, so that Ci is itself a line in h−1(pi)=P2.
We have therefore shown that
Y1 is a SQM of a blow-up of P2×P2 along m lines contained in different fibers of the first projection (see Ex. 11.3); in particular Y1∖dom(ξ−1) is the disjoint union of m exceptional planes, given by the transforms of h−1(p1),…,h−1(pm), and Y1∖domξ is the disjoint union of m exceptional lines.
6.21**.**
Consider the surface σ1(E1)⊂B2′⊂Y1, and let A⊂B2′⊂Y1 and A⊂B2⊂P2×P2 be its transforms.
Let i∈{1,…,m}. It follows from Lemma 5.21 that, whenever A∩Ci=∅, A and Ci intersect transversally at finitely many points, where A is smooth.
From (6.20) we see that B2 has bidegree (2,1) in P2×P2,
hence h∣B2:B2→P2 is generically a P1-bundle.
Moreover Ci⊂B2, because E2⋅CDi>0 (see 6.19); on the other hand B2 cannot contain the whole fiber h−1(pi), otherwise B2′⊂Y1 would contain an exceptional plane in the indeterminacy locus of ξ−1, B2⊂Y1 would intersect an exceptional line, and E2⊂X would intersect an exceptional line too, a contradiction (see Lemmas 5.8 and 5.6). Therefore Ci=(h∣B2)−1(pi), h∣B2 is a P1-bundle over pi, and
Ci⊂(B2)reg.
Finally we note that since E1⋅CE2=2, we have A⋅B2Ci=2, and we conclude that A and Ci intersect at exactly two points.
We set Ci={pi}×Li with Li⊂P2 a line.
6.22**.**
Let i,j,k∈{1,…,m} with i<j<k; we show that Li∩Lj∩Lk=∅ (in particular this also shows that Li=Lj). By contradiction, suppose otherwise, and let q∈Li∩Lj∩Lk.
Let h′:P2×P2→P2 be the second projection, and
in (h′)−1(q)=P2 consider a general conic Γ through (pi,q), (pj,q), and (pk,q) (note that pi,pj,pk are not collinear in P2, because Blpi,pj,pkP2 is a del Pezzo surface, see 6.19). Then −KP2×P2⋅Γ=6 and if Γ⊂Y1 is its transform, we have Di′′⋅Γ>0, Dj′′⋅Γ>0, Dk′′⋅Γ>0, hence
−KY1⋅Γ≤0, so that Γ is an exceptional line by Lemma 2.14. However this is impossible, because Y1 contains at most finitely many exceptional lines (again by Lemma 2.14), while Γ moves in a positive dimensional family.
6.23**.**
Set Λ:=h′(A)⊂P2, and let i∈{1,…,m}. We have h′(Ci∩A)⊂Li∩Λ, in particular Li∩Λ=∅ because Ci∩A=∅. Moreover Λ cannot be a point, otherwise it should lie in L1∩L2∩L3 which is empty by 6.22 (recall that m≥4).
Let q∈Li∩Λ; we show that (pi,q)∈A. Suppose otherwise, and let L be a line in (h′)−1(q) containing (pi,q) and meeting A.
Then −KP2×P2⋅L=3, and if L⊂Y1 is its transform, we have −KY1⋅L≤1, L∩A=∅, and L⊂A, contradicting Lemma 5.8.
Therefore (pi,q)∈A.
Since we also have (pi,q)∈Ci, this implies that h′(Ci∩A)=Li∩Λ, hence Li intersects Λ set-theoretically in two points (see 6.21).
We conclude that Λ is an irreducible curve of degree at least 2.
6.24**.**
Let τ:Z→P2×P2 be the blow-up of A, with exceptional divisor
E1′⊂Z; we note that
Z is a smooth Fano 4-fold with ρZ=3 (see Rem. 5.20), and there is a birational contraction φ:X\dasharrowZ.
Let q∈Λ be a general point, Γ⊂P2×{q} a general line, and Γ⊂Z its transform. Note that A has at most isolated singularities (Lemma 2.9), therefore (h∣A′)−1(q)⊂P2×{q} is a smooth curve; let d be its degree.
Then E1′⋅Γ=d, hence −KZ⋅Γ=3−d≥1, and we get d∈{1,2}.
Let GZ⊂Z be the transform of G:=P2×Λ⊂P2×P2. We have
G⋅Γ=0 and τ∗(G)=GZ+mE1′ with m≥1, therefore GZ⋅Γ=−md<0.
If d=2, we see that GZ is a fixed prime divisor covered by rational curves of anticanonical degree one. Consider the birational contraction φ:X\dasharrowZ, and let GX⊂X be the transform of GZ. Then the indeterminacy locus of φ−1:Z\dasharrowX must be disjoint from the transform of P2×{q} (see [CS24, Prop. 2.10]), so that GX
is again a fixed prime divisor covered by rational curves C with −KX⋅C=1. By [Cas17, Lemma 2.18] GX must be of type (3,2), but this contradicts GX⋅C=−2m≤−2.
6.25**.**
Therefore d=1, and A is P1-bundle over Λ; since A has isolated singularities, this implies that
Λ is smooth.
Recall that B2 has bidegree (2,1) in P2×P2,
hence h∣B2′:B2→P2 is generically a conic bundle.
We notice that h∣B2′ does not have 2-dimensional fibers, otherwise the fibers of h∣B2, as curves in P2, should all have a common point. However the curves Ci are fibers of h∣B2 (see 6.21), and
by 6.22 there is no common point on the lines Li’s. Therefore h∣B2′:B2→P2 is a conic bundle; let Δ⊂P2 be its discriminant locus, parametrising singular conics.
Since the general fiber of h∣A′ is a line, we have Λ⊂Δ, and (h∣B2′)∗(Λ)=A+A′ where A′ is a prime divisor that dominates Λ (possibly A′=A), such that the general fiber of h∣A′′ is a line too.
This implies that B2 must be singular, otherwise h∣B2′ would be an elementary contraction of a smooth Fano 3-fold, and A⋅C=0 for the general fiber C⊂B2, so that A should be the pullback of a divisor in P2, but it is not. Since B2 is singular, h∣B2:B2→P2 must have a 2-dimensional fiber F={p0}×P2⊂B2, and all the fibers of the conic bundle hB2′ contain the point p0.
6.26**.**
Recall that degΛ≥2 by 6.23.
Suppose first that Λ is a conic, and recall that C1⊂(B2)reg and A⋅B2C1=2 (see 6.21). Then
2=Λ⋅P2L1=(h∣B2′)∗(Λ)⋅B2C1=(A+A′)⋅B2C1=2+A′⋅B2C1, therefore A′⋅B2C1=0. We also have C1⊂A′, because L1⊂Λ, and we conclude that A′∩C1=∅, namely A′∩(h∣B2)−1(p1)=∅, and p1∈h(A′).
Then h(A′)⊊P2, so that A′=L0×Λ where L0 is a fixed line.
Note that B2 is the total space of a net of conics; let Γ⊂P2 be the subvariety parametrising conics of the net that have L0 as a component. It is not difficult to see that
Γ must be linear, and since it contains the conic Λ, we get Γ=P2, but this is impossible because B2 is irreducible.
Therefore we conclude that
degΛ>2.
6.27**.**
If Δ⊊P2, then Δ is a cubic curve and Λ⊂Δ, therefore Λ=Δ and Δ is smooth (see 6.25).
A local computation shows that this implies that B2 is smooth too (see e.g. [CS24, Rem. 3.9 and its proof]), but we have already excluded this (see 6.25).
Therefore Δ=P2 and every fiber of h∣B2′ is singular. Then it is not difficult to see that either all conics of the net have a fixed component, or they are all singular at the same point p0 (see for instance [Wal77, Table 1]), and
since B2 is irreducible, we must be in the second case.
The fibers of h∣A′ are components of fibers of h∣B2′, hence they all contain p0, and F∩A is a section of h∣A′, where F={p0}×P2. Therefore F∩A≅Λ, and
F∩A has degree ≥3. Let L⊂F be a general line, and L⊂Z its transform (see 6.24). Then E1′⋅L≥3 and −KP2×P2⋅L=3, thus −KZ⋅L≤0, a contradiction.
This concludes the proof of Th. 6.1.
∎
7. Fixed divisors of type (3,2)
In this section we show the following result, which implies Th. 1.10 from the Introduction.
Theorem 7.1**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and E⊂X a fixed prime divisor of type (3,2) such that N1(E,X)⊊N1(X).
Then ρX≤9,
X has an elementary rational contraction onto a 3-fold, and E is of type (3,2)sm. More precisely there is a commutative diagram
[TABLE]
where:
∙
W′* is a smooth Fano 4-fold and σ′ is of type (3,2)sm,
with exceptional divisor E;*
2. ∙
ξ* and W′\dasharrowW are SQM’s, and E⊂dom(ξ);*
3. ∙
Y* is a smooth weak Fano101010Namely −KY is nef and big.3-fold and f~ is an elementary contraction and a conic bundle, finite on ξ(E);*
4. ∙
Z* is a smooth del Pezzo surface.*
The bound ρX≤9 improves the bound ρX≤12 shown in [Cas17, Prop. 5.32];
we do not know if it is sharp.
Let us also note that, up to flops, there are only three possibilities for the 3-fold Y, see [CS24, Cor. 6.4].
We consider the cone Mov(X)∨⊂N1(X), dual of the cone of movable divisors, that has ⟨[CE]⟩ as a face of dimension one (see Rem. 5.5). The main step is to show that there exists a two-dimensional face ⟨[CE]⟩+α of Mov(X)∨ with α⊂mov(X) (in particular this implies that X has an elementary rational contraction of fiber type, see again Rem. 5.5).
To prove this, we work by contradiction, and show that otherwise we can produce a special rational contraction of fiber type ψ:X\dasharrowT, with ρX−ρT=2, and contracting CE. Then we reach a contradiction by applying Lemma 5.22 when dimT=3, and Th. 6.1 when dimT=2.
Once we have the one-dimensional face α of Mov(X)∨ as above, this gives an elementary rational contraction of fiber type X\dasharrowY. If X→W′ is the elementary contraction of type (3,2) with exceptional divisor E, since ⟨[CE]⟩+α is a face of Mov(X)∨, we see that there are elementary rational contractions Y\dasharrowZ and W′\dasharrowZ onto the same target. Then by analysing the maps, and using that N1(E,X)⊊N1(X), we get the statement.
Since X is not a product of surfaces and ρX≥7, we have δX≤1 by Th. 1.9. Therefore
δX=1 and N1(E,X) is a hyperplane in N1(X).
Consider the cone Mov(X)∨⊂N1(X), dual of the cone of movable divisors; we have
Mov(X)∨=⟨[CD]⟩D fixed+mov(X),
and ⟨[CE]⟩ is a one-dimensional face of Mov(X)∨, see Rem. 5.5.
7.4**.**
There exists a one-dimensional face α of Mov(X)∨, contained in mov(X), such that
⟨[CE]⟩+α is a face of Mov(X)∨.
Proof.
We proceed by contradiction, and assume that every 2-dimensional face of
Mov(X)∨ containing ⟨[CE]⟩ has the form
⟨[CE],[CD]⟩ for some fixed prime divisor D⊂X.
Then
as in [Cas17, proof of Prop. 5.32] we show that there exists a
2-dimensional face ⟨[CE],[CE′]⟩ of
Mov(X)∨ where E′ is a
fixed prime divisor of type (3,2) such that [CE′]∈N1(E,X), E∩E′=∅, E⋅CE′>0, and E′⋅CE>0. In particular ⟨[CE],[CE′]⟩∩mov(X)={0} by [Cas20, Lemma 4.6(a)].
The 2-dimensional face ⟨[CE],[CE′]⟩ of
Mov(X)∨ corresponds by duality to the codimension 2 face
η:=Mov(X)∩CE⊥∩CE′⊥
of Mov(X). Note that η⊂∂Eff(X), because ⟨[CE],[CE′]⟩∩mov(X)={0}. Let η0∈MCD(X) be a cone of dimension ρX−2 with η0⊂η, and
ψ:X\dasharrowT the rational contraction such that η0=ψ∗(Nef(T)); then ρT=ρX−2≥5, ψ is of fiber type, and dimT∈{2,3}.
We show that ψ is special.
Let τψ be the minimal face of Eff(X) containing η (see Def.-Rem. 3.2). By Lemma 3.10, we need to show that
τψ∩Mov(X))=η.
Note that τψ∩Mov(X) is a proper face of Mov(X) and contains η, therefore if τψ∩Mov(X))⊋η, then τψ∩Mov(X) must be a facet of Mov(X) containing η, and contained in
∂Eff(X).
On the other hand η is contained in exactly two facets of Mov(X), that are
Mov(X)∩CE⊥ and Mov(X)∩CE′⊥, and both of them are not contained in ∂Eff(X). Therefore τψ∩Mov(X) cannot be a facet, it must be
τψ∩Mov(X)=η, and ψ is special.
Let
[TABLE]
be a K-negative resolution of ψ, and let E,E′⊂X be the transforms of E,E′. Since η0⊂CE⊥∩CE′⊥, ψ~ contracts both CE and CE′, and by Lemma 5.7 we have NE(ψ~)=⟨[CE],[CE′]⟩. In particular, since NE(ψ~) does not contain small extremal rays, there are no flips relative to ψ~, and ψ~:X→T is the unique resolution of ψ.
We have dimN1(E,X)=dimN1(E,X)=ρX−1 by Lemma 5.3.
If dimT=3, then N1(E,X)⊊N1(X) contradicts Lemma 5.22, therefore
dimT=2.
Since ψ is special, the images of E,E′ in T are either a curve, or T itself.
If ψ~(E) is a curve in T, then dimN1(E,X)≤1+ρX−ρT=3 (see Lemma 2.6), a contradiction, and
similarly for E′. Therefore ψ~(E)=ψ~(E′)=T and
ψ~ is quasi-elementary, because the general fiber will contain curves CE, CE′.
Then Th. 6.1 implies that
ψ factors as the composition of two rational elementary contractions X\dasharrowfY\dasharrowgT
where dimY=3. Up to composing with a SQM of Y, we can assume that g is regular.
By taking a resolution f^:X→Y of f, we get also a resolution g∘f^:X→T of ψ, hence it must be X=X and ψ~=g∘f^. This implies that NE(f^) is an extremal ray of NE(ψ~), which
gives a contradiction, because NE(ψ~)=⟨[CE],[CE′]⟩.
∎
7.5**.**
Let ⟨[CE]⟩+α be a 2-dimensional face of Mov(X)∨, with α one-dimensional face of mov(X) (see 7.4).
Dually this means that both CE⊥∩Mov(X) and α⊥∩Mov(X) are facets of Mov(X), and they intersect in a face η of Mov(X) of dimension ρX−2.
Let us choose two cones η0,τ∈MCD(X) as follows: η0⊂η of dimension ρX−2, and τ⊂α⊥∩Mov(X) of dimension ρX−1 and containing η0.
Let f:X\dasharrowY be the elementary rational contraction with τ=f∗(Nef(Y)); f is of fiber type, because α⊂∂mov(X), hence
τ⊂∂Eff(X).
Since η0⊂τ, there is a contraction g:Y→Z such that (g∘f)∗(Nef(Z))=η0 (see Rem. 2.2), and g is elementary because dimη0=ρX−2. Note that since ρZ=ρX−2≥5, we have dimZ∈{2,3}.
Let X\dasharrowξX→f~Y be a K-negative resolution of f
and
φ:X→Z a K-negative resolution of g∘f.
We have η0⊂CE⊥, thus φ contracts CE, moreover
φ is K-negative: by Lemma 5.7 it factors through an elementary contraction σ:X→W, of type (3,2), with exceptional divisor the transform E⊂X of E.
We have a diagram:
[TABLE]
We also note that dimN1(E,X)=dimN1(E,X)=ρX−1 by Lemma 5.3.
7.6**.**
Since σ is of type (3,2) and h is elementary of fiber type, both W and Z are Q-factorial. Moreover f~ is elementary of fiber type, Y is Q-factorial too, and g cannot be small.
We show that g is of fiber type. By contradiction, if g is divisorial, then there is a prime divisor D⊂X such that f~(D)=Exc(g) and hence codimg(f~(D))>1. If D⊂X is the transform of D, then h(σ(D))=g(f~(D)), thus it must be codimσ(D)>1 and D=E. On the other hand dimφ(D)≤1, therefore dimN1(D,X)≤3 (see Lemma 2.6), a contradiction.
We conclude that g is of fiber type, dimY=3, dimZ=2, and the composition g∘f~ is quasi-elementary. This implies that σ(E) dominates Z; moreover Z is a smooth del Pezzo surface (Lemma 3.20).
In particular f:X\dasharrowY is a rational contraction onto a 3-fold, and we get ρX≤9 by Th. 1.5.
7.7**.**
Let us consider the 2-dimensional cone NE(φ)=NE(σ)+R, where R is an extremal ray of NE(X).
We have N1(E,X)⊊N1(X) while φ∗(N1(E,X))=N1(φ(E),Z)=N1(Z), therefore kerφ∗⊂N1(E,X). On the other hand NE(σ)⊂N1(E,X), therefore we must have
R⊂N1(E,X). We also have E⋅NE(σ)<0, and there are curves C⊂X contracted by φ such that E⋅C>0, therefore E⋅R>0.
Let F⊂X be a non-trivial fiber of the contraction of R, so that N1(F,X)=RR. Then E∩F=∅ (because E⋅R>0) and dim(E∩F)=0 (because R⊂N1(E,X)), hence dimF=1.
Since φ is K-negative, this implies that R cannot be small (Lemma 2.13). Then there are no small rays in NE(φ), therefore X=X, φ=g∘f~, R=NE(f~), and we get a diagram as (7.2).
Moreover
f~ is finite on E because NE(f~)⊂N1(E,X), hence
every fiber of f~ has dimension one, so that f~ is a conic bundle and Y is smooth (see [Wiś91a, Th. (1.2)]), and Y is weak Fano by [CS24, Cor. 6.4].
We show that σ is of type (3,2)sm. By Lemma 2.9, we have to show that every fiber of σ has dimension ≤1. If σ had some 2-dimensional fiber F0, then f~(F0)⊂Y would be a 2-dimensional fiber of g, which is impossible. This also implies that W is smooth.
By Th.-Def. 5.1, there is an elementary contraction σ′:X→W′ of type (3,2) with exceptional divisor E, and W′ is Fano; moreover σ′ and σ are locally isomorphic, therefore E⊂domξ where ξ:X\dasharrowX is the SQM, σ′ is of type (3,2)sm too, and W′ is smooth. This concludes the proof of Th. 7.1.
∎
We conclude this section with some technical lemmas that follow from our previous results, and are needed in the sequel.
Lemma 7.8** (refined version of [Cas22], Lemma 7.2).**
Let X be a smooth Fano 4-fold with ρX≥7, and D⊂X a fixed prime divisor of type (3,0)Q. Suppose that there are two fixed prime divisors E1,E2, of type (3,2), both adjacent to D.
Then X has a rational contraction onto a 3-fold.
Proof.
Note that X is not isomorphic to a product of surfaces, because it has a fixed prime divisor of type (3,0)Q, hence δX≤1 by Th. 1.9. Then
[Cas22, proof of Lemma 7.2] shows that either
N1(Ei,X)⊊N1(X) for some i∈{1,2}, or X has
a rational contraction onto a 3-fold, thus the statement follows from Th. 7.1.
∎
Lemma 7.9** (refined version of [Cas22], Lemma 5.13).**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and f:X\dasharrowS a rational contraction onto a surface with ρS=1. Suppose that there is a unique prime divisor in X contracted to a point by f. Then there is a fixed prime divisor E⊂X of type (3,2) such that N1(E,X)⊊N1(X).
Proof.
As in [Cas22, proof of Lemma 5.13] we see that there is a special rational contraction g:X\dasharrowT with dimT=ρT=2. We have ρX−ρT≥5 while dg≤4 by Th. 4.5 (see Def.-Rem. 3.2), hence g is not quasi-elementary,
and the statement follows from [ibid., Lemma 5.12].
∎
Proposition 7.10** (refined version of [Cas22], Prop. 7.1).**
Let X be a smooth Fano 4-fold with ρX≥7, D a fixed prime divisor of type (3,1)sm or (3,0)Q, and X\dasharrowX→σY the associated contraction as in Th.-Def. 5.1. Suppose that Y contains a nef prime divisor H covered by a family of rational curves of anticanonical degree one, and such that H∩σ(Excσ)=∅.
Then one of the following holds:
(i)
X* has a (regular) contraction onto a 3-fold, that sends D to a point;*
2. (ii)
there is a fixed prime divisor E⊂X of type (3,2) such that N1(E,X)⊊N1(X).
Proof.
We note that since X contains a fixed prime divisor of type (3,1)sm or (3,0)Q, X is not a product of surfaces, and δX≤1 by Th. 1.9.
We follow [Cas22, proof of Prop. 7.1], which shows the existence of a commutative diagram:
[TABLE]
where g and h are contractions, and h(D)=g(σ(Exc(σ)))={pt}.
We show that g and h are of fiber type.
If D is (3,1)sm, then Y is a smooth Fano 4-fold with ρY≥6, and δY≤2 by Lemma 5.18. Now if [C]∈mov(Y), then g is of fiber type. Otherwise as in [ibid., proof of Prop. 7.1] we see that [C] generates an extremal ray of type (3,2) of NE(Y), with locus E1, and there is another
fixed prime divisor E2⊂Y, of type (3,2), such that E2⋅C>0 and [CE2]∈NE(g). Then E1⋅CE2>0 [Cas13b, Lemma 2.2(b)], hence [C]+[CE2]∈mov(Y) [Cas20, Lemma 4.6 and its proof], and again g
is of fiber type.
The case where
D is (3,0)Q is treated in [Cas22, proof of Prop. 7.1].
Therefore g and h are of fiber type, and
[ibid., proof of Prop. 7.1] shows that dimZ>1.
If dimZ=3 we have (i), while
if dimZ=2, then by [ibid., Lemma 5.14] we have
ρZ=1 and D is the unique prime divisor contracted to a point by h. Hence Lemma 7.9 gives (ii).
∎
8. Fano 4-folds with no small contractions and blow-ups of cubic 4-folds
In this section we consider Fano 4-folds with no small contraction, and show the following result (Th. 1.2 from the Introduction).
Theorem 8.1**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
Then ρX≤9 and there are a cubic 4-fold Z⊂P5 with at most isolated ordinary double points, and s=ρX−1 distinct planes A1,…,As⊂Z intersecting pairwise in a point, such that X is obtained from Z by blowing-up one plane Ai and successively the transforms of the other ones.111111The resulting 4-fold does not depend on the order of the blow-ups, see Lemma 2.10.
We have Sing(Z)⊂∪iAi;121212The blow-up of the surfaces Ai resolves the ordinary double points, see Rem 2.8. for each i<j the point Ai∩Aj is in Zreg, and Ai∩Aj∩Ak=∅ for i<j<k.
Let us note that products of del Pezzo surfaces do not have small elementary contractions.
Moreover the condition ρX≥7 is necessary in Th. 8.1, as the following example shows.
Example 8.2**.**
Let X be a Fano 4-fold with ρX=6 and δX=3 which is not a product of surfaces; there are 9 such families, see Ex. 4.6. Then X has no small elementary contraction. Indeed there is a quasi-elementary contraction f:X→S where S is a surface with ρS=2; the cone NE(f) is described in [CRS22, §6], and it does not contain small extremal rays. On the other hand, if NE(X) had a small extremal ray R⊂NE(f), then f should be finite on Locus(R) which is a union of exceptional planes (see Lemma 2.13), but this is impossible because ρS=2.
As remarked in the Introduction, we do not know whether a Fano 4-fold as in Th. 8.1 exists, see §11.7 and Question 11.6. See also §11.7 for the geometry of the blow-up of a smooth cubic 4-fold along two planes intersecting in a point; in particular we show that it is Fano.
Remark 8.3**.**
Let X be as in Th. 8.1, and consider the blow-up f:X→Y of the last surface S⊂Y. The proof of Th. 8.1 (in particular Cor. 8.21) will show that Y is Fano with at most isolated ordinary double points lying in S, and S is a smooth del Pezzo surface with ρS=ρY=ρX−1∈{6,7,8}. Moreover NE(S)≅NE(Y) under the natural map given by the inclusion S↪Y, and Eff(Y)≅NE(S) under the restriction. Every conic bundle S→P1 extends to a contraction Y→P2 sending S to a line, and every birational map S→P2 extends to a blow-up map Y→Z′, where Z′ is a cubic 4-fold, sending S to a plane.
We show first of all that if X→T is a non-trivial contraction of fiber type, then T≅P2 (Lemma 8.5). This relies on both Th. 4.5, Th. 1.9, and [CS24].
Then we consider birational contractions of X.
For the case of an elementary contraction f:X→Y,
it is shown in [Cas24] that f is the blow-up of a smooth del Pezzo surface S⊂Y with KS=KY∣S, and Y is Fano with at most isolated ordinary double points (Prop. 8.7).
We first generalize this description to every birational contraction σ:X→Z (Prop. 8.8): σ is the blow-up of smooth del Pezzo surfaces A1,…,AρX−ρZ⊂Z that intersect pairwise transversally
in (at most) finitely many points, and Z is Fano with at most isolated ordinary double points. Moreover for every i=1,…,ρX−ρZ we have
KAi=KZ∣Ai,
and if Ei⊂X is the exceptional divisor over Ai,
it follows from Th. 7.1 that N1(Ei,X)=N1(X) and hence N1(Ai,Z)=N1(Z), so that ρAi≥ρZ. This also implies that Ei∩Ej=∅ and hence Ai∩Aj=∅ for every i<j.
Let us fix i and factor σ as X→σiYi→hiZ, where hi blows-up all the surfaces Aj for j=i, ρYi=ρX−1, and σi blows-up the transform Si⊂Yi of Ai. Then hi∣Si:Si→Ai blows-up all the points where Ai intersects the other surfaces Aj, j=i. On the other hand, Si is del Pezzo, thus ρSi≤9. This allows to bound both ρAi and the cardinality of Ai∩Aj (Rem. 8.19), and is used repeatedly.
Then we show that, if for some i∈{1,…,ρX−ρZ} we have ρAi=ρZ≥3, then NE(Ai)≅NE(Z), and one can extend contractions from Ai to Z (Cor. 8.21).
We use all these preliminary results to prove that
there exists a birational contraction X→Z with ρZ=1 and such that one of the blown-up surfaces, say A1⊂Z, also has ρA1=1
(Lemma 8.23).
With this we can finally show Th. 8.1, let us give an outline.
We have A1≅P2, KZ∣A1=KA1, and we show that the restriction Pic(Z)→Pic(A1) is an isomorphism. This implies that Z is Fano with index 3, namely a del Pezzo 4-fold, and these 4-folds are classified. Let H∈Pic(Z) be such that −KZ=3H, and set d:=H4; then h0(Z,−KZ)=15d+10 (see 8.30).
Next we show that there are two other blown-up surfaces, say A2 and A3, that intersect A1 only in one point, trasversally. If Z′→Z is the blow-up of A2 and A3, and A1′⊂Z′ is the transform of A1, we have A1′≅Bl2ptsP2 and ρA1′=ρZ′=3 (see 8.28), and hence NE(A1′)≅NE(Z′) by the previous part of the proof; we also compute that h0(Z′,−KZ′)∈{15d−10,…,15d−6}. Then we extend the contraction A1′→P1×P1 to an elementary birational contraction Z′→W which is again the blow-up of a surface; W is a Fano 4-fold with ρW=2 and index 2. By studying the contractions of W, we show that W is a double cover of P2×P2 with branch divisor of degree (2,2) (see 8.34). This gives h0(W,−KW)=45, and allows to compute that h0(Z′,−KZ′)=36 and that d=3, so that Z is a cubic 4-fold, each Ai is a plane, and Ai∩Aj is just one point for every i<j.
We also get h0(Z,−KZ)=55 and we can compute h0(X,−KX) in terms of the number of blown-up planes, that are ρX−1. Finally, using that h0(X,−KX)≥0, we get ρX≤9 (see 8.35).
Lemma 8.5**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
Let f:X\dasharrowY be a non-trivial rational contraction of fiber type. Then f is regular and equidimensional, and Y≅P2.
Proof.
Since X has no small elementary contraction, f is regular. Let F⊂X be a general fiber; we have dimN1(F,X)=df≤4 by Th. 4.5 (see Def.-Rem. 3.2). In particular F cannot be a divisor because δX≤1 (Th. 1.9) and ρX≥7, hence dimY>1.
Suppose by contradiction that dimY=3. Then by Prop. 3.12f factors through a special rational contraction f′:X\dasharrowY′ with dimY′=3. As above f′ is regular, and ρY′≤3 by Lemma 2.16. On the other hand ρX−ρY′≤2 by [CS24, Lemma 3.12], and we have a contradiction.
We conclude that dimY=2. As above we can factor f as X→f′Y′→Y where f′ is equidimensional and dimY′=2; in particular Y′ is a smooth rational surface (Lemma 3.19). If ρY′>1, then there is a morphism Y′→P1, and the composition X→P1 contradicts the previous part of the proof. Therefore ρY′=1 and Y≅Y′≅P2.
∎
Corollary 8.6**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions. Let E⊂X be a fixed prime divisor. Then E is of type (3,2) and
N1(E,X)=N1(X).
Proof.
Since X has no small elementary contraction, E must be of type (3,2) by Th. -Def.5.1(c). Then N1(E,X)=N1(X)
by Th. 7.1 and Lemma 8.5.
∎
Proposition 8.7** (refinement of [Cas24], Th. 4.1).**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
Let f:X→Y be an elementary contraction.
Then
f is of type (3,2),
Y is Fano with at most isolated ordinary double points, and S:=f(Exc(f))⊂Y is a smooth del Pezzo surface with KS=KY∣S.
Proof.
The statement follows from [Cas24, Th. 4.1]. Note that this reference
has the assumption ρX≥8, but this is used only to show that a contraction g:X→Z with ρX−ρZ≤3 cannot be of fiber type. In our setting this follows from Lemma 8.5, and the same proof applies under the assumption ρX≥7.
Finally Y is Fano by Th.-Def. 5.1, and
has at most isolated ordinary double points by Lemma 2.9.
∎
Proposition 8.8**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
Let σ:X→Z be a birational contraction; then NE(σ)=R1+⋯+Rs with Ri extremal ray of type (3,2) of NE(X) for every i=1,…,s, and s=ρX−ρZ. Set Ei:=Locus(Ri).
The following holds:
(a)
Z* is Fano with at most isolated ordinary double points, and Ai:=σ(Ei) is a smooth del Pezzo surface with KAi=KZ∣Ai and N1(Ai,Z)=N1(Z) for every i=1,…,s;*
2. (b)
for every i=j the surfaces Ai and Aj intersect transversally in finitely many points where Z is regular, while Ai∩Aj∩Ak=∅ if i<j<k. Each singular point of Z is contained in some Ai. Moreover Exc(σ)=E1∪⋯∪Es and σ is obtained
by blowing-up one surface Ai and successively the transforms of the other ones, in any order;
3. (c)
every elementary contraction of Z is either of type (3,2), or Z→P2.
Proof.
8.9**.**
By Prop. 8.7 each Ri is of type (3,2), and
if σi:X→Yi is the contraction of Ri, then Yi has at most isolated ordinary double points, and Si:=σi(Ei) is a smooth del Pezzo surface with KSi=KYi∣Si.
By [Cas24, Lemma 2.5] we also have Ei⋅Rj=0 for every i=j. In particular [CE1],…,[CEs]∈N1(X) are linearly independent, and
NE(σ) is a simplicial cone of dimension s=ρX−ρZ.
8.10**.**
Clearly Ei⊂Exc(σ) for every i=1,…,s. Conversely if C⊂X is an irreducible curve with [C]∈NE(σ),
we have C≡∑j=1sλjCEj with λj∈Q≥0.
Then for every i=1,…,s we have Ei⋅C=−λi≤0, and either C⊂Ei, or λi=0. Therefore
either [C]∈Ri for some i∈{1,…,s}, or C⊂Ei∩Ej for some i=j. In particular Exc(σ)=E1∪⋯∪Es.
Moreover, on the open subset X∖∪j=iEj, σ coincides with σi, therefore dimAi=2, Ai∖∪j=iAj is smooth, and Z has at most isolated ordinary double points at Ai∖∪j=iAj. We also note that N1(Ei,X)=N1(X) by Cor. 8.6, hence N1(Ai,Z)=σ∗(N1(Ei,X))=N1(Z), for every i=1,…,s.
8.11**.**
We show that σ factors as the composition of s elementary divisorial contractions of type (3,2) with exceptional divisors E1,…,Es, in arbitrary order, and Z is Q-factorial. We proceed by induction on s, the statement being clear for s=1. Consider a facet of NE(σ), up to renumbering we can assume that it is R1+⋯+Rs−1, and factor σ as:
[TABLE]
where NE(σ′)=R1+⋯+Rs−1. Then the statement holds for σ′ by induction, Z′ is Q-factorial, and f is an elementary birational contraction with exceptional locus σ′(Es), therefore f is divisorial and Z is Q-factorial. Moreover f is of type (3,2) because dimAs=2. This gives the statement.
8.12**.**
If g:Z→W is an elementary contraction, we can consider the composition g∘σ:X→W. If g is of fiber type, then W≅P2 by Lemma 8.5. If instead g is birational, then it is of type (3,2) by 8.11. This gives (c).
8.13**.**
Let i,j∈{1,…,s} with i<j. We have Ei∩Ej=∅ by Cor. 8.6 and Rem. 2.7. Moreover every connected component
of Ei∩Ej is isomorphic to P1×P1 with the rulings being curves in Ri and Rj (see [Cas22, Lemma 4.15] and [Cas24, Prop. 3.4]). Therefore if C⊂X is an irreducible curve contained in Ei∩Ej, we have [C]∈Ri+Rj. Together with 8.10, this implies that for every irreducible curve C⊂X contracted by σ we have [C]∈Ri+Rj for some i<j.
Let σij:X→Yij be the contraction of Ri+Rj, and
set Bi:=σij(Ei), Bj:=σij(Ej).
The behaviour of σij is analyzed in [Cas24, Prop. 3.4 and its proof], where it is shown that:
(1)
dim(Bi∩Bj)=0 and Ei∩Ej=σij−1(Bi∩Bj);
2. (2)
if Bi∩Bj={y1,…,ym}, then Bi, Bj, and Yij are smooth at each ya, and the fiber Ta:=σij−1(ya) is an isolated 2-dimensional fiber of σij and a connected component of Ei∩Ej;
3. (3)
if
we factor σij as
[TABLE]
where g is an elementary contraction of type (3,2) with exceptional divisor Ej′:=σi(Ej), then (Ej′)∣Si=C1+⋯+Cm (recall that
Si=σi(Ei)⊂Yi, see 8.9)
where C1,…,Cm are pairwise disjoint (−1)-curves in Si, and fibers of g; moreover Ca=σi(Ta) and Ca⊂(Yi)reg for every a=1,…,m.
In particular, locally around y1,…,ym, g is just the blow-up of the smooth surface Bj in the smooth 4-fold Yij, thus the restriction g∣Si:Si→Bi is the blow-up of Bi at the scheme intersection Bi∩Bj. Since Si is smooth (see 8.9), this intersection must be reduced.
8.14**.**
Let k∈{1,…,s}, k=i,j, and let T be a connected component of Ei∩Ej; note that N1(T,X)=RRi⊕RRj is 2-dimensional. If T∩Ek=∅, then T⊂Ek, because Ek⋅Ri=Ek⋅Rj=0. Then the contraction σk of Rk must be finite on T, and σk(T)=Sk⊂Yk.
This gives
N1(Sk,Yk)=(σk)∗(N1(T,X)), dimN1(Sk,Yk)≤2,
and dimN1(Ek,X)≤1+dimN1(Sk,Yk)≤3
(see Lemma 2.6), a contradiction. Hence Ei∩Ej∩Ek=∅ and Ai∩Aj∩Ak=∅.
On the open subset X∖∪k=i,jEk, σ coincides with σij, and Ai∩Aj⊂σ(X∖∪k=i,jEk). We conclude from 8.13
that every
Ai is smooth, Ai and Aj intersect transversally at finitely many points where Z is smooth, and Z has at most isolated ordinary double points contained in some Ai; in particular Z has locally factorial, terminal singularities (see Rem. 2.8). We have shown (b).
8.15**.**
We have −KX+E1+⋯+Es=σ∗(−KZ). If R is an extremal ray of NE(X) different from R1,…,Rs, then Ei⋅R≥0 for every i=1,…,s by [Cas24, Lemma 2.3], thus −KX+E1+⋯+Es is nef and (−KX+E1+⋯+Es)⊥∩NE(X)=NE(σ). This implies that −KZ is ample, namely Z is Fano.
8.16**.**
Fix i∈{1,…,s}. We have a factorization:
[TABLE]
set Ej′:=σi(Ej)⊂Yi for every j=i. Then hi∣Si:Si→Ai is a blow-up of smooth points, with exceptional locus ∪j=iEj∣Si′, which is a union of pairwise disjoint (−1)-curves Γa (see 8.13(3)). We have KSi=(hi∣Si)∗KAi+∑aΓa and KYi=hi∗KZ+∑j=iEj′; then KSi=KYi∣Si (see 8.9) implies that (hi∣Si)∗KAi=(hi∣Si)∗KZ∣Ai and finally that KAi=KZ∣Ai, so we have (a).∎
Remark 8.18**.**
In the setting of Prop. 8.8, let g:Z→W be an elementary birational contraction.
Then B:=g(Exc(g))⊂W is a smooth del Pezzo surface and
[TABLE]
Indeed by Prop. 8.8 both Z and W are Fano with locally factorial and terminal singularities, so that hi(Z,−KZ)=0 for i>0 and h0(Z,−KZ)=χ(Z,−KZ), and similarly for W. Moreover, still by Prop. 8.8 applied to g∘σ:X→W, we have that B is a smooth del Pezzo surface with KB=KW∣B, hence the formula follows from Lemma 2.11 and χ(B,−KB)=h0(B,−KB)=11−ρB.
Remark 8.19**.**
In the setting of Prop. 8.8, set mij:=#(Ai∩Aj) for every i,j=1,…,ρX−ρZ, i=j; note that mij is also the number of connected components of Ei∩Ej in X.
Let i∈{1,…,ρX−ρZ}. The blow-up of Ai at the points of intersection with ∪j=iAj is the del Pezzo surface Si⊂Yi as in (8.17), and ρSi≤9, therefore:
[TABLE]
Corollary 8.21**.**
In the setting of Prop. 8.8, suppose that ρZ≥3 and ρAi=ρZ for some i∈{1,…,ρX−ρZ}. Let ι:Ai↪Z be the inclusion.
Then ι∗:N1(Ai)→N1(Z) is an isomorphism such that ι∗(NE(Ai))=NE(Z). For every (−1)-curve C⊂Ai there exists a (unique) extremal ray R of NE(Z) such that [C]∈R; moreover R is of type (3,2) and ER∣Ai=C, where ER:=Locus(R).
Proof.
We have KAi=KZ∣Ai and N1(Ai,Z)=N1(Z) by Prop. 8.8(a). In particular ι∗:N1(Ai)→N1(Z) is surjective, thus it is an isomorphism because ρAi=ρZ.
We show that ι∗(NE(Ai))=NE(Z). The inclusion
⊆
is clear. Conversely, let R be an extremal ray of NE(Z). Then R is of type (3,2) by Prop. 8.8(c) and because ρZ≥3. By the proof of Prop. 8.8 (more precisely 8.13 and 8.14) we have ER∩Ai=∅ and ER∣Ai=C1+⋯+Cm with C1,…,Cm pairwise disjoint (−1)-curves with [Cj]∈R, so that R∈ι∗(NE(Ai)), and we conclude that ι∗(NE(Ai))=NE(Z). Moreover −KZ⋅Cj=−KAi⋅Cj=1 for every j, which implies that Cj≡C1 in Z. Since ι∗ is injective, we get that Cj≡C1 in Ai, therefore Cj=C1 and m=1, because these are (−1)-curves.
∎
Lemma 8.22**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
If there is a contraction
f:X→P2, then df≤3.
We recall that df=dimN1(F,X) for a general fiber F⊂X of f, see Def.-Rem. 3.2.
Proof.
Let us factor f as X→σZ→gP2, with ρZ=2 and g elementary; let F⊂X be a general fiber of f and FZ:=σ(F)⊂Z a general fiber of g.
Then σ is birational by Lemma 8.5,
g is elementary of fiber type, and dimN1(FZ,Z)=1.
We apply Prop. 8.8 to σ;
consider the surfaces A1,…,AρX−2⊂Z blown-up by σ.
Up to renumbering
let A1,…,Ar be those dominating P2 under g, with r∈{0,…,ρX−2}.
Then
[TABLE]
Suppose by contradiction that df≥4. Then by Th. 4.5 we have df=4, r=3, and F is a del Pezzo surface of degree one.
Let us further factor f as
[TABLE]
where σ′ is the blow-up of A1,A2,A3⊂Z, ρZ′=5, and set F′:=σ′′(F)⊂Z′. Then the surfaces blown-up by σ′′ do not dominate P2, hence F′ is contained in the open subset where σ′′ is an isomorphism, so that F′≅F and F′ is a del Pezzo surface of degree one.
By considering the anticanonical pencil in F′, we see that Z′ is covered by a proper family V of irreducible curves of anticanonical degree one (recall that Z′ is Gorenstein Fano by Prop. 8.8).
We have ρZ′<ρX, hence σ′′ is not an isomorphism;
let B⊂Z′ be a surface blown-up by σ′′. By
Prop. 8.8 we know that B is a smooth del Pezzo surface with KZ′∣B=KB.
Let p∈B be a general point. There is an irreducible curve Γ of the family V such that p∈Γ. Since −KZ′⋅Γ=1, we must have Γ⊂B (see [CS24, Prop. 2.10]); moreover
−KB⋅Γ=−KZ′⋅Γ=1.
We conclude that B is covered by curves of anticanonical degree one, hence ρB=9. On the other hand (8.20) applied to σ′′ and Ai=B gives
9≥ρB+ρX−ρZ′−1=ρX+3, a contradiction.
∎
Lemma 8.23**.**
Let X be a smooth Fano 4-fold with ρX≥7, not isomorphic to a product of surfaces, and without small elementary contractions.
Then there exists a birational contraction σ:X→Z with
ρZ=1 and such that ρAi=1 for some i∈{1,…,ρX−1}
(notation as in Prop. 8.8).
Proof.
8.24**.**
Let τ:X→W be a contraction with ρW=2; it is birational by Lemma 8.5, and Prop. 8.8 applies; in particolar W is a Fano 4-fold with at most ordinary double points as singularities, and τ blows-up ρX−2≥5 surfaces B1,…,BρX−2⊂W. For every i=1,…,ρX−2, (8.20) gives 9≥ρBi+ρX−3≥ρBi+4, therefore ρBi≤5.
Let us consider
the two elementary contractions gj:W→Zj of W, with
j∈{1,2}, and set fj:=gj∘τ:X→Zj.
If gj is of fiber type, then
by Lemmas 8.5 and 8.22 we have Zj≅P2, fj is equidimensional, and dfj≤3; moreover as in the proof of Lemma 8.22 we see that at most two surfaces Bi can dominate P2 under gj.
If gj is birational, then it must be of type (3,2) by Prop. 8.8.
Set Ej:=Exc(gj)⊂W and Aj:=gj(Ej)⊂Zj.
Suppose that ρAj>1; we show that there are at most two indices i∈{1,…,ρX−2} such that Ej∣Bi is reducible.
We apply Rem. 8.19 to fj=gj∘τ:X→Zj and the surface Aj; the other surfaces blown-up by fj are gj(B1),…,gj(BρX−2). Set mi:=#(gj(Bi)∩Aj), and note that this is also the number of components of Ej∣Bi in W. Then (8.20) gives 9≥ρAj+∑i=1ρX−2mi≥2+∑imi, therefore ∑i=1ρX−2mi≤7 and the sum has ρX−2≥5 terms, so
we see that there are at most two indices i∈{1,…,ρX−2} such that mi>1, namely such that Ej∣Bi is reducible.
8.25**.**
Suppose that both g1 and g2 are of fiber type.
Since ρX−2≥5, by 8.24 there is at least one surface, say B1⊂W, such that gj(B1)⊊P2 for j=1,2.
On the other hand gj(B1)=fj(E1) cannot be a point because fj is equidimensional, therefore gj(B1) is a curve in P2. Since B1 is a smooth del Pezzo surface, gj∣B1 factors through a conic bundle hj:B1→P1, such that h1 and h2 define a finite map h:B1→P1×P1. Since ρB1≤5, [Dru16, Prop. 7.2] implies that B1≅P1×P1.
Similarly as in 8.24, using (8.20) and ρB1=2,
we see that there is at least one index i∈{2,…,ρX−2} such that #(B1∩Bi)=1; up to renumbering we can assume i=2.
Consider the factorization of τ given by:
[TABLE]
where
τ′ is the blow-up of B2, and let B1′⊂W′ be the transform of B1. Then B1′≅Bl2ptsP2, so that ρB1′=ρW′=3, and we can apply Cor. 8.21.
In particular, let C1,C2⊂B1′ be the (−1)-curves contracted by B1′→P2; then for i=1,2 the class [Ci]∈NE(W′) generates an extremal ray Ri of type (3,2), with locus Gi⊂W′ such that Gi∣B1′=Ci.
Moreover
R1+R2 is a face of NE(W′), because NE(W′)≅NE(B1′).
Let h:W′→T be the contraction with NE(h)=R1+R2, so that ρT=1.
We have G1⋅C2=G1∣B1′⋅B1′C2=C1⋅B1′C2=0, and similarly G2⋅C1=0. Then it is easy to see that Exc(h)⊂G1∪G2, and h is birational. Moreover AT:=h(B1′)⊂T is one of the surfaces blown-up by the birational contraction h∘τ′′:X→T, and ρAT=1 by construction, so we get the statement.
8.26**.**
Suppose now that g1 and g2 are both birational; recall that Ej=Exc(gj)⊂W and Aj=gj(Ej)⊂Zj for j=1,2. We show that ρAj=1 for some j∈{1,2}, which gives the statement.
By contradiction, suppose that ρAj>1 for j=1,2.
Then, by 8.24, there are at
most 4 indices i∈{1,…,ρX−2} such that Ej∣Bi is reducible for some j∈{1,2}, and since ρX−2≥5,
there exists an index i, say i=1, such that Ej∣B1 is irreducible
for j=1,2. Then
Ej∣B1=Cj is a (−1)-curve in B1, with [Cj]∈NE(gj) (see 8.13(3)).
We have NE(W)=NE(g1)+NE(g2) and E1⋅NE(g1)<0, hence E1⋅NE(g2)>0. Then C1⋅B1C2=E1∣B1⋅B1C2=E1⋅C2>0, and since
B1 is a smooth del Pezzo surface with ρB1≤5 (see 8.24), it is easy to see that it must be C1⋅B1C2=1.
Conversely this implies that E1⋅C2=1, and similarly
E2⋅C1=1. This gives (E1+E2)⋅C1=(E1+E2)⋅C2=0, which is impossible because ρW=2, [C1] and [C2] generate N1(W), and we would get E1+E2≡0.
8.27**.**
Finally suppose that g1:W→Z1 is birational and g2:W→P2 is of fiber type. Set E:=Exc(g1)⊂W and A:=g1(E)⊂Z1. We have NE(W)=NE(g1)+NE(g2), and E⋅NE(g1)<0, hence E⋅NE(g2)>0.
If ρA=1 we get the statement, thus let us assume that ρA>1. Then by 8.24 there at most two indices i∈{1,…,ρX−2} such that E∣Bi is reducible, and at most two indices i∈{1,…,ρX−2} such that Bi dominates P2 under g2. Since ρX−2≥5, there is at least one index i, say i=1, such that g2(B1)⊊P2 and E∣B1=C a (−1)-curve in B1.
We show that ρB1=2. Then the surface g1(B1)⊂Z1 has Picard number 1, and this gives the statement.
Assume by contradiction that ρB1>2.
As in 8.25 we see that g2(B1)⊂P2 is a curve and
g2∣B1 factors through a conic bundle h:B1→P1; since
ρB1>2, h
has at least one reducible fiber Γ1+Γ2, where Γi are (−1)-curves with Γ1⋅B1Γ2=1.
Let i∈{1,2}. Note that in W we have [Γi]∈NE(g2) and hence E⋅Γi>0, therefore C⋅B1Γi=E∣B1⋅B1Γi=E⋅Γi>0.
However it is impossible to have such a configuration C,Γ1,Γ2 of (−1)-curves in B1, because ρB1≤5 (see 8.24). Indeed, consider a birational map φ:B1→P2 that contracts C to a point p∈P2. The (−1)-curves of B1 are given by the exceptional curves for φ, and the transforms of the lines through two blown-up points.
Since C⋅Γi>0, φ(Γi) must be a line pqi
where qi is another blown-up point, but then the two lines meet only at p and Γ1 and Γ2 should be disjoint in B1.
This concludes the proof of Lemma 8.23.∎
By Lemma 8.23 there exists a birational contraction σ:X→Z with ρZ=1 and such that ρAi=1 for some i∈{1,…,ρX−1} (notation as in Prop. 8.8).
Up to renumbering we can assume that ρA1=1, so that A1≅P2.
Similarly as before (see the proof of Lemma 8.23), using (8.20) we see
that there are at least two indexes j∈{2,…,ρX−1} with #(A1∩Aj)=1; up to renumbering we can assume that m12=m13=1.
8.28**.**
Consider the factorization of σ given by:
[TABLE]
where ρZ′=3 and σ′ is the blow-up of A2 and A3. Let A1′⊂Z′ be the transform of A1⊂Z. Then σ∣A1′′:A1′→A1 blows-up two points, so that A1′≅Bl2ptsP2 and ρA1′=ρZ′=3. For i=2,3 we denote by Ci⊂A1′ the (−1)-curve over the point A1∩Ai, and C0⊂A1′ the (−1)-curve not contracted by σ′; recall that NE(A1′)=⟨[C0],[C2],[C3]⟩.
Let ι:A1′↪Z′ be the inclusion.
By Cor. 8.21ι∗:N1(A1′)→N1(Z′) is an isomorphism that induces an isomorphism between NE(A1′) and NE(Z′), hence
NE(Z′) is a simplicial 3-dimensional cone generated by [C0],[C2],[C3].
For i=0,2,3 let Ri be the extremal ray of NE(Z′) generated by [Ci] (so that NE(σ′)=R2+R3); by Cor. 8.21 each Ri is of type (3,2), with locus Ei⊂Z′ such that Ei∣A1′=Ci.
This implies that restriction
r′:Pic(Z′)→Pic(A1′) is an isomorphism. Indeed r′ is injective because ι∗ is surjective, and it is surjective
because Pic(A1′) is generated by the classes of C0,C2,C3, which are restrictions of divisors in Z′.
8.29**.**
The restriction Pic(Z)→Pic(A1) is an isomorphism.
Proof.
We have a commutative diagram:
[TABLE]
where r′ is an isomorphism and (σ′)∗ and (σ∣A1′′)∗ are injective, so that r is injective too.
If L∈Pic(A1), consider (σ∣A1′′)∗(L)∈Pic(A1′). Since r′ is surjective, there exists M∈Pic(Z′) such that M∣A1′=(σ∣A1′′)∗(L). We have M⋅Ci=M∣A1′⋅Ci=0 for i=2,3, so that M=(σ′)∗(M2) for some M2∈Pic(Z), and
(σ∣A1′′)∗(M2∣A1)=(σ′)∗(M2)∣A1′=M∣A1′=(σ∣A1′′)∗(L), hence
M2∣A1=L and r is surjective.
∎
8.30**.**
By Prop. 8.8Z is a Fano 4-fold with at most locally factorial, isolated ordinary double points, ρZ=1, and KA1=KZ∣A1. Since A1≅P2, 8.29 implies that
Z has index 3, namely
Z is a del Pezzo variety, see [IP99, §3.2]. Let d∈N be its degree, i.e.d=H4 where H is the ample generator of Pic(Z) and −KZ=3H. We have χ(Z,H)=h0(Z,H)=d+3 [ibid., Rem. 3.2.2(ii)], χ(Z,−H)=χ(Z,−2H)=0, and χ(Z,OZ)=1, which yields χ(Z,tH)=241(t+1)(t+2)(dt2+3dt+12), and finally h0(Z,−KZ)=15d+10.
8.31**.**
The birational map σ′:Z′→Z factors as two blow-ups Z′→Z′′→Z with center first A2⊂Z and then the transform A3′′⊂Z′′ of A3⊂Z. By Prop. 8.8, A2 is a smooth del Pezzo surface with −KA2=−KZ∣A2=3H∣A2, so that A2 has again index 3 and A2≅P2. Rem. 8.18 gives
h0(Z′′,−KZ′′)=h0(Z,−KZ)−10=15d.
By applying (8.20) to X→Z′′ and A3′′⊂Z′′ we get ρA3′′≤10−(ρX−ρZ′′)=12−ρX≤5, thus
again by Rem. 8.18 we get
[TABLE]
8.33**.**
Fix j∈{2,3} and consider the contraction gj:Z′→Zj with NE(gj)=R0+Rj (see 8.28), so that ρZj=1. In Z′ we have Ej⋅C0=Ej∣A1′⋅A1′C0=Cj⋅C0=1, and similarly E0⋅Cj=1. This implies that gj must be of fiber type. Indeed if gj is birational, we can apply Prop. 8.8 to gj∘σ′′:X→Zj, and we get extremal rays R0, Rj in NE(gj∘σ′′), with (σ′′)∗(R0)=R0 and (σ′′)∗(Rj)=Rj, and loci E0=(σ′′)∗(E0), Ej=(σ′′)∗(Ej) in X. Then we get Ej⋅R0>0 by the projection formula, but it is shown in the proof of Prop. 8.8 that Ej⋅R0=0.
Therefore gj is of fiber type, and again
by considering the composition gj∘σ′′:X→Zj, we get Zj≅P2 by Lemma 8.5.
Let us also note that (E0+Ej)⋅R0=(E0+Ej)⋅Rj=0, so that OZ′(E0+Ej)=gj∗OP2(aj) for some aj∈N.
We have (E0+Ej)∣A1′=C0+Cj fiber of a conic bundle hj:A1′→P1, therefore
gj(A1′)⊂P2 is a curve, and we have a factorization
[TABLE]
where νj is a finite map. Then hj∗OP1(1)=C0+Cj=(E0+Ej)∣A1′=hj∗νj∗OP2(aj)∣gj(A1′), which gives
OP1(1)=νj∗OP2(aj)∣gj(A1′).
We conclude that aj=1, gj(A1′) is a line in P2,
νj is an isomorphism, and gj∣A1′=hj.
8.34**.**
Let now
f:Z′→W be the contraction of R0; we have ρW=2, and f is of type (3,2) by Prop. 8.8(c). Then
Prop. 8.8 applies to
the composition
f∘σ′′:X→W; in particular W is a Fano 4-fold with at most locally factorial, isolated ordinary double points.
Set AW:=f(A1′)⊂W; then AW is one of the surfaces blown-up by
f∘σ′′, hence it is a smooth del Pezzo surface with KAW=KW∣AW.
Moreover gj:Z′→P2 factors through f, so that
W has two elementary contractions
πj:W→P2 for j=1,2, that induce a finite map π:W→P2×P2.
The restriction f∣A1′ contracts the “middle” (−1)-curve C0 of A1′≅Bl2ptsP2, and AW≅P1×P1. Moreover by 8.33 for j=2,3 the image πj(AW)⊂P2 is a line, and πj∣AW:AW→P1 are the two projections.
As in 8.28 we see that
the restriction Pic(W)→Pic(AW) is an isomorphism, and KW∣AW=KAW, therefore W has index two. Moreover KAW=OP1×P1(−2,−2) implies that KW=π1∗OP2(−2)+π2∗OP2(−2).
Consider the general fiber F1⊂W of π1:W→P2. It is a smooth del Pezzo surface with KF1=KW∣F1, thus F1 has index two and F1≅P1×P1. Notice that degπ=deg(π2∣F1:F1→P2). We have
[TABLE]
hence (π2∣F1)∗OP2(1)=OP1×P1(1,1), and we conclude that degπ=2. Finally KW=π∗OP2×P2(−2,−2)=π∗KP2×P2+R with R∼π∗OP2×P2(1,1), and
W is a double cover of P2×P2 with branch locus a divisor of degree (2,2).
We have π∗OW=OP2×P2⊕OP2×P2(−1,−1), and
[TABLE]
therefore h0(W,−KW)=45.
8.35**.**
The blow-up map f:Z′→W has center a smooth del Pezzo surface of index two (by Prop. 8.8 and because W has index two), therefore h0(Z′,−KZ′)=h0(W,−KW)−9=36 by Rem. 8.18.
Together with (8.32), this implies that d=3 and Z⊂P5 is a cubic 4-fold, see [IP99, Th. 3.3.1]; moreover Ai⊂Z is a plane for every i=1,…,ρX−1.
The intersection Ai∩Aj is finite, therefore Ai and Aj intersect only in one point, namely mij=1 for every i=j (see Rem. 8.19).
Moreover Ai∩Aj∩Ak=∅ if i<j<k by Prop. 8.8.
Let us write ρ:=ρX for simplicity.
The map X→Z factors a sequence of ρ−1 blow-ups:
[TABLE]
where, for i=1,…,ρ−1, σi:Xi+1→Xi blows-up a smooth del Pezzo surface Si⊂Xi with KXi∣Si=KSi, given by the transform of Ai⊂Z. The induced map Si→Ai blows-up ∑j=1i−1mij=i−1 points, therefore ρSi=i, and
Rem. 8.18 gives
[TABLE]
and h0(X1,−KX1)=55.
This gives h0(X,−KX)=21(ρ2−23ρ+132); on the other hand h0(X,−KX)≥2 (see Th. 2.12), which implies that ρX≤9. This concludes the proof of Th. 8.1.∎
9. Fano 4-folds with a divisor of type (3,0)sm
Let X be a Fano 4-fold with ρX≥7, that is not a product of surfaces; we consider now the case where X has some small elementary contraction. The following remark shows that such X must contain a fixed prime divisor of type (3,0)sm, (3,1)sm, or (3,0)Q.
Remark 9.1**.**
Let X be a smooth Fano 4-fold with ρX≥7, having a small elementary contraction f:X→Y. We have NE(f)⊂mov(X)=Eff(X)∨, therefore there exists a one-dimensional face τ of Eff(X) such that τ⋅NE(f)<0. By Cor. 4.10τ is a fixed face, hence τ=R≥0[D] for some fixed prime divisor D⊂X, and D⋅NE(f)<0. In particular D contains Locus(f) which is a union of exceptional planes (Lemma 2.13), and D cannot be of type (3,2) (Lemma 5.3). We conclude that D must be of type (3,0)sm, (3,1)sm, or (3,0)Q (see Th.-Def. 5.1).
In this section we consider the case where X has a fixed prime divisor of type (3,0)sm, and show the following result (Th. 1.3 from the Introduction).
Theorem 9.2**.**
Let X be a smooth Fano 4-fold with ρX≥7 having a fixed prime divisor of type (3,0)sm. Then one of the following holds:
(i)
X* has an elementary rational contraction onto a 3-fold and ρX≤9;*
2. (ii)
ρX=7,
h0(X,−KX)∈{2,…,15},
and there is a SQM X\dasharrowX′ such that X′=Bl6ptsY, Y a smooth Fano 4-fold with ρY=1 and h0(Y,−KY)=h0(X,−KX)+90∈{92,…,105}. Moreover every fixed prime divisor of X is of type (3,0)sm.
The proof follows the same strategy as in [Cas17], where the bound ρX≤12 is shown. Let us note that, in case (i) where X has an elementary rational contraction onto a 3-fold, the bound ρX≤9 follows from Th. 1.5.
We treat separately the two cases where every fixed prime divisor is of type (3,0)sm (Prop. 9.4), and where there are also fixed prime divisors of other types (Prop. 9.20).
In the first case, there are a smooth Fano 4-fold Y and a SQM X\dasharrowX′ such that X′=BlptsY, and Y does not have divisorial elementary rational contractions. We compute that h0(Y,−KY)=h0(X,−KX)+15(ρX−ρY).
If Y has an elementary rational contraction onto a 3-fold, then we lift this contraction to X, and get (i).
If ρY=1, then either Y≅P4 and we get again (i) (see §11.1), or we get h0(Y,−KY)≤105 from [Cas17], which implies
(ii) (see 9.6).
Otherwise, we show that we can reduce to the situation where
ρY=2 and Y has two distinct elementary rational contractions of fiber type Y\dasharrowBi where Bi is P1 or P2, for i=1,2; moreover ρX−ρY≥5 gives
h0(Y,−KY)≥75.
We show that this case does not happen, by studying explicitly the geometry of Y.
This is the longest part of the proof (see 9.7 - 9.17).
Consider now the case where X has a fixed prime divisor of type (3,0)sm and also some fixed prime divisor of another type. We know that Eff(X) is generated by classes of fixed prime divisors, and that every 2-dimensional face is fixed (Cor. 4.10). Then there must a fixed prime divisor D of type (3,0)sm and a fixed prime divisor B, not of type (3,0)sm, that are adjacent. We consider the contraction X\dasharrowY of D, so that Y is a smooth Fano 4-fold, and the transform BY⊂Y is still a fixed prime divisor. By analysing
the possibilities for BY, we show that in each case there is a fixed prime divisor E⊂X, of type (3,2), such that D∩E=∅. Then we get (i) by Th. 7.1.
Proposition 9.4** (refinement of [Cas17], Th. 4.3).**
Let X be a smooth Fano 4-fold with ρX≥7, and suppose that every fixed prime divisor of X is of type (3,0)sm. Then the statement of Th. 9.2 holds.
Proof.
Let us first note that, if X has an elementary rational contraction onto a 3-fold, then ρX≤9 by Th. 1.5, and we get (i).
We follow [Cas17, proof of Lemma 4.22], where it is shown that there is a diagram
[TABLE]
where φ is a sequence of flips and divisorial elementary contractions, and f is an elementary contraction of fiber type.
Up to increasing the number of flips and divisorial contractions in φ, we can also assume that Y has no divisorial elementary rational contractions, hence Y contains no fixed prime divisors (see Rem. 2.3).
By [ibid., Lemma 4.19], up to SQM we can assume that Y is a smooth Fano 4-fold, and there is a resolution
φ′:X′→Y
of φ such that φ′
is the blow-up of Y in r:=ρX−ρY distinct points. Then we have:
If dimZ=3, then by [ibid., Lemma 4.21] we have (i).
9.6**.**
Suppose that ρY=1 and Z={pt}.
If Y≅P4,
then X is the Fano model of BlptsP4 and has an elementary rational contraction onto BlptsP3 (see §11.1), thus we have (i).
If instead Y≅P4,
as in [ibid., proof of Th. 3.2, p. 380] we see that h0(Y,−KY)≤105, which together with (9.5) implies (ii).
9.7**.**
Suppose that dimZ=2, and note that Z is smooth (Lemma 3.19).
We notice that
Z cannot have divisorial elementary contractions, otherwise the pullback under f of the exceptional divisor would be a fixed prime divisor in Y, against our reductions.
Therefore Z is a minimal smooth rational surface with no
divisorial elementary contraction, and we conclude that either Z≅P2 and ρY=2, or Z≅P1×P1 and ρY=3. We also note that if dimZ=1, then Z≅P1 and ρY=2.
9.8**.**
Suppose that Z≅P1×P1, and consider the blow-up
of the first point W:=Blp1Y→Y in φ′:X′→Y. The composition W→P1×P1 is not equidimensional, and by Prop. 3.12 it factors as
[TABLE]
where W\dasharrowS is an elementary rational contraction, S is a smooth surface (see Lemma 3.19), and S→P1×P1 is the blow-up of a smooth point, thus S≅Bl2ptsP2.
Consider a (−1)-curve of S contracted by S→P2, and its pullback G in W. This is a fixed
prime divisor, and up to to replacing W with a SQM, we can assume that G=Exc(g) for some
divisorial elementary contraction g:W→Y′ (see Rem. 2.3). Then g must be the blow-up of a smooth point (by [Cas17, Lemma 4.19(2)] applied to the composition X\dasharrowY′), and there is an elementary rational contraction Y′\dasharrowF1.
[TABLE]
Now we consider the blow-up F1→P2 and the composition Y′\dasharrowP2; it factors again as an elementary divisorial rational contraction Y′\dasharrowY′′ and an elementary contraction Y′′→P2. Finally, by replacing Y with Y′′,
and we can assume that ρY=2 and Z≅P2.
9.9**.**
We are left with the possibility that ρY=2 and Y has two distinct elementary rational contractions of fiber type Y\dasharrowBi where Bi is P1 or P2, for i=1,2, so that Mov(Y)=Eff(Y) and the two one-dimensional faces of this cone are the pullbacks of Nef(Bi), i=1,2.
We are going to show that
this contradicts ρX≥7.
9.10**.**
Suppose that Y has index >1. Then Y cannot have small elementary contractions (see Lemma 2.13), therefore
both maps Y→Bi must be regular. Since each map must be finite on the fibers of the other one, such fibers are at most 2-dimensional, and we conclude that Y has two elementary contractions onto P2.
Fano 4-folds with index >1 and Picard number >1 are classified, see [IP99, Cor. 3.1.15, Th. 3.3.1, Th. 7.2.15]. An inspection of the classification shows that the only cases where ρY=2 and Y has two elementary contractions onto P2 are P2×P2 and
a double cover of P2×P2 ramified over a divisor of degree (2,2).
On the other hand Y cannot be covered by a family of curves of anticanonical degree 3 by [Cas17, Lemma 3.12], and this excludes P2×P2. In the other case
we have h0(Y,−KY)=45 (see 8.34), and by (9.5) this implies that r≤2 and ρX≤4, a contradiction.
9.11**.**
We suppose from now on that Y has index one.
For i=1,2 let us consider a K-negative resolution
fi:Yi→Bi of Y\dasharrowBi;
we have a diagram:
[TABLE]
where ψi is a SQM.
Fix i∈{1,2} and let Di⊂Yi be a general fiber of fi if Bi=P1, the pullback of a general line if Bi=P2.
Let Di⊂Y be the transform of Di.
9.12**.**
We notice that
the general fiber Fi of fi cannot have a covering family of rational curves of anticanonical degree 3.
Otherwise, Yi would have a covering family V of rational curves, of anticanonical degree 3, contracted to points by fi. However this is excluded as in [Cas17, 4.24].
This implies that Di contains an irreducible curve Γi, contracted by fi, with ci:=−KDi⋅Γi∈{1,2,4} [Kol96, Cor. IV.1.15], and ci∈{1,2} if Bi=P2. Notice that Di⋅Γi=0 and −KYi⋅Γi=ci.
Since Fi is Fano, it is rationally connected.
Consider fi:Yi→Bi if Bi=P1, or
fi∣Di:Di→P1
if Bi=P2. These are families of rationally connected varieties over a curve, and
by [GHS03] they have a section, namely
there exists Ci⊂Yi such that Di⋅Ci=1.
9.13**.**
We have Eff(Y)=⟨[D1],[D2]⟩, so there exist positive integers n,a1,a2 such that
[TABLE]
and we can assume that gcd(n,a1,a2)=1.
Now let D2⊂Y1 be the transform of D2. In Y1 we have
[TABLE]
and intersecting with C1 we get
[TABLE]
This implies that gcd(a2,n) divides a1, and hence that gcd(a2,n)=1. Similarly we get that gcd(a1,n)=1.
Set d:=gcd(a1,a2) and ai:=dai′ for i=1,2.
We have
[TABLE]
and gcd(n,d)=1. This implies that d=1, because Y has index 1.
Now intersecting with Γ1 in Y1 we get from (9.14):
[TABLE]
which implies that a2 divides c1 and hence that a2∈{1,2,4}, and a2∈{1,2} if B1=P2.
Similarly we deduce that a1∈{1,2,4}.
Since gcd(a1,a2)=1,
up to exchanging Y1 and Y2 we can assume that a1=1, so that (9.14) becomes:
[TABLE]
9.16**.**
Suppose that B1≅P1. Then D1 is a smooth Fano 3-fold and h0(D1,−KY1∣D1)=h0(D1,−KD1)=21(−KD1)3+3≤35 [IP99, Cor. 7.1.2]. Moreover by (9.15):
[TABLE]
and we know that h0(Y1,−KY1)=h0(Y,−KY)>0 by Th. 2.12;
thus we get
[TABLE]
Now the exact sequence
[TABLE]
yields
[TABLE]
that together with (9.5) implies that r≤3 and ρX≤5, a contradiction.
9.17**.**
Suppose now that B1≅P2, and
consider the blow-up
of the first point
Blp1Y→Y in φ′:X′→Y. By [Cas17, Lemma 4.19(1)], applied to the map X\dasharrowBlp1Y, we see that there is a smooth Fano 4-fold W, with ρW=3, and a SQM Blp1Y\dasharrowW. Moreover there is a SQM of X which is obtained by blowing-up W at ρX−3 distinct points, so that using again [ibid., Prop. 3.3]
we have:
[TABLE]
Since p1 cannot belong to an exceptional plane [ibid., Lemma 4.4(3)], we see that p1∈dom(ψi) for i=1,2 (see 9.11); we still denote by p1 its image in Yi. Let
[TABLE]
be the blow-up of p1, and Ei⊂Wi the exceptional divisor.
Then Wi is another SQM of Blp1Y and W.
Consider the composition f1∘σ1:W1→P2. As in 9.8, we see that this map must factor through an elementary rational contraction W1\dasharrowF1, where h:F1→P2 is the blow-up of the point f1(p1).
[TABLE]
Recall that D1=f1∗(l) where l⊂P2 is a general line (see 9.11). Using (9.15) we get:
[TABLE]
Let α:W1′→F1 be a K-negative resolution of W1\dasharrowF1, D2′⊂W1′ the transform of σ1∗(D2), and
E1′⊂W1′ the transform of E1=Exc(σ1).
We have
E1′=α∗(e) where e⊂F1
is the (−1)-curve. Let also
π:F1→P1 be the P1-bundle; we have h∗(l)=f+e where f⊂F1 is a general fiber of π. Finally let us consider F=α∗(f) a general fiber of π∘α:W1′→P1.
[TABLE]
We note that F is a smooth Fano 3-fold. Indeed there is a K-negative resolution W1′′→P1 of π∘α, and the indeterminacy locus of the SQM W1′\dasharrowW1′′ is contracted to points by α, therefore it does not meet F. Hence F is isomorphic to a general fiber of W1′′→P1, which is Fano. We also note that α(F)=f, so that ρF≥2.
Recall that OY2(D2)=f2∗OB2(1) (see 9.11), and
that a2∈{1,2} because B1≅P2 (see 9.13).
Therefore we have:
[TABLE]
Moreover −KW1′∣F=−KF and h0(F,−KF)=21(−KF)3+3≤34 by classification [IP99, Ch. 12], and finally we get h0(W,−KW)=h0(W1′,−KW1′)≤h0(W1′,−KW1′−F)+h0(F,−KF)≤40. Together with (9.18)
this implies that ρX≤5, again a contradiction. This concludes the proof of Prop. 9.4.∎
Proposition 9.20** (refinement of [Cas17], Th. 5.40).**
Let X be a smooth Fano 4-fold with ρX≥7 having both a fixed prime divisor
of type (3,0)sm and a fixed prime divisor not of type (3,0)sm.
Then X contains a fixed prime divisor D
of type (3,0)sm and
a fixed prime divisor E of type (3,2) such that D∩E=∅; in particular N1(E,X)⊊N1(X).
Proof.
We proceed as in [Cas17, proof of Th. 5.40].
Since X has a fixed prime divisor of type (3,0)sm, X is not isomorphic to a product of surfaces, hence δX≤1 (Th. 1.9) and every face of Eff(X) of dimension ≤2 is fixed (Cor. 4.10).
Since every one-dimensional face of Eff(X) is generated by a fixed prime divisor, there must a 2-dimensional face ⟨[D],[B]⟩ such that
D is
of type (3,0)sm and
B is not. This face is fixed, hence
D and B are adjacent.
Let X\dasharrowX→σY be the contraction of D as in Th.-Def. 5.1(a), so that X\dasharrowX is a SQM, Y is a smooth Fano 4-fold with ρY≥6, and σ is the blow-up of a point p∈Y with exceptional divisor the transform of D; we also have δY≤2 by Lemma 5.18, so that Th.-Def. 5.1 applies to Y too.
We note that since every 2-dimensional face of Eff(X) is fixed, the same holds for every one-dimensional face of Eff(Y), and the transform BY⊂Y of B is a fixed prime divisor of Y (see [Cas17, Lemma 2.21]). Moreover p∈BY by [ibid., Lemma 5.41], and BY is not of type (3,0)sm by [ibid., Lemma 4.14].
Let C1,…,Cs⊂Y be the images of the exceptional lines of X; then Ci cannot meet any irreducible curve of anticanonical degree one in Y, for every i=1,…,s [ibid., Lemma 3.11(1)].
If BY is of type (3,2), then BY is covered by irreducible curves of anticanonical degree one, therefore BY∩Ci=∅ for every i=1,…,s. Then
BY
is contained in the domain of the birational map Y\dasharrowX, therefore B≅BY and B is of type (3,2) too. Moreover B∩D=∅, and we have the statement.
Suppose that BY is of type (3,0)Q. Note that Y cannot have a covering family of curves of anticanonical degree 3 (see [ibid., Lemma 3.12]), hence by [ibid., Prop. 5.18] Y must contain a prime divisor E covered by curves of anticanonical degree one. As before, we have Ci∩E=∅ for every i=1,…,s. Moreover, as in [ibid., 5.44] we see that [Ci]∈mov(Y) for every i=1,…,s. Thus τ:=E⊥∩mov(Y) is a face of mov(Y) containing [C1],…,[Cs].
By [ibid., Lemma 5.7] we have
[TABLE]
Therefore τ is a facet of mov(Y), and dually R≥0[E] is a one-dimensional face of Eff(Y)=mov(Y)∨. Hence E is a fixed divisor, it must be of type (3,2) [ibid., Lemma 2.18], and as in the previous part of the proof we see that the transform of E in X is a fixed prime divisor of type (3,2) disjoint from D.
Finally, if BY is of type (3,1)sm, there is a SQM φ:Y\dasharrowY and a smooth Fano 4-fold Z such that Y is the blow-up of Z along a smooth irreducible curve C⊂Z, with exceptional divisor the transform BY⊂Y of BY. Let α be a one-dimensional face of Eff(Z) with α⋅C>0. Then α⊂Mov(Z) by [ibid., Lemma 5.17], so that α=R≥0[G] where G⊂Z is a fixed prime divisor; let GY⊂Y, GY⊂Y, and GX⊂X be its transforms.
By [Cas22, Lemmas 4.2 and 4.4], ⟨[D],[B],[GX]⟩ is a fixed face of Eff(X),
such that GX is adjacent to both D and B .
Since G⋅C>0, we have GY∩BY=∅, thus GY∩BY is non-empty and is not a union of exceptional planes (recall that dim(Y∖domφ)=1 by Lemma 2.14). This implies that also
GX∩B is non-empty and is not a union of exceptional planes. Then GX must be of type (3,2) by [Cas22, Lemma 4.13(b)], hence GX∩D=∅ by Lemma 5.11, and we get the statement.
∎
If every fixed prime divisor of X is of type (3,0)sm, we apply Prop. 9.4. Otherwise by Prop. 9.20 there are a fixed prime divisor E of type (3,2), and another fixed prime divisor D, such that
D∩E=∅. Then we have N1(E,X)⊊N1(X) (see Rem. 2.7), and we get (i)
by Th. 7.1.
∎
10. Fano 4-folds with a divisor of type (3,1)sm or (3,0)Q
In this section we conclude our study of Fano 4-folds with ρ≥7 having a small elementary contraction, by considering the case where X has a fixed prime divisor of type (3,1)sm or (3,0)Q (Th. 10.1). Then we prove Cor. 10.5 characterizing Fano 4-folds with ρ≥9 that are not products of surfaces; this result implies
Theorems 1.1 and 1.4 from the Introduction. Finally we also give an application to Fano 4-folds with ρ=8 (Cor. 10.6).
Theorem 10.1**.**
Let X be a smooth Fano 4-fold with ρX≥9 having a fixed prime divisor of type (3,1)sm or (3,0)Q. Then
X has a rational contraction onto a 3-fold and ρX=9.
Note that in the setting of the theorem, it is enough to show that X has a rational contraction onto a 3-fold, because then ρX=9 follows from Th. 1.5.
To prove Th. 10.1, we follow [Cas22, proofs of Th. 8.1 and Th. 9.1], where in the same setting the bound ρX≤12 is shown. Thanks to the results in the previous sections, in particular Cor. 4.10, Th. 6.1, and Th. 7.1, and also to Th. 1.9, we can improve the bound to 9 and simplify the proofs.
We first treat the case where X has a fixed prime divisor of type (3,1)sm, and then the case where X has a fixed prime divisor of type (3,0)Q (and no fixed prime divisors of type (3,1)sm).
Since the proofs from [Cas22] are quite technical, instead of reporting them in full we will
point out which modifications are needed to get our statement; for the case of a divisor of type (3,1)sm we will also give a highlight of the main points of the proof.
Let us first assume that: X is a smooth Fano 4-fold with ρX≥8, having a fixed prime divisor D of type (3,1)sm, and
with no rational contraction onto a 3-fold.
Since X has a fixed prime divisor of type (3,1)sm, X is not isomorphic to a product of surfaces.
Then we have the following properties:
N1(E,X)=N1(X) for every fixed prime divisor E⊂X of type (3,2)
(Th. 7.1);
3. ∙
every face of Eff(X) of dimension ≤3 is fixed (Cor. 4.10);
4. ∙
X has no fixed prime divisor of type (3,0)sm (Prop. 9.20).
We consider the contraction X\dasharrowX→σY of D as in Th.-Def. 5.1, so that Y is a smooth Fano 4-fold with ρY≥7 and σ is the blow-up of a smooth irreducible curve C⊂Y. Then we have:
(a)
Y has no rational contraction onto a 3-fold;
2. (b)
N1(E,Y)=N1(Y) for every fixed prime divisor E⊂Y of type (3,2);
3. (c)
Y has no fixed prime divisor of type (3,0)sm;
4. (d)
Y is not isomorphic to a product of surfaces;
5. (e)
δY≤1.
Here (a), (b), and (c) follow from the same properties of X as shown in
[Cas22, 8.2], and (d) and (e) are proved in [ibid., 8.3].
We also have:
(f)
every face of Eff(Y) of dimension ≤2 is fixed (Cor. 4.10).
As in [ibid., 8.5], we introduce the following notation: if C belongs to a family of rational curves of anticanonical degree one with locus a divisor, we denote this divisor by E0. Then we have:
(g)
if Y contains a nef prime divisor H covered by a family V of rational curves of anticanonical degree one, then H=E0 and [C]≡[V].
Indeed we must have H∩C=∅ by Prop. 7.10, (a), and (b). Then C is a member of the family V by [ibid., Lemma 4.21(a)], so that H=E0.
As in [ibid., 8.6 - 8.7], we denote by E1,…,Er the set of fixed prime divisors of Y of type (3,2) and different from E0.
It is shown in [ibid., 8.12 - 8.16] that r≥ρX−5, and that for every i=1,…,r the transform Ei⊂X of Ei is a fixed prime divisor of type (3,2) having intersection zero with CD.
Note that [ibid., 8.9 and 8.10] are not needed because of (f), and [ibid., 8.11] is replaced by (g). Moreover [ibid., 8.18] shows that every fixed prime divisor of Y is of type (3,1)sm or (3,2) (and both types do occur), hence by [ibid., Lemma 4.22] every fixed prime divisor of X, adjacent to D, is still of type (3,1)sm or (3,2). We get the following intermediate result.
Proposition 10.2** (refinement of [Cas22], Prop. 8.17).**
Let X be a smooth Fano 4-fold with ρX≥8 and D⊂X a fixed prime divisor of type (3,1)sm. Then one of the following holds:
(i)
X* has a rational contraction onto a 3-fold;*
2. (ii)
there are at least ρX−5 fixed prime divisors of type (3,2) adjacent to D and having intersection zero with CD; moreover every fixed prime divisor adjacent to D is of type (3,1)sm or (3,2).
We assume from now on that ρX≥9, namely that X is a smooth Fano 4-fold with ρX≥9, having a fixed prime divisor D of type (3,1)sm, and
with no rational contraction onto a 3-fold. We show that this gives a contradiction.
Notice that ρY≥8, in particular
every face of Eff(Y) of dimension ≤3 is fixed, by
Cor. 4.10 and (d); this replaces [ibid., 8.24].
Let B⊂Y be a
fixed prime divisor
of type (3,1)sm; by (a) and Prop. 10.2 applied to Y and B, we see that
B is adjacent to some divisor among E1,…,Er.
Using this, [ibid., 8.26 - 8.27]
shows that there exist a fixed prime divisor B1⊂Y of type (3,1)sm, and i∈{1,…,r}, say i=1, such that B1+E1 is movable and not big, so that the linear system m∣B1+E1∣ for m≫0 defines a rational contraction of fiber type f:Y\dasharrowZ. By [ibid., Lemma 5.11], (a), and (b), we have Z≅P2 and f is special.
We note that C cannot be contracted to a point by f, otherwise the composition X\dasharrowP2 has a unique prime divisor (precisely D) contracted to a point, and this contradicts Lemma 7.9. Thus C is not contracted to a point,
and as in [ibid., proof of 8.9], this implies that the general fiber of f is P2, hence the minimal face τf of Eff(Y) containing f∗Nef(P2) is a facet (see Def.-Rem. 3.2).
Then [ibid., 8.29] shows that there are irreducible curves Γ1,…,ΓρY−2⊂P2, and fixed prime divisors B2,…,BρY−2⊂Y of type (3,1)sm, such that (up to renumbering) f∗(Γi)=Bi+Ei for i=1,…,ρY−2, and
[TABLE]
Moreover ⟨[B1],…,[BρY−4],[EρY−3],[EρY−2]⟩ is a face of τf of dimension ρY−2, hence there exists a facet η of Eff(Y) such that
[TABLE]
(see [ibid., 8.32]).
If P⊂Y is a fixed prime divisor such that [P]∈η∖τf, [ibid., 8.33 - 8.35] shows that, up to renumbering, P+Bi is movable for i=1,…,ρY−6. Let η1 be the minimal face of η containing [(ρY−6)P+B1+⋯+BρY−6], so that η1 contains [P],[B1],…,[BρY−6], and [P+Bi]∈η1∩Mov(Y) for every i=1,…,ρY−6; in particular η1∩Mov(Y) is a face of Mov(Y) of dimension ≥ρY−6. As in Rem. 3.11, we take a cone α∈MCD(Y) such that α⊂η1∩Mov(Y) and dimα=dim(η1∩Mov(Y)), and consider the rational contraction h:Y\dasharrowS such that α=h∗(Nef(S)) (see [ibid., 8.36]).
Then h is of fiber type and special, by Lemma 3.10; moreover ρS=dim(η1∩Mov(Y))≥ρY−6≥2, hence S≅P1, and by (a) we have dimS=2.
By [ibid., Lemma 5.12] and (b), h must be quasi-elementary.
Finally Th. 6.1, (a), and (d) imply that h is elementary, therefore
ρS=ρY−1, η1=η, and h∗(N1(S))=Rη. On the other hand [EρY−2]∈η, and by [ibid., Lemma 5.11] and (b) this gives a contradiction.
This concludes the first part of the proof of Th. 10.1.
∎
Lemma 10.3** (refinement of [Cas22], Lemma 9.2).**
Let X be a smooth Fano 4-fold with ρX≥7 and let D,E be two adjacent fixed prime divisors of type (3,0)Q in X. Let L⊂E be an exceptional plane such that L∩D=∅.
Then one of the following holds:
(i)
X* has a rational contraction onto a 3-fold;*
2. (ii)
there exists an exceptional plane M⊂D such that CM+CE≡CD+CL and D⋅CM=−1.
Proof.
Note that X is not a product of surfaces, because it contains fixed prime divisors of type (3,0)Q, hence δX≤1 by Th. 1.9.
The same proof as the one of [Cas22, Lemma 9.2] applies, just using Th. 7.1 instead of [ibid., Th. 4.8], and Prop. 7.10 and Th. 7.1 instead of [ibid., Prop. 7.1].
∎
Lemma 10.4** (refinement of [Cas22], Lemma 9.3).**
Let X be a smooth Fano 4-fold with ρX≥7 and let D,E be two adjacent fixed prime divisors of type (3,0)Q in X. Suppose that one of the following holds:
(a)
every fixed prime divisor is of type (3,0)Q;
2. (b)
there is a fixed prime divisor F, of type (3,2), such that ⟨[D],[E],[F]⟩ is a fixed face of Eff(X).
Then one of the following holds:
(i)
X* has a rational contraction onto a 3-fold;*
2. (ii)
there exist
L1,…,LρX−2⊂E exceptional planes, disjoint from D, such that [CE],[CL1],…,[CLρX−2] is a basis of D⊥. In case (b), we can moreover assume that CE≡CF+CL1 and [CE],[CF],[CL2],…,[CLρX−2] is a basis of D⊥.
Proof.
Note that X is not a product of surfaces, because it contains fixed prime divisors of type (3,0)Q, hence δX≤1 by Th. 1.9.
The same proof as the one of [Cas22, Lemma 9.3] applies, just using Lemma 7.8 instead of [ibid., Lemma 7.2], and Th. 7.1 instead of [ibid., Th. 4.8].
∎
Let X be a smooth Fano 4-fold with ρX≥9 having a fixed prime divisor of type (3,0)Q.
Note that X is not a product of surfaces, therefore δX≤1 by Th. 1.9.
If X has a rational contraction onto a 3-fold, then ρX=9 by Th. 1.5.
We assume that X has no rational contraction onto a 3-fold, and reach a contradiction.
By Th. 9.2 and by the first part of the proof, every fixed prime divisor of X is of type (3,0)Q or (3,2).
The same proof as [Cas22, proof of Th. 9.1] works, with the following modifications.
∙
By Cor. 4.10, every face of Eff(X) of dimension ≤4 is fixed; this simplifies [ibid., 9.4 and 9.6].
2. ∙
In [ibid., 9.4 and 9.5] we apply Lemma 7.8 instead of [ibid., Lemma 7.2].
3. ∙
In [ibid., 9.7] we apply Th. 7.1 instead of [ibid., Th. 4.8].
4. ∙
In [ibid., 9.12 and 9.13] we apply Lemma 10.4 instead of [ibid., Lemma 9.3].
5. ∙
In [ibid., 9.14 and 9.24] we apply Lemma 10.3 instead of [ibid., Lemma 9.2].
6. ∙
In [ibid., 9.20] we get a contradiction, because we are assuming ρX≥9.
∎
Corollary 10.5**.**
Let X be a smooth Fano 4-fold with ρX≥9, not isomorphic to a product of surfaces.
Then ρX=9 and one of the following holds:
(i)
X* has an elementary rational contraction onto a 3-fold;*
2. (ii)
X* is the blow-up of W along a normal surface S,
where W is the Fano model of Bl7ptsP4, and S⊂W is the transform of a cubic scroll or
a cone over a twisted cubic in
P4, containing the blown-up points;*
3. (iii)
X* is a blow-up of a cubic 4-fold as in Th. 1.2.*
Note that this result implies
Theorems 1.1 and 1.4.
Proof.
If X has no small elementary contractions, then by Th. 1.2 we have ρX=9 and (iii).
If instead X has a small elementary contraction, then
by Rem. 9.1X has a fixed prime divisor of type (3,0)sm,
(3,1)sm, or (3,0)Q.
If X has a fixed prime divisor of type (3,0)sm, then we apply Th. 9.2 and get ρX=9 and (i).
Finally, if X has a fixed prime divisor of type (3,1)sm or (3,0)Q, by Th. 10.1 we get that ρX=9 and X has a rational contraction onto a 3-fold. Then we apply Th. 1.5, and get (i) or (ii).
∎
Corollary 10.6**.**
Let X be a smooth Fano 4-fold with ρX=8. Then one of the following holds:
(i)
X* has a rational contraction onto a 3-fold;*
2. (ii)
every fixed prime divisor of X is of type (3,1)sm or (3,2);
3. (iii)
every fixed prime divisor of X is of type (3,0)Q or (3,2), and two divisors of type (3,2) cannot be adjacent.
Proof.
Let us assume that (i) does not hold, namely X has no rational contraction onto a 3-fold; in particular X is not isomorphic to a product of surfaces.
By Th. 9.2,
X has no fixed prime divisors of type (3,0)sm, hence
every fixed prime divisor of X is of type (3,2), (3,1)sm, or (3,0)Q
(see Th.-Def. 5.1). By Prop. 10.2, in X a divisor of type (3,1)sm and one of type (3,0)Q cannot be adjacent. Moreover by Lemma 7.8 a divisor of type (3,0)Q can be adjacent to at most one divisor of type (3,2). Let us also note that every face of Eff(X) of dimension ≤3 is fixed, by Cor. 4.10, and hence simplicial (see [Cas22, Lemma 4.2]).
Let E be a fixed prime divisor of type (3,2), and suppose that E is adjacent to a fixed prime divisor D of type (3,0)Q. Then
every 3-dimensional face of Eff(X) containing ⟨[E],[D]⟩ must be ⟨[E],[D],[D′]⟩ with D′ of type (3,0)Q. This implies that every fixed prime divisor adjacent to E must be of type (3,0)Q.
Consider now a sequence of fixed prime divisors D1,…,Dr such that Di is adjacent to Di+1 for every i=1,…,r−1, with D1 of type (3,0)Q. Then D2 can be either (3,0)Q or (3,2), and in this last case, D3 must be (3,0)Q. Proceeding in this way, we see that no Di can be of type (3,1)sm. Since Eff(X) is connected, we must have (ii) or (iii).
∎
11. Examples
11.1. Fano models of the blow-ups of P4 in points
Let X′ be the blow-up of P4 at r general points, with r≤8. Then there is a SQM X′\dasharrowX such that X is smooth and Fano, see [CS24, Ex. 7.2 and references therein]; we have
ρX=1+r≤9.
If r≥1, there is an elementary rational contraction f:X\dasharrowY:=Blr−1ptsP3.
Moreover (for r≥2) there is also
an
elementary rational contraction φ:Y\dasharrowS:=Blr−2ptsP2, and the composition g:=φ∘f:X\dasharrowS is a quasi-elementary rational contraction with dg=ρX−ρS=2.
Finally, by composing g with a conic bundle S→P1 (for r≥3), we get a rational contraction h:X\dasharrowP1 with dh=3.
We also note that every fixed prime divisor of X is of type (3,0)sm.
Let W be the Fano model of Blq1,…,q5P4 (see §11.1), and for i=1,2 let
Si⊂W be the transform of the following surface Ai⊂P4:
∙
A1 is a general cubic rational normal scroll containing q1,…,q5;
2. ∙
A2 is a sextic K3 surface with Sing(A2)={q1,…,q5} and having ordinary double points at each qj; more precisely
A2=Q∩M where Q is a general quadric hypersurface containing q1,…,q5, and M is a general cubic hypersurface with ordinary double points at q1,…,q5.
Let σi:Xi→W be the blow-up along Si;
then Xi is a smooth Fano 4-fold with ρXi=7
(see [CS24, §7.2 and §7.3]).
There is an elementary rational contraction ψ:W\dasharrowY:=Bl4ptsP3, and the composition fi:=ψ∘σi:Xi\dasharrowY
is a
special rational contraction with ρXi−ρY=2.
Moreover there is an elementary rational contraction φ:Y\dasharrowS:=Bl3ptsP2, and
the composition gi:=φ∘fi:Xi\dasharrowS is a quasi-elementary rational contraction with dgi=ρXi−ρS=3.
Finally, by composing gi with a conic bundle S→P1, we get a rational contraction hi:Xi\dasharrowP1 with dhi=4.
We also note that Xi contains (at least) six fixed prime divisors of type (3,2): one is Exc(σi), and the others are the transforms in Xi of the cones in P4 over Ai with vertex qj, for j=1,…,5.
Moreover, for j=1,…,5, let Dj⊂Xi be the transform of the exceptional divisor over qj in Blq1,…,q5P4→P4. Then Dj is a fixed prime divisor
of type (3,1)sm in X1, of type (3,0)Q in X2 (see [ibid., Section 5, in particular Lemmas 5.39, 5.46, 5.68, 5.74]).
11.3. A family with an elementary rational contraction onto a surface
Let p1,…,pm∈P2 be general points, C1′,…,Cm′⊂P2 general lines, Ci:={pi}×Ci′⊂P2×P2, and h:P2×P2→P2 the first projection.
Let β:X→P2×P2 be the blow-up of C1,…,Cm, Di⊂X the exceptional divisor over Ci, and Li⊂X the transform of the fiber h−1(pi), containing Ci.
Since NCi/P2×P2≅OP1(1)⊕OP1⊕2, we have Di≅PP1(O⊕O(1)⊕2), and Di∩Li is the flopping curve in Di.
Moreover Li≅P2 and NLi/X≅OP2(−1)⊕2, namely Li is an exceptional plane in X.
Let us consider the composition h∘β:X→P2.
The class of every curve in Di∪Li is in ⟨[CLi]⟩+NE(β), so that
[TABLE]
and h∘β is K-negative.
One can also check that −KX−∑i=1mDi has positive intersection with every non-zero class in NE(β), while it has zero intersection with every CLi, so that ⟨[CL1],…,[CLm]⟩ is an m-dimensional face of NE(h∘β), whose contraction is small.
There is a SQM ξ:X\dasharrowX, relative to β∘h:
[TABLE]
where X is smooth, the indeterminacy locus of ξ is L1∪⋯∪Lm, and that of ξ−1 is the disjoint union of m exceptional lines ℓ1,…,ℓm.
Let Di⊂X be the transform of Di; we have
ℓi⊂Di and Di=(h~)−1(pi).
The restriction (ξ)∣Di:Di\dasharrowDi is a flop, we still have Di≅PP1(O⊕O(1)⊕2), but now the flopping curve in Di is the exceptional line ℓi (see Fig. 11.1).
It is not difficult to check that the transform Γ⊂X of a line in a general fiber of h:P2×P2→P2 is numerically equivalent to a line in a fiber of the P2-bundle Di→P1, and that
[TABLE]
Let α:S→P2 be the blow-up of p1,…,pm. Then h~ factors as α∘g where g:X→S is a P2-bundle, and g(Di)⊂S is the exceptional curve over pi.
In conclusion, the composition g∘ξ:X\dasharrowS is an elementary rational contraction onto a surface. We have ρX=m+2.
**The case m≤3. **
If m≤3, then all these varieties are toric, and they can be described explicitly using Batyrev’s
language of primitive collections and primitive relations [Bat91], and Sato’s description of how primitive relations change after smooth toric blow-ups and blow-downs [Sat00, §4].
Let us consider in detail each case.
For m=1, X:=X is Fano with ρX=3; it is G5 in Batyrev’s classification of toric Fano 4-folds [Bat99].
For m=2, X is not Fano: it contains one exceptional line
ℓ whose image in P2 is the line p1p2. More precisely, ℓ is the transform of the unique curve p1p2×{q}⊂P2×P2 that intersects both C1 and C2 (namely q=C1′∩C2′).
The class [ℓ] generates a small extremal ray of NE(X); the associated flip X\dasharrowX gives a smooth toric Fano 4-fold X with ρX=4, which is Z2 in [Bat99].
[TABLE]
Finally let us consider the case m=3. Now
X contains three exceptional lines ℓij, whose images in P2 are the lines pipj, for 1≤i<j≤3. As before, ℓij is the transform of the curve pipj×{qij}⊂P2×P2 with qij=Ci′∩Cj′.
Again one can consider the flips of these three exceptional lines X\dasharrowX, and get a smooth toric Fano 4-fold X with ρX=5; this is Sato’s example [Sat00, Ex. 4.7].
Therefore for m∈{1,2,3} this construction gives a Fano 4-fold X with ρX=m+2∈{3,4,5} and an elementary rational contraction X\dasharrowS onto a surface.
**The case m≥4. **
Lemma 11.1**.**
If there exists a SQM X\dasharrowX such that X is a smooth Fano 4-fold, then m≤6.
Proof.
Assume that X exists. We have
h0(X,−KX)=χ(X,−KX) because X is Fano, and χ(X,−KX)=χ(X,−KX) by [Cas17, Cor. 3.10]. Since Ci≅P1 and −KP2×P2⋅Ci=3 for every i=1,…,m, by [ibid., Lemma 3.8] we get
[TABLE]
which implies that m≤6.
∎
Question 11.2**.**
For m∈{4,5,6}, does there exist a SQM X\dasharrowX such that X is a smooth Fano 4-fold?
This would give a Fano 4-fold X with ρX=m+2∈{6,7,8} and an elementary rational contraction X\dasharrowS onto a surface. This construction shows up in the proof of Th. 6.1, see 6.19.
11.4. A family with ρ=3 and a quasi-elementary contraction onto P2
Let A⊂P2×P2 be a surface obtained as a complete intersection of two general divisors, B of degree (2,1) and D of degree (0,2); then A is a del Pezzo surface with KA2=2.
Let σ:X→P2×P2 be the blow-up along A; we show that X is Fano. This example is inspired by the proof of Th. 6.1, see 6.24.
We have
[TABLE]
(see [CS24, Lemma 2.4]). One can compute that (KP2×P2)4=486, (KP2×P2∣A)2=90, KA⋅KP2×P2∣A=18, and c2(NA/P2×P2)=16,
thus KX4=194.
Let E⊂X be the exceptional divisor, and B⊂X the transform of B; note that σ∣B:B→B is an isomorphism. By adjunction we have
[TABLE]
and −KP2×P2−D is ample, thus −KX∣B is ample.
Let C⊂X be an irreducible curve; we show that −KX⋅C>0. This is clear if C⊂B or if σ(C)={pt}. Otherwise, let
H∈∣OP2×P2(1,2)∣, so that B+σ∗H∈∣−KX∣. Then
B⋅C≥0 and σ∗(H)⋅C>0, hence −KX⋅C>0.
We conclude that −KX is strictly nef and big, hence ample by the base-point-free theorem. Here are the invariants of X:
[TABLE]
Let πi:P2×P2→P2 be the two projections, and fi:=πi∘σ:X→P2, i=1,2.
Since π1(A)=P2 and (π1)∣A has degree 2, f1 is a quasi-elementary contraction with general fiber F≅Bl2ptsP2, and df1=dimN1(F,X)=2.
We also have B≅B and f1∣B is a P1-bundle. If CB⊂B is a fiber of such P1-bundle, we have −KX⋅CB=1 and B⋅CB=−1, and B is the exceptional divisor of a divisorial elementary contraction α:X→Y of type (3,2)sm, such that NE(f1)=NE(σ)+NE(α).
[TABLE]
Here Y is a smooth Fano 4-fold with ρY=2, and the map Y→P2 is a quadric bundle.
On the other hand, since π2(A)⊂P2 is a conic, f2:X→P2 is equidimensional but not quasi-elementary; the general fiber is P2. Moreover f2∗(π2(A))=D+E where D⊂X is the transform of D, and D≅P2×P1 with normal bundle ND/X≅OP2×P1(−2,2). In fact D is the exceptional divisor of a divisorial elementary contraction β:X→Z of type (3,1), where Z is singular along the curve β(D).
Finally we note that since B∩D=∅, one can check that NE(α)+NE(β) is a face of NE(X), with a birational contraction γ:X→W where ρW=1.
If Hi=fi∗OP2(1), we have Nef(X)=Mov(X)=⟨H1,H2,γ∗NefW⟩ and Eff(X)=⟨H1,B,D,E⟩, see Fig. 11.2.
11.5. Blow-ups of P4 along planes
Let σ:Xs→P4 be the blow-up of s general planes A1,…,As⊂P4, in the following sense: we blow-up one plane Ai and successively the transforms of the other ones.
Note that each pair of planes intersect pairwise in a point, and σ does not depend on the order of the blow-ups, see Lemma 2.10. We will refer to such a map simply as the blow-up of A1,…,As.
We have ρXs=1+s, and for s=1,2 the 4-fold Xs is toric and Fano: X1≅PP1(O⊕3⊕O(1)), and X2 is D17 in [Bat99].
Let π:X1→P1 be the P3-bundle, and σ′:Xs→X1 the remaining blow-ups. Let also Ai⊂X1 be the transform of Ai for i=2,…,s. Then Ai≅F1, π∣Ai is the P1-bundle, and Ai intersects the general fiber of π in a line. The composition π∘σ′:Xs→P1 is a quasi-elementary contraction with general fiber the blow-up Fs of P3 along s−1 general lines.
If Xs is Fano, then Fs must be Fano too;
by classification Fs is Fano if and only if s≤4 (see [IP99, Ch. 12]), hence we get the following.
Lemma 11.3**.**
If Xs is Fano, then s≤4 and ρXs≤5.
Question 11.4**.**
Is Xs Fano for s∈{3,4}?
11.6. Blow-ups of quadrics along planes
Let Q⊂P5 be a smooth quadric. Recall that Q contains two families of planes, and distinct planes in the same family intersect pairwise in a point. Let A1,…,As⊂Q be general planes in the same family, and σ:Xs→Q the blow-up of A1,…,As (see Lemma 2.10), so that ρXs=1+s.
It is shown in
[Man24] that X5 is Fano; this implies that Xs is Fano for every s≤5.
We have X1≅PP2(TP2⊕OP2(2)) (see [SW90, Theorem on first page]), and we also note that X2 is [FTT24, Fano 3-2] and X3 is [FTT24, Fano 4-2].
For s≥9 we have ρXs≥10, hence Xs cannot be Fano by Th. 1.1.
Question 11.5**.**
Is Xs Fano for s∈{6,7,8}?
For i,j∈{1,…,s}, i<j, let Hij⊂P5 be the hyperplane spanned by Ai and Aj; then Hij∣Q is
a cone over a smooth quadric surface.
Moreover let Ei⊂Xs be the exceptional divisor over Ai⊂Q, for i=1,…,s, and H⊂Xs the pullback of a general hyperplane section.
**The case s=2. **
Let σ1:X1→Q be the blow-up of A1, and σ2:X2→X1 the blow-up of the transform A2⊂X1 of A2.
Moreover let D12′⊂X1 and
D12⊂X2 be the transforms of H12∣Q.
Under the P2-bundle π1:X1→P2, the image of A2⊂X1 is a line Γ⊂P2, and π1−1(Γ)=D12′. The composition f1:=π1∘σ2:X2→P2 is an equidimensional contraction with f1−1(Γ)=E2∪D12, both fixed prime divisors, and τf1=⟨[E2],[D12]⟩ (see Def.-Rem. 3.2 and Rem. 3.4).
Symmetrically, we can also factor σ:X2→Q as X2→αX1′→Q where X1′→Q is the blow-up of A2, and α:X2→X1′ the blow-up of the transform of A1. We have a P2-bundle π2:X1′→P2, and the composition f2:=π2∘α:X2→P2 is an equidimensional contraction with τf2=⟨[E1],[D12]⟩.
See Fig. 11.3 for a section of Eff(X2); we have H≡D12+H1+H2, fi∗OP2(1)≡H−Ei for i=1,2, and −KX2=4H−E1−E2.
[TABLE]
The restriction σ1∣D12′:D12′→H12∣Q is a small resolution of the quadric cone, and D12′≅PP1(O⊕O(1)⊕2). Then D12′ is smooth and contains A2, so that D12≅D12′, and if CD12⊂D12 is a line in a fiber of the P2-bundle, we have D12⋅CD12=−1. In fact D12 is the exceptional divisor of a blow-up τ:X2→P2×P2 along a smooth rational curve C, which is a complete intersection of divisors of degrees (1,0),(0,1),(1,1).
This can be seen via the embedding X2⊂P2 where P2→P5 is the blow-up of A1 and then of A2;
P2 is a toric variety,
and it can be described explicitly using Batyrev’s
language of primitive collections and primitive relations [Bat91], and Sato’s description of how primitive relations change after smooth blow-ups and blow-downs [Sat00, §4].
There is a blow-up τP:P2→Y:=PP2(O⊕O(1)⊕3) along a surface S≅P1×P1, with exceptional divisor the transform in P2 of the hyperplane H12⊂P5 spanned by A1 and A2. We have X2⋅NE(τP)=0, τP∣X2=τ, τP(X2)∈∣OY(1)∣, and τP(X2)≅P2×P2. Moreover the curve C:=S∩τP(X2)⊂P2×P2 is the complete intersection of the divisors τ(E1)∈OP2×P2(1,0), τ(E2)∈OP2×P2(0,1), and a third divisor in ∣OP2×P2(1,1)∣.
**The case s=3. **
For i,j∈{1,2,3}, i<j, let Dij⊂X3 be the transform of Hij∣Q.
Moreover
let Λ⊂P5 be the plane spanned by the three points A1∩A2, A1∩A3, and A2∩A3; we note that Λ is contained in Q and also in every hyperplane Hij.
Let L⊂X3 be the transform of Λ; then L is an exceptional plane contained in Dij for every i,j, and [CL] generates a small extremal ray of NE(X3) with locus L.
Let us consider the flip X3\dasharrowY of R≥0[CL]. We claim that Y is the blow-up of P4 at three general lines, with exceptional divisors (the transforms of) D12, D13, D23 (see [PPS21] for a description of NE(Y) and Eff(Y)). The exceptional line ℓ⊂Y given by the flip is the transform of the unique line in P4 intersecting the three blown-up lines. Moreover the exceptional divisors E1,E2,E3 of σ:X3→Q are the transforms of the hyperplanes in P4 spanned by two blown-up lines.
This can be seen again by consider the toric variety P3 obtained by blowing-up P2 along the transform A3 of the third plane A3⊂P5; we have X3⊂P3, and [CL] still generates a small extremal ray of NE(P3), with locus L, KP3⋅CL=0, and X3⋅CL=−1. The flop of this small extremal ray yields a variety isomorphic to P3:
[TABLE]
Then ψ:P3→P5 is again a sequence of three blow-up of planes, with exceptional divisors the transforms of first H12, then H13, and finally H23. The image of X3 is a hyperplane in P5, and ψ blows it up in three disjoint lines.
As in the case r=2,
for i∈{1,2,3} there is an equidimensional contraction fi:X3→P2 given by the P2-bundle obtained blowing-up Q along Ai.
We have E2+D12≡E3+D13≡f1∗OP2(1) and τf1=⟨[E2],[E3],[D12],[D13]⟩, and similarly for f2 and f3. See Fig. 11.4 for a section of Eff(X3).
For s≥3, we still get (2s) fixed prime divisors Dij⊂Xs of type (3,1)sm, given by the transforms of Hij∣Q, for i,j∈{1,…,s}, i<j. Moreover for i,j,h∈{1,…,s}, i<j<h,
the plane Λijh⊂P5 spanned by the three points Ai∩Aj, Ai∩Ah, and Aj∩Ah, is contained in Q and in Hij,Hih,Hjh; its transform Lijh⊂Dij∩Dih∩Djh is an exceptional plane.
11.7. Blow-ups of cubic 4-folds along planes
Let Z⊂P5 be a smooth cubic 4-fold containing s planes
A1,…,As⊂Z that intersect pairwise in a point, and Ai∩Aj∩Ak=∅ for i<j<k.
Let Xs→Z the blow-up of A1,…,As (see Lemma 2.10);
then Xs is a smooth projective 4-fold with ρXs=1+s, compare Th. 8.1 and Rem. 8.3.
For s=1, X1 has two elementary contractions, the blow-up X1→Z, and a quadric bundle X1→P2, so that X1 is Fano. For s=2, we show below that X2 is still Fano.
On the other hand
for s≥9 we have ρXs≥10, hence Xs cannot be Fano by Th. 1.1.
Question 11.6**.**
For which values of s∈{3,…,8} is Xs Fano?
**The case s=2. ** We keep the same notation as in §11.6. We still have X2⊂P2, where P2 is the toric 5-fold obtained by blowing-up P5 along first A1 and then A2. One can check that −KP2−X2 is nef and big on P2, and (−KP2−X2)⊥∩NE(P2)=R where R is a small extremal ray with KP2⋅R=X2⋅R=0. The locus of R is a surface T≅P2, thus either T⊂X2, or T∩X2=∅.
Let us consider the blow-up P1→P5 of A1. The surface T⊂P2 is the transform of the fiber F⊂P1 of the blow-up over the point A1∩A2∈P5. Then in P1 we have X1∩F=A2∩F and this is a line in F≅P2; therefore we see that X2 can intersect T at most in a curve, and we conclude that X2∩T=∅. This shows that −KX2=(−KP2−X2)∣X2 is ample, and X2 is Fano.
Let us also consider the blow-up τP:P2→Y=PP2(O⊕O(1)⊕3) as in §11.6, and its restriction τ:=τP∣X2:X2→W:=τP(X2).
If C⊂P2 is a line in a general non-trivial fiber Fτ≅P2 of τP, we have
X2⋅C=1, therefore X2 intersects Fτ in a line, and W contains the surface S≅P1×P1 blown-up by τP. Thus we see that τ is an elementary divisorial contraction of type (3,2) with exceptional divisor D12, the transform of H12∣Z.
The tautological class OY(1) is nef and big, and it is zero on a small extremal ray RY of NE(Y) with locus TY:=τP(T), which is the negative section of the P3-bundle Y→P2. In P2 we have T∩X2=∅ and T∩Exc(τP)=∅, thus W∩TY=∅ in Y.
Moreover
W∈∣OY(2)∣, −KY∼OY(4), and again we see that −KW=OY(2)∣W is ample, so that W is Fano of index 2.
It is not difficult to see that W is a double cover of P2×P2 with branch divisor of degree (2,2) (compare 8.34), and it has two elementary contractions W→P2 that are quadric bundles. By composing with τ, we get two equidimensional contractions fi:X2→P2, i=1,2. Fig. 11.3 still gives a section of Eff(X2); here H is the pullback of a general hyperplane section of Z, and −KZ=3H−E1−E2.
Bibliography41
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[AW 98a] M. Andreatta and J.A. Wiśniewski, On contractions of smooth varieties , J. Algebraic Geom. 7 (1998), 253–312.
2[AW 98b] by same author, On contractions of smooth varieties II: Computations and applications , Boll. U.M.I. 1-B (1998), 343–360.
3[Bat 91] V.V. Batyrev, On the classification of smooth projective toric varieties , Tohoku Math. J. 43 (1991), 569–585.
4[Bat 99] by same author, On the classification of toric Fano 4-folds , J. Math. Sci. (New York) 94 (1999), 1021–1050.
5[BCHM 10] C. Birkar, P. Cascini, C.D. Hacon, and J. Mc Kernan, Existence of minimal models for varieties of log general type , J. Amer. Math. Soc. 23 (2010), 405–468.
6[BS 95] M.C. Beltrametti and A.J. Sommese, The adjunction theory of complex projective varieties , de Gruyter Expositions in Mathematics, vol. 16, Walter de Gruyter & Co., Berlin, 1995.
7[Cas 08] C. Casagrande, Quasi-elementary contractions of Fano manifolds , Compos. Math. 144 (2008), 1429–1460.
8[Cas 12] by same author, On the Picard number of divisors in Fano manifolds , Ann. Sci. Éc. Norm. Supér. 45 (2012), 363–403.