arxiv: v1 [math.co] 19 Nov 2018

Transcription

1 Ehrhart polynomials of polytopes and spectrum at infinity of Laurent polynomials arxiv: v1 [math.co] 19 Nov 2018 Antoine Douai Université Côte d Azur, CNRS, LJAD, FRANCE address: antoine.douai@univ-cotedazur.fr November 20, 2018 Abstract Gathering different results from singularity theory, geometry and combinatorics, we show that the spectrum at infinity of a tame Laurent polynomial counts lattice points in polytopes and we deduce an effective algorithm in order to compute the Ehrhart polynomial of a simplex containing the origin as an interior point. 1 Introduction The spectrum at infinity of a tame Laurent polynomial f, defined by C. Sabbah in [9], is a sequence (β 1,,β µ ) of rational numbers which is related to various concepts in singularity theory (monodromy, Hodge and Kashiwara-Malgrange filtrations, Brieskorn lattices...) and is in general difficult to handle. However, if f is convenient and nondegenerate with respect to its Newton polytope in the sense of Kouchnirenko [8] (this is generically the case), this spectrum has a very concrete description: the sum µ is equal to the Hilbert-Poincaré series of the Jacobian ring of f graded by the Newton filtration, see [6]. It follows from [8] that µ = (1 z) n v N zν(v) where ν is the Newton filtration of the Newton polytope P of f and µ is the normalized volume of P, see [4], [5]. Because the right hand side depends only on P, we will also call it the Newton spectrum of P and we will denote it by Spec P (z). This is recorded in Section 2, where we also recall the basic definitions. Oncewe have this description, it follows from thework of A. Stapledon [10] that thespectrumat infinity of a convenient and nondegenerate Laurent polynomial (equivalently, the Newton spectrum of its Newton polytope) counts weighted lattice points in its Newton polytope P and its integer dilates, more precisely that it is a weighted δ-vector as defined in loc. cit. In particular, according to an observation made in [10], the δ-vector δ P (z) = δ 0 + δ 1 z + + δ n z n of a lattice polytope P in R n containing the origin as an interior point, hence its Ehrhart polynomial, can be obtained effortlessly from its Newton spectrum µ : the coefficient δ i is equal to the number of β k s such that β k ]i 1,i]. See Section 4.1, where we also recall the definitions of δ-vectors and Ehrhart polynomials. It should be emphasized that the Newton spectrum of a polytope P is somewhat finer than its δ-vector: both coincide if and only if P is reflexive, see Proposition 5.1. This is particularly fruitful when P is a reduced simplex in R n in the sense of [3] (see Section 3 for the definition of a reduced simplex and its weight) because we have a very simple closed formula 1

2 for its Newton spectrum, see Theorem 3.3. This formula only involves the weight of the simplex and is based on [7, Theorem 1] whose proof uses classical tools in singularity theory. This provides an effective algorithm in order to compute the δ-vectors and the Ehrhart polynomials of reduced simplices, see Section 4.2. For instance, let us consider the simplex := conv((1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1),( 1, 1, 1, 5)) in R 4. Using Theorem 3.3, it is readily checked that its Newton spectrum is Spec (z) = 1+z +z 2 +z 3 +z 4 +z 16/5 +z 12/5 +z 8/5 +z 4/5 and it follows from Proposition 4.5 that δ 0 = 1, δ 1 = 2, δ 2 = 2, δ 3 = 2, δ 4 = 2. Finally, its Ehrhart polynomial is L (z) = 1 24 (9z4 +10z 3 +75z 2 +50z +24). See Example 4.7. Last, notice that it is also possible to get in a similar way the δ-vectors of Newton polytopes of convenient and nondegenerate polynomials from their toric Newton spectrum (as defined in [4, Definition 3.1]). This can be applied for instance to the Mordell-Pommersheim tetrahedron, that is the convex hull of (0,0,0), (a,0,0), (0,b,0), (0,0,c)) where a, b and c are positive integers, which is the Newton polytope of the Brieskorn-Pham polynomial f(u 1,u 2,u 3 ) = u a 1 +ub 2 + uc 3 on C3, a very familiar object in singularity theory. See Section The Newton spectrum of a polytope In this section, we first recall some basic facts about polytopes that we will use. We then define the Newton spectrum of a polytope in Section 2.2 and we give a closed formula for the Newton spectrum of simplices in Section Polytopes (basics) In this text, N is the lattice Z n, M is the dual lattice, is the canonical pairing between N R and M R. A lattice polytope is the convex hull of a finite set of N. If P N R is a n-dimensional lattice polytope containing the origin as an interior point there exists, for each facet F of P, u F M Q such that P {n N R, u F,n 1} and F = P {x N R, u F,x = 1}. This provides the hyperplane presentation The set P = F {x N R, u F,x 1}. (1) P := {y M R, y,x 1 for all x P} (2) is the polar polytope of P. It happens that P is indeed a rational polytope (the convex hull of a finite set of N Q ) if P contains the origin as an interior point: the vertices of P are in one-to-one correspondance with the facets of P by u F vertice of P F = {x N R, u F,x = 1}. (3) 2

3 A lattice polytope P is reflexive if it contains the origin as an interior point and if P is a lattice polytope. If P N R is a full dimensional lattice polytope containing the origin as an interior point, we get a complete fan Σ P in N R by taking the cones over the faces of P. We will denote by X ΣP the complete toric variety associated with the fan Σ P. We will always assume that the fan Σ P is simplicial. The Newton function of P is the function ν : N R R which takes the value 1 at the vertices of P and which is linear on each cone of the fan Σ P. Alternatively, ν(v) = max F < u F,v > where the maximum is taken over the facets of P and the vectors u F are defined as in (1). The Milnor number of P is µ P := n!vol(p) where the volume vol(p) is normalized such that the volume of the cube is equal to 1. If P = conv(b 1,,b r ), the Milnor number µ P is also the global Milnor number of the Laurent polynomial f(u) = r i=1 c iu b i for generic complex coefficients c i, that is C[u 1,u 1 1 µ P = dim,,u n,u 1 n ] C f f (u 1 u 1,,u n u n ) where (C ) n is equipped with the coordinates u = (u 1,,u n ), u m := u m 1 1 u mn n if m = (m 1,,m n ) Z n f f and (u 1 u 1,,u n u n ) denotes the ideal generated by the partial derivative f f u 1 u 1,,u n u n. See [8] for details. 2.2 The Newton spectrum of a polytope The main object of this paper is given by Definition 2.3 which is motivated by the description of the spectrum at infinity of a Laurent polynomial in Kouchnirenko s framework, see [4], [5], [6], [9]. We briefly recall the construction and we gather the results that we will use. Let f(u) = m Z n a mu m be a Laurent polynomial defined on (C ) n. The Newton polytope P of f is the convex hull of suppf := {m Z n, a m 0} in R n. We assume that P contains the origin as an interior point, so that f is convenient in the sense of [8]. The Newton function of P defines a filtration on A := C[u 1,u 1 1,,u n,u 1 n ] and, by projection, a filtration N on f f A/(u 1 u 1,,u n u n ), see [4, Section2], [6, Section 4]. The spectrum at infinity of f is a priori a sequence (β 1,,β µp ) of nonnegative rational numbers (there may be repeated items), see [9], [6, Section 2.e]. We will denote Spec f (z) := µ P. We first quote the following result (for our purpose, one can take equality (4) as the definition of the spectrum at infinity of the Laurent polynomial f) which holds if f is moreover nondegenerate with respect to P in the sense of [8, Définition 1.19]: Theorem 2.1 [6] Let f be a convenient and nondegenerate Laurent polynomial defined on (C ) n. Then Spec f (z) = α Qdim C gr N A α f f (u 1 u 1,,u n u n ) zα. (4) 3

4 Proof. By [6, Theorem 4.5], the Newton filtration and the Kashiwara-Malgrange filtration on the Brieskorn lattice of f coincide if f is convenient and nondegenerate. The result then follows from the description of the spectrum given in [6, Section 2.e]. Corollary 2.2 [4], [5] Let f be a convenient and nondegenerate Laurent polynomial defined on (C ) n. Then Spec f (z) = (1 z) n z ν(v) (5) v N where ν is the Newton function of the Newton polytope P of f. Proof. Follows from Theorem 2.1 and [8, Théorème 2.8], as in [4, Theorem 3.2], The right hand side of (5) depends only on P. This justifies the following definition: Definition 2.3 Let P be a full dimensional lattice polytope in N R, containing the origin as an interior point, and let ν be its Newton function. The Newton spectrum of P is Spec P (z) := (1 z) n v N z ν(v). (6) Notice that various versions of the right hand of (6) appear in many places, see for instance [1, Theorem 4.3] for a relation with stringy E-functions. We have the following geometric description of the Newton spectrum of a polytope P, which allows to identify the spectrum at infinity of a convenient and nondegenerate polynomial whose Newton polytope is P. Define, for σ a cone in the fan Σ P generated by the vertices b 1,,b r of P, and (Σ P ) := σ ΣP (σ). (σ) := { r q i b i, q i [0,1[, i = 1,,r} i=1 Proposition 2.4 [4], [5], [10] Let P be a full dimensional lattice polytope in N R, containing the origin as an interior point. Then Spec P (z) = v (Σ P ) N n dim σ(v) [ i=0 dimh 2i (X(Σ P /σ(v)),q)z i ]z ν(v) (7) where X(Σ P /σ(v)) is the toric variety associated with the quotient fan Σ P /σ(v) and σ(v) is the smallest cone containing v. Proof. Follows from [8, Proposition 2.6], as in [4, Proposition 3.3]. See also [10, Theorem 4.3] for another proof in a slightly different context. 4

5 Remark 2.5 We will write Spec P (z) := µ P where (β 1, β µp ) is a sequence of nonnegative rational numbers (counted with multiplicities) and we will freely identify the Newton spectrum of P with the sequence (β 1, β µp ). We will make a repeated use of the following properties. In what follows, IntP denotes the interior of P, P denotes its boundary and, for I R, Spec I P (z) := β i I zβ i. Proposition 2.6 [4], [5], [6] Let P be a full dimensional polytope in N R containing the origin in its interior and let ν be its Newton function. Then, 1. lim z 1 Spec P (z) = µ P, 2. Spec [0,1[ P (z) = v IntP N zν(v), 3. the multiplicity of 1 in Spec P (z) is Card( P N) n, 4. z n Spec P (z 1 ) = Spec P (z). See [4, Corollary 3.5]. Item 1, 2 and 4 are already contained in [6] and are based on Kouchnirenko s results [8]. The last property means that Spec P is symmetric about n 2 and is a classical specification of a singularity spectrum. In a different setting, these statements can also be found in [10]. 3 The Newton spectrum of a reduced simplex We keep the terminology of [3] and we will rather denote a simplex by instead of P. We will say that the polytope := conv(v 0,,v n ) is an integral Z n -simplex if its vertices v i belong to the lattice Z n and if it contains the origin as an interior point. Definition 3.1 Let := conv(v 0,,v n ) be an integral Z n -simplex. The weight of is the tuple Q( ) = (q 0,,q n ) where q i := det(v 0,, v i,,v n ) (8) for i = 0,,n. The simplex is said to be reduced if gcd(q 0,,q n ) = 1. Proposition 3.2 Let := conv(v 0,,v n ) be an integral Z n -simplex and let Q( ) = (q 0,,q n ) be its weight. Then, 1. µ = n i=0 q i where µ is the Milnor number of, 2. n i=0 q iv i = 0, 3. (v 0,,v n ) generate N if and only if is reduced. Proof. The first point follows from the definition of the q i s and the second one follows from Cramer s rule. For the third one notice first that, because q i > 0, the submodule generated by (v 0,, v i,,v n ) is free of rank n, hence the module N generated by (v 0,,v n ) is free of rank n. By [3, Lemma 2.4] we have detn = gcd(q 0,,q n ) and this is the index of N in N so that N = N if and only if detn = 1. 5

6 Let be a Z n -integral simplex and let Q( ) = (q 0,,q n ) be its weight. Let { } l F := 0 l q i 1, 0 i n q i and let f 1,,f k be the elements of F arranged by increasing order. Define and let c 0,c 1,,c µ 1 be the sequence S fi := {j q j f i Z} {0,,n} and d i := CardS fi f 1,,f }{{} 1,f 2,,f 2,,f }{{} k,,f k. }{{} d 1 d k d 2 Theorem 3.3 Let be a Z n -integral simplex and let Q( ) = (q 0,,q n ) be its weight. Assume that is reduced. Then the Newton spectrum of is Spec (z) = z α 0 +z α 1 + +z α µ 1 where for k = 0,,µ 1. α k := k µ c k Proof. The vertices v 0,,v n of satisfy n i=0 q iv i = 0 and they generate Z n by Proposition 3.2 because gcd(q 0,,q n ) = 1. Thus, they define the exact sequence 0 Z Z n+1 Z n 0 where the map on the right is defined by ψ(e i ) = v i for i = 0,,n (we denote here by (e 0,,e n ) thecanonical basisofz n+1 ) andthemapon theleftis definedbyφ(1) = (q 0,,q n ). Itfollows that the simplex is the Newton polytope of the convenient and nondegenerate Laurent polynomial considered in [7]. Thus, the assertion follows from the definition of the Newton spectrum of a polytope given in Section 2.2 and [7, Theorem 1]. Remark 3.4 The α k s defined in Theorem 3.3 are not necessarily distinct. For instance, let us consider = conv((1,0),(0,1),( 1, 2)) in R 2. We have Q( ) = (1,1,2), µ = 4 and the sequence α 0,α 1,α 2,α 3 is 0,1,2,1. Example 3.5 Let us consider = conv((1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1),( 1, 1, 1, 5)) in R 4. We have Q( ) = (1,1,1,1,5) and µ = 9. The sequence c 0,c 1,,c 8 is 0,0,0,0,0, 1 5, 2 5, 3 5, 4 5 and the sequence α 0,α 1,,α 8 is 0,1,2,3,4,5 9 5,6 18 5,7 27 5, Theorem 3.3 provides Spec (z) = 1+z +z 2 +z 3 +z 4 +z 16/5 +z 12/5 +z 8/5 +z 4/5. 6

7 Remark 3.6 Theorem 3.3 is not true if we do not assume that is reduced: for instance, let = conv((2,0),(0,2),(2,2)) in R 2. We have Q( ) = (4,4,4) and is not reduced. By Proposition 2.6 we have Spec (z) = 1+3z 1/2 +4z +3z 3/2 +z 2 but Theorem 3.3 would give 4+4z +4z 2. 4 The spectrum as a weighted δ-vector and application to the computation of (weighted) Ehrhart polynomials In the first part of this section, we show that the Newton spectrum of a polytope counts weighted lattice points and in the second part we write down an algorithm in order to compute Ehrhart polynomials of reduced simplices. 4.1 The Newton spectrum of a polytope as a weighted δ-vector Once the spectrum at infinity of a Laurent polynomial is identified by the formula (5), the results of this subsection can be basically found in [10]. For the convenience of the reader we give selfcontained proofs. For the background about Ehrhart theory we refer to the book [2]. Let P be a full dimensional lattice polytope in R n and define, for a nonnegative integer l, L P (l) := Card((lP) M). Then L P is a polynomial in l of degree n (this is the Ehrhart polynomial) and we have Ehr P (z) := 1+ L P (m)z m = δ 0 +δ 1 z + +δ n z n (1 z) n+1 (9) m 1 where the δ j s are nonnegative integers. We will call Ehr P (z) the Ehrhart series of P. We will write δ P (z) := δ 0 +δ 1 z+ +δ n z n. With a slight abuse of terminology, δ P (z) is called the δ-vector of the polytope P. The Ehrhart polynomial of a polytope is extract from its δ-vector by the means of the formula ( ) ( ) ( ) ( ) z +n z +n 1 z +1 z L P (z) = δ 0 +δ 1 + +δ n 1 +δ n. (10) n n n n Following [10], one defines a weighted version of the δ-vectors. Let P be full dimensional lattice polytope in R n, containing the origin as an interior point, and let ν be its Newton function. The weight of v N is wt(v) := ν(v) ν(v) where denotes the ceiling function. For m N, let L α P (m) be the number of lattice points in mp of weight α and define δ α P (z) := (1 z)n+1 m 0L α P (m)zm. By the very definition, we have δ P (z) = α ] 1,0] δα P (z). Definition 4.1 The weighted δ-vector of the polytope P is δ wt P (z) := α ] 1,0] δα P (z)zα. Theorem 4.2 Let P be a full dimensional lattice polytope containing the origin as a interior point. Then, Spec P (z) = δ wt P (z). 7

8 In particular, the spectrum at infinity Spec f (z) of a convenient and nondegenerate Laurent polynomial f is equal to the weighted δ-vector δ wt P (z). Proof. Because v mp N if and only if ν(v) m, we get δp wt (z) = (1 z)n+1 ( z wt(v) )z m = (1 z) n+1 ( z ν(v) v )z m m 0 v mp m 0 ν(v) m = (1 z) n+1 m 0( ν(v) mz ν(v) v )z m = (1 z) n+1 ( z m v )z ν(v) v N ν(v) m = (1 z) n v N z ν(v) = Spec P (z). The last assertion follows from (5) and (6). To sum up, the spectrum at infinity of a Laurent polynomial counts weighted lattice points in its Newton polytope. Corollary 4.3 Let α ] 1,0] such that δp α (z) is not identically equal to zero. Then, with the notations of Proposition 2.4, the rational number α is equal to ν(v) ν(v) for a suitable v (Σ P ) N and δp α (z) = c0 v z ν(v) + +cv n dimσ(v) z ν(v) +n dimσ(v) (11) where c i v := dimh 2i (X( /σ(v)),q). Proof. Follows from Proposition 2.4 and Theorem 4.2. Corollary 4.4 Let α ] 1,0]. Then, 1. δp α (z) is a polynomial of degree at most n in z whose coefficients are nonnegative integers, 2. L α P is a polynomial of degree n (if not identically equal to zero) and ( ) ( ) ( z +n z +n 1 z +1 L α P(z) = δ0 α +δ1 α + +δn 1 α n n n if δ α P (z) = δα 0 +δα 1 z + +δα nz n. ) +δ α n ( ) z n Proof. Thefirstassertion follows fromcorollary 4.3 becausewherec i v := dimh 2i (X( /σ(v)),q) is a nonnegative integer and because ν(v) dim σ(v) (recall that the Newton spectrum is contained in [0, n], see Proposition 2.6). The second one is straightforward. The next observation is borrowed from [10]: Proposition 4.5 Let P be a full dimensional lattice polytope containing the origin as a interior point. Let δ P (z) := n k=0 δ kz k be the δ-vector of the P and let Spec P (z) := µ P be its Newton spectrum. Then, for k = 0,,n, the coefficient δ k is equal to the number of β i s, 1 i µ P, such that β i ]k 1,k]. (12) Proof. The result follows from Corollary 4.3 because δ P (z) = α ] 1,0] δα P (z). Using Proposition 2.6, we check that δ 0 = 1, δ 1 = Card(P N) (n+1) and δ 0 + +δ n = µ P where µ P is the Milnor number of P. 8

9 4.2 An algorithm to compute (weighted) Ehrhart polynomials and δ-vectors of reduced simplices Let P be a full dimensional lattice polytope in R n containing the origin in its interior. A general recipe in order to compute the δ-vector of P is now clear: compute the Newton spectrum of P and use Proposition 4.5. This provides an effective algorithm in order to compute the (weighted) δ-vectors and the (weighted) Ehrhart polynomials of a reduced simplex containing the origin as an interior point because the Newton spectrum of is known: compute the weight of (use equation (8)) and check that is reduced, compute the Newton spectrum of using Theorem 3.3, use Theorem 4.2, Corollary 4.4 and equation (11) in order to compute the weighted δ-vectors δ α (z) and weighted Ehrhart polynomials Lα (z), use Proposition 4.5 in order to get the δ-vector δ (z) := δ 0 +δ 1 z+ +δ n z n of and formula (10) in order to get the Ehrhart polynomial L (z) of. Here are some examples. Example 4.6 Let := conv((1,0,0),(0,2,0),(1,1,1),( 3, 5, 2)) in R 3. Its weight is Q( ) = (2,2,3,4) and is reduced. We have µ = 11 and Spec (z) = 1+z +z 2 +z 3 +z 5/4 +z 4/3 +z 1/2 +z 3/2 +z 5/2 +z 5/3 +z 7/4 by Theorem 3.3. Proposition 4.5 provides δ 0 = 1, δ 1 = 2, δ 2 = 6, δ 3 = 2 and we get L (z) = 1 6 (11z3 +6z 2 +13z +6). Example 4.7 (Example 3.5 continued) Let us consider the simplex := conv((1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1),( 1, 1, 1, 5)) in R 4. Its weight is Q( ) = (1,1,1,1,5) and is reduced. We have µ = 9 and Spec (z) = 1+z +z 2 +z 3 +z 4 +z 16/5 +z 12/5 +z 8/5 +z 4/5 by Example 3.5. Proposition 4.5 provides δ 0 = 1, δ 1 = 2, δ 2 = 2, δ 3 = 2, δ 4 = 2 and we get L (z) = 1 24 (9z4 +10z 3 +75z 2 +50z +24). We have also δ 0 (z) = 1+z+z2 +z 3 +z 4, δ 1/5 (z) = z, δ 2/5 (z) = z2, δ 3/5 (z) = z3, δ 4/5 (z) = z4 and L 1/5 (z) = 1 24 (z4 +6z 3 +11z 2 +6z), L 2/5 (z) = 1 24 (z4 +2z 3 z 2 2z), L 3/5 (z) = 1 24 (z4 2z 3 z 2 +2z), L 4/5 (z) = 1 24 (z4 6z 3 11z 2 6z), L 0 (z) = 1 24 (5z4 +10z 3 +55z 2 +50z +24). In particular, weighted Ehrhart polynomials may have negative coefficients. 9

10 Example 4.8 Let us consider the simplex := conv(e 0,e 1,,e n ) in R n where (e 1,,e n ) is the canonical basis of Z n and e 0 = ( 1,, 1) Z n. Its weight is Q( ) = (1,,1) and is reduced. We have µ = n+1 and Spec (z) = 1+z +z 2 + +z n. Proposition 4.5 provides δ 0 = δ 1 = = δ n = 1. This is a particular case of a reflexive polytope: see Proposition 5.1 for further details about reflexive polytopes. 4.3 Ehrhart polynomials of Newton polytopes of polynomials We give a few words about Newton polytopes of polynomials (and not Laurent polynomials). We briefly recall the framework. Thesupport of a polynomial g = m N n a mu m C[u 1,,u n ], where we write u m := u m 1 1 u mn n if m = (m 1,,m n ) N n, is supp(g) = {m N n, a m 0} and the Newton polytope of the polynomial g is the convex hull of {0} supp(g) in R n +. The toric Newton spectrum of g (or the toric Newton spectrum of its Newton polytope) is dim C gr N α α Q C[u 1,,u n ] g g (u 1 u 1,,u n u n ) zα, see [4, Definition 3.1]. Thanks to [4, Theorem 3.2], Theorem 4.2 and its corollaries (in particular Proposition 4.5) still hold, with the same proofs, for the toric Newton spectrum of the Newton polytope of a convenient and nondegenerate polynomials. This gives a recipe in order to calculate Ehrahrt polynomials of Newton polytopes of polynomials from their toric Newton spectrum. We give some examples. 1. Let := conv((0,0,0),(a,0,0),(0,b,0),(0,0,c)) wherea, b and carepositive integers. Itis thenewton polytopeof f(u 1,u 2,u 3 ) = u a 1 +ub 2 +uc 3. Its toric Newton spectrum is the sequence of the following rational numbers: 0, i a for 1 i a 1, i b for 1 i b 1, i c for 1 i c 1, i a + j b for 1 i a 1 and 1 j b 1, i a + j c for 1 i a 1 and 1 j c 1, for 1 i b 1 and 1 j c 1, i b + j c i a + j b + k c for 1 i a 1, 1 j b 1 and 1 k c 1. Its δ-vector is then given by Proposition 4.5. For instance, if a = 2, b = 3 and c = 3 we get δ 0 = 1, δ 1 = 10, δ 2 = 7, δ 3 = 0. If a = 1, b = 1 and c = 1 (this corresponds to the standard simplex in R n ) we get δ 0 = 1, δ 1 = = δ n = Let us consider the polytope in R 3 P := conv((0,0,0),(1,0,0),(0,1,0),(0,0,1),(1,1,h)) where h is an integer greater or equal to 2. This is a variation of Reeve s tetrahedron, see [2, Example 3.22]. It is the Newton polytope of f(u 1,u 2,u 3 ) = u 1 +u 2 +u 3 +u 1 u 2 u h 3 whose toric 10

11 Newton spectrum is equal to 1+z +z 2 + h 1 i=1 z1+ i h. Thus, δ 0 = 1, δ 1 = 1, δ 2 = h, δ 3 = 0 and L P (z) = 1 6 [(h+2)z3 +9z 2 +(13 h)z +6]. Notice that the coefficient of z is negative if h Reflexive polytopes and their Newton spectrum We give in this section various characterizations of reflexive polytopes involving their Newton spectrum. We show in particular that the spectrum of a polytope is equal to its δ-vector if and only if P is reflexive. Proposition 5.1 Let P be a polytope containing the origin in its interior and let δ P (z) = δ 0 + δ 1 z + +δ n z n be its δ-vector. Then the following are equivalent: 1. Spec P (z) is a polynomial, 2. P is reflexive, 3. Spec P (z) = δ P (z) := δ 0 +δ 1 z + +δ n z n. Proof Assumethat P is reflexive: if n belongs to thecone σ F supportedby the facet F, the Newton function of P is defined by ν : n < u F,n > where u F M by (3). By Proposition 2.4, Spec P (z) is a polynomial. Conversely, assume that Spec P (z) is a polynomial. Let F be a facet of P. Again by Proposition 2.4, the Newton function ν of P takes integral values on the fundamental domain (σ F ). It follows that ν takes integral values on σ F N and, by linearity, we get a Z-linear map ν σf : N σf Z where N σf is the sublattice of N generated by the points of σ F N. Because we have the isomorphism Hom Z (N σf,z) = M/σF M induced by the dual pairing between M and N, there exists u F M such that ν(n) = u F,n when n σ F. In particular, the equation of F is u F,x = 1 for u F M. Thus, P is reflexive Assume that Spec P (z) is a polynomial: by Proposition 4.5, δ i = Card{α Spec P, α = i} thus Spec P (z) = δ P (z). Conversely, if Spec P (z) = δ P (z) the Newton spectrum is obviously a polynomial. Remark 5.2 Reduced simplices give also numerous basic (counter-)examples. For instance, if n = 2, the properties of Proposition 5.1 are also equivalent to the fact that P has exactly one point in its interior (this follows immediately from Proposition 2.6). This is no longer true if n 3: let = conv(e 0,e 1,e 2,e 3 ) where e 0 = ( 1, 1, 2) and (e 1,e 2,e 3 ) denotes the standard basis of Z 3. We have Spec (z) = 1+z+z 3 2 +z 2 +z 3 and P has no interior points except the origin, otherwise there would be a rational power in the Newton spectrum contained in ]0,1[ by Proposition 2.6. But P is not reflexive because Spec (z) is not a polynomial. We finish with another characterization of reflexive polytopes that completes the panorama if n = 2. It is well-known that µ P +µ P = 12 if P is a two dimensional reflexive polytope, but we have a little bit more. We will say that a polytope is Fano if its vertices are primitive elements of N. 11

12 Proposition 5.3 Let P be a Fano polytope in R 2, containing the origin as an interior point. Then, µ P +µ P 12 (13) and if and only if P is reflexive. µ P +µ P = 12 (14) Proof. Assume that P is Fano. Then, by [5, Theorem 8.1], µ P i=1 (β i 1) 2 = µ P 6 + µ P 6 where Spec P (z) = µ P is the Newton spectrum of P and we get (13) because β min = 0 and β max = 2 by Proposition 2.6 (we denote by β min the minimal rational number in the spectrum and by β max the maximal one). And (14) holds if and only if β min = 0, β max = 2 and β i = 1 otherwise, that is if and only if P is reflexive by Proposition 5.1. (15) References [1] Batyrev, V.: Stringy Hodge numbers of varieties with Gorenstein canonical singularities, In: M-H Saito (ed.) et al., Integrable Systems and Algebraic Geometry, Proceedings of the 41st Taniguchi Symposium, Japan 1997, World Scientific, 1998, p [2] Beck, M., Robbins, S.: Computing the continuous discretely, Springer, New York, [3] Conrads, H. : Weighted projective spaces and reflexive simplices, Manuscripta Math., , p [4] Douai, A.: A note on the Newton spectrum of a polynomial, arxiv: [5] Douai, A.: Global spectra, polytopes and stacky invariants, Math. Z., 288 (3), 2018, p [6] Douai, A., Sabbah, C.: Gauss-Manin systems, Brieskorn lattices and Frobenius structures I, Ann. Inst. Fourier, 53 (4), 2003, p [7] Douai, A., Sabbah, C.: Gauss-Manin systems, Brieskorn lattices and Frobenius structures II, In : Frobenius Manifolds, C. Hertling and M. Marcolli (Eds.), Aspects of Mathematics E 36 (2004). [8] Kouchnirenko, A.G.: Polyèdres de Newton et nombres de Milnor, Invent. Math. 32, 1976, p [9] Sabbah, C.: Hypergeometric periods for a tame polynomial, Portugalia Mathematicae, 63, 2006, p [10] Stapledon, A.: Weighted Ehrhart Theory and Orbifold Cohomology, Adv. Math., 219, 2008, p