Lorentzian Lattices and E-Polytopes

We consider certain En-type root lattices embedded within the standard Lorentzian lattice Zn+1 (3 ≤ n ≤ 8) and study their discrete geometry from the point of view of del Pezzo surface geometry. The lattice Zn+1 decomposes as a disjoint union of affine hyperplanes which satisfy a certain periodicity. We introduce the notions of line vectors, rational conic vectors, and rational cubics vectors and their relations to E-polytopes. We also discuss the relation between these special vectors and the combinatorics of the Gosset polytopes of type (n− 4)21.


Introduction
Lattices and their related discrete geometry appear naturally in the study of algebraic surfaces.In this context, the Picard group Pic(S) of a del Pezzo surface S is a typical example of Lorentzian lattice, determining, in turn, a root lattice with Weyl group W of E-type [1 -7].Special divisor classes in Pic S, such as lines, rulings and exceptional systems are of interest [5][6][7].The convex hull of the set of lines is a Gosset polytope and some special divisor classes correspond to the facets of these Gosset polytopes [3,5].Such divisor classes were studied in [6].The present article builds on this work.
Consider the Lorentzian lattice Z n+1 (3 ≤ n ≤ 8) with signature (1, n), identified geometrically with H 2 (S, Z) where S is a general del Pezzo surface of degree 9 − n.This lattice carries a canonical element K n with length (K n , K n ) = 9 − n.The orthogonal sub-lattice K ⊥ n turns out to be a root lattice of E n -type, in the terminology of [3].We study the affine lattice hyperplanes Λ a n consisting of lattice elements D with (D, K n ) = a.We prove an identification between Λ a n and elements of the discriminant group K ⊥ n ∨ /K ⊥ n .This fact is used to explain a periodicity appearing in the lattice structure on Λ a n .Motivated by considerations in [6], we introduce the notions of lines, rational conic vectors and rational cubics as elements in Z n+1 ⊗ Q.These special elements form orbits under the action of the Weyl group W n and their lattice structures are and naturally related to the ones of certain E n -polytopes, such as the Gosset polytopes (n − 4) 21 , 2 (n−4)1 , 1 (n−4)2 .We compute the total numbers of these subsets via theta series associated with root lattices and their duals.
We also consider lattice elements that can be written as sum of lines and study the configurations of lines analog to the discrete geometry of the Gosset polytopes.As an application, we show that each root d in K ⊥ n can be written as a difference of two distinct perpendicular lines.In the next article, we will consider certain type of K3 surfaces related to del Pezzo surfaces via the involutive automorphism.The lattice structures of the K3 surfaces are also Lorentzian ones with Weyl action, and play key roles to understand the geometry of K3 surfaces.We expect the study of E-polytopes of del Pezzo surfaces can be extended to the discrete geometry of K3 surfaces.
We denote by (, ) the lattice inner product.We shall refer to (v, v) as the length of the lattice point v.
Motivated by the geometry of del Pezzo surfaces in algebraic geometry, we consider the following specific integral vector K n := −3e 0 + e 1 + ... + e n which we shall refer to as the canonical vector.We also restrict the range of the parameter n to 3 It follows that the restricted inner product ( . ) on K ⊥ n is negative definite and K ⊥ n is in fact a root lattice (see [3,4]) with a root system given by: The overall number of roots is as given below: with an associated Dynkin diagram of E n -type (see [3,5,6]): We shall therefore refer to the list below as the extended list of E n 's: Again borrowing terminology from algebraic geometry, we shall refer to the product as the degree of a vector D. The length and degree of a vector D in Z n+1 satisfy the inequality This follows from the Lemma below (the backwards Cauchy-Schwartz in Lorentzian setting).
Lemma 1.Let v in Z n+1 with positive length.Then any D in Z n+1 satisfies, The equality holds if and only if D and v are scalar multiple of each other.
Proof.Since v has positive length, every point of its orthogonal complement {v} ⊥ ⊂ Z n+1 ⊗ R has non-positive length.Hence: The needed inequality follows.
Next, we introduce the fixed-degree hyperplanes Λ r n ⊂ Z n+1 defined as In particular, Λ 0 n is the root lattice K ⊥ n .Consider furthermore the subsets M r n of Z n+1 ⊗ Q defined by Lemma 2. The following statements hold: (1) M r n is a subset of the dual lattice K Proof.
(1) Note that, for each u in Λ r n , we have (2) Note that, for any two We note that Lemma 2 above provides a canonical group morphism: which associates to any fixed-degree subset Λ r n a coset v + K ⊥ n .Here, denotes the discriminant group of the negative-definite root lattice K ⊥ n , which is known to be a cyclic group of order 9 − n.One can easily see that the morphism ϕ is surjective.
Let us also note that the choice of v in M r n representing the coset may be selected in a canonical way.Consider the basis of simple roots n , as introduced earlier.Then: where Gram is the n × n symmetric matrix whose (i, j) entry is given by the pairing (d i , d j ) of the corresponding simple roots.Consider, in addition, the following concept, as introduced, for instance, in [8], Section 4: Definition 1.The fundamental parallelepiped associated with B is, by definition: We then have the following: Proof.We know that each element w in M r n has a unique decomposition In fact, the element u o is independent of the choice of w.Indeed, let w and w be two elements in M r n with decompositions: By the uniqueness of the decomposition, it follows that Remark 1.Note that the above provides then a one-to-one correspondence between In particular: The above considerations, in connection with Theorem 1, uncover to the following periodic feature of the lattice hyperplanes Λ r n .
In particular, one has a canonical one-to-one (translation) correspondence between Λ r 1 n and Λ r 2 n .
We may conclude therefore that the disjoint union carries a periodicity modulo 9 − n.For instance, for each n between 3 and 8, the hyperplane Λ 9−n n is the translation of the root lattice K ⊥ n by the lattice point −K n .

Fundamental Lattice Vectors
As already mentioned in the previous section, the action of the Weyl group W n preserves the length and degree of a vector D in Z n+1 .Therefore, W n acts on each given subset consisting of integral vectors in Z n+1 with fixed length and degree.
Following up again on ideas from algebraic geometry, we shall refer to the quantity: as the arithmetic genus of the integral vector D. In particular, by a slight abuse of terminology, we shall refer to integral vectors D satisfying In what follows, we shall study the sets of rational vectors of low positive degrees: 1, 2 and 3.
Certain relations connecting these objects to the theory of semiregular polytopes (as studied in [3,[5][6][7]) will be discussed.Note that the set of the rational vectors D with deg D = 0 is precisely R n -the set of roots in K ⊥ n .

Lines
We shall refer to vectors l ∈ Z n+1 satisfying deg(l) = 1 and (l, l) = −1 as lines.The set of all lines: is finite and lies within the hyperplane Λ 1 n .As discussed in the previous section, one has: One obtains: One can determine then the size of the set L n via the standard arguments of Conway-Slone [9].The relevant quantity is the coefficient of degree For instance, the lines in L 7 appear as: The coefficient of degree 3/2 in the theta series of the dual lattice of E 7 is 56 (see [5,9]) and hence, |L 7 | = 56.Similar arguments led one to the following list: We note that the above |L n | list matches with a combinatorial count of a different nature-the number of vertices of Gosset polytopes (n − 4) 21 .These are certain n-dimensional (n = 3, 4, 5, 6, 7, 8) semiregular polytopes discovered by Gosset [10,11].The Coxeter groups of (n − 4) 21 are known to be of E n -type, with associated Coxeter-Dynkin diagram given as follows.
Note that the vertex figure of (n − 4) 21 is (n − 5) 21 .For n = 3, the facets of the (n − 4) 21 -polytope consist of regular simplexes α n−1 and crosspolytopes β n−1 , but all the lower dimensional subpolytopes are regular simplexes.Coxeter referred to 4 21 , 3 21 and 2 21 as Gosset polytopes but the Gosset polytope list may be expanded according to our E n list.Note that the Gosset polytope (−1) 21 has an isosceles (non-equilateral) triangle as the vertex figure (see [5]).
Connecting with the Conway-Slone theta arguments, one observes (see [5]) that the subset L n is acted upon transitively by the Weyl group W n .Via the Weyl action, one constructs then a Gosset polytope (n − 4) 21 in Λ 1 n as a convex hull of L n in Λ 1 n ⊗ Q.One obtains: Theorem 2 (Theorem 4.2 in [5]).The lines of L n correspond bijectively to the vertices of a Gosset polytope

Rational Conic Vectors
We shall refer to rational vectors a ∈ Z n+1 with deg(a) = 2 as rational conics.In the context of Del Pezzo surfaces in algebraic geometry, these lattice vectors are associated with rulings.We shall denote their set here by: Con n are finite sets.As with the previous discussion, |Con n | may be read via the Conway-Sloane argument ( [5,9]), from the degree 4/(9 − n) coefficient of the appropriate theta series of the dual E ∨ n lattice.For example, if we consider n = 8, the root lattice K ⊥ 8 is E 8 and hence self-dual.The appropriate theta series is then: where σ r (m) = ∑ d|m d r .The elements in Con 8 correspond to the lattice points of self-pairing 4/(9 − 8) = 4 and hence |Con n | is the coefficient of q 4 , namely 240(1 + 2 3 ) = 2160.In a similar manner, one computes all |Con n | for 3 ≤ n ≤ 8 as follows: The rational conic vectors form a single orbit under the action of the Weyl group W n .They also correspond to the (n − 1)-crosspolytopes of the Gosset polytope (n − 4) 21 , which form one of the two possible types of facets on (n − 4) 21 .We refer the reader to [5] for the details.
We also note that for each conic vector a can be written as a formal sum: where l a 1 , l a 2 are two lines satisfying (l a 1 , l a 2 ) = 1.In terms of the crosspolytope interpretation, the two lines l a 1 , l a 2 correspond to two antipodal vertices of the (n − 1)-crosspolytope associated with the conic vector a.Since there are precisely (n − 1) pairs of antipodal vertices in a given (n − 1)-crosspolytope, it follows that, for each conic vector a, one concludes (see [5]) that there are precisely (n − 1) pairs of lines l a 1 , l a 2 as above.Let us also recall the following result: Lemma 3 (Ref.[5] Lemma 5.6).Let a and l be a rational conic vector and a line in Z n+1 , respectively.Then, one has: (1) The line l corresponds to a vertex of the (n − 1)-crosspolytope associated with a if and only if (l, a) = 0. (2) Assume a = l a 1 + l a 2 where l a 1 and l a 2 are lines.Then the line l corresponds to a vertex of the (n − 1)-crosspolytope associated with a if and only if (l, l a 1 ) = (l, l a 2 ) = 0.
The vertex figure of 2 (n−4)1 is an (n − 1)-demicube.Moreover, assuming n = 3, the facets of 2 (n−4)1 are regular either simplexes α (n−1) or semiregular polytopes of type 2 (n−5)1 .It follows then (see [7]) that the convex hull of Con n in the hyperplane Remark 3. Note that, by Corollary 1 in the n = 7 context, the hyperplane Λ 2 7 is in an one-to-one correspondence with to root lattice Λ 0 7 = K ⊥ 7 .Under this mapping, the set of rational conics Con 7 in Λ 2 7 corresponds (via a → a + K 7 ) to the set of roots R 7 .The root polytope (convex hull of R 7 in K ⊥ 7 ⊗ Q) is then 2 31 , as more generally stated earlier.

Rational Cubic Vectors
We shall refer to rational vectors b in Z n+1 with deg b = 3 as rational cubic vectors.The set of all such rational cubics is a finite sets and its cardinal |Cub n | may again be determined via the Conway-Sloane procedure [5,9]  by finding the coefficient of degree The following Lemma of [5] establishes a combinatorial relationship between rational cubic vectors and configurations of n mutually orthogonal lines.Lemma 4 (Ref. [5]Theorem 5.3).Let b be a rational cubic vector in Z n+1 .One has: (1) If 3 ≤ n ≤ 7, then 3b + K n can be written as a sum of n lines l 1 , l 2 , • • • l n with (l i , l j ) = 0 for i = j.Conversely, for each configuration l 1 , l 2 , • • • l n of mutually orthogonal lines, Based on the above, we see that for 3 ≤ n ≤ 7, the set Cub n forms an orbit of the Weyl group action.Moreover, elements of Cub n (n = 8) correspond bijectively to (n − 1)-simplexes in the Gosset polytope (n − 4) 21 .The case n = 8 is special.Now Cub 8 partitions into two W 8 -orbits.One orbit is in bijective correspondence with the root set in R 8 .The other orbit corresponds to the set of 7-simplexes in the Gosset polytope 4 21 .One has: Let us also note that, for 3 ≤ n ≤ 7, the elements of Cub n are in bijective correspondence with the vertices of the 1 (n−4)2 polytope.These n-dimensional polytopes are convex and semiregular.Their symmetry groups are the Coxeter groups E n , and can be constructed as in the following diagram: Note that the vertex figure of 1 (n−4)2 is a birectified n-simplex.For n = 3, the facets of 1 (n−4)2 are either semiregular polytopes 1 (n−5)2 or (n − 1)-demicubes.
We also note that, assuming n = 8, the convex hull of Cub n in Λ 3 n ⊗ Q is 1 (n−4)2 .We refer the reader to [7], for the details.
A particular situation worth mentioning is also the case of rational cubics of n = 6.In this case, via Corollary 1, Λ 3  6 is in bijective correspondence (v → v + K 6 ) with the root lattice Λ 0 6 = K ⊥ 6 .Under this correspondence, Cub 6 maps to the set of roots R 6 .As predicted above, the root polytope (convex hull of R 6 in K ⊥ 6 ⊗ Q) is 1 22 .

Line Configurations
In this section, we study lattice vectors D in Z n+1 that can be written as formal sums of lines: As noted in earlier works [5][6][7]12] by the second author, if one pre-sets the lattice pairings between the lines l 1 , ..., l k , the set of possible D s and the set of possible line configurations carry deep and interesting symmetries involving the Weyl groups W n and the discrete subpolytope geometry of Gosset polytopes (n − 4) 21 .

Lattice Pairings of Lines
Let us collect a few facts pertaining to lattice pairings associated with line vectors.These will be applied to a study of root configurations in the next section.Note that certain aspects of these facts concerning the geometry of del Pezzo surfaces may be found in [5,6].
We begin by noting that, given two lines l 1 and l 2 in Z n+1 , one has: This follows via applying Lemma 1 successively to vectors l 1 + l 2 and l 1 − l 2 , respectively.We also observe that one can have (l 1 , l 2 ) = −1 if and only if l 1 = l 2 , as in this situation l 1 − l 2 is a vector in K ⊥ n of null self-pairing.
The case of (l 1 , l 2 ) = 0 has interesting combinatorial interpretations.In this situation, the lines l 1 , l 2 correspond to a pair of vertices joined by an edge in the Gosset polytope (n − 4) 21 .This fact may be seen via considerations in Theorem 2. Following this line of thought, we shall refer such an unordered pair {l 1 , l 2 } as an edge.The set of all edges: A n := {{l 1 , l 2 } | l 1 , l 2 ∈ L n , (l 1 , l 2 ) = 0 } .has then a cardinal given as follows: Moreover, as discussed in [5], for any edge {l 1 , l 2 } the lattice vector l 1 + l 2 gives the edge barycenter and the barycenter set Remark 5.In the geometry of del Pezzo Surfaces, the lines discussed here play key roles in the cohomology of blow-up and blow-down transformations.For a fixed line l ∈ L n the "blow-down" of L n via l can be viewed as l ⊥ ∩ L n , set that can be naturally identified with L n−1 .Since elements of L n is corresponded to the vertices of Gosset polytope (n − 4) 21 , the identification l ⊥ ∩ L n = L n−1 is equivalent to the fact that the vertex figure of the Gosset polytope (n − 4) 21 gives the Gosset polytope (n − 5) 21 .This interesting interplay between the Del Pezzo surface geometry and the combinatorics of the associated Gosset polytopes will be discussed in a subsequent work.
|R n | 12 20 40 72 126 240 Total numbers of the roots of R n A set of simple roots in R n is constructed as: the edges in Gosset polytopes (n−4) 21 Ãn := {l 1 + l 2 | l 1 , l 2 ∈ L n , (l 1 , l 2 ) = 0}is in one-to-one correspondence with A n .The elements in Ãn are lattice vectors D in Z n+1 satisfying(D, D) = −2 and (D, K n ) = −2, Then b satisfies b • l i = 0 for each i, and (b − l 1 − l 2 − l 3 ) • (l i − l i+1 ) = 0 for each i = 3.Thus we conclude d 0 = b − l 1 − l 2 − l 3 , d i = l i − l i+1 , 1 ≤ i ≤ n − 1,are simple roots of E n root.This gives the Corollary.
Note, for instance, that, by Corollary 1, Λ 1 8 is a translation of the root lattice Λ 0 8 = K ⊥ 8 .The lines in L 8 in Λ 1 8 are then bijectively matched to the set of roots R 8 in Λ 0 8 .The root polytope (convex hull of R 8 in K ⊥ 8 ⊗ Q) is then the Gosset polytope 4 21 .