Fano threefolds in positive characteristic III
Abstract.
We classify primitive Fano threefolds in positive characteristic whose Picard numbers are at least two. We also classify Fano theefolds of Picard rank two.
Key words and phrases:
Fano threefolds, positive characteristic, classification.2010 Mathematics Subject Classification:
14G17, 14E30.1. Introduction
This article is the third part of our series of papers. In the first and second parts [TanI], [TanII], we studied Fano threefolds in positive characteristic with . In this paper, we classify primitive Fano threefolds in positive characteristic with . More precisely, the main theorem is as follows.
Theorem 1.1 (Theorem 5.18, Theorem 5.23, Theorem 5.34, Theorem 6.1).
Let be a primitive Fano threefold with . Then is isomorphic to one of the following varieties.
No. | Description | ||
2-2 | a split double cover of with | ||
2-6 | a split double cover of with | ||
2-6 | a smooth divisor on of bidegree | ||
2-8 | a split double cover of with | ||
2-18 | a split double cover of with | ||
2-24 | a smooth divisor on of bidegree | ||
2-32 | |||
2-34 | |||
2-35 | |||
2-36 | |||
3-1 | a split double cover of with | ||
3-2 | a smooth member of the complete linear system on the -bundle | ||
3-27 | |||
3-31 |
In the above table, we use the following notation and terminologies.
-
(1)
We say that is a split double cover if is a finite surjective morphism of projective normal varieites such that splits as an -module homomorphism and the induced field extension is of degree two.
-
(2)
For a split double cover , we set , which is an invertible sheaf on (Remark 2.2).
-
(3)
is a smooth prime divisor on of bidegree . Note that such a threefold is unique up to isomorphisms (Lemma 5.16).
We also classify Fano threefolds with . Although this case has been treated already in [Sai03], their strategies are different.
Theorem 1.2 (Section 5).
Let be a Fano threefold with . Then is isomorphic to one of the following varieties.
No. | Description | Extremal rays | |
2-1 | blowup of along an elliptic curve of degree | ||
2-2 | a split double cover of with | ||
2-3 | blowup of along an elliptic curve of degree | ||
2-4 | blowup of along a curve of genus degree | ||
2-5 | blowup of along an elliptic curve of degree | ||
2-6 | a smooth divisor on of bidegree , or a split double cover of with | ||
2-7 | blowup of along a curve of genus degree | ||
2-8 | a split double cover of with | ||
2-9 | blowup of along a curve of genus and degree | ||
2-10 | blowup of along an elliptic curve of degree | ||
2-11 | blowup of along a line | ||
2-12 | blowup of along a curve of genus and degree | ||
2-13 | blowup of along a curve of genus and degree | ||
2-14 | blowup of along an elliptic curve of degree | ||
2-15 | blowup of along a curve of genus and degree | ||
2-16 | blowup of along a conic | ||
2-17 | blowup of along an elliptic curve curve of degree | ||
2-18 | a split double cover of with | ||
2-19 | blowup of along a line | ||
2-20 | blowup of along a cubic rational curve | ||
2-21 | blowup of along a rational curve of degree | ||
2-22 | blowup of along a rational curve of degree | ||
2-23 | blowup of along an elliptic curve of degree | ||
2-24 | a smooth divisor on of bidegree | ||
2-25 | blowup of along an elliptic curve of degree | ||
2-26 | blowup of along a cubic rational curve | ||
2-27 | blowup of along a cubic rational curve | ||
2-28 | blowup of along an elliptic curve of degree | ||
2-29 | blowup of along a conic | ||
2-30 | blowup of along a conic | ||
2-31 | blowup of along a line | ||
2-32 | |||
2-33 | blowup of along a line | ||
2-34 | |||
2-35 | |||
2-36 |
In the above table, we use the following notation and terminologies in addition to (1)–(3) from Theorem 1.1.
-
(4)
is the smooth quadric hypersurace in .
-
(5)
For with , let be a Fano threefold of index satisfying . Note that is not determined uniquely by .
-
(6)
The centres of all the blowups are smooth curves. The degree of a curve on a Fano threefold is defined as , where denotes the index of . A line (resp. conic) is a smooth rational curve of degree one (resp. two). Note that if is very ample, then a curve of degree one (resp. two) is automatically a line (resp. conic).
For more details, see Table LABEL:table-pic2 in Section 9. The above theorems are positive-characteristic analogues of Mori–Mukai’s results in characteristic zero [MM81], [MM83]. The resulting tables are identical to those of characteristic zero. Our main strategy is the same as in characteristic zero, although we need to overcome some obstructions. For the primitive case, we shall follow the thesis by Ott [Ott], which is extensively detailed. We here point out some differences.
(I) Conic bundles. In characteristic zero, the discriminant divisor of a threefold conic bundle is reduced and normal crossing. However, both the conclusions fail in characteristic two. Because of this, we shall need some minor modifications of the proofs. For example, if and , then we immediately get a contradiction in characteristic zero, because does not contain any smooth rational curve as a connected component.
(II) Double covers. In characteristic two, double covers are more complicated than those in characteristic . Fortunately, all the double covers appearing in this paper can be checked to be split, i.e., splits. Although it is hard to control general double covers in characteristic two, split double covers are quite similar to the ones in characteristic , e.g., they are explicitly given, , etc (Section 8).
Acknowledgements: This paper is based on the master thesis [Asa] of the first author, in which the primitive case of odd characteristic is carried out. The second author was funded by JSPS KAKENHI Grant numbers JP22H01112 and JP23K03028.
2. Preliminaries
2.1. Notation
In this subsection, we summarise notation used in this paper.
-
(1)
We will freely use the notation and terminology in [Har77] and [KM98]. In particular, means linear equivalence of Weil divisors.
-
(2)
Throughout this paper, we work over an algebraically closed field of characteristic unless otherwise specified.
-
(3)
For an integral scheme , we define the function field of as the local ring at the generic point of . For an integral domain , denotes the function field of .
-
(4)
For a scheme , its reduced structure is the reduced closed subscheme of such that the induced closed immersion is surjective.
-
(5)
We say that is a variety (over ) if is an integral scheme which is separated and of finite type over . We say that is a curve (resp. a surface, resp. a threefold) if is a variety over of dimension one (resp. two, resp. three).
-
(6)
We say that is a Fano threefold if is a three-dimensional smooth projective variety over such that is ample. A Fano threefold is imprimitive if there exists a Fano threefold and a smooth curve on such that is isomorphic to the blowup of along . We say that a Fano threefold is primitive if is not imprimitive.
2.2. Split double covers
Definition 2.1.
-
(1)
We say that a morphism is a double cover if is a finite surjective morphism of normal varieties such that the induced field extension is of degree two.
-
(2)
We say that a double cover is split if splits as an -module homomorphism.
Remark 2.2.
Let be a double cover, where and are smooth varieties.
-
(1)
It is known that is an invertible sheaf on [Kaw21, Lemma A.1]. We shall frequently use its inverse . We have the following exact sequence:
-
(2)
If , then the branched divisor satisfies .
Lemma 2.3.
Let be a double cover of smooth projective varieties. For the invertible sheaf (Remark 2.2), it holds that .
Proof.
See [CD89, Proposition 0.1.3]. ∎
The following lemma gives criteria for the splitting of .
Lemma 2.4.
Let be a double cover of smooth projective varieties. Set , which is an invertible sheaf (Remark 2.2). Assume that one of the following (1)–(3) holds.
-
(1)
.
-
(2)
.
-
(3)
Both (a) and (b) hold.
-
(a)
is -split, i.e., splits as an -module homomorphism, where denotes the absolute Frobenius morphism.
-
(b)
for any effective Cartier divisor on .
-
(a)
Then is a split double cover, i.e., splits.
Proof.
It is well known that is split when (1) holds. Note that splits if and only if
splits. Since the extension class corresponding to this exact sequence is contained in , (2) implies that is split.
Assume (3). If is inseparable, then the absolute Frobenius morphism of factors through :
and hence the splitting of implies the splitting of . Therefore, we may assume that is separable. In this case, the trace map is nonzero, because the field-theoretic trace map is given by for the Galois involution , and hence for . As the composite -module homomorphism is zero, we get a nonzero -module homomorphism . Therefore, . In this case, (b) implies , i.e., (2) holds. Therefore, (3) implies that is split. ∎
2.3. Brauer groups
Definition 2.5 ([CTS21]*Definition 3.2.1).
For a scheme , the Brauer group of is defined by
where denotes the étale cohomology. For a ring , we set
Proposition 2.6.
The following hold.
-
(1)
If is a regular noetherian integral scheme, then we have an injective group homorphism .
-
(2)
If is a smooth curve over , then .
-
(3)
If is a smooth projective rational variety over , then .
Proof.
The assertion (1) follows from [Gro95, Corollaire 1.10]. The assertion (2) holds by (1) and [CTS21, Theorem 1.2.14]. The assertion (3) holds by [CTS21, Corollary 6.2.11]. ∎
Proposition 2.7.
Let be a projective morphism of smooth varieties. Fix . Assume that and any fibre of is isomorphic to . Then there exists a vector bundle of rank such that is isomorphic to over .
For the reader’s convenience, we include a sketch of a proof. For more details, we refer to websites [Mur] and [Mus], which the following proof is based on.
Proof.
Fix a closed point and set . For the completion , we have an isomorphism over [Ser06, Corollary 1.2.15]. By Artin’s approxximation theorem, We obtain an -isomorphism over the henselisation . Therefore, there exists an étale surjective morphism such that .
By the exact sequence
on étale topology, we obtain the following exact sequence:
This implies that the -torsor comes from -torsor. Since any -torsor is nothing but a projective space bundle , the assertion holds by the following facts.
-
•
can be considered as a set of (Zariski) locally free sheaf of rank [SGA1II, Exposé XI, Corollaire 5.3].
-
•
consists of the isomorphism classes of such that is a flat proper morphism such that for some étale surjective morphism /. .
-
•
.
∎
3. Extremal rays and Mori fibre spaces
3.1. Types of extremal rays
Definition 3.1.
Let be a smooth projective threefold. Let be a -negative extremal ray of . By [Kol91, (1.1.1)], there exists a unique morphism , called the contraction (morphism) of , to a projective normal variety such that the following hold.
-
(1)
.
-
(2)
For any curve on , if and only if is a point.
Definition 3.2.
Let be a smooth projective threefold. Let be an extremal ray of and let be the contraction of . We set
which is called the length of an extremal ray . We say that is an extremal rational curve if is a rational curve on such that and .
Definition 3.3.
Let be a smooth projective threefold. Let be a -negative extremal ray of and let be the contraction of .
-
(1)
and are called of type if .
-
•
and are called of type if is not smooth.
-
•
and are called of type if is smooth.
-
•
-
(2)
and are called of type if . Let be the generic fibre of , which is a regular projective surface over .
-
•
and are called of type if .
-
•
and are called of type if .
-
•
and are called of type if .
-
•
-
(3)
and are called of type if . Set .
-
•
and are called of type if is a curve.
-
•
and are called of type if is a point, , and .
-
•
and are called of type if is a point, is isomorphic to a smooth quadric surface on , and .
-
•
and are called of type if is a point, is isomorphic to a singular quadric surface on , and .
-
•
and are called of type if is a point, , and .
-
•
-
(4)
and are called of type if .
Remark 3.4.
Let be a smooth projective threefold. Let be a -negative extremal ray of and let be the contraction of .
-
(1)
Assume that is of type . Then the following hold.
-
•
is of type if and only if .
-
•
is of type if and only if .
-
•
-
(2)
Assume that is of type . Then the following hold [TanII, Proposition 3.17].
-
•
is of type if and only if .
-
•
is of type if and only if .
-
•
is of type if and only if .
-
•
-
(3)
Assume that is of type . Then the following hold [TanII, Proposition 3.22].
-
•
If of type , then .
-
•
If of type , then .
-
•
If of type , then .
-
•
If of type , then .
-
•
If of type , then .
-
•
3.2. Del Pezzo fibrations
Proposition 3.5.
Let be a smooth projective threefold and let be a contraction of a -negative extremal ray of type . For and its algebraic closure , let and be the generic fibre and the geometric generic fibre of , respectively. Then the following hold.
-
(1)
For a closed point , the effective Cartier divisor is a prime divisor, i.e., any scheme-theoretic fibre of is geometrically integral.
-
(2)
is a projective canonical del Pezzo surface, i.e., is a projective normal surface such that has at worst canonical singularities and is ample.
-
(3)
.
-
(4)
is a finitely generated free abelian groups. Furthermore, .
-
(5)
Assume that . Then the following hold.
-
(a)
. In particular, general fibres are .
-
(b)
There exist Cartier divisors on and on such that .
-
(a)
-
(6)
Assume that . Then the following hold.
-
(a)
If is smooth over and is a general closed point, then both and are isomorphic to .
-
(b)
If is not smooth over and is a general closed point, then and both and are isomorphic to .
-
(c)
There exist Cartier divisors on and on such that .
-
(a)
Proof.
The assertions (1)–(4) follow from [TanII, Proposition 3.5]. As for (5) and (6), see [TanII, Lemma 3.14 and Lemma 3.15]. ∎
Remark 3.6.
By [FS20, Proposition 14.7], there actually exists a del Pezzo fibration such that is smooth and the generic fibre is not smooth.
Proposition 3.7.
Let be a smooth projective threefold with an extremal ray of type . Let be the contraction of . For , denotes the generic fibre of .
-
(1)
If , then is a -bundle, i.e., there exists a locally free on of rank such that is isomorphic to over . In particular, any fibre is .
-
(2)
If , then there exists a -bundle over and a closed immersion such that is a quadric surface on for every point .
Proof.
Let us show (1). By Proposition 3.5(5), we have for some Cartier divisors on and on , respectively. We use Fujita’s -genus: . It holds that
Then the assertion (1) follows from the same argument as in [Fuj75, Corollary 5.4]. Similarly, the assertion (2) holds by using Proposition 3.5(6) (cf. [Fuj75, Corollary 5.5]). ∎
3.3. Contraction morphisms
Lemma 3.8.
Let be a Fano threefold. Then the following hold.
-
(1)
.
-
(2)
for all . In particular, .
-
(3)
.
-
(4)
For any effective divisor on ,
Proof.
The assertions (1) and (2) follow from [TanI, Theorem 2.4] (cf. [Kaw21, Corollary 3.7]). The assertion (3) holds by and .
Let us show (4). By , the Riemann–Roch theorem implies
Hence
On the other hand, by the exact sequences
and
we have
where . Therefore, we obtain
which implies
as required. ∎
Proposition 3.9.
Let be a smooth projective threefold and let be the contraction of a -negative extremal ray of . Let be a curve with . Then the following sequence
is exact, where for .
Proof.
See [TanII, Proposition 3.12]. ∎
Corollary 3.10.
Let be a Fano threefold with and let be an extremal ray of with the corresponding contraction . Then .
Proposition 3.11.
Let be a smooth projective threefold and let be the contraction of a -negative extremal ray of . Then the following hold.
-
(1)
If , then for any .
-
(2)
If is a Fano threefold, then for any . Furthermore, for any .
Proof.
(1) If for any closed point , then holds by [Tan15, Theorem 0.5]. We may assume that for some closed point . In particular, or , as we assume . If , then we obtain by Lemma 3.8.
Assume that . By , is a point for . Then we have an exact sequence for any :
Since is ample (Definition 3.3) and is a normal projective toric surface, we have that for every . Therefore, we obtain surjections:
By the Serre vanishing theorem, we have for some , as required.
(2) By (1), we may assume that . Pick general closed point on . Set , and . By the Serre vanishing theorem
for all and . Hence, by the Leray spectral sequence, we have
Hence it is enough to show that for every . We have an exact sequence
Since for some divisor such that , it holds that
Since each is a canonical del Pezzo surface (Proposition 3.5(2)), we have for every and every . It holds that for any , which implies for any . ∎
Corollary 3.12.
Let be a Fano threefold with . For an extremal ray of , let be the contraction of . Let be an effective Cartier divisor on and set . Then we have
Proof.
Set . We have the exact sequence
which yields
Then the following hold:
Recall that (Lemma 3.8). By the projection formula, we have
for all . We obtain , and for all (Proposition 3.11). Therefore, by the Leray spectral sequence, the following holds for every :
Hence , which implies
Similarly, we get . ∎
Lemma 3.13.
Let be a smooth projective threefold and let be a blowup along a smooth curve on . Assume that is ample. Then .
Proof.
Set . Since is ample, we have . This, together with [TanII, Lemma 3.21], implies the following:
-
(1)
.
-
(2)
By (1), it is enough to show . Since is ample, this holds when . Hence we may assume that . In this case, the required inequality holds by (2): . ∎
3.4. Conic bundles
In this subsection, we recall some terminologies and results on conic bundles. For more details, we refer to [Tan-conic] and [TanII, Subsection 3.3].
Definition 3.14.
We say that is a conic bundle if is a flat projective morphism of noetherian schemes such that is isomorphic to a conic on .
If is a smooth projective threefold and is an extremal ray of type , then its contraction is a conic bundle to a smooth projective surface . For the definition of , we refer to [TanII, 3.10].
Proposition 3.15.
Let be a conic bundle, where and are smooth varieties. Then the following hold.
-
(1)
.
-
(2)
is a locally free sheaf of rank .
-
(3)
is very ample over , and hence it defines a closed immersion over .
Proof.
See [Tan-conic, Lemma 2.5 and Proposition 2.7]. ∎
Proposition 3.16.
Let be a conic bundle, where is a smooth projective threefold and is a smooth projective surface. Then the following hold.
-
(1)
.
-
(2)
.
-
(3)
For every divisor on , it holds that
Proof.
See [TanII, Proposition 3.11]. ∎
4. Basic properties of primitive Fano threefolds
4.1. Extremal rays on primitive Fano threefolds
Theorem 4.1 (Cone theorem).
Let be a Fano threefold. Then there exist finitely many extremal rays of such that
For each , there exists an extremal rational curve such that (Definition 3.2).
Proof.
See [Mor82, Theorem 1.2]. ∎
4.1.1. Type C
Theorem 4.2.
Let be a Fano threefold. Assume that there exists a conic bundle such that any fibre of is not smooth. Then the following hold.
-
(1)
.
-
(2)
One of the following holds.
-
(a)
and is isomorphic to a prime divisor on of bidegree . Furthermore, and is primitive.
-
(b)
and is isomorphic to a prime divisor on which is linearly equivalent to , where denotes the tautological bundle with respect to the -bundle structure . Furthermore, and is imprimitive.
-
(a)
In particular, if is a primitive Fano threefold and there exists an extremal ray of type whose contraction has no smooth fibres, then (a) of (2) holds.
Proof.
See [MS03, Corollary 8 and Remark 10]. ∎
Lemma 4.3.
Let be a Fano threefold with an extremal ray of type . Let be the contraction of . Then is a smooth rational surface.
Proof.
By Theorem 4.2, we may assume that is generically smooth. Note that is a smooth projective surface [Kol91, Main Theorem 1.1, (1.1.3.1)]. Since the geometric generic fibre is smooth, is -pure. Then it follows from [Eji19, Corollary 4.10(2)] that is big. In particular, the Kodaira dimension of is negative, i.e., is a smooth ruled surface. On the other hand, is rationally chain connected, because so is [Kol96, Ch. V, Theorem 2.13]. Therefore, is a smooth rational surface. ∎
Theorem 4.4.
Let be a Fano threefold and let be an extremal ray of type . Let be the contraction of . Then is a conic bundle and is a smooth rational surface. Furthermore, if is generically smooth, then the following hold for the discriminant divisor , the length of extremal ray , and an extremal rational curve of .
type of | |||
is a nonzero effective divisor, if is generically smooth | a curve in a singular fibre | ||
and f is a -bundle | a fibre of |
Proof.
We may assume that is generically smooth. Then general fibres of are .
Assume that is of type , i.e., has a singular fibre. Then . By , we have that and .
Assume that is of type , i.e., every fibre of is smooth. Then and any fibre is isomorphic to . Since is a smooth projective rational surface, we have (Proposition 2.6(2)). It follows from Proposition 2.7 that is isomorphic to over for some vector bundle of rank . In this case, we have and for any fibre . ∎
Corollary 4.5.
Let be a Fano threefold. Let be an extremal ray of type with an extremal rational curve . Let be the contraction of . Then all the fibres of are numerically equivalent to , where denotes the length of the extremal ray .
Proof.
Assume that is of type . By Theorem 4.4, we have and for any closed point . Note that this holds even if no fibre of is smooth.
Assume that is of type . Then we have and for any closed point . ∎
4.1.2. Type D
Theorem 4.6.
Let be a Fano threefold and let be an extremal ray of type . Let be the contraction of . Fix a closed point and denotes the scheme-theoretic fibre over . Then and is a projective Goresntein surface on such that is ample. Furthermore, the following hold for the length of extremal ray and an extremal rational curve of .
type of | |||
---|---|---|---|
a line on a fibre | |||
a line on a fibre |
4.1.3. Type E
Lemma 4.7.
Let be a Fano threefold and let be the contraction of an extremal ray of type . Note that is a smooth curve on , is a smooth projective threefold, and coincides with the blowup along . Assume that is not ample. Then the following hold.
-
(1)
.
-
(2)
.
-
(3)
.
-
(4)
and .
Proof.
It follows from Proposition 7.2(4) that
(4.7.1) |
where the inequality holds because is ample. For and , it follows from [Har77, Ch. II, Lemma 7.9] that
-
•
, and
-
•
.
It holds that
where the first isomorphism holds by [Har77, Ch. II, Proposition 8.20] and the second one follows from [Har77, Ch. II, Exercise 5.16(b)]. Moreover,
where the fourth and fifth isomorphisms follow from (2) and (1) of Proposition 7.2, respectively. Since is ample, also is ample. Hence is an ample vector bundle on by [Har70, Ch. III, Theorem 1.1].
Claim.
It holds that .
Proof of Claim.
Suppose the contrary, i.e., . In order to derive a contraction, it suffices to prove that is ample. To this end, it is enough to show (i) and (ii) below [Har70, Ch. I, Proposition 4.6].
-
(i)
for any curve on .
-
(ii)
is semi-ample, i.e., is base point free for some .
Let us show (i). Fix a curve on . If , then holds by our assumption. Assume that . Let be the proper transform of on . Since is ample and is an effective divisor with , we have
Hence (i) holds.
Let us show (ii). By (i), is nef. By , is ample. Hence is semi-ample. By , it follows from [CMM14, Theorem 3.2] that is semi-ample. Since and are normal, is semi-ample. Thus (ii) holds. This completes the proof of Claim. ∎
By (4.7.1) and Claim, we have . Hence (1) holds. Since is a vector bundle of rank 2 on , we can write
for some . Since is ample, we have and [Har70, Ch. III, Corollary 1.8]. By , we obtain
where the second equality holds by Proposition 7.1(4) and the fifth one follows from Proposition 7.2(4). Hence we get and .
Let us show (4). By , we can write
for some . It holds that
where the fourth equality follows from Proposition 7.2(3). Hence we have or . Since for an -exceptional curve , we obtain . By the adjunction formula , we obtain . Thus (4) holds. ∎
Theorem 4.8.
Let be a primitive Fano threefold and let be an extremal ray of type . Let be the contraction of . Then is a birational morphism to a projective normal threefold . Furthermore, the following hold for the length of extremal ray and an extremal rational curve of .
type of | and | ||
is smooth, | |||
, | |||
is smooth, | a line on | ||
is a point, | |||
, | |||
is a point, | or | ||
, | on | ||
, | |||
and are numerically | |||
equivalent on for all | |||
is a point, | a line on | ||
is isomorphic to | |||
the singular quadric surface | |||
in , | |||
is a point, | a line on | ||
, | |||
In particular, is ample.
Proof.
The columns and can be confirmed by . ∎
Corollary 4.9.
Let be a primitive Fano threefold with an extremal ray of type . Let be the contraction of and set . Then any effective divisor on is semi-ample.
Proof.
If or , then the assertion is clear. Hence we may assume that is a singular quadric surface in (Theorem 4.8). In this case, the assertion follows from the fact that is -factorial and (it is well known that is a projective toric surface which is obtained by contracting the -curve on ). ∎
Corollary 4.10.
Let be a Fano threefold with an extremal ray of type , or . Let be the contraction of and set . Let be a morphism. Then is a point.
Proof.
Assume that is not a point, i.e., . Then there exist curves and on such that is a point and . We have and . Since the numerical equivalence classes and lie on , we can find satisfying , which is a contradiction. ∎
4.2. Picard groups
Theorem 4.11.
Let be a Fano threefold with . Let an extremal ray of and let be the contraction of . Pick an extremal rational curve with . Then the sequence
is exact. In particular, .
Proof.
By Proposition 3.9, it is enough to find a divisor on such that . If , then we get . Therefore, we are done for the case when the type of is one of (Remark 3.4). The remaining cases are , and .
Assume that is of type . By Theorem 4.4, is isomorphic to a -bundle over , associated to some locally free sheaf of rank . Moreover, is a fibre of this bundle (Theorem 4.4). Hence by Lemma 7.1(1).
Assume that is of type . Then there exist Cartier divisors on and on such that (Proposition 3.5(5)). Then , i.e., . By using Proposition 3.5(6), the same argument works for the case when is of type .
Assume that is of type . Then the exceptional divisor on satisfies , and is a line on [TanII, Proposition 3.22]. Hence . ∎
Corollary 4.12.
Let be a Fano threefold with . Then is primitive if and only if has no extremal ray of type .
Proof.
If has no extremal ray of type , then it is clear that is primitive. Suppose that is primitive and there exists an extremal ray of type . It suffices to derive a contradiction. Let be the contraction of . Then is a smooth projective threefold and is the blowup along a smooth curve . It suffices to prove that is Fano, because is a primitive Fano threefold.
By Corollary 3.10, there is an ample divisor on which generates . Hence we can write for some . By the Bertini theorem, we can find a curve on with . In particular, its proper transform on is disjoint from . Then
Since and are ample, we get . Hence is ample. ∎
4.3. Existence of conic bundle structures
Lemma 4.13.
Let be a primitive Fano threefold with . Then has an extremal ray of type or .
Proof.
Suppose the contrary. Let be all the extremal rays. We can find curve such that
For each , let be the contraction of , which is of type . Set . Note that each is a projective normal toric surface (Theorem 4.8).
Claim.
for all .
Proof of Claim.
Suppose that for some . Since is a nonzero effective Cartier divisor on , there exists a curve such that .
Fix such that is very ample. Pick two general members such that is a smooth curve. By , we have for some . We then obtain the following contradiction:
where Claim implies and the inequality follows from the ampleness of (Theorem 4.8). ∎
Proposition 4.14.
Let be a primitive Fano threefold with . Then has an extremal ray of type .
Proof.
By Lemma 4.13, we may assume that there exists an extremal ray is of type . Then we have (Theorem 4.11). Let be the other extremal ray. For each , let be the contraction of , where . Suppose that is of type or . It suffices to derive a contradiction. If is of type , then Lemma 4.15(1) leads to a contradiction.
Lemma 4.15.
Let be a primitive Fano threefold. Let and be two distinct extremal rays. For each , let be the contraction of . Then the following hold.
-
(1)
The induced morphism is a finite morphism.
-
(2)
If is of type and is of type , then the composite morphism
is a finite surjective morphism, where is the -exceptional prime divisor and denotes the induced closed immersion.
Proof.
Let us show (1). Suppose that is not a finite morphism. Then there exists a curve on such that is a point. Then both and are points. However, this implies , which is a contradiction. Thus (1) holds.
Let us show (2). By , it suffices to show that is a finite morphism. Suppose that is not a finite morphism. Then there exists a curve on such that and is a point. If is of type , or , then also is a point. This is a contradiction: . Hence is of type . Since is ample, we have that . Let be a general fibre of , so that . Hence we get . On the other hand, we have for some , which implies . This is a contradiction. ∎
4.4.
Theorem 4.16.
Let be a primitive Fano threefold. Let be an extremal ray of type and let be the contraction of . Then or .
Proof.
If is a wild conic bundle, then the assertion follows from Theorem 4.2. Hence we may assume that is generically smooth. Note that is a smooth projective rational surface (Theorem 4.4). By the classification of smooth projective rational surfaces, it suffices to show that there exists no curve on such that . Suppose that there is a curve on such that . Let us derive a contradiction.
Fix a curve on such that and . We have
for the extremal rays and curves on . We then have
for some .
Now, we can write for some . By , we get
Hence, possibly after permuting the indices, we have (note that ). Let be the contraction of . By and , we get . By the projection formula, we obtain
(4.16.1) |
Assume that is of type or . Then the fibres of are curves or surfaces. By , there is a curve on such that
-
(i)
and
-
(ii)
is a point.
By (ii), we can write for some . Therefore, we obtain
where the inequality holds by (i). This contradicts (4.16.1).
Assume that is of type . Set . Since is covered by curves with , it follows from (4.16.1) that . By , there exists a curve on such that is a point. We get . Since is ample (Theorem 4.8), we have
On the other hand, is disjoint from for a general closed point , and hence we get
This is a contradiction, because we have and . ∎
Theorem 4.17.
Let be a primitive Fano threefold. Then the following hold.
-
(1)
If is the contraction of an extremal ray of type , then the following hold.
-
•
if and only if .
-
•
if and only if .
-
•
-
(2)
-
(3)
Assume . Then has an extremal ray of type and we have for the contraction of .
-
(4)
Assume . Then the following hold.
-
(i)
Let be an extremal ray of . Then is of type or .
-
(ii)
has two extremal rays and such that is of type and is of type or .
-
(i)
-
(5)
If has an extremal ray of type whose contraction is not generically smooth, then , , and is a prime divisor on of bidegree .
Proof.
The assertion (1) follows from and Theorem 4.16. Then (1) implies (2) and (3) by Proposition 4.14. The assertion (5) follows from Theorem 4.2.
Let us show (4). Since (i) implies (ii) (Proposition 4.14), it suffices to prove (i). Suppose that there exists an extremal ray which is not of type nor . Let us derive a contradiction. Since is not of type , the type of is , or . Let be the contraction of . Set . There exists an extremal ray of type (Proposition 4.14). Let be the contraction of . For each , consider
By Corollary 4.10, we have that is a point for each . Hence also is a point. However, this is a contradiction, because any fibre of is one-dimensional. ∎
5. Fano threefolds with
In this section, we classify Fano threefolds with . If has an extremal ray of type C and its contraction is not generically smooth (i.e., a wild conic bunlde), then is a prime divisor on of bidegree (Theorem 4.2). In what follows, we always assume that the contraction of type C is generically smooth.
Notation 5.1.
Let be a Fano threefold with . By Theorem 4.1, has exactly two extremal rays and . For each , let
be the contraction of and let be an extremal rational curve with . Set , which is the length of . We have
It follows from Corollary 3.10 that for each . Let be an ample Cartier divisor on such that generates . Set .
-
•
If is of type , then we assume that is generically smooth and denotes its discriminant divisor (Subsection 3.4).
-
•
If is of type , then . Note that (Theorem 4.6).
-
•
Assume that is of type . Set . If is of type , then . If is of type or (resp. , resp. ), then let be the largest positive integer which divides (resp. , resp. ). Note that coincides with the index of the Fano threefold when is of type or .
5.1. The Picard group and the canonical divisor
Lemma 5.2.
We use Notation 5.1. Then, for each , is a primitive element in , i.e., there exists no pair such that , is a Cartier divisor on , and .
Proof.
Suppose that there exist a Cartier divisor on and an integer such that . By , we obtain . By Theorem 4.11, there exists a Cartier divisor on such that . Then we get , which implies . This contradicts the fact that is a primitive element in . ∎
Lemma 5.3.
We use Notation 5.1. Fix and assume that is of type . Then
Proof.
We now compute for each .
Lemma 5.4.
We use Notation 5.1. Fix . Then the following hold.
-
(1)
Assume that is of type . Recall that denotes the discriminant divisor of the generically smooth conic bundle . Then satisfies the following.
type of Moreover, if is of type .
-
(2)
Assume that is of type . Then satisfies the following.
type of -
(3)
Assume that is of type . Set . Recall that if is of type , or (resp. , resp. ), then is defined as the largest positive integer that divides (resp. , resp. ) in . Then satisfies the following:
type of or where we set and for the case when is of type .
Proof.
Let us show (1). Assume that is of type . Then is a conic bundle. Since is an ample generator of , we may assume that is a line on . Since is an effective divisor, it follows from Lemma 3.8(4) that
By Corollary 3.12, it holds that
and
By , we have . Since is a line on , it follows from Proposition 3.16 that
To summarise, it holds that
Thus (1) holds.
Let us show (2). Assume that is of type . Then we have . Since is an ample generator of , we may assume that is a point on . Applying Lemma 3.8(4), we get
By Corollary 3.12, it holds that
and
We have . To summarise, we obtain
Thus (2) holds.
Let us show (3). Assume that is of type . By , we obtain
By Lemma 3.8(3), we obtain
Let be the genus of . We have . By [TanII, Lemma 3.21(2)], we get
-
•
,
-
•
, and
-
•
.
It holds that
and
It follows from Lemma 3.8(4) that
To summarise, we obtain
which completes the proof for the case when is of type .
Assume that is of type . By [TanII, Proposition 3.22], we get , and . Moreover, is a line on . By , it holds that
By Lemma 3.8(3), we obtain
By and , it holds that and . It follows from Lemma 3.8(4) that
Thus we obtain , which completes the proof for the case when is of type .
Assume that is of type or . It follows from [TanII, Proposition 3.22] that , , , is isomorphic to a possibly singular quadric surface in , , and is a line on contained in (Theorem 4.8). In particular, . We have . We then get
Let us compute . By Lemma 3.8(4), we have
It holds that and . Therefore, we obtain
which implies . This completes the proof for the case when is of type or .
Assume that is of type . It follows from [TanII, Proposition 3.22] that , , , , , and is a line on . Hence
which implies . As before, we can write
By Lemma 3.8(4), we have
It holds that and . We obtain
and hence . Thus (3) holds. ∎
Lemma 5.5.
We use Notation 5.1. Fix .
-
(1)
If is of type , then .
-
(2)
If is not of type , then or .
-
(3)
If is neither of type nor , then .
Proof.
Lemma 5.6.
We use Notation 5.1. Set
which is the cardinality of the set . Then the following hold.
-
(1)
and are linearly equivalent over in . Moreover, .
-
(2)
.
-
(3)
.
-
(4)
-
(5)
.
Proof.
Let us show (1). Assume
for . By , we have . Hence we obtain . Since is a curve, we have . We then get , which implies . Therefore, and are linearly independent over . Since is a free subgroup of rank of , the quotient group
is a finite abelian group. Thus (1) holds.
Let us show (2) and (3). By and , (2) implies (3). We now prove (2). The composite group homomorphism
is surjective, because so is each map (Theorem 4.11). It suffices to show that . The inclusion is clear. It is enough to show the opposite inclusion. Take . Then , and hence there exists such that
Thus we obtain by Theorem 4.11. Then we can write for some . Thus (2) and (3) holds.
Let us show (4). Since and are linearly independent over by (1), is a basis of . Then we can write
for some . By and , we get
By symmetry, we obtain . Hence (4) holds. Finally, (5) follows from (4) and (Lemma 3.8(3)). ∎
Proof.
Since and are nef, we get . By (Lemma 5.6(4)) and , the following holds:
Then the required inequality follows from and . ∎
Proposition 5.8.
Let be a Fano threefold with . Let be an extremral ray of type and let be the contraction of . Then is a Fano threefold of index .
Proof.
Set and (Lemma 5.6(1)). We use Notation 5.1. By , is big. This, together with , implies that is ample. Suppose . It is enough to derive a contradiction. Recall that is not very ample [TanII, Theorem 1.1]. By [TanI, Theorem 1.1], we obtain . It follows from and (Lemma 3.13) that and . Let be the rational map induced by the complete linear system . If , then our condition contradicts [TanI, Proposition 6.8]. Hence we may assume that . In this case, the mobile part of is base point free and the induced morphism is the contraction of the extremal ray of type D with [TanI, Proposition 4.1]. In particular, . Then Lemma 5.4 and Lemma 5.6 imply
By (Lemma 5.7), we obtain , which implies . However, this leads to the following contradiction: . ∎
Proposition 5.9.
We use Notation 5.1. Then the following hold.
-
(1)
is a -linear basis of .
-
(2)
is a dual basis of , i.e., and . Here we set , where is the free -module that is freely generated by all the curves on and denotes the numerical equivalence.
-
(3)
-
(4)
.
Proof of Proposition 5.9 for the case when is primitive.
Set (Lemma 5.6(1)). Since is primitive, there is an extremal ray of type (Proposition 4.14). In what follows, we assume that is of type . The proof consists of 7 steps.
Step 1.
In order to complete the proof of Proposition 5.9, it is enough to show that .
Proof of Step 1.
Step 2.
If , then .
Proof of Step 2.
Step 3.
If , then .
Proof of Step 3.
By Lemma 5.6(5), we obtain
In this case, is odd. Indeed, if is even, then the linear equivalence
would imply that is not a primitive element, which is a contradiction (Lemma 5.2). Since is of type and is not of type by , we get and (Lemma 5.5), which imply
As is odd, we get . This completes the proof of Step 3. ∎
Step 4.
If , then .
Proof of Step 4.
In this case, is of type and is of type . By Lemma 5.6(5), we obtain
In what follows, we treat the case when . In this case, is of type and (Lemma 5.4).
Step 5.
If , then .
Proof of Step 6.
Step 6.
If , then .
Proof of Step 6.
Step 7.
If , then .
Proof of Step 7.
Proof of Proposition 5.9 for the case when is imprimitive.
Since is imprimitive, has an extremal ray of type . In what follows, we assume that is of type . Set (Lemma 5.6(1)). It is enough to show (cf. Step 1 of the primitive case).
Claim 5.10.
-
(1)
.
-
(2)
-
(3)
if and .
Proof of Claim 5.10.
By Lemma 5.4 and Lemma 5.7, we have
(5.10.1) |
In what follows, we shall separate the argument depending on the value of . Note that (Proposition 5.8).
Assume . In this case, we have . This, together with (5.10.1), implies
If , then . If , then . If , then . If and , then .
We first treat the case when is of type . In this case, the same conclusion of Claim 5.10 holds for . Claim 5.10(1) implies
Hence we may assume that . By Claim 5.10(2), we get
This is absurd. Thus is not of type .
We now consider the case when . Then is of type (Lemma 5.4, Lemma 5.5), and hence . Then Claim 5.10(1) implies
Hence . By Claim 5.10(2), we obtain
Hence we may assume that . We then get , which implies
This contradicts . Thus , and hence (Lemma 5.5).
Assume that . Then Claim 5.10(1) implies
Hence we may assume that . By Claim 5.10(2), we get
which is absurd.
Assume that . Then Claim 5.10(1) implies
Hence . By Claim 5.10(3), we get
Thus we may assume that . We then get
which contradicts the fact that is primitive (Lemma 5.2).
Assume that . Then is of type and (Lemma 5.4). Therefore, (Lemma 5.6) implies the following (Claim 5.10(1)):
By , we obtain . Hence we may assume that .
Lemma 5.11.
We use Notation 5.1. Assume that is of type . Then the following hold.
-
(1)
.
-
(2)
.
5.2. Case
Notation 5.12.
We use Notation 5.1. Assume that is of type and is of type . In particular, for each , is of type . Set
Let be the induced morphism, where denotes the scheme-theoretic image. For the -th projection , set . Note that is a free -linear basis of .
Lemma 5.13.
Proof.
Lemma 5.14.
We use Notation 5.12. Then .
Proof.
5.2.1. Case
Lemma 5.15.
We use Notation 5.12. Assume that . Then the following hold.
-
(1)
is an isomorphism.
-
(2)
If , then is of bidegree .
-
(3)
If , then is of bidegree .
-
(4)
If , then is of bidegree .
Proof.
If (1) holds, then (2), (3), and (4) hold. Thus it suffices to show (1).
Set . Since is a finite birational morphism from a smooth variety to a variety , is nothing but the normalisation of . As is a prime divisor on , is Gorenstein. By [Rei94, Proposition 2.3], we have
for the conductor , which is an effective Cartier divisor on whose support coincides with the non-isomorphic locus of . By the adjunction formula, we have
where the second isomorphims holds by Lemma 5.13. Therefore, we obtain
It follows from (Proposition 5.9) that
As we have for each , we obtain , which implies . Hence is an isomorphism. ∎
5.2.2. Case
Lemma 5.16.
Let be a nonzero effective Cartier divisor on of bidegree . Then the following hold.
-
(1)
is isomorphic to one of the following:
-
•
.
-
•
.
-
•
.
Note that is not irreducible, is not smooth but irreducible, and is smooth.
-
•
-
(2)
If , then there exists a closed point such that , where .
Proof.
Let us show (1). Since is defined by
we have
Applying the elementary operations to the -matrix , we may assume that is one of , and (note that we can apply row and column elementray operations).
Let us show (2). By the proof of (1), is obtained by applying a suitable -action on . Hence we may assume that . Then the assertion (2) holds for . ∎
Lemma 5.17.
We use Notation 5.12. Assume that . Set . Then the following hold.
-
(1)
and .
-
(2)
.
-
(3)
is a smooth prime divisor on of bidegree .
-
(4)
For , it holds that .
-
(5)
is a split double cover.
Proof.
Theorem 5.18.
Let be a Fano threefold with . Set , which is a smooth hypersurface on of bidegree . Let and be the distinct extremal rays of . Assume that each of and is of type . Then, possibly after permuting and , one and only one of the following holds.
-
(1)
is of type , is of type , and one of the following holds.
-
(a)
is isomorphic to a hypersurface of of bidegree and .
-
(b)
There exists a split double cover such that and .
-
(a)
-
(2)
is of type , is of type , , and is isomorphic to a hypersurface of of bidegree .
-
(3)
is of type , is of type , , and is isomorphic to .
5.3. Case
Notation 5.19.
Lemma 5.20.
We use Notation 5.19. Then .
Proof.
Lemma 5.21.
We use Notation 5.19.
-
(1)
If is of type , then is a double cover.
-
(2)
If is of type , then is an isomorphism and is of type .
Proof.
By Lemma 4.15(1), is a finite morphism. It follows from and that . By Corollary 4.5, any fibre of is numerically equivalent to , i.e., . We then obtain
where the last equality holds by Proposition 5.9.
(1) Assume that is of type . We then have , and hence is a double cover.
(2) Assume that is of type . Then we have and . Hence, is a finite birational morphism of normal varieties, which is automatically an isomorphism. In particular, is of type . ∎
Lemma 5.22.
We use Notation 5.19. Assume that is of type . Set . Then the following hold.
-
(1)
is of type or .
-
(2)
.
-
(3)
is a split double cover.
Proof.
By , we have , i.e., . Recall that we have (Lemma 2.3). It holds that for some . Then
Hence and . Thus (2) holds.
Let us show (3), i.e.,
splits. The extension class lies in
where the last equality holds by the Künneth formula. Thus (3) holds.
Let us show (1). Suppose that is of type . In this case, we have that for some smooth projective surface (Lemma 8.4). Then has an extremal ray of type , which is a contraction. Thus (1) holds. ∎
Theorem 5.23.
Let be a Fano threefold with . Let and be extremal rays of . Assume that is of type and is of type . Then one and only one of the following holds.
-
(1)
is of type , is of type , , and there exists a split double cover such that .
-
(2)
is of type , is of type , , and there exists a split double cover such that .
-
(3)
is of type , is of type , , and .
5.4. Case (primitive)
Notation 5.24.
We use Notation 5.1. Assume that is of type and is of type , or . Set , which is a prime divisor on .
Let us consider the induced morphism .
Lemma 5.25.
We use Notation 5.24. Then the following hold.
-
(1)
If is of type , then is a double cover and is of type or .
-
(2)
If is of type , then is an isomorphism and is of type or .
Proof.
By Lemma 4.15(2), is a finite surjective morphism.
Step 1.
It holds that
where .
Proof of Step 1.
By Corollary 4.5, a fibre of is numerically equivalent to . We then obtain
where the latter equality follows from Lemma 5.3. By Proposition 5.9(3), we have
Since is of type or , is a point on . Therefore, we get
Hence we obtain
where the last equality holds by the adjunction formula. This completes the proof of Step 1. ∎
Step 2.
The assertion (1) holds.
Proof of Step 2.
Assume that is of type . We have . Recall that is of type or .
Step 3.
The assertion (2) holds.
5.4.1. Case
Notation 5.26.
We use Notation 5.1. Assume that is of type and is of type or . Set . In particular, is of type and is of type or (Lemma 5.25). Recall that is a (possibly singular) quadric surface in and set for . By Lemma 3.15, we have a diagram:
Since is a closed immersion, we identify with the smooth prime divisor on the -bundle over .
Lemma 5.27.
We use Notation 5.26. Then and there exists an exact sequence:
Proof.
Since is -ample (Lemma 5.25), the assertion follows from , which is guaranteed by [Tan15, Theorem 0.5]. ∎
Lemma 5.28.
We use Notation 5.26. Then for all .
Proof.
We may assume .
Assume that is of type . Then and we can write
for some . Since is a finite morphism, this invertible sheaf is ample, which implies and . By the projection formula, we get
Hence we have . We then get and
Assume that is of type . By [Har77, Ch. II, Exercise 6.3 and 6.5], the restriction homomorphism is an isomorphism. Hence we have
for some . Since this invertible sheaf is ample, we get . By the projection formula,
Hence . ∎
Proposition 5.29.
We use Notation 5.26. Then the following hold.
-
(1)
-
(2)
.
-
(3)
.
Proof.
Let us show (1). For a closed point and the fibre of over , we have . Hence for all . By Grauert’s theorem [Har77, Ch. III, Theorem 12.9], is an invertible sheaf on . Hence we can write
for some . Again by [Har77, Ch. III, Theorem 12.9], we get
By Lemma 5.28 and adjunction formula, we obtain
which implies . Thus (1) holds.
Let us show (2). By and , we obtain . Then
Since is a double cover (Lemma 5.25), we have an exact sequence
for some . Since this sequence splits, we get . Furthermore, (Lemma 2.3). By , we obtain
where the last isomorphism holds by Lemma 5.28. Thus and (2) holds.
Let us show (3). By (1), (2), and Lemma 5.27, we have the following exact sequence:
By , this exact sequence splits, and hence
Thus (3) holds. ∎
Lemma 5.30.
We use Notation 5.26. Then , where denotes the tautological line bundle of the -bundle structure and we set .
Proof.
Recall that we have the following diagram (Notation 5.26, Proposition 5.29):
By , we can write
(5.30.1) |
for some . It follows from the adjunction formula that
(5.30.2) |
By Proposition 7.1(2), it holds that
(5.30.3) |
Since the closed immersion is induced by the surjection , it follows from [Har77, Ch. II, the proof of Proposition 7.12] that
(5.30.4) |
By (5.30.1), (5.30.2), (5.30.3) and (5.30.4), we have
Taking the intersection number of this equation with a general fibre of , we have , i.e., . Hence we obtain . We see that by taking the intersection number of this equation with a curve on such that is a curve. ∎
Lemma 5.31.
We use Notation 5.26. Then .
Proof.
It follows from Proposition 7.1(5) that
Moreover, we have
by [Har77, Appendix A, §3, C3 and C.5]. Hence we obtain
∎
Proposition 5.32.
We use Notation 5.26. Then there exist a split double cover
such that , where is the blowup of at a point and is a Weil divisor on satisfying (note that is unique up to linear equivalence). In particular, for , we have .
Proof.
Set to be the section of corresponding to the natural projection:
Let be the blowup along .
Step 1.
There exists the following commutative diagram
(5.32.1) |
such that for any closed point , the base change of (5.32.1) by can be written as follows
(5.32.2) |
where is the blowup at the closed point and is the -bundle.
Proof of Step 1.
We have the canonical injective graded -algebra homomorhism
Then induces a dominant rational map over as follows:
Note that this construction commutes with base changes by open immersions . Then the indeterminacies of are resolved by the blowup along , because this can be checked after taking an affine open cover of trivialising . Therefore, we get a commutative diagram (5.32.1). This diagram fibrewisely induces the diagram (5.32.2), because we have the corresponding diagram over an arbitrary open subset of which trivialises . This completes the proof of Step 1. ∎
Step 2.
It holds that . In particular, .
Proof of Step 2.
Suppose . Note that is covered by . Then it follows from [Har77, Ch. I, Proposition 7.1] that . Hence there exists a curve with . By and , we obtain
This contradicts the ampleness of . This completes the proof of Step 2. ∎
Step 3.
The induced morphism
is a double cover.
Proof of Step 3.
Fix a closed point . Set . Take the base change by . We then obtain the above diagram (5.32.2) and the fibre is a conic in . It holds by Step 2 that is disjoint from the -curve on the blowup of lying over the point . We then have for a fibre of , because is nothing but the proper transform of a line on passing through . Since consists of at most two points, is a finite surjective morphism. By , is a double cover. This completes the proof of Step 3. ∎
Step 4.
It holds that for some Cartier divisor on .
Proof of Step 4.
The above diagram (5.32.1) consists of smooth projective toric varieties and toric morphisms. Furthermore, each morphism is of relative Picard number one.
Set
Fix a closed point . We then have the diagram (5.32.2). Take a fibre of the -bundle over a closed point. Note that (cf. the proof of Step 3), and hence we get
(5.32.3) |
and
(5.32.4) |
By (5.32.3), there exists a Cartier divisor on such that . It follows from (5.32.4) that we can find a Cartier divisor on such that . For , we get . Taking the restriction to , we have . Then is numerically trivial over . Therefore, we can find a Cartier divisor on such that . This completes the proof of Step 4. ∎
Step 5.
It holds that .
Proof of Step 5.
By Step 4, we have .
We now show that , i.e., is nef. For the exceptional divisor of the blowup , it holds that
Pick a line . Since is ample, we obtain
Since is a finite surjective morphism, we get .
Step 6.
The induced morphism is a split double cover.
Proof of Step 6.
5.4.2. Case
Lemma 5.33.
We use Notation 5.1. Assume that is of type and is of type , or . Then the following hold.
-
(1)
is of type or .
-
(2)
If is of type , then and .
-
(3)
If is of type , then and .
Proof.
Set . Since is a -bundle, we can write
for some locally free sheaf of rank 2 on . By Lemma 5.25, is an isomorphism and is of type or . In particular, (1) holds. We have for some and . Since for a fibre of , we obtain , i.e.,
(5.33.1) |
We have the following exact sequence
where denotes the induced closed immersion. By (Proposition 3.11), we obtain the exact sequence
(5.33.2) |
We have . By (5.33.1) and [Har77, Ch. II, Proposition 7.11], it holds that . If is of type (resp. ), then we set (resp. ). By Theorem 4.8, we have . Since is an isomorphism, we get . Hence, the exact sequence (5.33.2) can be written as follows:
By , we obtain . Therefore, it hold that
What is remaining is to compute . By Proposition 7.1(3), we have
By [Har77, Appendix A], it holds that
Therefore, we obtain
∎
Theorem 5.34.
Let be a Fano threefold with . Let and be extremal rays of . Assume that is of type and is of type , or . Then one and only one of the following holds.
-
(1)
is of type , is of type or , , and there exists a split double cover such that .
-
(2)
is of type , is of type , , and .
-
(3)
is of type , is of type , , and .
5.5. Case
Lemma 5.35.
We use Notation 5.1. Assume that is of type . Then
Proof.
See, e.g., [TanII, Lemma 3.21(2)(a)]. ∎
Lemma 5.36.
We use Notation 5.1. Assume that is of type and is of type . Then the following hold.
-
(A)
.
-
(B)
.
-
(C)
.
Proof.
Proposition 5.37.
We use Notation 5.1. Assume that is of type and is of type . Then one of the following holds.
-
(1)
(No. 2-9).
-
(2)
(No. 2-13).
-
(3)
(No. 2-11).
-
(4)
(No. 2-16).
-
(5)
(No. 2-20).
Proof.
We have . By Lemma 5.36, the following hold.
-
(A)
.
-
(B)
.
-
(C)
.
Assume , and hence . Then (B) and (C) imply and , respectively. Hence the following hold (Lemma 5.35):
Assume , and hence . Then (B) and (C) imply and , respectively. Hence the following hold (Lemma 5.35):
Assume , and hence . Then
-
(A)
.
-
(B)
.
-
(C)
.
By (C), we get .
Assume . Then (B) and (C) imply and , respectively. In particular, . Hence the following hold:
Assume . Then (B) and (C) imply and , respectively. In particular, . Hence the following hold:
Proposition 5.38.
We use Notation 5.1. Assume that is of type and is of type . Then one of the following holds.
-
(1)
(No. 2-27).
-
(2)
(No. 2-31).
5.6. Case
Lemma 5.39.
We use Notation 5.1. Assume that is of type and is of type . Set . Then the following hold.
-
(A)
.
-
(B)
.
-
(C)
.
Proof.
Proposition 5.40.
We use Notation 5.1. Assume that is of type and is of type . Then (No. 2-33).
Proof.
We have . By Lemma 5.39, the following hold:
-
(A)
.
-
(B)
.
-
(C)
.
By (B), we get and . Then (C) implies . Hence the following holds:
∎
Proposition 5.41.
We use Notation 5.1. Assume that is of type and is of type . Then one of the following holds.
-
(1)
(No. 2-25).
-
(2)
(No. 2-29).
Proof.
Assume . We then get and . Moreover, (A) implies . Hence the following hold (Lemma 5.35):
Assume . We then get and . Moreover, (A) implies . In particular, . ∎
Proposition 5.42.
We use Notation 5.1. Assume that is of type and is of type . Then one of the following holds.
-
(1)
(No. 2-4).
-
(2)
(No. 2-7).
-
(3)
(No. 2-1).
-
(4)
(No. 2-3).
-
(5)
(No. 2-5).
-
(6)
(No. 2-10).
-
(7)
(No. 2-14).
Proof.
Assume , and hence . Then (B) and (C) imply and , respectively. In particular, . Hence the following hold (Lemma 5.35):
Assume , and hence . Then (B) and (C) imply and , respectively. In particular, . Hence the following hold (Lemma 5.35):
∎
Lemma 5.43.
Let be a blowup along a smooth curve on a Fano threefold . Let be a morphism with . Take a Cartier divisor on . Assume that (i) and (ii) hold.
-
(i)
.
-
(ii)
for a fibre of .
Then is a complete intersection of two members of .
Proof.
Take two fibres and of . Set and . For each , we get . We then obtain . Since is of pure one-dimensional, we get or . We then obtain , as otherwise the equality would lead to the following contradiction:
It is enough to show the scheme-theoretic equality . Recall that we have the equality . Since is Cohen-Macaulay, it suffices to prove that is , i.e., is reduced for the generic point of . This follows from , because the effective -cycle associated with is determined by its length at the generic point [Bad01, Lemma 1.18]. ∎
Proposition 5.44.
Let be a Fano threefold with which has extremal rays of type and . Let be the contraction of the extremal ray of type . Then the blowup centre of is a complete intersection of two members and of for some Cartier divisor on .
In the following proof, we use No. of given in Proposition 5.40, Proposition 5.41, and Proposition 5.42. In particular, No. of is one of 2-1, 2-3, 2-4, 2-5, 2-7, 2-10, 2-14, 2-25, 2-29, 2-33.
Proof.
Set . Let be the contraction of the extremal ray of type . Take a fibre of . Set to be the length of . Then is of type (Remark 3.4(2)). For each case, it is enough to find a Cartier divisor on satisfying (i) and (ii) of Lemma 5.43. In what follows, we treat the following three cases separately.
-
(1)
2-4, 2-25, 2-33.
-
(2)
2-7, 2-29.
-
(3)
2-1, 2-3, 2-5, 2-10, 2-14.
(1) In these cases, we have and for some (Proposition 5.40, Proposition 5.41, Proposition 5.42). Let be a Cartier divisor satisfying . Then Lemma 5.43(i) holds by . It holds that (Proposition 5.9(3)). Hence . In order to prove Lemma 5.43(ii), it suffices to show . By using the fact that is of type , this can be checked for all the cases 2-4, 2-25, 2-33 (Proposition 5.40, Proposition 5.41, Proposition 5.42).
(2) In these cases, we have and for some (Proposition 5.41, Proposition 5.42). Let be a Cartier divisor satisfying . Then Lemma 5.43(i) holds by . It holds that (Proposition 5.9(3)). Hence . In order to prove Lemma 5.43(ii), it suffices to show . By using the fact that is of type , this can be checked for both cases 2-7, 2-29 (Proposition 5.41, Proposition 5.42).
(3) In these cases, is a Fano threefold of index and is an elliptic curve such that and for , where is a Cartier divisor satisfying (Proposition 5.42). Recall that the degree is defined as . Then Lemma 5.43(i) holds by . Since is of type for all the cases 2-1, 2-3, 2-5, 2-10, 2-14 (Proposition 5.42), it holds that (Proposition 5.9(3)). Hence . Thus Lemma 5.43(ii) holds. ∎
5.7. Case
Lemma 5.45.
We use Notation 5.1. Assume that is of type and is of type or . Then the following hold.
-
(A)
.
-
(B)
.
-
(C)
.
Proof.
The assertion (A) follows from Lemma 5.4(3) and Proposition 5.9(4). For each , let be the positive integer satisfying
Specifically, we set and (resp. if is of type (resp. or ) [TanII, Proposition 3.22]. For each . we have
Then the assertion (B) holds by (Lemma 5.11) and
The assertion (C) follows from (Lemma 5.11) and
∎
5.7.1. Case
Proposition 5.46.
We use Notation 5.1. Assume that is of type and is of type . Then (No. 2-30).
Proof.
For each , is smooth and is the index of the Fano threefold . In particular, . We have . Hence Lemma 5.45 implies the following:
-
(A)
.
-
(B)
.
-
(C)
.
Since each of and is nef and big, we have and . By (B) and (C), we obtain and . In particular, and .
Assume , and hence . By (B) and (C), the following hold:
Then and
Assume , and hence . By (B) and (C), the following hold:
This is absurd. ∎
5.7.2. Cases and
Proposition 5.47.
We use Notation 5.1. Assume that is of type and is of type or . Then one of the following holds.
-
(1)
(No. 2-15).
-
(2)
(No. 2-23).
Proof.
Note that is not smooth. We have . Hence Lemma 5.45 implies the following:
-
(A)
.
-
(B)
.
-
(C)
.
Since each of and is nef and big, we have and . By (B) and (C), we obtain and .
Assume , and hence . By (B), we get . Thus . Suppose that . Then (B) and (C) imply and . We get the following contradiction: . Thus . Then (B) and (C) imply the following:
Then the following hold (Lemma 5.35):
Assume , and hence . Then (A)-(C) can be rewritten as follows:
-
(A)
.
-
(B)
.
-
(C)
.
By and (B), we obtain . Since the case contradicts (A), we get . Then (B) and imply and . By (B) and (C), we get and , respectively. We then obtain the following contradiction: . ∎
5.7.3. Case
Proposition 5.48.
We use Notation 5.1. Assume that is of type and is of type . Then (No. 2-28).
Proof.
By Lemma 5.4, we obtain and . It holds that
We then get the following:
Therefore, the following hold, where (A) is guaranteed by Lemma 5.4(3) and Proposition 5.9(4):
-
(A)
.
-
(B)
. In particular, .
-
(C)
.
By (A), we have and .
Assume , and hence . By (B), we get . Hence . Since by (A), we obtain . Then (A)-(C) imply the following:
Then the following hold (Lemma 5.35):
Assume , and hence . By (A), we have . This, together with , implies and . By (C), we get the following contradiction:
Assume , and hence . Then (A)-(C) can be rewritten as follows:
-
(A)
.
-
(B)
. In particular, .
-
(C)
.
By (A), we have . However, this contradicts and . ∎
5.7.4. Case
Proposition 5.49.
We use Notation 5.1. Assume that is of type and is of type . Moreover, suppose . Then one of the following holds possibly after permuting and .
-
(1)
(No. 2-12).
-
(2)
(No. 2-17).
-
(3)
(No. 2-19).
-
(4)
(No. 2-22).
-
(5)
(No. 2-21).
-
(6)
(No. 2-26).
Proof.
We may apply Lemma 5.11 for both the extremal rays and , although we need to permute the indices when we apply it for . Then the following hold (Lemma 5.4(3), Proposition 5.9(4)):
-
(A)
.
-
(B)
.
-
(C)
.
Since each of and is nef and big, we have and . By (B) and (C), we get and , respectively. By and (A), we obtain . In particular,
In what follows, we shall use
-
•
, and
-
•
(Lemma 5.35).
(1) Assume . Then and the following hold:
-
(A)
.
-
(B)
.
-
(C)
.
Hence ,
(2) Assume . Then and the following hold:
-
(A)
.
-
(B)
.
-
(C)
.
Hence ,
(3), (4) Assume . Then , , and the following hold:
-
(A)
.
-
(B)
.
-
(C)
.
By , , and , we have two solutions: .
Assume . Then we get . Then
Assume . Then we get . Then
(5) Assume . Then , and the following hold:
-
(A)
.
-
(B)
.
-
(C)
.
Hence ,
(6) Assume . Then , , and the following hold:
-
(A)
.
-
(B)
.
-
(C)
.
By , , and , we obtain and . Hence we get . Then
∎
6. Primitive Fano threefolds with
In this section, we classify primitive Fano threefolds with . The goal of this section is to prove the following theorem.
Theorem 6.1 (Theorem 6.7, Theorem 6.17).
Let be a primitive Fano threefold with . Then one and only one of the following holds.
-
(1)
and there exists a split double cover such that .
-
(2)
and is isomorphic to a prime divisor on such that , where denotes the natural projection.
-
(3)
and .
-
(4)
and .
By Theorem 4.17, there are the following two cases, which we shall treat separately:
6.1. Case
Lemma 6.2.
Let be a primitive Fano threefold with . Assume that all the extremal rays are of type . Let be a two-dimensional extremral face generated by extremal rays and . Let , , and be the contractions of , , and , respectively. Then we have the following commutative diagram
such that the following hold.
-
(1)
.
-
(2)
.
-
(3)
.
-
(4)
and are the first projections.
Proof.
Each extremal ray is an intersection of two two-dimensional extremal faces and . This implies that there are exactly two non-trivial contractions and that factor through the contraction of . By , these must coinside the ones induced by the projections. ∎
Remark 6.3.
Let be a primitive Fano threefold with . Assume that all the extremal rays are of type . Let be an extremal face of and let be the contraction of . Then the following hold.
-
(1)
The following are equivalent.
-
•
, i.e., is an extremal ray.
-
•
.
-
•
.
-
•
-
(2)
The following are equivalent.
-
•
.
-
•
.
-
•
.
-
•
Proposition 6.4.
Let be a primitive Fano threefold with . Assume that all the extremal rays are of type . Then the number of the extremal rays of is three.
Proof.
Suppose that has at least four extrmemal rays. Then we can find two two-dimensional extremal faces and such that . Let and be the contractions of and , respectively. By Remark 6.3, we get . Then there exists a curve on such that is a point for . This implies that and are points, i.e., , which is absurd. ∎
Notation 6.5.
Let be a primitive Fano threefold with . Assume that all the extremal rays are of type . Then there exist exactly three two-dimensional extremal faces (Proposition 6.4). We have also exactly three extremal rays , which are given as follows:
Corresponding to these extremal faces, we have the following contraction morphisms:
-
•
for all .
-
•
for all .
Note that and are compatible, i.e.,
Set
Let be the -th projection. For each , we set
-
•
, and
-
•
.
For , let be an extremal rational curve of the extremral ray . Note that we have .
Lemma 6.6.
We use Notation 6.5. Then is a finite surjective morphism.
Proof.
It suffices to show that is a finite morphism. Suppose that is not a finite morphism. Then there exists a curve on such that is a point. By , all of , and are points. Then , which is a contradiction. ∎
Theorem 6.7.
Let be a primitive Fano threefold with . Assume that all the extremal rays of are of type . Let and be distinct extremal rays of . Then one and only one of the following holds.
-
(1)
There exists a split double cover such that . Furthermore, , , there are exactly three extremal rays of , all the extremal rays are of type , and is of bidegree for the contraction of an arbitrary extremal ray.
-
(2)
. Furthermore, , there are exactly three extremal rays of , and all the extremal rays are of type .
Proof.
We use Notation 6.5. Set . For each , we have morphisms:
By
we have
Since is a fibre of , we obtain , where denotes the length of . Therefore, we get
which implies
By symmetry, we have that By the exact sequence
form a -linear basis of . Hence we obtain
For the positive integer satisying , we get
Hence , which implies .
Assume . Then is a finite birational morphism (Lemma 6.6). Since is normal, is an isomorphism. We have . Furthermore, each projection is clearly of type . Hence (2) holds.
Assume . Then and is a double cover (Lemma 6.6). This double cover is split (Lemma 2.4), because is -split and for any effective divisor on . We have .
Let us show that is of type . We can write
for some . We obtain
where () follows from Proposition 3.16. Therefore, . Similarly, . Hence is of type . By symmetry, is of type for all . Thus (1) holds. ∎
6.2. Case
What is remaining is the following case (cf. Theorem 4.17):
Notation 6.9.
Let be a primitive Fano threefold with . Let and be two distinct extremal rays. Assume that
-
•
is of type , and
-
•
is of type .
For each , let
be the contraction of , where . Set , which is a prime divisor on such that (Theorem 4.8). Let be an extremal rational curve with . Set , which is the length of .
Lemma 6.10.
We use Notation 6.9. For the induced morphism
the following hold.
-
(1)
If is of type , then is a double cover.
-
(2)
If is of type , then is an isomorphism.
Proof.
By Lemma 4.15(2), is a finite surjective morphism. Fix a fibre of over a closed point of . By (Corollary 4.5), it holds that
Recall that we have the following exact sequence (Theorem 4.11):
Fix a Cartier divisor on with , whose existence is guaranteed by the surjectivity of the last map . Then there exist and a Cartier divisor on such that
By , we have . Since is a divisor on , we have and for some . We have for a closed point on , which implies and . Therefore, we obtain
On the other hand, for , it holds that
where the first and second equalities follow from Lemma 7.2(3) and Lemma 4.7(2), respectively. We then obtain
(6.10.1) |
By , and , it holds that or . If , then the right hand side of (6.10.1) would be contained in , which is absurd. Then we obtain , which implies and .
(1) Assume that is of type . Then we have , i.e., is a double cover. Hence (1) holds.
(2) Assume that is of type . Then we have , i.e., is a finite birational morphism. Since is a finite birational morphism of normal varieties, is an isomorphism. Thus (2) holds. ∎
6.2.1. Case
Proposition 6.11.
Let be a primitive Fano threefold with . Assume that there exist two extremal rays and such that is of type and is of type . Then
and .
Proof.
We use Notation 6.9. Recall that we have and . Set .
Step 1.
There is the following exact sequence:
Proof of Step 1.
Step 2.
The following hold.
-
(1)
for some .
-
(2)
.
Proof of Step 2.
Let us show (1). Since is a -bundle, it holds that
for some and . Fix a fibre of . Since is an isomorphism (Lemma 6.10), we have . By , we obtain . It holds that
Thus (1) holds.
Step 3.
.
Proof of Step 3.
Step 4.
.
Proof of Step 4.
6.2.2. Case
Notation 6.12.
Lemma 6.13.
Proof.
Since is a double cover (Lemma 6.10(1)), Lemma 2.3 implies
We can write for some . We then get
(6.13.1) |
Hence and . Furthermore, we get
i.e., . Therefore, after possibly permuting the direct product factors of , we obtain and . Thus (1) holds. Lemma 2.4 and Lemma 8.4 imply (2) and (3), respectively.
Let us show (4). It is easy to see that is a locally free sheaf of rank 2 on . Hence we can write for some . We obtain
Therefore, we get and
This, together with the flat base change theorem, implies the following:
Thus (4) holds. ∎
Lemma 6.14.
We use Notation 6.12. Then, after possibly permuting the direct product factors of , the following holds:
Proof.
Step 1.
The following hold.
-
(1)
for a fibre of .
-
(2)
There exists the following exact sequence:
Proof of Step 1.
Step 2.
.
Proof of Step 2.
Step 3.
.
Proof of Step 3.
Step 4.
It holds that
Proof of Step 4.
Lemma 6.15.
We use Notation 6.12. Then it holds that
Proof.
We have the following morphisms:
where (Lemma 6.14). We identify with , which is a smooth prime divisor on . Since is the closed immersion induced by the natural surjection , it follows from [Har77, Ch. II, the proof of Propsition 7.12] that
(6.15.1) |
By Proposition 7.1(2),
(6.15.2) |
By (6.15.1) and (6.2.2), we obtain
Set
We have . For a fibre of , we get , which implies for some . Since the pullback of to is trivial: , it holds that . Therefore, , as required. ∎
Proposition 6.16.
We use Notation 6.12. Then there exists a closed immersion
such that
where denotes the induced projection. Furthermore, it holds that .
Proof.
By Lemma 6.14 and Lemma 6.15, we may assume that
-
•
,
-
•
,
-
•
is a smooth prime divisor on , and
-
•
.
Set and
We have the induced morphisms:
By [Har77, Ch. II, Lemma 7.9], it holds that
What is remaining is to compute . By Lemma 7.1(5), we have
where . By [Har77, Appendix A, §3, C.3 and C.5], it holds that
Hence we obtain
∎
Theorem 6.17.
Let be a primitive Fano threefold with . Let and be extremal rays of . Assume that is of type and is of type . Then one and only one of the following holds.
-
(1)
is of type , is of type , , and is isomorphic to a prime divisor on such that , where denotes the natural projection.
-
(2)
is of type , is of type , , and .
7. Appendix: Computation of Chern classes
In this section, we compute some intersection numbers on projective space bundles (Proposition 7.1) and blowups (Proposition 7.2). We include the proofs for the sake of completeness, although both results are obtained just by applying standard results on Chern classes.
Proposition 7.1.
Let be an -dimensional smooth variety and let be a locally free sheaf of rank on . Let be the projection induced by the -bundle structure. Then the following hold.
-
(1)
If , then it holds that for any fibre of over a closed point.
-
(2)
The following holds:
-
(3)
If and , then
-
(4)
If and , then
-
(5)
If , and is a smooth prime divisor on such that for some invertible sheaf on , then
Proof.
Fix a Cartier divisor on such that . The assertion (1) holds by
Let us show (2). Since is locally trivial, it follows from [Har77, Ch. II, Proposition 8.11 and Exercise 8.3(a)] that we have an exact sequence
By [Har77, Ch. II, Exercise 5.16(d),(e)], it holds that
Moreover, we have by [Har77, Ch. III, Exercise 8.4(b)]. Thus (2) holds.
Let us show (3). Set . It follows from (2) that . We then obtain
(7.1.1) |
By [Har77, Appendix A, §3, page 429], we have an equation
By , this can be written as
(7.1.2) |
We then get
(7.1.3) | ||||
where the first and second equalities follows from (7.1.2) and the last one holds, because implies . By (7.1.1), (7.1.2), and (7), we obtain
where the second equality holds by and the third one follows from for any -cycle (note that is dropped by abuse of notation). By , we obtain
Thus (3) holds.
Let us show (4). It follows from [Har77, Appendix A, §3, page 429] that
By , we have , which implies
Thus (4) holds.
Let us show (5). By the adjunction formula,
By (2) and our assumption, we get and , respectively. Thus
Then
(7.1.4) | ||||
where the fourth equality holds by and the last one follows from . By [Har77, Appendix A, §3, page 429], we have an equation
By , we have . It holds by that
(7.1.5) |
Moreover, we obtain
(7.1.6) | ||||
where we used , which is guaranteed by . By (7), (7.1.5) and (7.1.6),
(7.1.7) | ||||
where the last equality holds by .
Since we have for every fibre of , we have , which implies for any -cycle . It follows from (7) that
By , we obtain
Therefore,
Thus (5) holds. ∎
Proposition 7.2.
Let be a smooth projective threefold and let be a smooth curve on . Let be the blowup along . Set . Then the following hold:
-
(1)
.
-
(2)
The induced morphism coincides with the -bundle over , and .
-
(3)
.
-
(4)
.
Proof.
The assertions (1) and (2) follow from [Har77, Ch. II, Exercise 8.5(b)] and and [Har77, II, Theorem 8.24(b),(c)], respectively. Let us show (3). By (2), we have . We then get
where the second equality holds by (2) and the last one follows from Proposition 7.1(4). Thus (3) holds.
Let us show (4). Set and . Fix a divisor on such that . Then
It holds that
where the first isomorphism holds by the adjunction formula and the second one follows from (2) and Proposition 7.1(2). Hence
where holds by . By [Har77, Appendix A, §3, page 429], we have . Therefore, we get
where the fourth equality holds by and the fifth equality follows from [Har77, Ch. II, Proposition 8.20]. ∎
8. Appendix: Description of split double covers
Definition 8.1.
Let be a normal variety and let be an invertible sheaf. Set
where denotes the natural graded -algebra. Let be the projection. Take the tautological section , which corresponds to the element via
-
(1)
For , the closed subscheme
and the induced morphism are called the simple -cover associated to .
-
(2)
Assume . For and , the closed subscheme
and the induced morphism are called the split -torsor associated to . Note that the split -torsor associated to coincides with the simple -cover associated to .
Lemma 8.2.
Assume that . Let be a double cover of smooth projective varieties. Set , which is an invertible sheaf (Remark 2.2). Then is a simple -cover associated to for some
Proof.
See [CD89, Page 10]. ∎
Lemma 8.3.
Assume . Let be a double cover of smooth projective varieties. Set , which is an invertible sheaf (Remark 2.2). Then is a spit double cover if and only if is a split -torsor associated to some .
Proof.
If is the split -torsor associated to some , then it is clear that is a split double cover. Conversely, assume that is a split double cover. By [CD89, Page 10-11], is given by a splittable admissible triple in the sense of [CD89, Page 11], which is nothing but a split -torsor associated to some . ∎
Lemma 8.4.
Let be a split double cover of smooth projective varieties. Set , which is an invertible sheaf (Remark 2.2). Let be a morphism of smooth projective varieties such that and for some invertible sheaf on . Then there exist a split double cover and a morphism such that the following diagram is cartesian:
In particular, if and is the first projection in addition to the above assumptions, then and coincides with the first projection.
Proof.
Assume . By Lemma 8.3, there exist and such that is the split -torsor associated to . By and , we have the following corresponding elements:
-
•
.
-
•
.
Set to be the split torsor associated to .
Fix an affine open cover such that for every . Then is given as follows:
where and . By taking an affine open cover of which refines , we can directly check that the induced morphism is an isomorphism (more explicitly, if is an affine open subset contained in for some , then both and are given by ). If , the same argument works by using Lemma 8.2 instead of Lemma 8.3. ∎
9. Classification table of Fano threefolds with
Let be a Fano threefold with . Then one of No. 2-1, …, No. 2-36 holds. In addition to (1)–(6) of Theorem 1.2, we use the follwoing notation and terminologies:
-
(7)
If an extremal ray is of type , then denotes the degree of the discriminant bundle , which is an invertible sheaf on . When the conic bundle is generically smooth, then coincides with the invertible sheaf associated with the discriminant divisor.
-
(8)
If an extremal ray is of type , then denotes a fibre over a closed point . In particular, coincides with for the generic fibre .
No. | descriptions and extremal rays | ||
2-1 | |||
blowup of along an elliptic curve of degree which is a complete intersection of two members of | |||
2-2 | is a split double cover of with | ||
, | |||
2-3 | |||
is a blowup of along an elliptic curve of degree which is a complete intersection of two members of | |||
2-4 | |||
blowup of along a curve of genus and degree which is a complete intersection of two cubic surfaces | |||
2-5 | |||
blowup of along an elliptic curve of degree which is a complete intersection of two members of | |||
2-6 | a smooth divisor on of bidegree , or a split double cover of with | ||
, | |||
, | |||
2-7 | |||
blowup of along a curve of genus and degree which is a complete intersection of two members of | |||
2-8 | a split double cover of with | ||
, | |||
2-9 | |||
blowup of along a curve of genus and degree | |||
2-10 | |||
blowup of along an elliptic curve of degree which is a complete intersection of two members of | |||
2-11 | |||
blowup of along a line | |||
2-12 | blowup of along a curve of genus and degree | ||
blowup of along a curve of genus and degree | |||
2-13 | |||
blowup of along a curve of genus and degree | |||
2-14 | |||
blowup of along an elliptic curve of degree which is a complete intersection of two members of | |||
2-15 | blowup of along a curve of genus and degree | ||
2-16 | |||
blowup of along a conic | |||
2-17 | blowup of along an elliptic curve of degree | ||
blowup of along an elliptic curve of degree | |||
2-18 | a split double cover of with | ||
, | |||
2-19 | blowup of along a curve of genus and degree | ||
blowup of along a line | |||
2-20 | |||
blowup of along a cubic rational curve | |||
2-21 | blowup of along a rational curve of degree | ||
blowup of along a rational curve of degree | |||
2-22 | blowup of along a rational curve of degree | ||
blowup of along a conic | |||
2-23 | blowup of along an elliptic curve of degree | ||
2-24 | a divisor on of bidegree | ||
2-25 | |||
blowup of along an elliptic curve of degree which is a complete intersection of two quadric surfaces | |||
2-26 | blowup of along a cubic rational curve | ||
blowup of along a line | |||
2-27 | |||
blowup of along a cubic rational curve | |||
2-28 | blowup of along an elliptic curve of degree | ||
2-29 | |||
blowup of along a conic which is a complete intersection of two members of | |||
2-30 | blowup of along a conic | ||
blowup of at a point | |||
2-31 | |||
blowup of along a line | |||
2-32 | , a divisor on of bidegree | ||
2-33 | |||
blowup of along a line | |||
2-34 | |||
the projection | |||
the projection | |||
2-35 | , i.e., | ||
the projection | |||
blowup of at a point | |||
2-36 | |||
the projection | |||
blowup at the singular point of the cone over the Veronese surface |
Proof.
(of Table LABEL:table-pic2) We use Notation 5.1. Almost all the parts follow from Section 5. It is enough to compute (type ) and (type ).
If is of type , then we have and (Lemma 5.3, Proposition 5.9), which imply the following:
where (a) and (b) follow from Proposition 3.16 and Proposition 5.9, respectively. If is of type , then we have , which imply the following:
Therefore, it is enough to compute one of and . If is type , then we have , and hence . If is of type , then we get .
In what follows, we assume that is a Fano threefold of No. 2-8 in order to explain how to compute and for the case when is of type and is of type . It holds that (Proposition 5.9). For , we have and [TanII, Proposition 3.22]. By Lemma 5.25(1), we have (note that for a fibre of ). Hence we obtain . By (Proposition 5.9), we get . Then
Thus . ∎
We close this paper with the following proposition. Although this result is not used in this paper, we will need it in the classification of Fano threefolds with .
Proposition 9.1.
-
(1)
Let be a Fano threefold of No. 2-15. Let be a blowup along a smooth curve of degree . Then is contained in a (possibly singular) quadric surface on .
-
(2)
Let be a Fano threefold of No. 2-23. Let be a blowup along a smooth curve of degree . Then is contained in a (possibly singular) quadric surface on , i.e., is a hyperplane section of .
Proof.
We prove (1) and (2) simultaneously. If is 2-15 (resp. 2-23), then we set (resp. ) and (resp. ). Then we have a blowup and is a Fano threefold of index . We have the contraction of the other extremal ray, which is of type or . In particular, is a (possibly singular) quadric surface. Set . It is enough to show that and the induced composite morphism
is an isomorphism. Set (resp. ) to be the pullback on of the ample generator of (resp. ). It holds that (Proposition 5.9). Let be the positive integer satisfying .
Step 1.
.
Proof of Step 1.
Suppose . Then . Pick a curve on disjoint from . Set . Since is ample, we have . On the other hand, is ample, and hence . By , we get the following contradiction:
This completes the proof of Step 1. ∎
Step 2.
for a one-dimensional fibre of .
Proof of Step 2.
We have that
which implies
Taking the intersection with , we get , which implies . This completes the proof of Step 2. ∎
Step 3.
It holds that and .
Proof of Step 3.
Step 4.
is an isomorphism.
Proof of Step 4.
Let us show that is normal. Consider an exact sequence
By (Step 3), we get [Tan15, Theorem 0.5]. Then , i.e., is normal.
Note that any curve on is not contracted by , as otherwise we would get a contradiction: . Hence , which implies that is birational. Since is a (possibly singular) quadric surface, is an isomorphism. This completes the proof of Step 4. ∎