1991 Mathematics Subject Classification. 14J32, 14G10. Partially supported by DFG Schwerpunktprogramm 1094 (Globale Methoden in der komplexen Geometrie). The author also thanks D. van Straten for helpful discussions.
<ph f="cmbx">The mirror quintic as a quintic</ph>

Christian Meyer

Fachbereich Mathematik und Informatik, Johannes Gutenberg-Universitat, Staudingerweg 9, D–55099 Mainz, Germany E-mail address : cm@mathematik.uni-mainz.de

1 Introduction

The general quintic hypersurface in P 4   is the most famous example of a Calabi–Yau threefold for which mirror symmetry has been investigated in detail. There is a description of the mirror as a hypersurface in a certain weighted projective space. In this note we present a model for the mirror which is again (the resolution of ) a quintic hypersurface in P 4   . We also deal with the special members in the respective families.
They lead to rigid Calabi–Yau threefolds with interesting arithmetical properties.
In the last section we try to find a similarly nice model for the mirror of the complete intersection of two cubics in P 5   . We also formulate a general question about mirror models.
Some of the results of this note are contained in the author's thesis ([7] ) which can also be used as an introduction to modularity of Calabi–Yau threefolds.

2 The quintic

Let X μ ⊂ P 4   be the quintic threefold defined by the equation x 0 5 + x 1 5 + x 2 5 + x 3 5 + x 4 5 − 5 μ x 0 x 1 x 2 x 3 x 4 = 0 .   If μ   is general (i.e., no 5-th root of unity and not 0 or ∞   ) then X μ   is smooth and so a Calabi–Yau threefold. Its invariants are χ ( X μ ) = − 200 , h 1 , 1 ( X μ ) = 1 , h 2 , 1 ( X μ ) = 101 .   On X μ   there is an action of the group G ≃ ( Z / 5 Z ) 3   generated by the coordinate transformations ( x 0 : x 1 : x 2 : x 3 : x 4 : x 5 ) ↦ ( x 0 : x 1 ⋅ ξ 5 λ 1 : x 2 ⋅ ξ 5 λ 2 : x 3 ⋅ ξ 5 λ 3 : x 4 ⋅ ξ 5 λ 4 )   with λ 1 , λ 2 , λ 3 , λ 4 ∈ Z / 5 Z   , λ 1 + λ 2 + λ 3 + λ 4 ≡ 0 m o d 5   and ξ 5   a fixed primitive 5-th root of unity.
The mirror partner of X μ   can be described as a resolution of the quotient X μ / G   . In fact this example was the first for which mirror symmetry was used to make enumerative predictions (Candelas, de la Ossa, Green and Parkes in [2] ), and it is still by far the most prominent example in the mirror symmetry business. There is a lot of literature; a good starting point is the book of Cox and Katz ([5] , chapter 2 and section 4.2). Morrison ([8] ) describes in detail the resolution of singularities of the mirror, and Candelas, de la Ossa and Rodriguez-Villegas ([3] , [4] ) discuss the zeta functions.
If μ   is a 5-th root of unity then X μ   has 125 ordinary double points ( A 1   singularities, also called nodes) as only singularities, namely the points on the orbit of the point ( 1 : μ : μ : μ : μ )   under the action of the group G   . The threefold X : = X 1   is defined over Q   and especially interesting for arithmetical purposes. Schoen ([9] ) discussed the modularity of X   , i.e., he determined the connection between the arithmetic of X   over finite fields and a certain weight four modular form. We will briefly recall his results.
Let X ~   be a small resolution of X   . Then X ~   has Euler characteristic χ ( X ~ ) = − 200 + 2 ⋅ 125 = 50   and Hodge numbers h 1 , 1 ( X ~ ) = 25 , h 2 , 1 ( X ~ ) = 0 .   The defect of X   is d ( X ) = h 1 , 1 ( X ~ ) − 1 = 24 > 0   . Since the group G   acts transitively on the set of nodes of X   there exist projective small resolutions (cf. [10] , chapter IV). Equivalently this may be deduced from the existence of smooth quadric surfaces on X   containing all the nodes (cf. [9] ). For instance, the node ( 1 : 1 : 1 : 1 : 1 )   is contained in the smooth quadric surface Q   given by the equations
x 0 + ξ 5 x 1 + ξ 5 2 x 2 + ξ 5 3 x 3 + ξ 5 4 x 4 =
x 0 x 1 + ξ 5 x 0 x 2 + ξ 5 2 x 0 x 3 + ξ 5 3 x 0 x 4 + ξ 5 2 x 1 x 2
+ ξ 5 3 x 1 x 3 + ξ 5 4 x 1 x 4 + ξ 5 4 x 2 x 3 + x 2 x 4 + ξ 5 x 3 x 4 = 0
where ξ 5   is a primitive 5-th root of unity.
Schoen ([9] ) proves that for all primes p   of good reduction for X   (i.e., p ≠ 5   ) we have
tr ( Frob p * | H ét 3 ( X ~ , Q ℓ ) ) = a p
= { p 3 + 25 p 2 − 100 p + 1 − # X p , p ≡ 1 m o d 5 , p 3 + p 2 + 1 − # X p , p ≡ 4 m o d 5 , p 3 + p 2 + 2 p + 1 − # X p , p ≡ 2 , 3 m o d 5 .
Here Frob p *   denotes the map on l   -adic cohomology which is induced by the geometric Frobenius, # X p   denotes the number of points on X   over the finite field F p   , and a p   are the coefficients of a certain weight four newform for Γ 0 ( 25 )   .

3 The mirror

Let Y μ ⊂ P 4   be the quintic threefold defined by the equation ( x 0 + x 1 + x 2 + x 3 + x 4 ) 5 − ( 5 μ ) 5 x 0 x 1 x 2 x 3 x 4 = 0 .   For general μ   (i.e., μ   is no 5-th root of unity and not 0 or ∞   ) the singular locus of Y μ   consists of the 10 lines given by x i = x j = x k + x l + x m = 0   where { i , j , k , l , m } = { 0 , 1 , 2 , 3 , 4 }   . If μ   is a 5-th of unity then there is an additional singularity at the point ( 1 : 1 : 1 : 1 : 1 )   . This is an ordinary node.
There is a rational dominant map X μ ⟶ Y μ   induced by φ : P 4 ⟶ P 4 , ( x 0 : x 1 : x 2 : x 3 : x 4 ) ↦ ( x 0 5 : x 1 5 : x 2 5 : x 3 5 : x 4 5 ) .   The map is generically 125 : 1   . The degree reduces to 25 : 1   on the singular lines and to 5 : 1   on the 10 intersection points of three lines (i.e., the points on the orbit of ( 0 : 0 : 0 : 1 : − 1 )   under permutation of coordinates). Let A   denote the union of the 10 singular lines and let B   denote the set containing the 10 intersection points. We can now relate the Euler characteristic of a general Y μ   to that of X μ   :
− 200 = χ ( X μ ) = 125 ⋅ χ ( Y μ \ A ) + 25 ⋅ χ ( A \ B ) + 5 ⋅ χ ( B )
= 125 ⋅ χ ( Y μ \ A ) + 25 ⋅ 10 ⋅ ( 2 − 3 ) + 5 ⋅ 10
= 125 ⋅ χ ( Y μ \ A ) − 200 ,
thus χ ( Y μ \ A ) = 0   and χ ( Y μ ) = χ ( Y μ \ A ) + χ ( A ) = 0 + 10 ⋅ 2 − 2 ⋅ 10 = 0 .   If μ   is a 5-th root of unity then we set Y : = Y μ = Y 1   and we find
− 75 = χ ( X ) = 125 ⋅ χ ( Y \ A ) + 25 ⋅ χ ( A \ B ) + 5 ⋅ χ ( B )
= 125 ⋅ χ ( Y \ A ) + 25 ⋅ 10 ⋅ ( 2 − 3 ) + 5 ⋅ 10
= 125 ⋅ χ ( Y \ A ) − 200 ,
thus χ ( Y \ A ) = 1   and χ ( Y ) = χ ( Y \ A ) + χ ( A ) = 1 + 10 ⋅ 2 − 2 ⋅ 10 = 1 .   The map φ   exactly divides out the action of the group G   on X μ   . Thus the quintic Y μ   is a model for the mirror X μ / G   of X μ   . The resolution of singularities of X μ / G   has been discussed in [8] . The singular lines are lines of A 4   singularities. The 10 intersection points of singular lines look locally like the quotient C 3 / H   where the group H ∼ = { ( ξ 1 , ξ 2 , ξ 3 ) , ξ 1 5 = ξ 2 5 = ξ 3 5 = ξ 1 ξ 2 ξ 3 = 1 }   acts diagonally on C 3   . One choice of resolution is the following:
Blow up the 10 intersection points of the singular lines. This produces three exceptional divisors for each point and 30 lines of A 1   singularities where two of these divisors intersect.
Blow up the 10 lines of A 4   singularities and the 30 lines of A 1   singularities. This produces 50 = 2 ⋅ 10 + 1 ⋅ 30   new exceptional divisors.
Blow up the remaining singular curves (intersection of divisors coming from the blowup of the lines of A 4   singularities). This produces 20 = 2 ⋅ 10   new exceptional divisors.
Now the singular locus consists of 60 = 6 ⋅ 10   nodes (2 nodes on each exceptional divisor from the first step) which can be resolved by a projective small resolution (they are contained in the strict transforms of some of the 5 planes given by x i = x j + x k + x l + x m = 0   , { i , j , k , l , m } = { 0 , 1 , 2 , 3 , 4 }   ).
Denote by Y ~ μ   such a resolution of all the singularities of Y μ   . The Euler characteristic and Hodge numbers of Y ~ μ   are χ ( Y ~ μ ) = χ ( Y μ ) + 200 = 200 , h 2 , 1 ( Y ~ μ ) = 1 , h 1 , 1 ( Y ~ μ ) = 100 .   On Y = Y 1   there is the additional node ( 1 : 1 : 1 : 1 : 1 )   . It is the image of the 125 nodes of the Schoen quintic X   under the map φ   . On X   the node ( 1 : 1 : 1 : 1 : 1 )   is contained in the smooth quadric surface Q   ; thus on Y   the node ( 1 : 1 : 1 : 1 : 1 )   is contained in the smooth surface φ ( Q )   (which does not meet the singular lines) so there exist projective small resolutions. Let Y ~   denote such a small resolution of (all the singularities of ) Y   . The Euler characteristic of Y ~   is χ ( Y ~ ) = χ ( Y ) + 200 + 1 = 202 .   The Hodge numbers of Y ~   are h 1 , 1 ( Y ~ ) = 101 , h 2 , 1 ( Y ~ ) = 0 .   Investigating the arithmetic of Y ~   in detail (cf. [7] ) we find
tr ( Frob p * | H ét 3 ( Y ~ , Q ℓ ) ) = a p
= { p 3 + p 2 + 1 − # Y p , p ≡ 1 , 4 m o d 5 , p 3 + p 2 + 2 p + 1 − # Y p , p ≡ 2 , 3 m o d 5 .
The same weight four newform as for X ~   has to occur in the cohomology of Y ~   because the map φ   defines a correspondence between the two varieties.

4 Generalizations

The quintic is one of the 13 hypergeometric threefolds with h 1 , 1 = 1   listed in section 6.4 of [1] . It is tempting to ask if similarly nice equations can be produced for the mirrors of some of the other cases. We will investigate one example, namely the complete intersection of two cubics in P 5   .
Let the threefold V λ ⊂ P 5   be given by the equations
x 0 3 + x 1 3 + x 2 3 = 3 λ x 3 x 4 x 5 ,
x 3 3 + x 4 3 + x 5 3 = 3 λ x 0 x 1 x 2 .
This is a complete intersection which is invariant under the group G ~   (of order 81) of transformations g α , β , δ , ε , μ   where α , β , δ , ε ∈ Z / 3 Z   , μ ∈ Z / 9 Z   , and μ ≡ α + β ≡ δ + ε m o d 3   (Note the misprint in [6] ).
These transformations act as
g α , β , δ , ε , μ : ( x 0 : x 1 : x 2 : x 3 : x 4 : x 5 )
↦ ( ξ 3 α ξ 9 μ x 0 : ξ 3 β ξ 9 μ x 1 : ξ 9 μ x 2 : ξ 3 − δ ξ 9 − μ x 3 : ξ 3 − ε ξ 9 − μ x 4 : ξ 9 − μ x 5 )
where ξ i   is a fixed primitive i   -th root of unity. For generic λ   the variety V λ   is a smooth Calabi–Yau threefold with Euler characteristic χ ( V λ ) = − 144   . Libgober and Teitelbaum ([6] ) show that the mirror partner of V λ   can be described as a resolution of the quotient V λ / G ~   .
In analogy to the case of the quintic we can study the complete intersection W λ ⊂ P 5   given by the equations
( x 0 + x 1 + x 2 ) 3 = ( 3 λ ) 3 x 3 x 4 x 5 ,
( x 3 + x 4 + x 5 ) 3 = ( 3 λ ) 3 x 0 x 1 x 2 ,
but in this case the restriction of the map ψ : P 5 ⟶ P 5 , ( x 0 : x 1 : x 2 : x 3 : x 4 : x 5 ) ↦ ( x 0 3 : x 1 3 : x 2 3 : x 3 3 : x 4 3 : x 5 3 )   to V λ ⟶ W λ   does not divide out the whole group G ~   but only a subgroup H ~   with 27 elements so that (a resolution of ) W λ   is not the mirror of V λ   . The action of G ~ / H ~   on W λ   is multiplication of x 0   , x 1   , x 2   by ξ 3   . Consider the coordinate change
x 0 ↦ x 0 + x 1 + x 2 , x 1 ↦ x 0 + ξ 3 x 1 + ξ 3 2 x 2 , x 2 ↦ x 0 + ξ 3 2 x 1 + ξ 3 x 2 ,
x 3 ↦ x 3 + x 4 + x 5 , x 4 ↦ x 3 + ξ 3 x 4 + ξ 3 2 x 5 , x 5 ↦ x 3 + ξ 3 2 x 4 + ξ 3 x 5 .
In these new coordinates W λ   is given by the equations
x 0 3 = λ 3 ( x 3 3 + x 4 3 + x 5 3 − 3 x 3 x 4 x 5 ) ,
x 3 3 = λ 3 ( x 0 3 + x 1 3 + x 2 3 − 3 x 0 x 1 x 2 ) ,
or, after setting ν = 1 / λ 3   for convenience, by the equations
x 3 3 + x 4 3 + x 5 3 − ν x 0 3 = 3 x 3 x 4 x 5 ,
x 0 3 + x 1 3 + x 2 3 − ν x 3 3 = 3 x 0 x 1 x 2 .
Applying the map ψ   again we obtain the quotient W ~ ν   of W λ   given by the equations
( x 3 + x 4 + x 5 − ν x 0 ) 3 = 3 3 x 3 x 4 x 5 ,
( x 0 + x 1 + x 2 − ν x 3 ) 3 = 3 3 x 0 x 1 x 2 .
Unfortunately this way we divide out more than the group G ~ / H ~   so that (a resolution of ) W ~ ν   is a quotient of the mirror of V λ   .
Question 4.1. Given a mirror pair of Calabi–Yau threefolds such that one of them can be described as a complete intersection in a certain weighted projective space. Under which conditions is there a description of the mirror as (a resolution of ) a complete intersection of the same type?
References

  1. Batyrev, V., van Straten, D., Generalized hypergeometric functions and rational curves on Calabi–Yau complete intersections in toric geometry, Comm. Math. Phys. 168 (1995), pp. 493–533.
  2. Candelas, P., de la Ossa, X., Green, P, Parkes, L., A pair of Calabi–Yau manifolds as an exactly soluble superconformal field theory, Nuclear Physics B450 (1995), pp. 21–74, and in Essays on Mirror Manifolds (Yau, S.-T., ed.), International Press, Hongkong (1992), pp. 31–95.
  3. Candelas, P., de la Ossa, X., Rodriguez-Villegas, F., Calabi–Yau manifolds over finite fields I, preprint (2000), hep-th/0012233.
  4. Candelas, P., de la Ossa, X., Rodriguez-Villegas, F., Calabi–Yau manifolds over finite fields II, in Proceedings of the Workshop on “Calabi–Yau Varieties and Mirror Symmetry”, Fields Institute, Toronto, July 23-29, 2001, eds. Yui, N., Lewis, J. D., Fields Inst. Comm. Series 38 (2003), AMS, pp. 121–157.
  5. Cox, D. A., Katz, S., Mirror Symmetry and Algebraic Geometry, Math. Surveys and Monographs 68 (1999), AMS.
  6. Libgober, A., Teitelbaum, J., Lines on Calabi–Yau complete intersections, mirror symmetry, and Picard-Fuchs equations, Int. Math. Research Notices 1 (1993), pp. 29–39.
  7. Meyer, C., A dictionary of modular threefolds, thesis, Mainz (2005).
  8. Morrison, D. R., Mirror Symmetry and Rational Curves on Quintic Threefolds: A Guide for Mathematicians, J. of the AMS 6, no. 1 (1993), pp. 223–247.
  9. Schoen, C., On the geometry of a special determinantal hypersurface associated to the Mumford-Horrocks vector bundle, J. Reine Angew. Math 364 (1986), pp. 85–111.
  10. Werner, J., Kleine Auflösungen spezieller dreidimensionaler Varietäten, Bonner mathematische Schriften 186 (1987).

Fachbereich Mathematik und Informatik, Johannes Gutenberg-Universitat, Staudingerweg 9, D–55099 Mainz, Germany E-mail address : cm@mathematik.uni-mainz.de