arxiv: v2 [math.co] 21 Oct 2010

Transcription

1 Contemporary Mathematics arxiv: v2 [math.co] 21 Oct 2010 Closed Form Expressions for Hodge Nmbers of Complete Intersection Calabi-Ya Threefolds in Toric Varieties Charles F. Doran and Andrey Y. Novoseltsev Abstract. We se Batyrev-Borisov s formla for the generating fnction of stringy Hodge nmbers of Calabi-Ya varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge nmbers of Calabi-Ya threefolds in five-dimensional ambient spaces. These expressions involve conts of lattice points on faces of associated Cayley polytopes. Using the same techniqes, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersrfaces Introdction In [1] Batyrevobtained combinatorialformlasfor Hodge nmbers h 1,1 (X and h n 1,1 (X of an n-dimensional Calabi-Ya variety X arising as a hypersrface in a toric variety associated to a reflexive polytope. It is immediate from these formlas that h 1,1 (X = h n 1,1 (X, where X is Batyrev s mirror of X, and this eqality sffices to show that mirror symmetry holds on the level of Hodge nmbers for Calabi-Ya 3-folds. However, it is also important to consider higher dimensional Calabi-Ya varieties inclding singlar ones. Batyrev and Dais, motivated by physicists Hodge nmbers, introdced stringtheoretic Hodge nmbers [5] for a certain class of singlar varieties. The stringtheoretic Hodge nmbers coincide with the reglar ones for smooth varieties and with reglar Hodge nmbers of a crepant desinglarization if it exists. Later Batyrev also introdced stringy Hodge nmbers [2] for a different class of singlar varieties. While stringy and string-theoretic Hodge nmbers are not the same, they do agree for the varieties we will be dealing with in this paper, see [7] for frther details on relations between them. Batyrev and Borisov were able to obtain a formla for the generating fnction of string-theoretic Hodge nmbers in the case of complete intersections in toric 1 In fact, at the time of pblication of this article athors have obtained sch formlas, they will be commnicated in a sbseqent work Mathematics Sbject Classification. Primary 14J32. The first athor was spported in part by NSF Grant No. DMS and NSERC-SAPIN Grant # c 2009 Charles F. Doran, Andrey Y. Novoseltsev

2 2 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV varieties and show that this fnction has properties corresponding to mirror symmetry [3]. While their formla can be sed in practice for compting Hodge nmbers (as it is done in software PALP [13], it is recrsive, takes significant time even on compters, and does not provide mch qalitative information on particlar Hodge nmbers. This work was motivated by the desire to obtain, for complete intersections, formlas similar to those for hypersrfaces. We were able to accomplish this goal in the case of two hypersrfaces intersecting in a five dimensional toric variety, see Theorem 4.1 for arbitrary nef partitions and a simplified expression in Theorem 4.6 for the indecomposable ones. The algorithm allows one to get expressions for h 1,1 for the intersection of two hypersrfaces in a higher dimensional ambient space as well. Acknowledgements. We wold like to thank Victor Batyrev, Maximilian Krezer, Anvar Mavlytov, John Morgan, and Raman Sanyal for inspiring discssions and references. We are gratefl to or referee for his or her thorogh review of or paper and pointing ot qite a few possible improvements as well as typos. It was also very beneficial for this project to be able to experiment with nmeros examples sing lattice polytope modle [14] of the software system Sage [15], which provides convenient access to PALP [13] as one of its featres. 2. Generating fnctions for stringy Hodge nmbers In this section we fix the notation, define a nef partition and the generating fnction for the stringy Hodge nmbers of the associated variety. The exposition is based on [3, 6], where one can also find frther properties of the objects in qestion (the notation there is slightly different, as those athors work with faces of cones, not of spporting polytopes. Since this paper is mostly combinatorial, we will se the generating fnction to define the stringy Hodge nmbers. Let N Z n be a lattice of dimension n, M = Hom(N,Z be its dal lattice, N R = N Z R and M R = M Z R be the vector spaces spanned by these lattices. Let N R be a reflexive polytope (a bonded convex polytope of dimension n with vertices at lattice points and all facets having integral distance 1 from the origin and M R be its polar (the convex hll of inner normals of facets of, normalized to be primitive integral vectors reflexivity of implies that is also reflexive, hence the name. Let P be the toric variety corresponding to the fan spanned by faces of (a trianglation of the bondary of, see, for example, [9] for details on constrcting P. Let the vertex set V = V( be partitioned into a disjoint nion of sbsets V = V 1 V2... Vr, with corresponding polytopes i = Conv(V i,0. This decomposition determines a nef partition if the Minkowski sm r is also a reflexive polytope which we will denote by, for M R. We say that this nef partition is indecomposable, if the Minkowski sm of any propersbset of { i } r i=1 is not a reflexive polytope in the generatedsblattice. Decomposable nef partitions correspond to prodcts of Calabi-Ya varieties, presented as complete intersections of smaller nmbers of hypersrfaces in toric varieties of smaller dimensions.

3 HODGE NUMBERS OF CICY THREEFOLDS IN TORIC VARIETIES 3 by The associated Cayley polytope P N R R r of dimension n+r 1 is given P = Conv( 1 e 1, 2 e 2,..., r e r, where {e i } r i=1 is the standard basis for Zr R r. The Cayley polytope spports the Cayley cone C N R R r of dimension n + r. It is a reflexive Gorenstein cone of index r (rp is a reflexive polytope with dal Cayley cone C M R R r spported on the dal Cayley polytope P. The intersections of P with affine sbspaces given by intersections of hyperplanesx i = 1, x j = 0forafixedi {n+1,...,n+r}andall j {n+1,...,n+r}, j i, are polytopes 1,..., r corresponding to the dal nef partition sch that = Conv( 1,..., r and = r. These polytopes determine eqations of hypersrfaces in P and their intersection is a (possibly decomposable and/or singlar Calabi-Ya variety X of dimension n r. Faces of the cone C with the inclsion relation form an Elerian poset with the minimal element the vertex at the origin and the maximal element C itself. It is convenient to se faces of P to index elements of this poset, with and P representing the vertex of C and C itself respectively. If x is a face of P, we will denote by x the dal face of P. For any Elerian poset P with the minimm element ˆ0 and the maximm element ˆ1, if x,y P with x y we will se notation rkx for the rank of x, the length of the longest chain of element between ˆ0 and x, [x,y] = {z P : x z y} for the sbposet of elements between x and y inclsively, and dp = rkˆ1 for the rank of the poset. If x and y are faces of P with x y, then d[x,y] = dimy dimx, rkx = dimx+1, and it is natral to define here dim = 1, since dimensions of faces of P are less by one than the dimensions of corresponding faces of C. Definition 2.1. Let P be an Elerian poset of rank d with the minimal element ˆ0 and the maximal one ˆ1. For d = 0 let G P = H P = B P = 1. For d > 0 define polynomials G P, H P (t Z[t] and B P (,v Z[,v] recrsively by H P (t = (t 1 rkx 1 G (t, [x,ˆ1] where ˆ0<x ˆ1 G P (t = τ <d/2 (1 th P (t, τ <d/2 a k t k = k=0 0 m<d/2 a k t k is the trncation operator, and B [ˆ0,x] (,vd rkx G [x,ˆ1] ( 1 v = G P (v. ˆ0 x ˆ1 Proposition 2.2. The B P polynomial defined above has the following properties: (1 The degree of B P (,v in v is (strictly less than dp/2. (2 If dp 2, then B P (,v = (1 dp. (3 If P is Elerian poset associated to faces of a polygon with k vertices/edges, then dp = 3 and B P (,v = 1+[k (k 3v]( 2 3.

4 4 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV Proof. See [3], Examples 2.8, 2.9, and Proposition Definition 2.3. Let F N be a d-dimensional lattice polytope(or a d-dimensional face of a lattice polytope. Let l(f = F N be the nmber of lattice points inside F. Let l (F be the nmber of points in the relative interior of F. (For a point both l and l are eqal to 1. Define fnctions S F and T F by We also set S = 1. S F (t = (1 t d+1 l(kft k, k=0 T F (t = (1 t d+1 l (kft k. k=1 Proposition 2.4. For F the fnctions S F and T F defined above have the following properties: (1 S F (t = t 1+d T F (t 1. (2 S F (t = 1+[l(F d 1]t+higher order terms. (3 T F (t = l (Ft+[l (2 F (d+1l (F]t 2 +higher order terms. (4 S F is a polynomial of degree at most d. (5 T F is a polynomial of degree exactly d+1. (6 S F has degree d r+1 and S F (t = t d r+1 S F (t 1 if and only if F is a Gorenstein polytope of index r. Proof. For 1 see [3], Proposition 3.6 and references there. The next two properties are immediate from the definition. Then 4 and 5 follow from 1 3. For 6 see [6], Remark 2.15 and references there. Definition 2.5. The generating fnction associated to the dal Cayley cone C of a nef partition is E C (,v = 1 (v r x y P ( 1 1+dimx 1+dimy S x S y (vb [x,y] ( 1,v, and its coefficients are the stringy Hodge nmbers of the Calabi-Ya variety X p to a sign: E C (,v = p,q ( 1 p+q h p,q (X p v q. Remark 2.6. The formla above is taken from [12], the original one in [3] is less convenient for actal comptations since it incldes infinite sms. A similar formla is also given in [6] (line 11 on page 57, bt there is a typo the posets of B-polynomials mst be dalized. Remark 2.7. It is not obvios from the expression for E C that it is a polynomial of degree 2(n r, althogh this is so for C coming from a nef partition. On the other hand, the definition ofe C makes sense for any(n+r-dimensional Gorenstein cone of index r and it is conjectred that it is always sch a polynomial [6].

5 HODGE NUMBERS OF CICY THREEFOLDS IN TORIC VARIETIES 5 3. The hypersrface case In this section we will derive a formla for h 1,1 of a hypersrface Calabi-Ya threefold in the for-dimensional toric variety P sing the generating fnction. While this formla can be obtained by other means, [1], it will serve as motivation and demonstration of techniqes that will be sed for nef partitions in the next section. Theorem 3.1. Let be a for-dimensional reflexive polytope. Let X P be a generic anticanonical Calabi-Ya hypersrface. Then (3.1 h 1,1 (X = l( 5 l (y + l (y l (y, where each sm rns over the faces of of the indicated dimensions. Proof. A hypersrface can be treated in the above framework as a complete intersection with r = 1, P, and P. The generating fnction for n = 4 and r = 1 is given as ve C (,v = ( 1 1+dimx 1+dimy ( S x S y (vb [x,y] 1,v, x y P so h 1,1 (X = h 2,2 (X is eqal to the coefficient of 2 v 2 or 3 v 3. Below, by extensively sing Propositions 2.2 and 2.4 withot frther mention, we will determine the coefficient of 3 v 3 in the term corresponding to each pair (x,y on the right hand side. The reason for concentrating on a high v-degree term is that it allows s to deal only with simple B-polynomials corresponding to Elerian posets of small rank, as we will see below. Note also that for the crrent case dimy = 3 dimy and d[,p] = 5. First of all, observe that terms with B depending on v do not contribte to the coefficient of 3 v 3. Indeed, if the v-degree of B is positive, then d[x,y] 3 and we mst have dimx 1, dimy 2, i.e. dimy 1, and at least one of these ineqalities is strict. Then either both S-polynomials are eqal to one or one is eqal to one and the other is linear. On the other hand, B [x,y] ( 1,v cold only have v-degree 2 or more if d[x,y] 5, which is only possible for [x,y] = [,P], where both S-polynomials are eqal to one. Therefore, the prodct of all these polynomials does not contain a 3 v 3 term. Next we are going to consider cases with d[x,y] 2 and either x = or y = P. The reason for separating these cases from the rest is that the degree of S = S P = 1 is not bonded by dim = 1. Sppose x = and dimy 1. Then the correspondingtermofthe generating fnction is 1+dimy S y (v(1 1 1+dimy = S y (v( 1 1+dimy, where S y is a polynomial of degree at most 3 dimy. We see that in the only possible cases for dimy = 1,0 the contribtion to 3 v 3 -term is determined by the third degree term in S y and, by sing the symmetry property of the S-polynomial of the reflexive polytope P, we obtain (3.2 (3.3 l(p 5, l (y.

6 6 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV Sppose dimx 2 and y = P. Then the corresponding term of the generating fnction is ( 1 1+dimx 5 S x (1 1 4 dimx, where S x is a polynomial of degree at most dimx, which mst be 3 or 4 in order to have any term with v 3. In these cases the contribtion is determined by the third 3 degree term in S x, however, mst be mltiplied by 6 in order to get 3 v 3, which is not possible. We see that there are no contribtions to 3 v 3 -term. We consider remaining cases, d[x,y] = 0,1,2, with x and y P. Sppose x, y P, and x = y. Then the corresponding term of the generating fnction is ( 1+dimy S y S y (v, where S y and S y are polynomials of degrees at most dimy and 3 dimy. In order to get v 3, we need to mltiply the leading terms of these polynomials. The -degree of the v 3 term in the total prodct will be 1+dimy dimy+3 dimy = 4 dimy. Since we are interested in 3 terms, we mst have dimy = 1. The corresponding contribtion is (3.4 l (y l (y. Sppose x, y P, and dimy = 1+dimx or dimy = 2+dimx. Then we see that there are no contribtions to h 1,1 (X, since the total degree of the prodct of the S-polynomials is at most 2. Now combining all contribtions we obtain (3.1, which completes the proof. Remark 3.2. The terms of (3.1 have the following meaning. Tors-invariant divisors of the ambient space, corresponding to lattice points of, except for the origin, have 4 linear relations between them. Divisors corresponding to the interior points of the facets do not intersect a generic Calabi-Ya hypersrface, while divisors corresponding to the interior points of faces of codimension two may become redcible when intersected with this hypersrface. Corollary 3.3. If h 1,1 = 1 for a Calabi-Ya hypersrface in the toric variety associated to a 4-dimensional reflexive polytope, then is a simplex. Proof. This easily follows from (3.1, if we split l( into the sm of internal points of all of its faces: h 1,1 (X = l ( + l (y 5 l (y + l (y l (y =,2,1,2,3 l (y + l (y 4 + l (y l (y. Since faces dal to faces of dimension 3 are vertices of, we see that the term in brackets is positive while all others are non-negative, and if h 1,1 (X = 1, mst have exactly 5 vertices, i.e. be a simplex.

7 HODGE NUMBERS OF CICY THREEFOLDS IN TORIC VARIETIES 7 Remark 3.4. While the nmber of reflexive polytopes of any fixed dimension is finite (p to GL(Z action and there is an algorithm allowing one to constrct all of them (realized in PALP [13], this nmber for dimension 5 and higher is so big, that it is practically impossible. However, reslts similar to the above corollary can allow for constrction of all reflexive polytopes corresponding to Calabi-Ya varieties with small Hodge nmbers. 4. The bipartite complete intersection case In this section we derive the closed form expression for h 1,1 (X of a bipartite Calabi-Ya threefold complete intersection in the five-dimensional toric variety P. Theorem 4.1. Let be a five-dimensional reflexive polytope. Let X P be a complete intersection Calabi-Ya threefold corresponding to a fixed nef partition of with associated dal Cayley polytope P. Then h 1,1 (X=l(P 7 [l (2 y 6 l (y ] + + l (y [l(y l (y 3] l (y [l (2 y 4 l (y] l (y, + dim x=2 x<y where sms rn over faces of P of indicated dimensions. l (y [l (2 y 5 l (y ] l (x l (y Proof. In this case we have the following relation for the generating fnction: (v 2 E C (,v = ( 1 1+dimx 1+dimy ( S x S y (vb [x,y] 1,v, x y P so h 1,1 (X = h 2,2 (X is eqal to the coefficient of 3 v 3 or 4 v 4. Below we will determine the coefficient of 4 v 4 in the term corresponding to each pair (x,y on the right hand side. Note, that dimy = 5 dimy. First of all, let s consider all (x,y-pairs with positive v-degree of B [x,y]. Since d[,p] = 7, the highest possible v-degree of B [x,y] is 3. However, this is the only pair when degree 3 is a possibility and S = S P = 1, ths it does not give a contribtion to 4 v 4. If the v-degree of B [x,y] is 2, then d[x,y] 5 and either both S-polynomials are eqal to 1, or one of them is 1 and the other is linear, so again sch pairs yield no contribtion to 4 v 4. If the v-degree of B is 1, then d[x,y] 3 and it is easy to see that only for x = and dimy = 2 or dimx = 3 and y = P it is possible to have the total v-degree of S x and S y greater than 2. Sppose x = and dimy = 2. Let k(y be the nmber of vertices of y. Then the corresponding term of the generating fnction is 3 S y (v(1+[k(y (k(y 3v]( = S y (v( 3 +[k(y (k(y 3v]( 2 1,

8 8 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV where S y is a polynomial of degree at most 3. Its leading coefficient is l (y, ths the contribtion to h 1,1 is (4.1 (k(y 3l (y. Sppose dimx = 3 and y = P. Let k(x be the nmber of vertices of x. Then the corresponding term of the generating fnction is 7 S x (1+[k(x (k(x 3v]( = S x (v( 7 +[k(x (k(x 3v]( 5 6 4, where S x is a polynomial of degree at most 3. We see that terms with v 4 have -degree 2 or 3, ths there is no contribtion into h 1,1. Next we are going to consider cases with d[x,y] 2 and either x = or y = P. The reason for separating these cases from the rest is that the degree of S = S P = 1 is not bonded by dim = 1. Sppose x = and dimy 1. Then the correspondingtermofthe generating fnction is 1+dimy S y (v(1 1 1+dimy = S y (v( 1 1+dimy, where S y is a polynomial ofdegree at most 5 dimy. We see that in all three cases fordimy = 1,0,1the contribtion to h 1,1 is determined by the forth degree term in S y and, sing that P is a six-dimensional Gorenstein polytope of index 2, we obtain (4.2 (4.3 (4.4 l(p 7, [l (2 y 6 l (y ], l (y. Sppose dimx 4 and y = P. Then the corresponding term of the generating fnction is ( 1 1+dimx 7 S x (1 1 6 dimx, where S x is a polynomial of degree at most dimx. We see that in all three cases for dimx = 4,5,6 the contribtion to h 1,1 is determined by the forth degree term 4 in S x, however mst be mltiplied by 8 in order to get 4 v 4. We see that this is not possible and there are no contribtions to h 1,1. We consider remaining cases, d[x,y] = 0,1,2, with x and y P. Sppose x, y P, and x = y. Then the corresponding term of the generating fnction is ( 1+dimy S y S y (v, where S y and S y are polynomials of degrees at most dimy and 5 dimy. Consider degree α term in S y, 0 α dimy. In order to get v 4 we need to mltiply it by degree 4 α term from S y, 0 4 α 5 dimy. Then the -degree of this prodct with 1+dimy will be 1+dimy α+4 α = 5+dimy 2α. Since we are

9 HODGE NUMBERS OF CICY THREEFOLDS IN TORIC VARIETIES 9 interested in 4 terms, possible vales for (dimy,α satisfying all the restrictions are (1,1 and (3,2. The corresponding contribtions are (4.5 l (y [l (2 y 5 l (y ], (4.6 [l (2 y 4 l (y] l (y. Sppose x, y P, and dimy = 1+dimx. Then the corresponding term of the generating fnction is ( 1 1+dimx 1+dimy S x S y (v(1 1 =( 1+dimx S x S y (v( 1, where S x and S y are polynomials of degrees at most dimx and 4 dimx, ths only the prodct of their leading terms yields terms with v 4. Taking into accont remainingfactorsofthe prodct, we see that possible -degreesoftermswith v 4 are 1+dimx dimx+4 dimx = 5 dimx and greater by one, 6 dimx. Therefore, we get 4 v 4 terms and contribtions to h 1,1 only for dimx = 1 or dimx = 2: (4.7 l (x l (y, (4.8 dim x=1,,x<y dim x=2,,x<y l (x l (y. Sppose x, y P, and dimy = 2+dimx. Then we see that there are no contribtions to h 1,1, since the total degree of S-polynomials is at most 3. Now let s combine all the contribtions: h 1,1 =l(p 7 [l (2 y 6 l (y ] + + dim x=2 x<y l (y l (y [l (2 y 5 l (y ] l (x l (y dim x=1 x<y + (k(y 3l (y l (x l (y [l (2 y 4 l (y] l (y. Observe, that terms (4.1 and (4.7 can be natrally combined, since the first one containsthenmberofverticesofa2-facey, whilethesecondonesmsoverinternal points of all edges of each 2-face y. Therefore, the total contribtion of these two terms is [l(y l (y 3] l (y, where l(y l (y is the nmber of bondary points of y. This leads s to the stated formla for h 1,1 (X and completes the proof.

10 10 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV Lemma 4.2. In the notation of Theorem 4.1, we have h 3,3 (X = 1+ l (y l (y h 2,3 (X = h 3,2 (X = l (y l (y, l (y, [l(y+3 l (y 3 l (2 y]l (y. Proof. The same type of argment as for the proof of the theorem (bt shorter. Corollary 4.3. In the notation of Theorem 4.1, if the nef partition is indecomposable, the following relations hold: (4.9 l (y l (y = l (y, (4.10 (4.11 l (y l (y = 0, l (2 y l (y = [l(y 3]l (y. Proof. Followsimmediately from Lemma 4.2, since we knowthat h 3,3 (X = 1 and h 2,3 (X = h 3,2 (X = 0. Now we se this corollary to prove the following reslt. Lemma 4.4. Let be a five-dimensional reflexive polytope. Let P be the dal Cayley polytope of an indecomposable two part nef partition of. If y is a face of P, then l (y l (y = 0. Proof. First, let y be a vertex. Then l (y = 1 and we need to show that l (y = 0. Note that y is a 5-dimensional facet of P. Then either y is one of the polytopes 1 or 2 of the dal nef partition and it does not have an interior point, since the nef partition is indecomposable ([6], Corollary6.12, or y has nonempty intersection with both 1 and 2. In the latter case consider the projection of N R R 2 P onto the second factor. Then the image of y is the line segment from (1,0 to (0,1, which does not have interior points. Therefore, in any case l (y = 0 as desired. Now from relations (4.9 and (4.10 we conclde the reslt for dimy 2, bt then for dimy 3 it follows by symmetry. Remark 4.5. Relation (4.11 follows from Lemma 4.4 and Pick s formla. Indeed, let y be a face of P of dimension 2, sch that l (y 0, then we know that l (y = 0. Then the area of y is A(y = l(y/2 1 and A(2 y = l (2 y+ l(2 y l (2 y 2 1 = 4A(y = 2l(y 4, bt the nmber of bondary points of 2 y is 2l(y, ths l (2 y = l(y 3.

11 HODGE NUMBERS OF CICY THREEFOLDS IN TORIC VARIETIES 11 Theorem 4.6. Let be a five-dimensional reflexive polytope. Let X P be a complete intersection Calabi-Ya threefold corresponding to a fixed indecomposable nef partition of with associated dal Cayley polytope P. Then h 1,1 (X = l(p 7 l (2 y + l (y + l (y l (2 y l (2 y l (y dim x=2 x<y + where sms rn over faces of P of indicated dimensions. Proof. Follows from Theorem 4.1 and Lemma Relations with other reslts l (x l (y l (2 y l (y. It wold be desirable to have a geometric interpretation for each term of the obtained expressions for Hodge nmbers and, in particlar, to be able to identify the toric component of h 1,1 (X, given by images of the toric-invariant divisors of the ambient space or, eqivalently, the polynomial part of h 2,1 (X, corresponding to polynomial deformations of the complete intersection in the ambient space. (In the hypersrface case this extra information follows for free from the proof of Batyrev s formlas for the Hodge nmbers. While there is an algorithm for compting the toric part of the cohomology ring (see [8], for example, it does not give directly a closed form expression for its dimension. Also Borisov and Mavlytov have constrcted complete stringy cohomology spaces in [7] for semiample hypersrfaces in toric varieties and perhaps their techniqes may be sed in complete intersection case as well. It wold also be interesting to compare the reslt of Theorem 4.6 with the previosly known formlas for Hodge nmbers of complete intersections obtained bybatyrevandborisovin [4]. They haveconsideredaspecial casewhen all divisors corresponding to the nef partition in the non-resolved variety (i.e. the variety corresponding to withot trianglation of the bondary are ample. 1 Their formlas restricted to or case are given below, althogh we were not yet able to match all terms with ors. Definition 5.1. A lattice polytope is a Minkowski smmand of another lattice polytope ifthereexistµ Z >0 andalatticepolytope schthatµ = +. If the divisors given by polytopes i are ample in P (before partial resoltion corresponding to a trianglation of, then is a Minkowski smmand of i for all i, all these polytopes are combinatorially eqivalent, and each face θ of decomposes into Minkowski sm θ = i θ i, where θ i is a face of i of the same dimension as θ. In this case, the nef-partition is necessarily irredcible and 1 In [10] the first athor and John Morgan relate the closed form expressions of [4] directly to the (mixed Hodge strctre on middle-dimensional cohomology for complete intersection Calabi- Ya threefolds in toric varieties. A generalization that allows for geometric interpretations for each term and identification of the toric components of h 1,1 (X wold be most sefl for sch applications.

12 12 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV Theorem 4.6 is applicable. Another way to compte Hodge nmbers in this case is the following reslt. Corollary 5.2 (from Corollary 8.4[4]. Let be a five-dimensional reflexive polytope. Let X P be a complete intersection Calabi-Ya threefold corresponding to a fixed nef partition of with ample divisors corresponding to polytopes i of the dal nef partition. Then h 1,1 (X = l( 6 l (θ l (θ + dim θ=2 dim θ=4 dim θ=3 l (θ [l (θ l (θ 1 l (θ 2 ], h 2,1 (X = [ l ( l (2 1 +l ( l (2 2 ] 7 [ l (θ l (θ1 l (θ2 ] dim θ=0 + dim θ=1 l (θ [l (θ l (θ 1 l (θ 2 ], where the sms are over faces of of indicated dimensions, θ is the face of dal to θ, and θ = θ 1 +θ 2 is the decomposition into Minkowski sm with θ i being a face of i. Proof. Follows from Corollary 8.4 in [4], after restricting to dim = 5 and dimx = Examples In this section we apply or formla to several simplices and non-simplices with the corresponding h 1,1 (X eqal and not eqal to 1. The reflexive polytopes considered here were taken from the data spplements to [11]. 2 Example 6.1 (Simplex, h 1,1 (X = 1. Let vertices of be given by colmns of the matrix and consider the nef partition corresponding to V 1 = {1,3,5} and V 2 = {2,4,6}. Applying Theorem 4.6, we get (each sm is written as a separate term h 1,1 (X = = 1, h 2,1 (X = = Available at krezer/cy/hep-th/ html

13 HODGE NUMBERS OF CICY THREEFOLDS IN TORIC VARIETIES 13 Example 6.2 (Non-simplex, h 1,1 (X = 1. Let vertices of be given by colmns of the matrix and consider the nef partition corresponding to V 1 = {1,2,5,6} and V 2 = {3,4,7}. Applying Theorem 4.6, we get (each sm is written as a separate term h 1,1 (X = = 1, h 2,1 (X = = 37. Example 6.3 (Non-simplex, h 1,1 (X 1. Let vertices of be given by colmns of the matrix andconsiderthenefpartitioncorrespondingtov 1 = {1,3,7}andV 2 = {2,4,5,6,8}. Applying Theorem 4.6, we get (each sm is written as a separate term h 1,1 (X = = 2, h 2,1 (X = = 30. Example 6.4 (Simplex, h 1,1 (X 1. Let vertices of be given by colmns of the matrix and consider the nef partition corresponding to V 1 = {2,6} and V 2 = {1,3,4,5}. Applying Theorem 4.6, we get (each sm is written as a separate term h 1,1 (X = = 2, h 2,1 (X = = 58. Remark 6.5. As can be seen from these and a few other examples, none of the terms in or formla vanishes identically. References [1] Victor V. Batyrev, Dal polyhedra and mirror symmetry for Calabi-Ya hypersrfaces in toric varieties, J. Algebraic Geom. 3 (1994, no. 3, , arxiv:alg-geom/ v1. MR MR (95c:14046 [2], Stringy Hodge nmbers of varieties with Gorenstein canonical singlarities, Integrable systems and algebraic geometry (Kobe/Kyoto, 1997, World Sci. Pbl., River Edge, NJ, 1998, pp. 1 32, arxiv:alg-geom/ v2. MR MR (2001a:14039

14 14 CHARLES F. DORAN AND ANDREY Y. NOVOSELTSEV [3] Victor V. Batyrev and Lev A. Borisov, Mirror dality and string-theoretic Hodge nmbers, Invent. Math. 126 (1996, no. 1, , arxiv:alg-geom/ v1. MR MR (97k:14039 [4], On Calabi-Ya complete intersections in toric varieties, Higher-dimensional complex varieties (Trento, 1994, de Gryter, Berlin, 1996, pp , arxiv:alg-geom/ v1. MR MR (98j:14052 [5] Victor V. Batyrev and Dimitrios I. Dais, Strong McKay correspondence, stringtheoretic Hodge nmbers and mirror symmetry, Topology 35 (1996, no. 4, , arxiv:alg-geom/ v2. MR MR (97e:14023 [6] Victor V. Batyrev and Benjamin Nill, Combinatorial aspects of mirror symmetry, Integer points in polyhedra geometry, nmber theory, representation theory, algebra, optimization, statistics, Contemp. Math., vol. 452, Amer. Math. Soc., Providence, RI, 2008, pp , arxiv:math/ v2 [math.co]. MR MR (2009m:14059 [7] Lev A. Borisov and Anvar R. Mavlytov, String cohomology of Calabi-Ya hypersrfaces via mirror symmetry, Adv. Math. 180(2003, no. 1, , arxiv:math/ v1 [math.ag]. MR MR (2005b:32056 [8] Volker Bran, Brt A. Ovrt, Maximilian Krezer, and Emanel Scheidegger, Worldsheet instantons and torsion crves. B. Mirror symmetry, J. High Energy Phys. (2007, no. 10, 023, 53, arxiv: v1 [hep-th]. MR MR (2009i:14079 [9] David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, Mathematical Srveys and Monographs, vol. 68, American Mathematical Society, Providence, RI, MR MR (2000d:14048 [10] Charles F. Doran and John W. Morgan, Algebraic topology of Calabi-Ya threefolds in toric varieties, Geom. Topol. 11 (2007, , arxiv:math/ v1 [math.ag]. MR MR (2008i:32033 [11] Albrecht Klemm, Maximilian Krezer, Erwin Riegler, and Emanel Scheidegger, Topological string amplitdes, complete intersection Calabi-Ya spaces and threshold corrections, J. High Energy Phys. (2005, no. 5, 023, 116 pp. (electronic, arxiv:hep-th/ v2. MR MR (2006h:81263 [12] Maximilian Krezer, Erwin Riegler, and David A. Sahakyan, Toric complete intersections and weighted projective space, J. Geom. Phys. 46 (2003, no. 2, , arxiv:math/ v3 [math.ag]. MR MR (2004h:14044 [13] Maximilian Krezer and Harald Skarke, PALP: a package for analysing lattice polytopes with applications to toric geometry, Compt. Phys. Comm. 157 (2004, no. 1, , arxiv:math/ v1 [math.na]. MR MR (2004j:52014 [14] Andrey Y. Novoseltsev, lattice polytope modle of Sage, The Sage Development Team, 2009, polytope. [15] William A. Stein et al., Sage Mathematics Software (Version 3.3, The Sage Development Team, 2009, Department of Mathematical and Statistical Sciences, 632 CAB, University of Alberta, Edmonton, Alberta T6G 2G1, Canada address: doran@math.alberta.ca Department of Mathematical and Statistical Sciences, 632 CAB, University of Alberta, Edmonton, Alberta T6G 2G1, Canada address: novoseltsev@math.alberta.ca