E-Polytopes in Picard Groups of Smooth Rational Surfaces

In this article, we introduce special divisors (root, line, ruling, exceptional system and rational quartic) in smooth rational surfaces and study their correspondences to subpolytopes in Gosset polytopes k21. We also show that the sets of rulings and exceptional systems correspond equivariantly to the vertices of 2k1 and 1k2 via E-type Weyl action.


Introduction
Rational surfaces are complex surfaces birational to P 2 .According to the classification of surfaces [1], the minimal surfaces of smooth rational surfaces are either a projective plane P 2 or a Hirzebruch surface F. In particular, the typical examples of del Pezzo surfaces, which are smooth surfaces S r with the ample anticanonical divisor class −K S r , are obtained by blowing up r (<9) points of P 2 in general position.Del Pezzo surfaces have drawn the attention of mathematicians and physicists because of their geometries and dualities involving mysterious symmetries.For example, the special divisor classes l (called lines) of a del Pezzo surface S r satisfying l 2 = l • K S r = −1 are bijectively related to the vertices of Gosset polytopes (r − 4) 21 , which are one type of semiregular polytopes given by the action of the E r symmetry group (called E-polytopes).The well-known 27 lines in a cubic surface S 6 are bijectively related to the vertices of a Gosset 2 21 obtained by an E 6 -action, and it is well known that the configuration of the 27 lines can also be understood via the action of the Weyl group E 6 [2,3].Coxeter [4] applied the bijection between the lines of S 6 and the vertices in 2 21 to study the geometry of 2 21 .The complete list [5] of bijections between lines in del Pezzo surfaces S r and vertices in Gosset polytopes (r − 4) 21 is well known, and the bijections play key roles in many different research fields [6][7][8].In particular, the classical application appeared in the study by Du Val [9].
The first author constructed Gosset polytopes as convex hulls in the Picard group Pic(S r ) and extended the bijections between lines and vertices to correspondences between special divisors in the del Pezzo surface S r and subpolytopes in (r − 4) 21 via the Weyl E r -action.correspondences were applied to study the geometry of del Pezzo surfaces and the geometry of Gosset polytopes [10][11][12].
We consider the special divisor classes D of del Pezzo surfaces S r [10][11][12], which are rational with self intersection D 2 = −2, −1, 0, 1, 2 (called root, line, ruling, exceptional system, quartic rational divisor, respectively).Here, the rulings of del Pezzo surfaces S r are P 1 -fibrations of S r , and the exceptional systems produce rational maps from S r to P 2 .In fact, one can define these special divisor classes in a smooth projective variety S. We define the following special divisor (class) in Pic(S): For each root d in R(S), we consider a reflection σ d on (ZK S ) ⊥ in Pic(S) as defined by Since each reflection σ d preserves the intersection of divisors and fixes the canonical divisor K S , the action of the reflection σ d can be extended naturally to the whole Picard group Pic(S).Therefore, the Weyl group W(S) generated by the reflections on (ZK S ) ⊥ acts on Pic(S), and it acts on each set of special divisors.In this article, we consider the surfaces S whose Weyl groups are of E n -type whose extended list is given as follows.
For rational surfaces S, we add a condition K 2 S > 0 so that the intersection is negative definite on each affine hypersurface given as In [10], the first author showed that the set of lines L(S r ) ⊂ H 1 (S r ) of del Pezzo surfaces S r turns out to be an orbit of an E r+4 -action, and its convex hull in Pic(S r ) ⊗ Q is the Gosset polytope (r − 4) 21 .Therefore, he obtained equivariant correspondences between the special divisors and the subpolytopes in Gosset polytopes and studied the geometry of del Pezzo surfaces, such as the configurations of lines [10][11][12].
One can ask to extend the class of surfaces from del Pezzo surfaces to rational surfaces (with a condition K 2 > 0 on the canonical divisor class K) and the class of E-polytopes from Gosset polytopes related to lines to other E-polytopes related to the special divisors.In this article, we give a summary of the first author's works [10][11][12] on the special divisors of del Pezzo surfaces and the subpolytopes in Gosset polytopes via Weyl actions and provide an extension of the studies on del Pezzo surfaces to the rational surfaces given as the blowing up of Hirzebruch surfaces.We also extend the family of E-polytopes from Gosset polytopes of lines to other E-polytopes of special divisors.As a matter of fact, the extension of [10][11][12] to the blowing up of Hirzebruch surfaces is so natural that most results are parallel to [10][11][12].However, there are interesting characterizations different from the studies on del Pezzo surfaces appearing along the monoidal transformation of Hirzebruch surfaces.In this article, we announce the parallel results on fundamental issues without details.The studies related to the monoidal transformation of the blowing up of Hirzebruch surfaces will be explained in [13].For the extension of families of E-polytopes, we consider families of polytopes 2 k1 and 1 k2 related to rulings and exceptional systems, respectively.Further studies on correspondences between subpolytopes in 2 k1 and 1 k2 and divisors in rational surfaces will be described in other articles.

Preliminary
2.1.Smooth Rational Surfaces with K 2 > 0 In this article, we consider smooth rational surfaces S with the condition K 2 S > 0. By the classification of surfaces [1], each smooth rational surface has a minimal surface, a projective plane P 2 , or a Hirzebruch surface F. In this article, we only consider the blow-ups of the projective plane P 2 and the Hirzebruch surface F in general position.In fact, the studies of the blow-ups of the Hirzebruch surface F in general position have not done much so that there are no typical descriptions of the general positions of points in F. Below, we give a description of the blow-ups of the Hirzebruch surface F in general position matching our purpose.
First, we consider the smooth rational surface S with K 2 S > 0 whose minimal surface is P 2 .We have a birational morphism ρ : S −→ P 2 decomposed by contractions ρ j : S j −→ S j−1 , j = 1, 2, . . ., r of (−1)-curves e j (i.e., ρ , where S r = S and S 0 = P 2 .We remark that each e j , j = 1, 2, . . ., r can be obtained by a blow-up of a point p j on S j−1 .The blow-ups at points p j , j = 1, 2, . . ., r allow infinitely near ones on P 2 .When the points p j , j = 1, 2 . . ., r on P 2 are in general position, we call S a del Pezzo surface with a degree K 2 S = 9 − r > 0 whose anticanonical divisor −K S is ample.We denote by e j , j = 1, 2, . . ., r − 1 the total transforms of (−1)-curves e j by , and e r := e r .Then, the Picard group of S is generated by h and e j , j = 1, 2, . . ., r (i.e., Pic(S) = Zh Ze 1 • • • Ze r ), where h is a pull-back of a line in P 2 by ρ.Note that the canonical divisor K S ≡ −3h + e 1 + e 2 + • • • + e r , and r ≤ 8 since K 2 S = 9 − r > 0. Also, we deal with a smooth rational surface X with K 2 X > 0 whose minimal surface is a Hirzebruch surface F. As above we denote a birational morphism ρ : X −→ F decomposed by contractions ρ j : , where F r = X and F 0 = F; moreover, we have a map ϕ : F −→ P 1 , which gives a fibration ϕ := ϕ • ρ : X −→ P 1 .We denote by f and s a general fibre of ϕ and the special section of ϕ whose self-intersection number is a nonpositive integer −p, respectively.We use F p,r instead of F r unless there is no confusion.When we consider the contraction ρ j of e j as a (possibly infinitely near) blow-up of a point p j on F j−1 , the point p j is located in the special section s j−1 on F j−1 or not.If p j is not a point in s j−1 then s 2 j = s 2 j−1 .On the other hand, if p j is a point in s j−1 then s 2 j = s 2 j−1 − 1.Thus, we define that distinct points p j+1 , p j+2 , . . ., p r are located on F −s 2 j ,j := F j in general position if each point p k , k = j + 1, . . ., r is not in a special section s j (s 2 j = 0) and there are no two points As above, we denote by e j , j = 1, 2, . . ., r − 1 the total transforms of (−1)-curves e j by ρ j+1 , and e r := e r .Then the Picard group of X is generated by f , s and e j , j = 1, 2, . . ., Remark 1.We can consider an isometric isomorphism ψ : Pic(F p,r−1 ) −→ Pic(S r ) for r = 3, 4, . . ., 8 defined by Then ψ preserves intersection pairings, root systems and the canonical divisor classes between Pic(F p,r−1 ) and Pic(S r ).Note the isometric isomorphism in the proof of Lemma 3.2 in [14].Thus, we can naturally extend the correspondence between the special divisors of a del Pezzo surface S r and the subpolytopes of a Gosset polytope to one for F p,r−1 .Because the correspondence was established for a del Pezzo surface in [10,12] at first, we use the argument of [10,12] in Sections 3 and 4 to present the original idea, although we have the isometric isomorphism ψ.

ADE-Polytopes
The polytopes under consideration in this article are characterized by the highly nontrivial symmetries given by Coxeter groups.Moreover, the polytopes are determined by the corresponding Coxeter-Dynkin diagrams.In this subsection, we introduce the general theory of regular and semiregular polytopes according to their symmetry groups and the corresponding Coxeter-Dynkin diagrams.In particular, we consider a family of semiregular polytopes known as the Gosset polytopes, (k 21 according to Coxeter), 2 k1 and 1 k2 .Here, we only present a brief introduction; for further detail, refer to [10,15].

Regular and Semiregular Polytopes
Let P n be a convex n-polytope in an n-dimensional Euclidean space.For each vertex O of P n , when the set of midpoints of all the edges emanating from the vertex O in P n is contained in an affine hyperplane, the set consists of the vertices of an (n − 1)-polytope.This (n − 1)-polytope is called the vertex figure of P n at O. A regular polytope P n (n ≥ 2) is a polytope whose facets and the vertex figure at each vertex are regular.Thus, the facets of a regular P n are all congruent, and the vertex figures are the same.We also call a polytope P n a semiregular one if its facets are regular and the symmetry group of P n acts transitively on the vertices of P n .Here we consider two kinds of regular polytopes, a regular simplex and a crosspolytope.A regular simplex α n is an n-dimensional simplex with equilateral edges, and a crosspolytope β n is an n-dimensional polytope whose 2n-vertices are the intersections between an n-dimensional Cartesian coordinate frame and a sphere centered at the origin.Below we also consider three kinds of families of semiregular polytopes given by Weyl action of E n .

Coxeter-Dynkin Diagrams
Reflection groups generated by the reflections with respect to hyperplanes (called mirrors) are called Coxeter groups, and the relationships among generating reflections are presented in the Dynkin diagrams of Coxeter groups.
The Coxeter-Dynkin diagrams of Coxeter groups are graphs with labels where their nodes present indexed mirrors and the labels on edges present the order n, which is the dihedral angle π n between two mirrors.If n = 2, namely, two mirrors are perpendicular, we denote it as no edge joining two nodes presenting the corresponding mirrors.This also implies that the corresponding mirrors commute.For n = 3, since the dihedral angle π 3 appears very often, we denote it with an edge between two nodes without labels.We only label the edges when the corresponding order is n > 3.Each Coxeter-Dynkin diagram contains at least one ringed node which represents an active mirror; i.e., we choose a point off the mirrors corresponding to the ringed nodes, and on the mirrors corresponding to the nodes without rings.The construction of a polytope begins with reflecting the point by the active mirrors.

ADE-Type Coxeter Groups and Isotropy Groups
We consider Coxeter groups of ADE-type, and we call the polytopes given by Coxeter groups of ADE-type ADE-polytopes.In fact, the Coxeter-Dynkin diagrams of polytopes in this article have only one ringed node and no labeled edges.For these cases, the following simple procedure using the Coxeter-Dynkin diagrams describes possible subpolytopes and gives the total number of them.Each Coxeter-Dynkin diagram of subpolytopes P is the connected subgraph Γ of the diagram containing the ringed node.The subgraph obtained by removing all the nodes joined with the subgraph Γ represents the isotropy group G P of P. Furthermore, the index between the symmetry group G of the ambient polytope and the isotropy group G P gives the total number of such subpolytopes.For example, by removing the ringed node, we obtain the subgraph corresponding to the isotropy group of a vertex where the isotropy group is the symmetry group of the vertex figure.
In fact, the complete list of ADE-polytopes consists of various polytopes given by ADE Weyl action.However, we consider only a few of them related to the studies in this article as below.

ADE-Polytopes
(1) (A-polytope) A regular simplex α n is an n-dimensional simplex with equilateral edges.Inductively, α n is constructed as a pyramid based on an (n − 1)-dimensional simplex α n−1 .The facets of a regular simplex α n are regular simplexes α n−1 , and the vertex figure of α n is also α n−1 .For a regular simplex α n , only regular simplexes α k , 0 ≤ k ≤ n − 1 appear as subpolytopes.
Coxeter-Dynkin diagram of α n (2) (D-polytope) A crosspolytope β n is an n-dimensional polytope whose 2n-vertices are given as the intersections between an n-dimensional Cartesian coordinate frame and a sphere centered at the origin.β n is also inductively constructed as a bipyramid based on an (n − 1)-dimensional crosspolytope β n−1 , and the n-vertices in β n form a simplex α n−1 if any two vertices are not chosen from the same Cartesian coordinate line.The vertex figure of a crosspolytope β n is also a crosspolytope (5) (E-polytope) 1 k2 (k = −1, 0, 1, 2, 3, 4) are semiregular polytopes which are (k + 4)-dimensional polytopes whose symmetry groups are the Coxeter groups E k+4 .Here the vertex figure of 1 k2 is a birectified (k + 4)-simplex.For k = −1, the facets of 1 k2 -polytopes are the semiregular polytopes 1 (k−1)2 and (k + 3)-demicubes, but all the lower dimensional subpolytopes are regular simplexes.

Del Pezzo Surfaces and Gosset Polytopes
A del Pezzo surface is a smooth rational surface whose anticanonical divisor is ample.All del Pezzo surfaces are S r , a blow-up of P 2 at r points in general position, for r = 0, 1, . . ., 8 and P 1 × P 1 .
To define reflections on (ZK S r ) ⊥ in Pic(S r ), we consider a root system: With a choice of simple roots we have a Weyl group W(S r ) of E r -type with the Dynkin diagram: In [10] we obtained correspondences between special divisors on del Pezzo surfaces S r and the faces of Gosset polytopes (r − 4) 21 .For this purpose we define affine hyperplane sections in Pic(S r ) ⊗ Q as where b is a real number.
After fixing a center −b Sr K S r in Hb (S r ), for each divisor D ∈ Hb (S r ) we obtain = 0 by Hodge index theorem and K 2 S r > 0. Therefore, we get a negative definite norm in Hb (S r ) induced by the intersection product when we fix a center −b in Hb (S r ).
Then, by applying reflections defined by the roots for the lines of del Pezzo surfaces S r , we obtained the following theorem (in [10]) about the vertices of Gosset polytopes (r − 4) 21 in H1 (S r ) ⊂ Pic(S r ) ⊗ Q: Theorem 2 (Theorem 4.2 in [10]).For each del Pezzo surface S r , the set L(S r ) of lines on S r is the set of vertices of a Gosset polytope (r − 4) 21 in a hyperplane section H1 (S r ).
Remark 3. In fact, the convex hull of the set L(S r ) of lines in H1 (S r ) is the polytope (r − 4) 21 .
We consider the set of skew a-lines defined by The following theorem gives a correspondence among the exceptional systems of S r , the (r − 1)-simplexes of (r − 4) 21 , and the skew r-lines of S r .
After we observe the bijections between exceptional systems in del Pezzo surfaces and the top degree simplexes in (r − 4) 21 except for r = 8, we deduced the following theorem (in [10]).Theorem 4 (Theorem 5.3 in [10]).When 3 ≤ r ≤ 8, each (r − 1)-simplex in (r − 4) 21 corresponds to an exceptional system in the del Pezzo surfaces S r .Moreover, for 3 ≤ r ≤ 7, the Weyl group W(S r ) acts transitively on E (S r ); i.e., the set of exceptional systems in the del Pezzo surface S r .Finally E (S r ) is bijective to L r (S r ), the set of skew r-lines in Pic(S r ).
Remark 5. To explain the correspondence, we consider a transformation Φ (e) = K S r + 3e from E (S r ) to L r (S r ) which satisfies Φ (e) Also, we had correspondences between rulings of S r and (r − 1)-crosspolytopes of (r − 4) 21 in [10]: Theorem 6 (Theorem 5.4 in [10]).For each ruling f in a del Pezzo surface S r , 3 ≤ r ≤ 8, there is a pair of lines l 1 and l 2 with l 1 • l 2 = 1 such that f is equivalent to the sum l 1 + l 2 .Furthermore, the set of rulings in S r is bijective to the set of (r − 1)-crosspolytopes in (r − 4) 21 and is acted transitively upon by the Weyl group W(S r ).
One can observe that there are two types of (r − 2)-simplexes in (r − 4) 21 .In [12], an (r − 2)-simplex in (r − 4) 21 is called of A-type if it is contained in an (r − 1)-simplex in (r − 4) 21 , and of B-type otherwise.In fact, (r − 2)-simplexes in (r − 4) 21 form two Weyl orbits according to types and the total numbers of the simplexes of each orbit are as follows in Tables 3 and 4. For r = 3, 4, . . ., 6 the set Q(S r ) of quartic rational divisors consists of one orbit, W(S r ) • (2h − e 1 − e 2 ).
However, for r = 7, 8 the set Q(S r ) consists of two orbits, i=1 e i + e 7 ).We say that a quartic rational divisor is of type . The total number of such divisor classes in S r is finite and is given in the following table.
Then, we had correspondences between (r − 2)-simplexes of A-type in (r − 4) 21 and quartic rational divisors of type I in Q(S r ) as follows (in [12]): Theorem 7 (Theorem 1 in [12]).For disjoint lines l i , 1 ≤ i ≤ r − 1 on a del Pezzo surface S r , they produce a contraction to P 1 × P 1 if there is a quartic rational divisor class q on S r satisfying 2q Moreover, the quartic rational divisor classes of type I are bijectively related to (r − 2)-simplexes of A-type in (r − 4) 21 .

Special Divisors of Blown-up Hirzebruch Surfaces
In this section we consider a smooth rational surface X with K 2 X > 0 whose minimal surface is a Hirzebruch surface F. For a Hirzebruch surface F p , we allow a blowing up of points in F p in general position (Note Section 2.1) up to 7 points so that the obtained surface F p,r satisfies K 2 F p,r > 0. The results in this section for F p,r are naturally parallel to studies of a del Pezzo surface S r+1 (Note Remark 1).The particular and unique characterization on F p,r comparing to S r+1 will be in [13].

Special Divisors of F p,r
For 2 ≤ r ≤ 7 we consider simple roots of a root system R(F p,r ) on ZK F p,r ⊥ in Pic F p,r : We get a number of special divisors on F p,r by a simple calculation of the equations of numerical conditions or a coefficient of a theta series of a dual lattice of a root lattice E r+1 (see [10]).For r = 2, 3, . . ., 7, by simple calculation we obtain the total numbers of special divisors in F p,r which is the same as the one of a del Pezzo surface S r+1 .

Blown-Up Hirzebruch Surfaces and Gosset Polytopes
We have correspondences between special divisors of a del Pezzo surface S r and faces of a Gosset polytope (r − 4) 21 in Section 2.3.For the special divisors of a blow-up F p,r of a Hirzebruch surface in general position (Note Section 2.1) and the subpolytopes of a Gosset polytope (r − 3) 21 we can also get parallel correspondences as in the case in Section 2.3 by applying similar proofs in [10].We define an affine hyperplane H(F p,r ) and the set L a (F p,r ) of skew a-lines for F p,r like the cases of a del Pezzo surface S r (See Section 2.3).
For correspondences between the lines of a blow-up of a Hirzebruch surface and the vertices of a Gosset polytope, we have the following theorem which extends Theorem 2 to Hirzebruch surfaces: Theorem 8. Let F r be a blown-up of a Hirzebruch surface in general position for r ∈ {2, 3, . . ., 7}.Then the convex hull of the set L(F r ) of lines in an affine hyperplane H1 (F r ) is a Gosset polytope (r − 3) 21 .
Proof.The lines in Pic(F r ) are on the sphere of a radius −1 − 1 Thus a convex hull of L (F r ) is a convex polytope in H1 (F r ).We consider the line e r in L(F r ).For each simple root d i , i = 0, 1, . . ., r in R(F r ) explicitly described in the previous subsection, reflections σ d i , i = 0, . . ., r − 1 fix the line e r and the reflection σ d r moves the line e r in L(F r ).Thus σ d r is the only active reflection for the line e r .Therefore, the Weyl E r+1 -orbit of e r in Pic(F r ) is the set of the vertices of an (r − 3) 21 -polytope obtained by the Coxeter-Dynkin diagram.Since |L(F r )| = the number of the vertices of an (r − 3) 21 -polytope (Table 5), we show that L(F r ) is a Weyl E r+1 -orbit of e r and acted transitively by the Coxeter group of E r+1 -type.Thus it is the set of the vertices of a (r − 3) 21 -polytope.Therefore, we conclude that the convex hull of L(F r ) is a Gosset polytope (r − 3) 21 for each r = 2, 4, . . ., 7. The following theorem, which extends Theorem 4 to a Hirzebruch surface, gives correspondences among the set E (F p,r ) of exceptional systems, the set L r+1 (F p,r ) of the skew (r + 1)-lines and the set of the r-simplexes α r of a Gosset polytope (r − 3) 21 .Theorem 9. Let F r be a blow-up of a Hirzebruch surface in general position for r ∈ {2, 3, . . ., 7}.Then there is a bijection compatible with the action of Weyl group W(F r ) between the set E (F r ) of exceptional systems in Pic(F r ) and the set of the simplexes α r in a Gosset polytope (r − 3) 21 .Moreover, for 2 ≤ r ≤ 6, the Weyl group W(F r ) transitively acts on E (F r ), and E (F r ) is bijective to L r+1 (F r ), the set of the skew (r + 1)-lines in Pic(F r ).
Remark 10.Similarly to two Weyl orbits in the set E (S 8 ) of the del Pezzo surface S 8 , the set E (F 7 ) of exceptional systems of a blown up Hirzebruch surface F 7 has two orbits.The set L 8 (F 7 ) of skew 8-lines in F 7 consists of one orbit with 17280 elements.The set of E 8 -roots consists of the other orbit with 240 elements.To distinguish elements of two orbits, we check if e + 3K F 7 is in 2Pic(F 7 ) or not.If so, there is a root satisfying e + 3K F 7 = 2d, which otherwise corresponds to a skew 8-line via 3e + K F 7 .
We can also obtain correspondences between the set M(F r ) of rulings and the set of the crosspolytopes β r of a Gosset polytope (r − 3) 21 .In the following, we consider correspondences between and the crosspolytopes of a Gosset polytope (r − 3) 21 , where the relation (l 1 , l 2 ) ∼ ( l1 , l2 ) is induced by l 1 + l 2 ≡ l1 + l2 for any (l 1 , l 2 ) and ( l1 , l2 ) in L(F r ) × L(F r ).Therefrom we obtain the following theorem which extends Theorem 6 to Hirzebruch surfaces.Theorem 11.Let F r be a blow-up of a Hirzebruch surface in general position for r ∈ {2, 3, . . ., 7}.Then there is a bijection compatible with the action of Weyl group W(F r ) between the set M(F r ) of rulings in Pic(F r ) and the set of the crosspolytopes β r in a Gosset polytope (r − 3) 21 .Moreover, the Weyl group W(F r ) transitively acts on M(F r ), and each ruling f in M(F r ) is linearly equivalent to l 1 + l 2 for two lines l 1 , l 2 in L(F r ) with l 1 • l 2 = 1.Since |M(S r )| = the number of the vertices of a 2 (r−4)1 -polytope (Table 6), we show that M(S r ) is a Weyl E r -orbit of h − e 1 and transitively acted by the Coxeter group of E r -type.Therefore, it is the set of the vertices of a 2 (r−4)1 -polytope.Similarly, for a blown-up of Hirzebruch surface F r−1 , we choose the ruling f of F r−1 to get the conclusion.This proves the theorem.

1 k2 and Exceptional Systems
As above, we observe that the total numbers of exceptional systems in del Pezzo surfaces S r and the total numbers of the top degree (r − 1) simplexes in (r − 4) 21 are the same except for r = 8.Again in the following Table 7, we observe the bijections between exceptional systems and the (r − 1) simplexes in (r − 4) 21 can be extended to the vertices of 1 (r−4)2 .Moreover, we show that the convex hulls of exceptional systems are 1 (r−4)2 .When r = 8, the set of exceptional systems has two orbits.We show that the convex hull of one of the orbits is 1 42 .Theorem 15.For r ∈ {3, 4, 5, 6, 7}, the convex hulls of E (S r ) (resp.E (F r−1 )) in H3 (S r ) ⊂ Pic(S r ) ⊗Q (resp.H3 (F r−1 ) ⊂ Pic(F r−1 ) ⊗ Q) are 1 (r−4)2 -polytopes.
8, the set of exceptional systems consists of two orbits.One orbit, with 17280 elements, corresponds to the set of skew 8-lines in S 8 , and the other orbit, with 240 elements, corresponds to the set of E 8 -roots, because each E 8 -root d gives an exceptional system −3K S 8 + 2d.To distinguish elements of two orbits, we check if e + 3K S 8 is in 2Pic(S 8 ) or not.If so, there is a root satisfying e + 3K S 8 = 2d, which otherwise corresponds to a skew 8-line via 3e + K S 8 .

Table 4 .
Total numbers of quartic rational divisor classes.

Table 5 .
Total numbers of special divisors.