Calabi-Yau double coverings of Fano-Enriques threefolds
Nam-Hoon Lee

TL;DR
This paper explores Calabi-Yau threefolds obtained as double coverings of Fano-Enriques threefolds with singularities, calculating their invariants and identifying new examples with Picard number one.
Contribution
It introduces new Calabi-Yau threefolds arising from double coverings of Fano-Enriques threefolds with terminal cyclic quotient singularities.
Findings
Calabi-Yau threefolds are obtained as double coverings of certain Fano-Enriques threefolds.
Calculated invariants for these Calabi-Yau threefolds with Picard number one.
All identified examples are novel in the context of Calabi-Yau geometry.
Abstract
This note is a report on the observation that the Enriques-Fano threefolds with terminal cyclic quotient singularities admit Calabi-Yau threefolds as their double coverings. We calculate the invariants of those Calabi-Yau threefolds when the Picard number is one. It turns out that all of them are new examples.
| 4 | 28 | 1 | 45 | |
| 8 | 32 | 1 | 33 | |
| 2 | 20 | 1 | 37 | |
| 4 | 28 | 1 | 45 |
Peer Reviews
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.
Calabi–Yau double coverings of Fano–Enriques threefolds
Nam-Hoon Lee
Department of Mathematics Education, Hongik University 42-1, Sangsu-Dong, Mapo-Gu, Seoul 121-791, Korea
School of Mathematics, Korea Institute for Advanced Study, Dongdaemun-gu, Seoul 130-722, South Korea
Abstract.
This note is a report on the observation that the Enriques–Fano threefolds with terminal cyclic quotient singularities admit Calabi–Yau threefolds as their double coverings. We calculate the invariants of those Calabi–Yau threefolds when the Picard number is one. It turns out that all of them are new examples.
Key words and phrases:
Fano–Enriques threefold, Calabi–Yau threefold, Fano threefold
2010 Mathematics Subject Classification:
14J30, 14J32, 14J45
1. Introduction
The threefolds whose hyperplane sections are Enriques surfaces were studied by G. Fano in a famous paper [5]. The modern proofs for the results of [5] were given in [3]. Such varieties are always singular and their canonical divisors are not Cartier but numerically equivalent to Cartier divisors. We call such threefolds Fano–Enriques threefolds (see Definition 2.1). In this note, we consider Fano–Enriques threefolds whose singularities are terminal cyclic quotient ones. It is worth noting that any Fano–Enriques threefold with terminal singularities admits a -smoothing to one with terminal cyclic quotient singularities ([10]). The canonical coverings (which are double-coverings) of Enriques–Fano threefolds with terminal cyclic quotient singularities are smooth Fano threefolds ([1, 13]). Hence all the singular points of such Enriques–Fano threefolds are of type . Using the classification of smooth Fano threefolds, L. Bayle ([1]) and T. Sano ([13]) gave a classification of such threefolds. In this note, we observe that all those Enriques–Fano threefolds also admit some Calabi–Yau threefolds as their double covering, branched along some smooth surfaces and those eight singularities. A *Calabi–Yau threefold *is a compact Kähler manifold with trivial canonical class such that the intermediate cohomology groups of its structure sheaf are trivial (). We calculate the invariants of those Calabi–Yau double coverings when their Picard numbers are one (Table 1). It turns out that all those Calabi–Yau threefolds are new examples. Although a number of Calabi–Yau threefolds have been constructed, those with Picard number one are still quite rare. Note that they are primitive and play an important role in the moduli spaces of all Calabi–Yau threefolds ([7]).
2. Calabi–Yau double coverings
As the higher dimensional algebraic geometry being developed, the definition of Fano–Enriques threefolds also has evolved and has been generalized. We adapt the following version of the definition.
Definition 2.1**.**
A three-dimensional normal projective variety is called a Fano–Enriques threefold if has canonical singularities, is not a Cartier divisor but numerically equivalent to an ample Cartier divisor .
Y. Prokhorov proved in [11] that the generic surface in the linear system is an Enriques surface with canonical singularities and that the Enriques surface is smooth if the singularities of is isolated and . We refer to [2, 6, 12] for more systematic expositions of Fano–Enriques threefolds. In this note, we consider the case that has only terminal cyclic quotient singularities. We summarize the properties of ([1, 3, 5, 13]).
- (1)
All the singularities of are the type of . 2. (2)
The number of singularities of is eight. 3. (3)
is linearly equivalent to . 4. (4)
There is a smooth Fano threefold that covers doubly , branched only at the singularities of .
L. Bayle ([1]) and T. Sano ([13]) gave a classification of smooth Fano threefolds that double cover Fano–Enriques threefolds.
Let be the double covering, branched along the singularities of . Then is one of smooth Fano threefolds in Theorem 1.1 in [13]. We want to find a Calabi–Yau threefold that double-covers , using the following theorem which is a special case of Theorem 1.1 in [9].
Theorem 2.2**.**
Let be a projective three-dimensional variety with singularities of type such that . Suppose that the linear system contains a smooth surface , then there is Calabi–Yau threefold that is a double covering of with the branch locus .
Let be any points of . From the description of those Fano threefolds ’s in Theorem 1.1 of [13], one can find an effective divisor from such that does not contain . Let be the covering involution on , i.e. the quotient is . Therefore, for any point and we can find an effective divisor in the linear system such that . Note the effective divisor
[TABLE]
belongs to the linear system and it does not contain the point . So the linear system is base-point-free and we can find a smooth surface from it. Hence, by Theorem 2.2, there is a Calabi–Yau threefold that covers doubly , branched along and singularities of .
Since and for , we have isomorphisms
[TABLE]
by the exponential sequences. Hence we can regard classes of Cartier divisors of as elements of respectively. Let be the index of Fano threefold (i.e. the largest integer such that for some ample divisor of ).
Now we calculate the invariants of . For a double covering with dimension higher than two, it is a non-trivial task to calculate the topological invariants even in the case that the base of the covering is smooth. In our case, is an ample divisor of , so it may be worth trying to apply the Lefschetz hyperplane theorem. However is not smooth, so the usual Lefschetz hyperplane theorem does not apply here. There are other versions of the Lefschetz hyperplane theorem for singular varieties but they all require that is smooth, which is not true for our case. We prove a type of the Lefschetz hyperplane theorem for . We say that an element of an additive Abelian group is divisible by an integer if for some element . is said to be primitive if it is divisibly by only . We denote the quotient of by its torsion part as .
Lemma 2.3**.**
The map , induced by the inclusion , is injective and the image in of is divisible by .
Proof.
Consider the commutative diagram:
[TABLE]
where and the vertical maps are inclusions. Note
[TABLE]
is an unramified double covering. We have an induced commutative diagram:
[TABLE]
Note the pull-backs is injective. Since is a smooth ample divisor of , the map is injective by the Lefschetz hyperplane theorem. So we have the injectivity of the map
[TABLE]
Consider another commutative diagram.
[TABLE]
Note . We note that in . Since has no torsion, in and so
[TABLE]
in . Hence lies in the image of the map
[TABLE]
Note . Hence
[TABLE]
is divisible by in . Since the map
[TABLE]
is injective, is divisible by in . ∎
We note that is primitive in . By the above lemma, is not primitive in when . This is different from what the usual Lefschetz hyperplane theorem expects for smooth threefolds.
Proposition 2.4**.**
We have
[TABLE]
[TABLE]
and
[TABLE]
where is the topological Euler characteristic of and is the second Chern class of .
Proof.
Consider the following fiber product of two double covers:
[TABLE]
Then it is easy to see that
- (a)
is an étale double cover and
- (b)
is the double cover branched along a member of .
Using the fact that is an ample divisor of , one can show ([4]). Since , we have
Note and . Note and by the Riemann–Roch theorem,
[TABLE]
By the adjunction formula, we have
[TABLE]
So
[TABLE]
Note and , where . So . By the adjunction formula,
[TABLE]
Hence . ∎
We are interested in the case that the Calabi–Yau threefold has Picard number one. Hence we assume that has Picard number one. There are four families of them:
- :
complete intersection of a quadric and a quartic in the weighed projective space , , , . 2. :
complete intersection of three quadrics in , , , . 3. :
hypersurface of degree in , , , . 4. :
compete intersection of two quadrics in , , , .
Theorem 2.5**.**
Suppose that has Picard number one, then , have Picard number one,
[TABLE]
and
[TABLE]
where is an ample generator of .
Proof.
By Proposition 2.4,
[TABLE]
so , have Picard number one. Since has Picard number one, for some ample generator of ( ) and a positive integer . Note that is a torsion element and that is primitive in . We also note that is a smooth ample divisor of . By the Lefschetz hyperplane theorem, is primitive in . By Lemma 2.3, is divisible by in . So its image in is divisible by . Note
[TABLE]
So is divisible by . Let for some positive integer . We will show that . Note
[TABLE]
and
[TABLE]
For , the condition of being a positive integer requires that . For , by the Riemman–Roch theorem, we have
[TABLE]
which should be an integer. So we have also in this case. Therefore,
[TABLE]
and
[TABLE]
∎
By Proposition 2.4 and the relation , we can determine all the Hodge numbers of . We list the invariants of the Calabi–Yau threefolds ’s in Table 1. It turns out that they are all new examples . See Appendix I of [8] for a list of known examples of Calabi–Yau threefolds of Picard number one.
Note that the invariants of and those of overlap. Consider the commutative diagram in the proof of Proposition 2.4. For , the branch locus of is a quadric section, thus is a -weighted complete intersection of . For , the branch locus of is a quartic section, thus is also a -weighted complete intersection of . Therefore, and are in the same family. Since and are étale -quotients of and respectively, they have the same invariants.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Bayle, Lionel Classification des variétés complexes projectives de dimension trois dont une section hyperplane générale est une surface d’Enriques. J. Reine Angew. Math. 449 (1994), 9–63.
- 2[2] Chelʹtsov, I. A. Rationality of an Enriques-Fano threefold of genus five. Izv. Ross. Akad. Nauk Ser. Mat. 68 (2004), no. 3, 181–194; translation in Izv. Math. 68 (2004), no. 3, 607–618
- 3[3] Conte, A.; Murre, J. P. Algebraic varieties of dimension three whose hyperplane sections are Enriques surfaces. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 12 (1985), no. 1, 43–80.
- 4[4] Cynk, Slawomir Cyclic coverings of Fano threefolds. Proceedings of Conference on Complex Analysis (Bielsko-Biała, 2001). Ann. Polon. Math. 80 (2003), 117–124.
- 5[5] Fano G. Sulle varieta algebriche a tre dimensioni le cui sezioni iperpiane sono superficie di genere zero e bigenere uno. Mem. Mat. Sci. Fis. Natur. Soc. Ital. Sci. 1038. V. 3(24). P. 41–66.
- 6[6] Giraldo, Luis; Lopez, Angelo Felice; Muñoz, Roberto On the existence of Enriques-Fano threefolds of index greater than one. J. Algebraic Geom. 13 (2004), no. 1, 143–166.
- 7[7] Gross, Mark Primitive Calabi–Yau threefolds. J. Differential Geom. 45 (1997), no. 2, 288–318.
- 8[8] Kapustka, Grzegorz Projections of del Pezzo surfaces and Calabi–Yau threefolds. Adv. Geom. 15 (2015), no. 2, 143–158.
