Next Article in Journal
Erratum: Al-Marzouki, S., et al. Type II Topp Leone Power Lomax Distribution with Applications. Mathematics 2020, 8, 4
Next Article in Special Issue
Networked Analysis of a Teaching Unit for Primary School Symmetries in the Form of an E-Book
Previous Article in Journal
Hotelling’s Duopoly in a Two-Sided Platform Market on the Plane
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Blown-Up Hirzebruch Surfaces and Special Divisor Classes

1
Department of Mathematics, Ewha Womans University, Daehyun-dong, Seodaemun-gu, Seoul 120-750, Korea
2
Department of Mathematics, Chungnam National University, Science Building 1, 99 Daehak-ro, Yuseong-gu, Daejeon 34134, Korea
*
Authors to whom correspondence should be addressed.
Mathematics 2020, 8(6), 867; https://doi.org/10.3390/math8060867
Submission received: 27 April 2020 / Revised: 23 May 2020 / Accepted: 25 May 2020 / Published: 28 May 2020
(This article belongs to the Special Issue New Insights into Geometrical Transformations)

Abstract

:
We work on special divisor classes on blow-ups F p , r of Hirzebruch surfaces over the field of complex numbers, and extend fundamental properties of special divisor classes on del Pezzo surfaces parallel to analogous ones on surfaces F p , r . We also consider special divisor classes on surfaces F p , r with respect to monoidal transformations and explain the tie-ups among them contrast to the special divisor classes on del Pezzo surfaces. In particular, the fundamental properties of quartic rational divisor classes on surfaces F p , r are studied, and we obtain interwinded relationships among rulings, exceptional systems and quartic rational divisor classes along with monoidal transformations. We also obtain the effectiveness for the rational divisor classes on F p , r with positivity condition.

1. Introduction

In this article, we work over the field of complex numbers. Algebraic surfaces birational to the projective plane are rational surfaces. When a rational surface has no ( 1 )-curve, the rational surface is either a projective plane or a Hirzebruch surface. According to the blow-up/down of ( 1 )-curves, it is natural to expect analogies between the studies of blown-up projective planes and the blown-up Hirzebruch surfaces [1,2,3]. For del Pezzo surfaces, ( 1 )-curves are rational and the configuration of ( 1 )-curves are closely related to the vertices of Gosset polytopes [4,5]. Moreover, the rational divisor classes D on del Pezzo surfaces with D 2 = 0 , 1 are fundamental objects and it turns out that these are also understood by the symmetry of Gosset polytopes. Therefore, we introduce rational divisor classes on Hirzebruch surfaces and study the fundamental properties along the symmetry of Gosset polytopes.
A del Pezzo surface is a smooth irreducible surface S r such that the anticanonical divisor class K S r is ample. Each del Pezzo surface can be constructed by blowing up P 2 at r points ( 0 r 8 ) in a general position unless it is P 1 × P 1 (for this case 1 r 7 we get S r + 1 ). For each k Z , we consider rational divisor classes D with D 2 = k .
S r ( k ) : = D Pic ( S r ) D 2 = k , K S r · D = k + 2 .
For k = 2 , 1 , 0 , 1 , we call the rational divisor classes as special divisor classes denoted by another notations.
R r : = S r ( 2 ) = d Pic S r d 2 = 2 , d · K S r = 0 ( roots ) , L r : = S r ( 1 ) = { l Pic S r l 2 = 1 , l · K S r = 1 } ( lines ) , M r : = S r ( 0 ) = { m Pic S r m 2 = 0 , m · K S r = 2 } ( rulings ) , E r : = S r ( 1 ) = { e Pic S r e 2 = 1 , e · K S r = 3 } ( exceptional systems ) .
We call a special divisor class in S r ( 2 ) = R r as a root d. We define a reflection σ d on K S r in Pic ( S r ) by
σ d ( D ) : = D + ( D · d ) d for D K S r ,
and the reflections given by roots generate the Weyl group W ( S r ) = E r for each 3 r 8 where the extended list of E r contains E 3 = A 1 × A 2 , E 4 = A 4 and E 5 = D 5 . This reflection σ d on K S r Pic S r can be extended to a map of Pic S r . Moreover, since the reflection σ d preserves the intersection · and K S r , the Weyl group W ( S r ) acts on each subset of Pic S r consisting of divisor classes D satisfying D · K S r = α , D 2 = β for fixed integers α and β . Thus, there is a natural representation of W ( S r ) on S r ( k ) .
A line l is a special divisor class in S r ( 1 ) = L r including a smooth rational curve embedded by a linear system | K S r | as a projective line. For 3 r 8 , the set L r of lines in Pic S r is finite, and the Weyl group E r is its symmetry group. Moreover, L r is bijective to the set of vertices in a Gosset polytope ( r 4 ) 21 , a r-dimensional semiregular polytope of the Coxeter group E r , discovered by Gosset. In particular, the set of 27-lines on S 6 is bijective to the set of vertices of a Gosset polytope 2 21 , and Coxeter [6] used the bijection to study the geometry of 2 21 . The bijection between the set of vertices in ( r 4 ) 21 and the set L r of lines is applied in many different research fields [7]. In particular, the classical approach to the configurations of lines on del Pezzo surfaces can be found in the study of Du Val [8], and recently applications of the configurations of lines via representation theory are studied by Manivel [9].
A ruling m with m 2 = 0 , K S r · m = 2 in S r ( 0 ) = M r is a divisor class in Pic S r which gives a fibration of S r over P 1 . Since a ruling in S r consists of a sum of two lines, the quadratic relations are related to rulings. Batyrev and Popov [10] conjectured that generators of Cox ring of S r for 4 r 8 have quadratic relations. There are several partial results [11,12,13,14,15] to work for the conjecture of Batyrev and Popov which is finally proved in [16,17]. Moreover, the first author [4] showed that rulings in M r correspond to ( r 1 ) -crosspolytopes of the polytope ( r 4 ) 21 , and studied more in [5].
An exceptional system e with e 2 = 1 , K S r · e = 3 in S r ( 1 ) = E r is a divisor class in Pic S r whose linear system gives a regular map from S r to P 2 . For S 6 , each linear system with the above conditions contains a twisted cubic curve. In fact, there is a correspondence between exceptional systems in S r ( 1 ) and ( r 1 ) -simplexes of the polytope ( r 4 ) 21 [4]. These divisor classes play an important role in the first author’s works [4,5].
By using the special divisor classes defined above, we can derive more relations on top of the bijection between vertices in ( r 4 ) 21 and lines in Pic S r . In [4], the first author showed that the convex hull of L r in Pic S r is the Gosset polytope ( r 4 ) 21 and extends the bijection to correspondences between special divisor classes ( r e s p . skew m-lines 1 m r , rulings, and exceptional systems) in Pic S r and faces ( r e s p . ( m 1 ) -simplexes 1 m r , crosspolytope facets, and ( r 1 ) -simplex facets) in ( r 4 ) 21 . Moreover, in [5] the configurations of lines are studied according to the combinatorial data of the polytope ( r 4 ) 21 along the above correspondences between basic divisor classes and faces in the Gosset polytopes.
As an extension of the studies of special divisor classes on a del Pezzo surface, we consider the blow-ups of Hirzebruch surfaces. Let F p be a Hirzebruch surface P P 1 ( O P 1 O P 1 ( p ) ) , p 0 which is a rational ruled surface considered as a P 1 -fibration over P 1 containing a special section, which is a ( p ) -curve. The Hirzebruch surfaces have only one ruling except for F 0 = P 1 × P 1 . For p 1 , a Hirzebruch surface F p is a relatively minimal rational surface which is not the projective plane P 2 . In particular, F 1 is a blow-up of the projective plane P 2 at one point. As a del Pezzo surface is a blown-up surface of P 2 , we consider rational surfaces F p , r given by blowing up of Hirzebruch surfaces F p at r points in general position according to the study on del Pezzo surfaces.
Definition 1
([18], Definition 2.1). Distinct points p 1 , p 2 , , p r on F p are in general position if a point p j for each j = 1 , 2 , , r is not in the special section on F p for p 0 and there are no two points p j 1 , p j 2 for j 1 j 2 { 1 , 2 , , r } in a same fiber of a P 1 -fibration over P 1 .
For p = 0 , F 0 , r with r 1 is considered as a blown-up S r + 1 of a projective plane P 2 at r + 1 points in general position. We define F 0 , 0 = F 0 as P 1 × P 1 . For p = 1 , F 1 , r with r 0 is also a blown-up S r + 1 . When p 1 , a blown-up Hirzebruch surface F p , r has a relative minimal rational surface F p .
As a positivity condition of a del Pezzo surface came from an ampleness of the anticanonical divisor class, we need a positive self intersection number of the canonical divisor class on a surface F p , r (i.e., K F p , r 2 > 0 ). The positivity of K F p , r 2 implies that the intersection matrix of the orthogonal complement of K F p , r is negative definite by Hodge index theorem.
As our approach to a blow-up of a Hirzebruch surface is relatively new, in Section 2.1 we discuss about non-negative dimensions of linear systems of some divisor classes D in the Picard group of a blown-up Hirzebruch surface F p , r such that D 2 = k , K F p , r · D = k + 2 for an integer k 1 . We obtain a criterion of the effectiveness for the divisor class D as follows.
Theorem 1
(Theorem 2). For integers 0 r 8 , p 0 and k 1 , each divisor class D in Pic ( F p , r ) such that D 2 = k , K F p , r · D = k 2 is effective, and the dimension of the linear system | D | is greater than or equal to k + 1 .
Then, we extend the results [4] for del Pezzo surfaces to roots, lines, rulings and exceptional systems for blown-up Hirzebruch surfaces. We provide correspondences in [19] that are compatible with the Weyl group W ( F p , r ) = E r + 1 between special divisor classes in the Picard group Pic ( F p , r ) and subpolytopes of a Gosset polytope ( r 3 ) 21 .
In this article, we focus on explaining relations among roots, lines, rulings and exceptional systems on each surface F p , r with respect to monoidal transformations. These relations for roots and lines via monoidal transformations are obtained as straightforward comparisons, but rulings on F p , 7 and exceptional systems on F p , r involve nontrivial issues. To resolve these issues, we consider quartic rational divisor classes, skew a-lines and sextic divisor classes. In particular, we show that sextics D 2 = 10 , D · K F p , 6 = 6 on F p , 6 consist of two E 7 Weyl orbits and use them to understand exceptional systems on F p , 6 via monoidal transformations.

2. Rational Divisor Classes on Blown-Up Hirzebruch Surfaces

The Picard group of a Hirzebruch surface F p ( p 0 ) is generated by a class f representing a fiber and the class s of the special section of a P 1 -fibration over P 1 , namely, Pic ( F p ) = Z f Z s , where f 2 = 0 , f · s = 1 and s 2 = p . As Hirzebruch surfaces are ruled, all the fibers are isomorphic and numerically equivalent. The canonical divisor class K F p is given as K F p ( p 2 ) f 2 s . For further detail, see ([3] Chapter III).
In this section, we consider rational surfaces F p , r obtained by the blow-up of F p at r points in general position. Then F p , r has a natural fibration ϕ p : F p , r P 1 and its general fiber is f Pic ( F p , r ) . We consider a rational divisor class D S p , r ( k ) as an element of
Pic ( F p , r ) = Z f Z s Z e 1 Z e r ,
namely, D a f + b s + i = 1 r x i e i for some a , b and x i Z , where e i is the i-th exceptional divisor class on F p , r .
We define rational divisor classes on F p , r .
Definition 2.
For k Z , the S p , r ( k ) is a set of rational divisor classes on F p , r with self intersection number k defined as
S p , r ( k ) : = D Pic ( F p , r ) D 2 = k , K F p , r · D = k + 2 .
In [19], the authors introduced the following special divisor classes (roots, lines, rulings, and exceptional systems) on F p , r as an extension of study on special divisor classes on del Pezzo surfaces. It was naturally obtained that the parallel study on F p , r to the one on correspondences between special divisor classes on del Pezzo surfaces and subpolytopes of Gosset polytopes.
R p , r : = S p , r ( 2 ) = d Pic F p , r d 2 = 2 , d · K F p , r = 0 ( roots ) , L p , r : = S p , r ( 1 ) = l Pic F p , r l 2 = l · K F p , r = 1 ( lines ) , M p , r : = S p , r ( 0 ) = m Pic F p , r m 2 = 0 , m · K F p , r = 2 ( rulings ) , E p , r : = S p , r ( 1 ) = e Pic F p , r e 2 = 1 , e · K F p , r = 3 ( exceptional systems ) .
We also add one more rational divisor classes to our attention.
Q p , r : = S p , r ( 2 ) = q Pic F p , r q 2 = 2 , q · K F p , r = 4 ( quartic rational ) .
When we fix a fibration ϕ p : F p , r P 1 and its general fiber f Pic F p , r , for each subset B of Pic F p , r , we define B 0 and B + by
B 0 : = B D Pic F p , r D · f = 0 and B + : = B D Pic F p , r D · f 0 .
Note that we often omit the subscript p , r (e.g., denote F p , r as F ) if there is no confusion.

2.1. Linear Systems of Special Divisor Classes

For 0 r 8 and p 0 , if k 1 then we verify that there is a linearly equivalent effective divisor class for each rational divisor class D a f + b s + i = 1 r x i e i S p , r ( k ) .
Lemma 1.
When 1 r 8 and p 0 , each rational divisor class a f + b s + i = 1 r x i e i in S p , r ( k ) , k 1 , satisfies a, b Z + ( = N { 0 } ) . Moreover, a is positive if 1 r 7 , k 0 , p 1 , and b is positive if k > 0 .
Proof. 
From D 2 = k and D · K F = ( a f + b s + i = 1 r x i e i ) ( ( 2 p ) f 2 s + i = 1 r e i ) = k 2 , we induce
p b 2 + i = 1 r x i 2 = 2 a b k and ( 2 + p ) b i = 1 r x i + k + 2 = 2 a .
By combining these equations, we have
1 4 ( r 8 ) b 2 + ( k + 2 ) b k = i = 1 r x i + b 2 2 0 .
When 1 r 7 and k 1 , we get b > 1 . Moreover, if k > 0 , then b > 0 . When r = 8 and k 1 , we also obtain b 0 because ( k + 2 ) b k and there is no D with b = 1 and k = 1 .
We consider the following cases to conclude a 0 . (i) If k 0 , p 0 and b > 0 , then a 0 by Equation (1). (ii) If k 0 , p 0 and b = 0 , then there is the only divisor class D = f in S p , r ( 0 ) so that a = 0 . (iii) If k = 1 , p 0 and b > 0 , then a 0 since Equation (1) implies 2 a b 1 . (iv) If k = 1 , p 0 and b = 0 , then there are the divisor classes e i , f e i for some i { 1 , , r } so that a 0 .
One can easily obtain a is positive if k 0 and p 1 in (i). □
Remark 1.
When r = 0 and p 0 , we also obtain a 0 and b 0 for k 1 .
Remark 2.
For 1 r 7 , k 1 and p 0 , the number of elements of S p , r ( k ) is finite by (2) in Lemma 1.
Now, we consider the effectiveness of rational divisor classes in S p , r ( k ) when 0 r 8 , p 0 and k 1 as follows.
Theorem 2.
For integers 0 r 8 , p 0 and k 1 , each rational divisor class D S p , r ( k ) is effective and the dimension of the corresponding linear system | D | is greater than or equal to k + 1 .
Proof. 
When 1 r 8 we have
H 2 F , O F ( D ) = H 0 F , O F K F D H 0 F , O F K F i I x i e i
for D a f + b s + i = 1 r x i e i by Lemma 1, where I is the set of i such that x i < 0 for 1 i r .
We assume that x i < 0 for some i and consider
0 O F K F O F K F i I x i e i O F K F i I x i e i i I x i e i 0
to get
H 0 F , O F K F i I x i e i = H 0 i I x i e i , O F K F i I x i e i i I x i e i = 0 .
Here the first equality is obtained from
h 0 F , O F K F = h 1 F , O F K F = 0
which is given by the fact F is birational to a Hirzebruch surface, and the second equality is deduced from
H 0 i I x i e i , O F K F i I x i e i i I x i e i = i I H 0 x i e i , O F K F i I x i e i x i e i = 0
since x i ( 1 x i ) < 0 for all i I . Therefore, we obtain
H 2 F , O F ( D ) = 0 ,
and moreover,
h 0 F , O F ( D ) h 1 F , O F ( D ) = χ O F ( D ) = χ O F + 1 2 D 2 K F · D = k + 2 .
It implies h 0 F , O F ( D ) k + 2 . When r = 0 , we obtain u a f + b s with a 0 and b 0 by Remark 1 if it exists. Hence each special divisor class u S p , r ( k ) for 0 r 8 , p 0 and k 1 is effective. □
Remark 3.
Lahyane showed in ([20] Lemma 2.2) that every line is effective on a smooth rational surface such that the anticanonical divisor class K is nef. It implies an effectiveness of a line in L p , r for p = 0 , 1 , 2 with r = 0 , 1 , , 7 under Jiang’s stronger definition, ([21] Remark 7.1), than Definition 1. Because Jiang [21] provided under the definition, ([21] Remark 7.1), that K F p , r is nef for 0 r 7 in Example 7.1 when p = 0 , 1 , and in Theorem 7.2 when p = 2 .
Lahyane and Harbourne gave an effectiveness criterion for a line on a smooth rational surface with K 2 0 in ([22] Lemma 3.2). Their result contains the effectiveness of lines in L p , r for 0 r 8 which is a part of Theorem 2.

3. Positivity Condition of the Canonical Divisor Classes

In this section we extend the study on special divisor classes on del Pezzo surfaces in [4,5] to analogous ones of blown-up Hirzebruch surfaces. Corresponding issues on special divisor classes on Hirzebruch surfaces via Weyl action to related divisors on del Pezzo surfaces are explained in [19].
From now on, we focus on the blow-up F p , r of a Hirzebruch surface F p at r points in general position only for r = 1 , 2 , , 7 , so that we have the positivity condition,
K F p , r 2 = 8 r > 0 .
Due to this condition, the intersection matrix of the orthogonal complement of K F p , r in Pic F p , r is negative definite by Hodge index theorem.
The Picard group Pic F p , r is generated by a general fiber f and the special p-section s (i.e., ( p ) -curve) of a fibration over P 1 , and r exceptional curves e i , i = 1 , 2 , , r on F p , r over F p . As we know from Remark 2, each of R p , r , L p , r , M p , r , E p , r and Q p , r has a finite number of elements. As Lemma 1, by solving the corresponding systems of integer equations
k = D 2 = 2 a b b 2 p i = 1 r x i 2 , k + 2 = K F p , r · D = 2 p b + 2 a + i = 1 r x i
for k = 2 , 1 , 0 , 1 , 2 , we obtain the following tables. We also apply the similar procedure to R p , r 0 , L p , r 0 , M p , r 0 , E p , r 0 and Q p , r 0 .
Remark 4.
The numerical data in the Table 1 and Table 2 are independent of p because each of them presents the cardinal of the orbit(s) given by Weyl group whose nature is determined by r in Section 3.2.

3.1. Monoidal Transformations

From Table 1 and Table 2, we derive interesting relationships among R p , r + , L p , r + , M p , r + and E p , r + along with monoidal transformations described in below.
We consider the birational morphism ϕ h : F p + 1 , r + 1 F p + 1 , r given by the blow-up of a point x in F p + 1 , r , which is not in the ( p + 1 ) -section (i.e., ( p + 1 ) -curve), to an exceptional divisor class e r + 1 on F p + 1 , r + 1 . Here, we observe that f e r + 1 is also a line on F p + 1 , r + 1 satisfying f e r + 1 · e r + 1 = 1 . In fact, for any line l and ruling f with f · l = 0 on a blown-up Hirzebruch surface F p , r , f l is also a line satisfying f l · l = 1 . From this choice of ( 1 ) -curve f e r + 1 , we get another birational morphism ϕ v : F p + 1 , r + 1 F p , r given by blowing down f e r + 1 . Here, since f e r + 1 · s = f · s = 1 , the exceptional curve f e r + 1 is blown down to a point y in the p-section in F p , r . We denote ϕ h * and ϕ v * as total transforms induced from ϕ h and ϕ v respectively.
The above is depicted as the following diagram (Figure 1). This diagram is extended not only infinitely up but also infinitely to the right.
Moreover, we can make the following diagram (Figure 2) for p = 1 , 2 , 3 , from the above elementary transformation.
Here, P r 2 is r-th blow-up of the projective plane P 2 at r points in general position.

3.2. Root Systems and Weyl Groups

When p = 1 , since the blown-up Hirzebruch surfaces F 1 , r can be considered as del Pezzo surfaces S r + 1 , the numerical data in Table 1 and Table 2 match with those of del Pezzo surfaces in [4]. Furthermore, as those special divisor classes on the del Pezzo surfaces S r + 1 = F 1 , r are identified as orbits of Weyl groups given by the root spaces in [4], we can also obtain the parallel results for the special divisor classes on F p , r by considering the root system on F p , r and the corresponding E-type Weyl group action.
Here, we introduce the simple roots of root systems on F p , r so that we can see the corresponding Weyl group is E-type. Further study on F p , r along the Weyl action and corresponding Gosset polytopes was dealt in [19].
Once we have the positivity condition K F p , r 2 > 0 , the inner product given by the intersection on Pic F p , r induces a negative definite metric on Z K F p , r in Pic F p , r where each root defines a natural reflection. To define reflections on Z K F p , r in Pic ( F p , r ) , we consider a root system
R p , r = { d Pic F p , r d 2 = 2 , d · K F p , r = 0 } ,
with simple roots
d 0 = e 1 e 2 d 1 = p 2 2 f + s d 2 = f e 1 e 2 d i = e i 1 e i , 3 i r ( Note that we have only d 0 , d 1 , d 2 when r = 2 ) if p is even , d 0 = f e 1 e 2 d 1 = p 1 2 f + s e 1 d i = e i 1 e i , 2 i r if p is odd
corresponding to Coxeter–Dynkin diagram of type E r + 1 , r 2 (Figure 3).
Since each element d in R p , r defines a reflection σ d on Z K F p , r in Pic F p , r ,
σ d ( D ) : = D + D · d d for D Z K F p , r ,
the corresponding Weyl group W F p , r is E r + 1 where 2 r 7 . If we add the orthogonality condition to f, then the corresponding Weyl group will be D r 1 -type, where each root system is determined by d 1 · f = 1 and d i · f = 0 . The similar consideration for del Pezzo surfaces can be found in [18,23,24] with an orthogonality condition to the fixed fiber class.

4. Special Divisor Classes and Monoidal Transformations

In this section we deal with a relation among rulings, exceptional systems and quartic rational divisor classes on F p , r via monoidal transformations. We require the positivity condition of
K F p , r 2 = 8 r ,
and so r is to be an integer 1 , 2 , , 6 or 7.
To characterize special divisor classes D via monoidal transformations, we consider the intersection between a line and D since the birational maps ϕ h and ϕ v are defined by the choices of ( 1 ) -curves contained in special divisor classes lines. Then, we identify the subset of special divisor classes with a fixed intersection by other special divisor classes or certain rational divisor classes. For roots and lines, the tie-ups of special divisors with others are obtained by straightforward comparisons via monoidal transformations. We need to resolve nontrivial issues involved for rulings and the exceptional systems on F p , 7 . For rulings on F p , 7 , we use skew a-lines which are given by l 1 + + l a where l 1 , , l a are disjoint lines. For the exceptional systems, we consider sextic divisor classes on F p , 6 and their orbit structures induced by E 7 Weyl group. Then the rational quartic divisor classes appear to characterize the exceptional systems via monoidal transformations.
We note that M p , r = M p , r + ˙ f , and we remark that E p , r = E p , r + (resp. Q p , r = Q p , r + ) because each exceptional system e (resp. quartic rational divisor class q) satisfies f · e > 0 (resp. f · q > 0 ) by Lemma 1. Thus, it is rather natural for us to consider M p , r , E p , r and Q p , r instead of M p , r + , E p , r + and Q p , r + .

4.1. Lines and Monoidal Transformations

4.1.1. Intersection between Lines

For any two lines l and l on F p , r , by Hodge index theorem and K F p , r 2 > 0 , we have
K F p , r 2 l ± l 2 K F p , r · l ± K F p , r · l 2
and we obtain
1 l · l 2 8 r + 1 .
Therefore, the possible intersection numbers between lines are given as
l · l = 1 , 0 , 1 for r 5 1 , 0 , 1 , 2 for r = 6 1 , 0 , 1 , 2 , 3 for r = 7 .

4.1.2. Lines via Monoidal Transformations

According to the list of intersections of lines, we describe L p + 1 , r + 1 + .
Theorem 3.
For 0 r 6 ,
L p + 1 , r + 1 + = ϕ h * L p + 1 , r + ˙ ϕ h * M p + 1 , r + e r + 1 ˙ H p + 1 , r + 1 = ϕ v * L p , r + ˙ ϕ v * M p , r + ( f e r + 1 ) ˙ V p + 1 , r + 1 ,
where
H p + 1 , r + 1 = V p + 1 , r + 1 = for r 4 , H p + 1 , 6 = K F p + 1 , 6 e 6 , V p + 1 , 6 = K F p + 1 , 6 f + e 6 , H p + 1 , 7 = ϕ h * ( l ˜ K F p + 1 , 6 ) 2 e 7 l ˜ L p + 1 , 6 ˙ 2 K F p + 1 , 7 e 7 , V p + 1 , 7 = ϕ v * l ˜ K F p , 6 2 ( f e 7 ) l ˜ L p , 6 ˙ 2 K F p + 1 , 7 f + e 7 .
Proof. 
We consider the map ϕ v induced by a line f e r + 1 .
For each line l in the set L p + 1 , r + 1 + on F p + 1 , r + 1 , we consider the following cases according to the intersection l · ( f e r + 1 ) .
(Case 1) l · ( f e r + 1 ) = 0 for r 6
Such l corresponds to a line ϕ v * ( l ) on F p , r with ϕ v * ( l ) · ϕ v * ( f ) = l · f 0 . Thus we have
l L p + 1 , r + 1 + l · ( f e r + 1 ) = 0 = ϕ v * L p , r + .
(Case 2) l · ( f e r + 1 ) = 1 for r 6
Such l can be written as ϕ v * ( D ) ( f e r + 1 ) with a divisor class D on F p , r satisfying
D 2 = ϕ v * ( D ) 2 = ( l + f e r + 1 ) 2 = 0 , D · K F p , r = ϕ v * ( D ) · ϕ v * K F p , r = ( l + f e r + 1 ) · K F p + 1 , r + 1 f + e r + 1 = 2 .
Thus D is a ruling on F p , r with D · ϕ v * ( f ) = ϕ v * ( D ) · f = ( l + f e r + 1 ) · f = l · f 0 and
l L p + 1 , r + 1 + l · ( f e r + 1 ) = 1 = ϕ v * M p , r + ( f e r + 1 ) .
(Case 3) l · ( f e r + 1 ) = 2 for r = 5 , 6
Such l can be written as ϕ v * ( D ) 2 ( f e r + 1 ) with D satisfying
D 2 = ϕ v * ( D ) 2 = ( l + 2 f 2 e r + 1 ) 2 = 3 , D · K F p , r = ϕ v * ( D ) · ϕ v * K F p , r = ( l + 2 f 2 e r + 1 ) · K F p + 1 , r + 1 f + e r + 1 = 3 .
Moreover, D · ϕ v * ( f ) = ϕ v * ( D ) · f = ( l + 2 f 2 e r + 1 ) · f = l · f 0 .
When r = 5 , K F p , 5 is the only divisor class on F p , 5 satisfying the above conditions. Thus
l L p + 1 , 6 + l · ( f e 6 ) = 2 = ϕ v * ( K F p , 5 ) 2 ( f e 6 ) = K F p + 1 , 6 f + e 6 = V p + 1 , 6 .
When r = 6 , such D corresponds to a line l ˜ on F p , 6 via D l ˜ K F p , 6 . Therefore
l L p + 1 , 7 + l · ( f e 7 ) = 2 = ϕ v * l ˜ K F p , 6 2 ( f e 7 ) l ˜ L p , 6 .
(Case 4) l · ( f e r + 1 ) = 3 for r = 6
Such l can be written as ϕ v * ( D ) 3 ( f e 7 ) with D satisfying
D 2 = ϕ v * ( D ) 2 = ( l + 3 f 3 e 7 ) 2 = 8 , D · K F p , 6 = ϕ v * ( D ) · ϕ v * K F p , 6 = ( l + 3 f 3 e 7 ) · K F p + 1 , 7 f + e 7 = 4 .
Moreover, D · ϕ v * ( f ) = ϕ v * ( D ) · f = ( l + 3 f 3 e 7 ) · f = l · f 0 .
In fact, 2 K F p , 6 is the only divisor class on F p , 6 with the above conditions. Thus, we have
l L p + 1 , 7 + l · ( f e 7 ) = 3 = ϕ v * 2 K F p , 6 3 ( f e 7 ) = 2 K F p + 1 , 7 f + e 7 ,
and we conclude
V p + 1 , 7 = ϕ v * ( l ˜ K F p , 6 ) 2 ( f e 7 ) l ˜ L p , 6 ˙ 2 K F p + 1 , 7 f + e 7 .
By applying a similar process for l · e r + 1 , we derive the equality for ϕ h and obtain
H p + 1 , 6 = K F p + 1 , 6 e 6 , H p + 1 , 7 = ϕ h * ( l ˜ K F p + 1 , 6 ) 2 e 7 l ˜ L p + 1 , 6 ˙ 2 K F p + 1 , 7 e 7 .
 □
Remark 5.
Comparing Table 1 and Table 2, we get
44 = L p + 1 , 6 + = L p , 5 + + M p , 5 + + V p + 1 , 6 = 17 + 26 + 1 , 44 = L p + 1 , 6 + = L p + 1 , 5 + + M p + 1 , 5 + + H p + 1 , 6 = 17 + 26 + 1 , 226 = L p + 1 , 7 + = L p , 6 + + M p , 6 + + V p + 1 , 7 = 44 + 125 + 57 , 226 = L p + 1 , 7 + = L p + 1 , 6 + + M p + 1 , 6 + + H p + 1 , 7 = 44 + 125 + 57 .

4.2. Roots and Monoidal Transformations

4.2.1. Intersection between a Line and a Root

For any two roots d and d on F p , r , by Hodge index theorem and K F p , r 2 > 0 , we have
K F p , r 2 d ± d 2 K F p , r · d ± K F p , r · d 2 = 0 .
Thus we obtain
2 d · d 2 .
For a line l and a root d on F p , r , we have
K F p , r 2 l ± d 2 ( K F p , r · l ± K F p , r · d ) 2 = 1
and it implies
1 2 ( 8 r ) 3 2 l · d 1 2 ( 8 r ) + 3 2 .
Thus, the possible intersection numbers between lines and roots are given as
l · d = 1 , 0 , 1 for r 6 2 , 1 , 0 , 1 , 2 for r = 7 .

4.2.2. Roots via Monoidal Transformations I

According to the list of intersections of lines and roots, we describe R p + 1 , r + 1 + .
Theorem 4.
For 0 r 6 ,
R p + 1 , r + 1 + = ϕ h * R p + 1 , r + ˙ ϕ h * L p + 1 , r + e r + 1 ˙ ϕ h * L p + 1 , r + + e r + 1 ˙ H p + 1 , r + 1 = ϕ v * R p , r + ˙ ϕ v * L p , r + f e r + 1 ˙ ϕ v * L p , r + + f e r + 1 ˙ V p + 1 , r + 1 ,
where
H p + 1 , r + 1 = V p + 1 , r + 1 = f o r r 5 , H p + 1 , 7 = ± K F p + 1 , 7 + e 7 , V p + 1 , 7 = ± K F p + 1 , 7 + f e 7 .
Proof. 
We consider the map ϕ h given by a line e r + 1 .
For each root d in the set R p + 1 , r + 1 + on F p + 1 , r + 1 , we consider the following cases according to the intersection d · e r + 1 .
(Case 1) d · e r + 1 = 0 for r 6
Such d corresponds to a root ϕ h * ( d ) on F p , r with ϕ h * ( d ) · ϕ h * ( f ) = d · f 0 . Thus
d R p + 1 , r + 1 + d · e r + 1 = 0 = ϕ h * R p + 1 , r + .
(Case 2) ± d · e r + 1 = 1 for r 6
Such ± d can be written as ϕ h * ( D ) e r + 1 with D satisfying
D 2 = ϕ h * ( D ) 2 = ( ± d + e r + 1 ) 2 = 1 , D · K F p + 1 , r = ϕ h * ( D ) · ϕ h * K F p + 1 , r = ( ± d + e r + 1 ) · K F p + 1 , r + 1 e r + 1 = 1 .
Thus D is a line on F p + 1 , r with D · ϕ h * ( f ) = ϕ h * ( D ) · f = ( ± d + e r + 1 ) · f = ± d · f 0 , and so
d R p + 1 , r + 1 + ± d · e r + 1 = 1 = ± ϕ h * L p + 1 , r + e r + 1 .
(Case 3) ± d · e r + 1 = 2 for r = 6
Such ± d can be written as ϕ h * ( D ) 2 e 7 with D satisfying
D 2 = ϕ h * ( D ) 2 = ( ± d + 2 e 7 ) 2 = 2 , D · K F p + 1 , 6 = ϕ h * ( D ) · ϕ h * K F p + 1 , 6 = ( ± d + 2 e 7 ) · K F p + 1 , 7 e 7 = 2 .
Moreover, D · ϕ h * ( f ) = ϕ h * ( D ) · f = ( ± d + 2 e 7 ) · f = ± d · f 0 . In fact, K F p + 1 , 6 is the only possible D on F p + 1 , 6 with the above conditions. Thus ± d ϕ h * K F p + 1 , 6 2 e 7 K F p + 1 , 7 e 7 , and
H p + 1 , 7 = ± K F p + 1 , 7 + e 7 .
By applying a similar process for d · ( f e r + 1 ) , we derive the equality for ϕ v and obtain
V p + 1 , 7 = ± K F p + 1 , 7 + f e 7 .
 □
Remark 6.
Comparing Table 1 and Table 2, we obtain
156 = R p + 1 , 7 + = R p + 1 , 6 + + 2 L p + 1 , 6 + + H p + 1 , 7 = 66 + 88 + 2 , 156 = R p + 1 , 7 + = R p , 6 + + 2 L p , 6 + + V p + 1 , 7 = 66 + 88 + 2 .

4.2.3. Roots via Monoidal Transformations II

For a root d and a ruling f on F p , r , we have
K F p , r 2 d ± f 2 ( K F p , r · d ± K F p , r · f ) 2 = 4
and it implies
2 8 r 1 f · d 2 8 r + 1
Thus, the possible intersection numbers between rulings and roots are given as
f · d = 0 , ± 1 for r 5 0 , ± 1 , ± 2 for r = 6 0 , ± 1 , ± 2 , ± 3 for r = 7 .
We observe that a root d on F p + 1 , r + 1 with d · f 0 cannot satisfy both d · e r + 1 = 0 and d · ( f e r + 1 ) = 0 . Moreover, we obtain another version of Theorem 4 as follows.
Theorem 5.
For 0 r 6 ,
R p + 1 , r + 1 + = ϕ h * R p + 1 , r + ˙ ϕ v * R p , r + ˙ A p + 1 , r + 1 ,
where
A p + 1 , r + 1 = f o r r 4 , A p + 1 , 6 = ± K F p + 1 , 6 f , A p + 1 , 7 = ± ϕ h * ( l ) K F p + 1 , 7 f l L p + 1 , 6 0 = ± ϕ v * ( l ) K F p + 1 , 7 f l L p , 6 0 .
Proof. 
We consider the following cases according to the intersection numbers d · e r + 1 for roots d in the set R p + 1 , r + 1 + on F p + 1 , r + 1 . Note that d · f 0 .
(Case 1) d · e r + 1 = 0 (and d · f e r + 1 0 ) for r 6
Such d corresponds to a root ϕ h * ( d ) on F p + 1 , r with ϕ h * ( d ) · ϕ h * ( f ) = d · f 0 . Thus we have
d R p + 1 , r + 1 + d · e r + 1 = 0 , d · f e r + 1 0 = ϕ h * R p + 1 , r + .
(Case 2) ± d · e r + 1 = 1 and d · f e r + 1 = 0 for r 6
By applying Theorem 4, as in (Case 1) we get
d R p + 1 , r + 1 + d · e r + 1 0 , d · f e r + 1 = 0 = ϕ v * R p , r + .
Moreover, when r = 6 , if d · e 7 = ± 2 , then d · f e 7 = ± K F p + 1 , 7 + e 7 · f e 7 = 0 by the (Case 3) in the proof of Theorem 4. Therefore, for r = 6 we also get
d R p + 1 , r + 1 + d · e r + 1 0 , d · f e r + 1 = 0 = ϕ v * R p , r + .
(Case 3) ± d · e r + 1 = 1 and ± d · f e r + 1 = 1 for r 6 (By Theorem 4, there are no other cases.)
Here,
d · f = d · f e r + 1 + d · e r + 1 = ± 2 since d · f 0 .
When r 4 , since d · f 1 , A p + 1 , r + 1 = .
When r = 5 or 6 , there are possible cases ( d · e r + 1 , d · f e r + 1 ) = ( 1 , 1 ) or ( 1 , 1 ) . For the case ( d · e r + 1 , d · f e r + 1 ) = ( 1 , 1 ) , the root d can be written as ϕ h * ( D ) f e r + 1 for a divisor class D on F p + 1 , r with ϕ h * ( D ) · f e r + 1 = 2 . Moreover, D satisfies
D 2 = ϕ h * ( D ) 2 = d + f + e r + 1 2 = 3 , D · K F p + 1 , r = ϕ h * ( D ) · ϕ h * K F p + 1 , r = d + f + e r + 1 · K F p + 1 , r + 1 e r + 1 = 3 .
If r = 5 , such a divisor class D on F p + 1 , 5 must be K F p + 1 , 5 . Therefore,
d ϕ h * K F p + 1 , 5 f e 6 K F p + 1 , 6 f .
If r = 6 , such a divisor class D on F p + 1 , 6 corresponds to a line l on F p + 1 , 6 via D K F p + 1 , 6 + l satisfying ϕ h * ( l ) · f = ϕ h * D + K F p + 1 , 6 · f = 0 . Thus, we have
d ϕ h * K F p + 1 , 6 + l f e 7 ϕ h * ( l ) K F p + 1 , 7 f ,
where ϕ h * ( l ) with l L p + 1 , 6 0 is a line on F p + 1 , 7 . By applying a similar procedure to the case ( d · e r + 1 , d · f e r + 1 ) = ( 1 , 1 ) , we conclude
A p + 1 , 6 = ± K F p + 1 , 6 f and A p + 1 , 7 = ± ϕ h * ( l ) K F p + 1 , 7 f l L p + 1 , 6 0 .
Similarly, by applying ϕ v for A p + 1 , 7 we obtain
A p + 1 , 7 = ± ϕ v * ( l ) K F p + 1 , 7 f l L p , 6 0 .
 □
Remark 7.
Comparing Table 1 and Table 2, we have
66 = R p + 1 , 6 + = R p + 1 , 5 + + R p , 5 + + A p + 1 , 6 = 32 + 32 + 2 , 156 = R p + 1 , 7 + = R p + 1 , 6 + + R p , 6 + + A p + 1 , 7 = 66 + 66 + 24 .

4.3. Rulings and Monoidal Transformations

4.3.1. Intersection between a Line and a Ruling

For a line l and a ruling m on F p , r , the possible intersection numbers between lines and rulings are given by the following lemma.
Lemma 2.
The possible intersection numbers between lines and rulings are given as
l · m = 0 , 1 f o r r 4 0 , 1 , 2 f o r r = 5 , 6 0 , 1 , 2 , 3 , 4 f o r r = 7 .
Proof. 
For a line l and a ruling m on F p , r , we have
K F p , r 2 l ± m 2 ( K F p , r · l ± K F p , r · m ) 2
and it impiles
1 2 ( 8 r ) 1 2 l · m 9 2 ( 8 r ) + 1 2 .
Thus, the possible intersection numbers between lines and rulings are given as
l · m = 0 , 1 for r 4 0 , 1 , 2 for r = 5 , 6 1 l · m 5 for r = 7 .
For r = 7 , by applying the Hodge inequality to get m · l = 5 (resp. 1 ), there is a constant n with m + l n K F p , 7 (resp. m l n K F p , 7 ). Since K F p , 7 · m + l = 3 (resp. K F p , 7 · m l = 1 ), the constant n is equal to 3 (resp. 1 ). But m 2 = ( 3 K F p , 7 l ) 2 = 2 (resp. m 2 = ( K F p , 7 + l ) 2 = 2 ) which is impossible since m 2 = 0 . □

4.3.2. Rulings via Monoidal Transformations

Now, we consider monoidal transformations for M p + 1 , r + 1 given by lines f e r + 1 and e r + 1 on F p + 1 , r + 1 . According to Lemma 2, the case r = 6 (i.e., the case M p + 1 , 7 ) involves more nontrivial issues than the others so that we deal with them after the next theorem for the cases 0 r 5 .
Theorem 6.
For a fixed line e r + 1 on F p + 1 , r + 1 , 0 r 5 ,
M p + 1 , r + 1 = ϕ h * M p + 1 , r ˙ ϕ h * E p + 1 , r e r + 1 ˙ H p + 1 , r + 1 = ϕ v * M p , r ˙ ϕ v * E p , r f e r + 1 ˙ V p + 1 , r + 1 ,
where
H p + 1 , r + 1 = V p + 1 , r + 1 = f o r r 3 , H p + 1 , 5 = K F p + 1 , 5 e 5 , V p + 1 , 5 = K F p + 1 , 5 f e 5 , H p + 1 , 6 = ϕ h * L p + 1 , 5 K F p + 1 , 6 e 6 , V p + 1 , 6 = ϕ v * L p , 5 K F p + 1 , 6 ( f e 6 ) .
Proof. 
We consider the map ϕ h induced by a line e r + 1 on F p + 1 , r + 1 .
For each ruling m in the set M p + 1 , r + 1 on F p + 1 , r + 1 , the intersection number m · e r + 1 may vary as in Lemma 2, and we check the following cases.
(Case 1) m · e r + 1 = 0 for r 5
Such ruling m corresponds to a ruling ϕ h * ( m ) on F p + 1 , r . Thus we have
m M p + 1 , r + 1 m · e r + 1 = 0 = ϕ h * M p + 1 , r .
(Case 2) m · e r + 1 = 1 for r 5
Such ruling m can be written as ϕ h * ( D ) e r + 1 with a divisor class D on F p + 1 , r satisfying
D 2 = ϕ h * ( D ) 2 = ( m + e r + 1 ) 2 = 1 , D · K F p + 1 , r = ϕ h * ( D ) · ϕ h * K F p + 1 , r = m + e r + 1 · K F p + 1 , r + 1 e r + 1 = 3 .
Thus the divisor class D on F p + 1 , r is an exceptional system on F p + 1 , r , and we get
m M p + 1 , r + 1 m · e r + 1 = 1 = ϕ h * E p + 1 , r e r + 1 .
(Case 3) m · e r + 1 = 2 for r = 4 , 5
Such ruling m can be written as ϕ h * ( D ) 2 e r + 1 with a divisor class D on F p + 1 , r satisfying
D 2 = ϕ h * ( D ) 2 = ( m + 2 e r + 1 ) 2 = 4 , D · K F p + 1 , r = ϕ h * ( D ) · ϕ h * ( K F p + 1 , r ) = ( m + 2 e r + 1 ) · ( K F p + 1 , r + 1 e r + 1 ) = 4 .
When r = 4 , K F p + 1 , 4 is the only divisor class on F p + 1 , 4 satisfying the above conditions for D. Thus we have
m M p + 1 , 5 m · e 5 = 2 = ϕ h * K F p + 1 , 4 2 e 5 = K F p + 1 , 5 e 5 = H p + 1 , 5 .
When r = 5 , such D corresponds to a line l ˜ on F p + 1 , 5 via D = l ˜ K F p + 1 , 5 . Therefore
m M p + 1 , 6 m · e 6 = 2 = ϕ h * l ˜ K F p + 1 , 5 2 e 6 l ˜ L p + 1 , 5 = ϕ h * L p + 1 , 5 K F p + 1 , 6 e 6 = H p + 1 , 6 .
Similarly, by considering a line f e r + 1 on F p + 1 , r + 1 and ϕ v we also derive the equality for ϕ v including
V p + 1 , 5 = K F p + 1 , 5 f + e 5 , V p + 1 , 6 = ϕ v * L p , 5 K F p + 1 , 6 ( f e 6 ) .
 □
Remark 8.
Comparing Table 1 and Table 2, we get
27 = M p + 1 , 5 = M p + 1 , 4 + E p + 1 , 4 + H p + 1 , 5 = 10 + 16 + 1 , 27 = M p + 1 , 5 = M p , 4 + E p , 4 + V p + 1 , 5 = 10 + 16 + 1 , 126 = M p + 1 , 6 = M p + 1 , 5 + E p + 1 , 5 + H p + 1 , 6 = 27 + 72 + 27 , 126 = M p + 1 , 6 = M p , 5 + E p , 5 + V p + 1 , 6 = 27 + 72 + 27 .

4.3.3. Skew A-Lines on F p , r

In the following, we need to define skew 2-lines, skew 3-lines, and skew r-lines on F p , r . A divisor class D in Pic ( F p , r ) is called a skew a-line if it can be written as a sum of disjoint lines on F p , r , namely,
D l 1 + + l a where l i , i = 1 , , a , are lines on F p , r with l i · l j = 0 for i j .
Remark 9.
We use a term of a skew a-line on F p , r even if the disjoint a-lines are not really skew because we follow the ([4] Section 5) and ([19] Section 2.3).
Note that for each skew a-line, the choice of disjoint lines representing the skew a-line is unique up to permutation (see [4,19]). We denote the set of skew a-lines on F p , r as
L p , r a : = D Pic ( F p , r ) D is a skew a - line on F p , r .
In [4,19], we know that L p , r a is bijectively related to a 1 simplexes in corresponding a Gosset polytope ( r 3 ) 21 . In particular, skew 2-lines L p , 6 2 (resp. skew 3-lines L p , 6 3 ) is bijectively related to edges (resp. 2-simplexes) of a Gosset polytope 3 21 , and so L p , 6 2 = 756 (resp. L p , 6 3 = 4032 ). We can also get L p , 5 2 = 216 . Moreover, each skew a-line D satisfies D 2 = a and D · K F p , r = a , and the converse is also true for a = 2 , 3 by checking the numbers of divisor classes D satisfying equations in the below (Table 3).
Thus we obtain the following lemma which is also known to hold true for del Pezzo surfaces ([4] Theorem 5.2).
Lemma 3.
For a = 2 , 3 , a divisor class D on F p , r with D 2 = a and D · K F p , r = a is a skew a-line on F p , r .

4.3.4. Rulings on F p + 1 , 7 via Monoidal Transformations

Now we consider r = 6 , i.e., F p + 1 , 7 .
Theorem 7.
For a fixed line e 7 on F p + 1 , 7 , we have
M p + 1 , 7 = ϕ h * M p + 1 , 6 ˙ ϕ h * E p + 1 , 6 e 7 ˙ ϕ h * L p + 1 , 6 2 K F p + 1 , 7 e 7 ˙ ϕ h * E p + 1 , 6 K F p + 1 , 7 2 e 7 ˙ ϕ h * M p + 1 , 6 2 K F p + 1 , 7 2 e 7 = ϕ v * M p , 6 ˙ ϕ v * E p , 6 f e 7 ˙ ϕ v * L p , 6 2 K F p + 1 , 7 f e 7 ˙ ϕ v * E p , 6 K F p + 1 , 7 2 f e 7 ˙ ϕ v * M p , 6 2 K F p + 1 , 7 2 f e 7 .
Proof. 
We consider the map ϕ h induced by a line e 7 on F p + 1 , 7 .
For each ruling m in the set M p + 1 , 7 on F p + 1 , 7 , m · e r + 1 may vary as in Lemma 2, and we check the following cases.
As in Theorem 6, the cases m · e 7 = 0 and m · e 7 = 1 are given as
m M p + 1 , 7 m · e 7 = 0 = ϕ h * ( M p + 1 , 6 )
and
m M p + 1 , 7 m · e 7 = 1 = ϕ h * ( E p + 1 , 6 ) e 7
respectively.
(Case m · e 7 = 2 )
Again as in Theorem 6, such ruling m can be written as ϕ h * ( D ) 2 e 7 with D satisfying
D 2 = ϕ h * ( D ) 2 = ( m + 2 e 7 ) 2 = 4 , D · K F p + 1 , 6 = ϕ h * ( D ) · ϕ h * ( K F p + 1 , 6 ) = ( m + 2 e 7 ) · ( K F p + 1 , 7 e 7 ) = 4 .
Since ( D + K F p + 1 , 6 ) · K F p + 1 , 6 = 2 and ( D + K F p + 1 , 6 ) 2 = 2 , by Lemma 3 the divisor class D + K F p + 1 , 6 is bijectively related to a skew 2-line on F p + 1 , 6 , namely in L p + 1 , 6 2 . Thus we have
m M p + 1 , 7 m · e 7 = 2 = ϕ h * l 1 + l 2 K F p + 1 , 6 2 e 7 l 1 , l 2 L p + 1 , 6 with l 1 · l 2 = 0 = ϕ h * L p + 1 , 6 2 K F p + 1 , 7 e 7 .
(Case m · e 7 = 3 )
As the above, a ruling m with m · e 7 = 3 can be written as ϕ h * ( D ) 3 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 9 and D · K F p + 1 , 6 = 5 . Since ( D + K F p + 1 , 6 ) · K F p + 1 , 6 = 3 and ( D + K F p + 1 , 6 ) 2 = 1 , the divisor class D + K F p + 1 , 6 is bijectively related to an exceptional system on F p + 1 , 6 . Therefore, we obtain
m M p + 1 , 7 m · e 7 = 3 = ϕ h * e K F p + 1 , 6 3 e 7 e E p + 1 , 6 = ϕ h * E p + 1 , 6 K F p + 1 , 7 2 e 7 .
(Case m · e 7 = 4 )
A ruling m with m · e 7 = 4 can be written as ϕ h * ( D ) 4 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 16 and D · K F p + 1 , 6 = 6 . Since ( D + 2 K F p + 1 , 6 ) · K F p + 1 , 6 = 2 and ( D + 2 K F p + 1 , 6 ) 2 = 0 , the divisor class D + 2 K F p + 1 , 6 is bijectively related to a ruling on F p + 1 , 6 so that we have
m M p + 1 , 7 m · e 7 = 4 = ϕ h * m 2 K F p + 1 , 6 4 e 7 m M p + 1 , 6 = ϕ h * M p + 1 , 6 2 K F p + 1 , 7 2 e 7 .
Similarly, we derive the equality for ϕ v .  □
Remark 10.
Comparing Table 1 and Table 2, we obtain
2160 = M p + 1 , 7 = M p + 1 , 6 + E p + 1 , 6 + L p + 1 , 6 2 + E p + 1 , 6 + M p + 1 , 6 = M p , 6 + E p , 6 + L p , 6 2 + E p , 6 + M p , 6 = 126 + 576 + 756 + 576 + 126 .

4.4. Exceptional Systems and Monoidal Transformations

We introduce sextic divisor classes to appear on the way to monoidal transformations for exceptional systems on F p , r . We also study basic properties of these divisor classes. The properties are not crucial to understand the monoidal transformations for exceptional systems, but since these divisor classes were not considered beforehand, we study their properties for the sake of completeness.

4.4.1. Sextic Divisor Classes on F p , 6

To study monoidal transformations for exceptional systems on F p , 7 , we need to introduce a sextic divisor class D via the anti-canonical degree with respect to the canonical divisor class K F p , 6 on F p , 6 which is given by D 2 = 10 , D · K F p , 6 = 6 and its set is denoted as
S p , 6 : = D Pic ( F p , 6 ) D 2 = 10 , D · K F p , 6 = 6 .
Either direct computation or by applying Lattice theory to ( D + 3 K F p , 6 ) · K F p , 6 = 0 and ( D + 3 K F p , 6 ) 2 = 8 , we obtain S p , 6 = 4158 . By considering Weyl action of E 7 , we know that there are more than one orbit in S p , 6 . To characterize elements of each orbit we introduce
Φ ( D ) : = 1 2 D + K F p , 6
for each D in S p , 6 . In the following, by checking that Φ ( D ) is in Pic ( F p , 6 ) or not, we identify each orbit in S p , 6 .
Now we prove that S p , 6 consists of two orbits of E 7 action.
(1) (Orbit I) We consider a subset of S p , 6 given as
S p , 6 ( I ) : = 2 m K F p , 6 Pic ( F p , 6 ) m is a ruling on F p , 6 S p , 6
which consists of 126 elements. The E 7 -Weyl group preserves K F p , 6 and transitively acts on the set M p , 6 of rulings on F p , 6 . Thus it forms a single orbit. Note that Φ ( 2 m K F p , 6 ) = 1 2 2 m K F p , 6 + K F p , 6 = m Pic ( F p , 6 ) . Moreover, we conclude that the set of such divisor classes is bijectively related to the set of rulings on F p , 6 which contains 126 elements, and we obtain the following lemma.
Lemma 4.
For a sextic divisor class D in S p , 6 , Φ ( D ) is in Pic ( F p , 6 ) if and only if Φ ( D ) is a ruling.
(2) (Orbit II)
As in [4,19], each exceptional system e on F p , 6 corresponds to a 6-simplex consisting of a skew 7-line l 1 + l 2 + + l 7 via 3 e + K F p , 6 l 1 + l 2 + + l 7 . For each line l i in the skew 7-line, we consider a divisor class
e + l i K F p , 6
which satisfies e + l i K F p , 6 · K F p , 6 = 6 and e + l i K F p , 6 2 = 10 . We define a subset of Pic ( F p , 6 )
S p , 6 ( I I ) : = e + l i K F p , 6 Pic ( F p , 6 ) e is an exceptional system on F p , 6 , 3 e + K F p , 6 l 1 + l 2 + + l 7 .
Indeed, this is an orbit, since E 7 -Weyl group acts trivially on K F p , 6 and transitively on the set of exceptional systems, and the isotropy group acts transitively on the skew 7-lines.
Lemma 5.
For each e + l i K F p , 6 in S p , 6 ( I I ) , Φ ( e + l i K F p , 6 ) is not in Pic ( F p , 6 ) and e + l i K F p , 6 is uniquely determined.
Proof. 
Since Φ ( e + l i K F p , 6 ) · l i = e + l i 2 · l i = 1 2 , Φ ( e + l i K F p , 6 ) is not in Pic ( F p , 6 ) .
To show e + l i K F p , 6 is uniquely determined, we consider two pairs, e , l i and e ˜ , l ˜ i , of an exceptional system and a line which satisfy e + l i e ˜ + l ˜ i . Without losing the generality, we may assume e e ˜ and l i l ˜ i .
First of all, we observe l i is not related to the exceptional system e ˜ via a skew 7-line l ˜ 1 + l ˜ 2 + + l ˜ 7 (i.e. l i l ˜ j for all j { 1 , 2 , , 7 } ). Indeed, suppose that l i l ˜ j for some j. We have l i · l ˜ i = 0 and l i · e ˜ = 0 since l i l ˜ i and 3 e ˜ + K F p , 6 l ˜ 1 + l ˜ 2 + + l ˜ 7 . It gives a contradiction by 1 = l i · e + l i = l i · e ˜ + l ˜ i = 0 . Thus l i is not one of l ˜ j in l ˜ 1 + l ˜ 2 + + l ˜ 7 .
Since l i is not related to the exceptional system e ˜ via a skew 7-line l ˜ 1 + l ˜ 2 + + l ˜ 7 , we have
l i · 3 e ˜ + K F p , 6 = l i · l ˜ 1 + l ˜ 2 + + l ˜ 7 > 0 .
Indeed, the possible intersection number among two lines l , l is 1 , and l l when l · l = 1 (See Section 4.1.1). Observe that a skew 7-line consists of 7-lines whose 7 is the maximum t for which there exists a t-skew line (See ([4] Table 2 and Theorem 5.1) and [19]). So any line which is not in the skew 7-line l ˜ 1 + l ˜ 2 + + l ˜ 7 must have a positive intersection number with the skew 7-line.
Thus l i · e ˜ > 0 . It implies 0 l i · l ˜ i = l i · l i + e e ˜ = 1 l i · e ˜ 2 which is impossible.
Hence e + l i K F p , 6 is uniquely determined. □
By applying Lemma 5, we conclude the subset S p , 6 ( I I ) consists of 7 × 576 elements. Since 126 + 7 × 576 = S p , 6 , these two forms, S p , 6 ( I ) and S p , 6 ( I I ) , are disjoint orbits of the set S p , 6 of sextic divisors.
In summary we have
Proposition 1.
S p , 6 = 2 m K F p , 6 Pic ( F p , 6 ) m is a ruling ˙ e + l i K F p , 6 Pic ( F p , 6 ) e is an exceptional system on F p , 6 , 3 e + K F p , 6 l 1 + l 2 + + l 7 i . e . S p , 6 = S p , 6 ( I ) ˙ S p , 6 ( I I ) .
Moreover, for each D in S p , 6 , D is in S p , 6 ( I ) iff Φ ( D ) is in Pic ( F p , 6 ) , and D is in S p , 6 ( I I ) iff Φ ( D ) is not in Pic ( F p , 6 ) .

4.4.2. Intersection between a Line and an Exceptional System

For a line l and an exceptional system e on F p , r , the possible intersection numbers between lines and exceptional systems are given by the following lemma.
Lemma 6.
The possible intersection numbers between lines and exceptional systems are given as
l · e = 0 , 1 for r = 1 , 2 , 3 0 , 1 , 2 for r = 4 , 5 0 , 1 , 2 , 3 for r = 6 1 , 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 for r = 7 .
Proof. 
For a line l and an exceptional system e on F p , r , we have
K F p , r 2 l ± e 2 ( K F p , r · l ± K F p , r · e ) 2
and it implies
2 8 r l · e 8 8 r .
Thus, the possible intersection numbers between lines and exceptional systems are given as
l · e = 0 , 1 for r = 1 , 2 , 3 0 , 1 , 2 for r = 4 , 5 1 l · e 4 for r = 6 2 l · e 8 for r = 7 .
For r = 6 , by applying Hodge inequality to get l · e = 4 (resp. 1 ), there is a constant n with e + l n K F p , 6 (resp. e l n K F p , 6 ). Since K F p , 6 · e + l = 4 (resp. K F p , 6 · e l = 2 ), the constant n is equal to 2 (resp. 1 ). But e 2 = ( 2 K F p , 6 l ) 2 = 3 (resp. e 2 = ( K F p , 6 + l ) 2 = 3 ) which is impossible since e 2 = 1 .
For r = 7 , as the above, to get l · e = 8 (resp. l · e = 2 ), e + l n K F p , 7 (resp. e l n K F p , 7 ) for some constant n. Since K F p , 7 · e + l = 4 (resp. K F p , 7 · e l = 2 ), the constant n is equal to 4 (resp. 2 ). But e 2 = ( 4 K F p , 7 l ) 2 = 7 (resp. e 2 = ( 2 K F p , 7 + l ) 2 = 7 ) which is impossible since e 2 = 1 . □

4.4.3. Exceptional Systems via Monoidal Transformations

Now, we consider monoidal transformations for E p + 1 , r + 1 given by lines f e r + 1 and e r + 1 on F p , r + 1 . According to Lemma 6, the case r = 6 (i.e., the case E p + 1 , 7 ) involves more nontrivial issues than the others so that we deal with them after the following theorem for the cases 0 r 5 .
Theorem 8.
For a fixed line e r + 1 on F p + 1 , r + 1 , 0 r 5 ,
E p + 1 , r + 1 = ϕ h * E p + 1 , r ˙ ϕ h * Q p + 1 , r e r + 1 ˙ H p + 1 , r + 1 = ϕ v * E p , r ˙ ϕ v * Q p , r f e r + 1 ˙ V p + 1 , r + 1 ,
where
H p + 1 , r + 1 = V p + 1 , r + 1 = for r 2 , H p + 1 , 4 = K F p + 1 , 4 e 4 , V p + 1 , 4 = K F p + 1 , 4 f e 4 , H p + 1 , 5 = ϕ h * L p + 1 , 4 K F p + 1 , 5 e 5 , V p + 1 , 5 = ϕ v * L p , 4 K F p + 1 , 5 ( f e 5 ) , H p + 1 , 6 = ϕ h * L p + 1 , 5 2 K F p + 1 , 6 e 6 ˙ ϕ h * E p + 1 , 5 K F p + 1 , 6 2 e 6 , V p + 1 , 6 = ϕ v * L p , 5 2 K F p + 1 , 6 ( f e 6 ) ˙ ϕ v * E p , 5 K F p + 1 , 6 2 ( f e 6 ) .
Proof. 
We consider the map ϕ h induced from a line e r + 1 on F p + 1 , r + 1 .
For each exceptional system e in the set E p + 1 , r + 1 on F p + 1 , r + 1 , the intersection number e · e r + 1 may vary as in Lemma 6, and we check the following cases according to them.
(Case 1) e · e r + 1 = 0 for r 5
An exceptional system e on F p + 1 , r + 1 with e · e r + 1 = 0 corresponds to an exceptional system ϕ h * ( e ) on F p + 1 , r . Thus we have
e E p + 1 , r + 1 e · e r + 1 = 0 = ϕ h * E p + 1 , r .
(Case 2) e · e r + 1 = 1 for r 5
Such exceptional system e can be written as ϕ h * ( D ) e r + 1 with a divisor class D on F p + 1 , r satisfying
D 2 = ϕ h * ( D ) 2 = ( e + e r + 1 ) 2 = 2 , D · K F p + 1 , r = ϕ h * ( D ) · ϕ h * K F p + 1 , r = ( e + e r + 1 ) · K F p + 1 , r + 1 e r + 1 = 4 .
Therefore, the divisor class D is a quartic rational divisor class on F p + 1 , r , and so
e E p + 1 , r + 1 e · e r + 1 = 1 = ϕ h * Q p + 1 , r e r + 1 .
(Case 3) e · e r + 1 = 2 for r = 3 , 4
Such e can be written as ϕ h * ( D ) 2 e r + 1 with D satisfying
D 2 = ϕ h * ( D ) 2 = ( e + 2 e r + 1 ) 2 = 5 , D · K F p + 1 , r = ϕ h * ( D ) · ϕ h * K F p + 1 , r = ( e + 2 e r + 1 ) · K F p + 1 , r + 1 e r + 1 = 5 .
When r = 3 , K F p + 1 , 3 is the only divisor class on F p + 1 , 3 satisfying the above conditions for D. Thus
e E p + 1 , 4 e · e 4 = 2 = ϕ h * K F p + 1 , 3 2 e 4 = K F p + 1 , 4 e 4 = H p + 1 , 4 .
When r = 4 , such D corresponds to a line l ˜ on F p + 1 , 4 via D = l ˜ K F p + 1 , 4 . Therefore
e E p + 1 , 5 e · e 5 = 2 = ϕ h * l ˜ K F p + 1 , 4 2 e 5 l ˜ L p + 1 , 4 = ϕ h * L p + 1 , 4 K F p + 1 , 5 e 5 = H p + 1 , 5 .
(Case 4) e · e 6 = 2 or 3
(i) An exceptional system e on F p + 1 , 6 with e · e 6 = 2 can be written as ϕ h * ( D ) 2 e 6 with a divisor class D on F p + 1 , 5 satisfying D 2 = 5 and D · K F p + 1 , 5 = 5 . Since ( D + K F p + 1 , 5 ) · K F p + 1 , 5 = 2 and ( D + K F p + 1 , 5 ) 2 = 2 , the divisor class D + K F p + 1 , 5 is bijectively related to a skew 2-line L p , 5 2 by Lemma 3. Thus we have
e E p + 1 , 6 e · e 6 = 2 = ϕ h * l 1 + l 2 K F p + 1 , 5 2 e 6 l 1 , l 2 L p + 1 , 5 with l 1 · l 2 = 0 = ϕ h * L p + 1 , 5 2 K F p + 1 , 6 e 6 .
(ii) An exceptional system e on F p + 1 , 6 with e · e 6 = 3 can be written as ϕ h * ( D ) 3 e 6 with a divisor class D on F p + 1 , 5 satisfying D 2 = 10 and D · K F p + 1 , 5 = 6 . Since ( D + K F p + 1 , 5 ) · K F p + 1 , 5 = 3 and ( D + K F p + 1 , 5 ) 2 = 1 , the divisor class D + K F p + 1 , 5 is bijectively related to an exceptional system on F p + 1 , 5 . Therefore, we obtain
e E p + 1 , 6 e · e 6 = 3 = ϕ h * e K F p + 1 , 5 3 e 6 e E p + 1 , 5 = ϕ h * E p + 1 , 5 K F p + 1 , 6 2 e 6 .
Similarly, we derive the equality for ϕ v and obtain
V p + 1 , 4 = { K F p + 1 , 4 f + e 4 } , V p + 1 , 5 = ϕ v * L p , 4 K F p + 1 , 5 ( f e 5 ) , V p + 1 , 6 = ϕ v * L p , 5 2 K F p + 1 , 6 ( f e 6 ) ˙ ϕ v * E p , 5 K F p + 1 , 6 2 ( f e 6 ) .
 □
Remark 11.
When we consider skew 2-lines on F p + 1 , 5 and F p , 5 , we have the following data in Table 1 and Table 2.
16 = E p + 1 , 4 = E p + 1 , 3 + Q p + 1 , 3 + H p + 1 , 4 = E p , 3 + Q p , 3 + V p + 1 , 4 = 5 + 10 + 1 , 72 = E p + 1 , 5 = E p + 1 , 4 + Q p + 1 , 4 + H p + 1 , 5 = E p , 4 + Q p , 4 + V p + 1 , 5 = 16 + 40 + 16 , 576 = E p + 1 , 6 = E p + 1 , 5 + Q p + 1 , 5 + H p + 1 , 6 = E p + 1 , 5 + Q p + 1 , 5 + L p + 1 , 5 2 + E p + 1 , 5 = 72 + 216 + 216 + 72 , 576 = E p + 1 , 6 = E p , 5 + Q p , 5 + V p + 1 , 6 = E p , 5 + Q p , 5 + L p , 5 2 + E p , 5 = 72 + 216 + 216 + 72 .

4.4.4. Exceptional Systems of E p + 1 , 7 via Monoidal Transformations

We deal with the case r = 6 (i.e., the case E p + 1 , 7 ) as follows. In this case we use sextic divisor classes to describe exceptional systems via monoidal transformations.
Theorem 9.
For a fixed line e 7 on F p + 1 , 7 ,
E p + 1 , 7 = ϕ h * E p + 1 , 6 ˙ ϕ h * Q p + 1 , 6 e 7 ˙ H p + 1 , 7 = ϕ v * E p , 6 ˙ ϕ v * Q p , 6 f e 7 ˙ V p + 1 , 7 ,
where
H p + 1 , 7 = K F p + 1 , 7 + 2 e 7 ˙ ϕ h * L p + 1 , 6 3 K F p + 1 , 7 e 7 ˙ ϕ h * S p + 1 , 6 3 e 7 ˙ ϕ h * L p + 1 , 6 3 2 K F p + 1 , 7 2 e 7 ˙ ϕ h * Q p + 1 , 6 5 K F p + 1 , 7 ˙ ϕ h * E p + 1 , 6 5 K F p + 1 , 7 e 7 ˙ 5 K F p + 1 , 7 2 e 7 , V p + 1 , 7 = K F p + 1 , 7 + 2 f e 7 ˙ ϕ v * L p , 6 3 K F p + 1 , 7 f e 7 ˙ ϕ v * S p , 6 3 f e 7 ˙ ϕ v * L p , 6 3 2 K F p + 1 , 7 2 f e 7 ˙ ϕ v * Q p , 6 5 K F p + 1 , 7 ˙ ϕ v * E p , 6 5 K F p + 1 , 7 f e 7 ˙ 5 K F p + 1 , 7 2 f e 7 .
Proof. 
We consider the map ϕ h induced by a line e 7 on F p + 1 , 7 .
For each exceptional system e in the set E p + 1 , 7 on F p + 1 , 7 , e · e r + 1 may vary as in Lemma 6, and we check each case of e · e 7 = 1 , 0 , , 7 .
As in Theorem 8, the cases e · e 7 = 0 and e · e 7 = 1 are given as
e E p + 1 , 7 e · e 7 = 0 = ϕ h * ( E p + 1 , 6 )
and
e E p + 1 , 7 e · e 7 = 1 = ϕ h * ( Q p + 1 , 6 ) e 7
respectively.
(Case e · e 7 = 1 )
An exceptional system e on F p + 1 , 7 with e · e 7 = 1 can be written as ϕ h * ( D ) + e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 2 and D · K F p + 1 , 6 = 2 . The divisor class K F p + 1 , 6 is the only class with the given condition for D. Thus, we have
e E p + 1 , 7 e · e 7 = 1 = ϕ h * K F p + 1 , 6 + e 7 = K F p + 1 , 7 + 2 e 7 .
(Case e · e 7 = 2 )
An exceptional system e on F p + 1 , 7 satisfying e · e 7 = 2 can be written as ϕ h * ( D ) 2 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 5 and D · K F p + 1 , 6 = 5 . By applying Lemma 3 to ( D + K F p + 1 , 6 ) · K F p + 1 , 6 = 3 and ( D + K F p + 1 , 6 ) 2 = 3 , the divisor class D + K F p + 1 , 6 is bijectively related to a skew 3-line of L p , 6 3 on F p + 1 , 6 . Thus, we obtain
e E p + 1 , 7 e · e 7 = 2 = ϕ h * l 1 + l 2 + l 3 K F p + 1 , 6 2 e 7 l 1 , l 2 , l 3 L p + 1 , 6 with l i · l j = 0 , i j = ϕ h * L p + 1 , 6 3 K F p + 1 , 7 e 7 .
(Case e · e 7 = 3 )
An exceptional system e on F p + 1 , 7 satisfying e · e 7 = 3 can be written as ϕ h * ( D ) 3 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 10 and D · K F p + 1 , 6 = 6 which is a sextic divisor in S p + 1 , 6 on F p + 1 , 6 (See Section 4.4.1). Thus, we obtain
e E p + 1 , 7 e · e 7 = 3 = ϕ h * S p + 1 , 6 3 e 7 .
(Case e · e 7 = 4 )
An exceptional system e on F p + 1 , 7 with e · e 7 = 4 can be written as ϕ h * ( D ) 4 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 17 and D · K F p + 1 , 6 = 7 . By applying Lemma 3 to ( D + 2 K F p + 1 , 6 ) · K F p + 1 , 6 = 3 and ( D + 2 K F p + 1 , 6 ) 2 = 3 , the divisor class D + 2 K F p + 1 , 6 is bijectively related to a skew 3-line of L p , 6 3 on F p + 1 , 6 . Thus, we obtain
e E p + 1 , 7 e · e 7 = 4 = ϕ h * l 1 + l 2 + l 3 2 K F p + 1 , 6 4 e 7 l 1 , l 2 , l 3 L p + 1 , 6 with l i · l j = 0 , i j = ϕ h * L p + 1 , 6 3 2 K F p + 1 , 7 2 e 7 .
(Case e · e 7 = 5 )
Such exceptional system e can be written as ϕ h * ( D ) 5 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 26 and D · K F p + 1 , 6 = 8 . Since ( D + 5 K F p + 1 , 6 ) · K F p + 1 , 6 = 2 and ( D + 5 K F p + 1 , 6 ) 2 = 4 , the divisor class D + 5 K F p + 1 , 5 is bijectively related to a quartic rational divisor class on F p + 1 , 6 . Therefore, we have
e E p + 1 , 7 e · e 7 = 5 = ϕ h * q 5 K F p + 1 , 6 5 e 7 q Q p + 1 , 6 = ϕ h * Q p + 1 , 6 5 K F p + 1 , 7 .
(Case e · e 7 = 6 )
Such exceptional system e can be written as ϕ h * ( D ) 6 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 37 and D · K F p + 1 , 6 = 9 . Since ( D + 5 K F p + 1 , 6 ) · K F p + 1 , 6 = 1 and ( D + 5 K F p + 1 , 6 ) 2 = 3 , the divisor class D + 5 K F p + 1 , 5 corresponds an exceptional system on F p + 1 , 6 . Therefore, we have
e E p + 1 , 7 e · e 7 = 6 = ϕ h * e 5 K F p + 1 , 6 6 e 7 e E p + 1 , 6 = ϕ h * E p + 1 , 6 5 K F p + 1 , 7 e 7 .
(Case e · e 7 = 7 )
An exceptional system e on F p + 1 , 7 with e · e 7 = 7 can be written as ϕ h * ( D ) 7 e 7 with a divisor class D on F p + 1 , 6 satisfying D 2 = 50 and D · K F p + 1 , 6 = 10 . Since ( D + 5 K F p + 1 , 6 ) · K F p + 1 , 6 = 0 and ( D + 5 K F p + 1 , 6 ) 2 = 0 , the divisor class 5 K F p + 1 , 6 is the only class with the given condition. Thus, we have
e E p + 1 , 7 e · e 7 = 7 = ϕ h * 5 K F p + 1 , 6 7 e 7 = 5 K F p + 1 , 7 2 e 7 .
Similarly, we obtain the equality for V p + 1 , 7 . □
Remark 12.
We use Table 2 with skew 3-lines on F p + 1 , 6 (resp. F p , 6 ) and sextic divisor classes on F p + 1 , 6 (resp. F p , 6 ) to obtain the following.
E p + 1 , 7 = 17520 , E p + 1 , 6 ( resp . E p , 6 ) = 576 , Q p + 1 , 6 ( resp . Q p , 6 ) = 2072 , L p + 1 , 6 3 ( resp . L p , 6 3 ) = 4032 , S p + 1 , 6 ( resp . S p , 6 ) = 4158 .
17 , 520 = E p + 1 , 7 = K F p + 1 , 7 + 2 e 7 + E p + 1 , 6 + Q p + 1 , 6 + L p + 1 , 6 3 + S p + 1 , 6 + L p + 1 , 6 3 + Q p + 1 , 6 + E p + 1 , 6 + 5 K F p + 1 , 7 2 e 7 = K F p + 1 , 7 + 2 ( f e 7 ) + E p , 6 + Q p , 6 + L p , 6 3 + S p , 6 + L p , 6 3 + Q p , 6 + E p , 6 + 5 K F p + 1 , 7 2 ( f e 7 ) = 1 + 576 + 2072 + 4032 + 4158 + 4032 + 2072 + 576 + 1 .

Author Contributions

The researching and writing the article was done by both authors. Both authors have read and agreed to the published version of the manuscript.

Funding

The first author was supported supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (No. 2019R1F1A1058962). The second author was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No. 2017R1D1A1B03028273) and by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education: NRF-2018R1D1A1B07048385.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Barth, W.; Peters, C.; Van de Ven, A. Compact Complex Surfaces; Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]; Springer: Berlin, Germany, 1984; Volume 4, p. x+304. [Google Scholar]
  2. Bădescu, L. Algebraic Surfaces; Springer: New York, NY, USA, 2001. [Google Scholar]
  3. Beauville, A. Surfaces Algébriques Complexes; Avec Une Sommaire en Anglais, Astérisque, No. 54; Société Mathématique de France: Paris, France, 1978; p. iii+172. [Google Scholar]
  4. Lee, J.H. Gosset polytopes in Picard groups of del Pezzo surfaces. Canad. J. Math. 2012, 64, 123–150. [Google Scholar] [CrossRef] [Green Version]
  5. Lee, J.H. Configurations of lines in del Pezzo surfaces with Gosset polytopes. Trans. Am. Math. Soc. 2014, 366, 4939–4967. [Google Scholar] [CrossRef]
  6. Coxeter, H.S.M. The polytope 221, whose twenty-seven vertices correspond to the lines on the general cubic surface. Amer. J. Math. 1940, 62, 457–486. [Google Scholar] [CrossRef]
  7. Manin, Y.I. Cubic Forms: Algebra, Geometry, Arithmetic; North-Holland: Amsterdam, The Netherlands, 1974. [Google Scholar]
  8. du Val, P. On the Directrices of a Set of Points in a Plane. Proc. Lond. Math. Soc. 1933, 35, 23–74. [Google Scholar] [CrossRef]
  9. Manivel, L. Configurations of lines and models of Lie algebras. J. Algebra 2006, 304, 457–486. [Google Scholar] [CrossRef] [Green Version]
  10. Batyrev, V.V.; Popov, O.N. The Cox ring of a del Pezzo surface. In Arithmetic of Higher-Dimensional Algebraic Varieties (Palo Alto, CA, 2002); Progr. Math.; Birkhäuser: Boston, MA, USA, 2004; Volume 226, pp. 85–103. [Google Scholar]
  11. Derenthal, U. Universal torsors of del Pezzo surfaces and homogeneous spaces. Adv. Math. 2007, 213, 849–864. [Google Scholar] [CrossRef] [Green Version]
  12. Laface, A.; Velasco, M. Picard-graded Betti numbers and the defining ideals of Cox rings. J. Algebra 2009, 322, 353–372. [Google Scholar] [CrossRef] [Green Version]
  13. Serganova, V.V.; Skorobogatov, A.N. Del Pezzo surfaces and representation theory. Algebra Number Theory 2007, 1, 393–419. [Google Scholar] [CrossRef]
  14. Serganova, V.V.; Skorobogatov, A.N. On the equations for universal torsors over del Pezzo surfaces. J. Instig. Math. Jussieu 2010, 9, 203–223. [Google Scholar] [CrossRef] [Green Version]
  15. Stillman, M.; Testa, D.; Velasco, M. Gröbner bases, monomial group actions, and the Cox rings of del Pezzo surfaces. J. Algebra 2007, 316, 777–801. [Google Scholar] [CrossRef] [Green Version]
  16. Sturmfels, B.; Xu, Z. Sagbi bases of Cox-Nagata rings. J. Eur. Math. Soc. 2010, 12, 429–459. [Google Scholar] [CrossRef] [Green Version]
  17. Testa, D.; Várilly-Alvarado, A.; Velasco, M. Cox rings of degree one del Pezzo surfaces. Algebra Num. Theory 2009, 3, 729–761. [Google Scholar] [CrossRef] [Green Version]
  18. Matsuzawa, J.I. Root systems and periods on Hirzebruch surfaces. Publ. Res. Inst. Math. Sci. 1993, 29, 411–438. [Google Scholar] [CrossRef] [Green Version]
  19. Lee, J.H.; Shin, Y. E-polytopes in Picard groups of smooth rational surfaces. Symmetry 2016, 8, 27. [Google Scholar] [CrossRef] [Green Version]
  20. Lahyane, M. Irreducibility of the (−1)-classes on smooth rational surfaces. Proc. Am. Math. Soc. 2005, 133, 2219–2224. [Google Scholar] [CrossRef]
  21. Jiang, C. Bounding the volumes of singular weak log del Pezzo surfaces. Int. J. Math. 2013, 24, 1350110. [Google Scholar] [CrossRef] [Green Version]
  22. Lahyane, M.; Harbourne, B. Irreducibility of −1-classes on anticanonical rational surfaces and finite generation of the effective monoid. Pac. J. Math. 2005, 218, 101–114. [Google Scholar] [CrossRef]
  23. Leung, N.C. ADE-bundles over rational surfaces, configuration of lines and rulings. arXiv 2000, arXiv:math/0009192. [Google Scholar]
  24. Leung, N.C.; Zhang, J. Moduli of bundles over rational surfaces and elliptic curves. I. Simply laced cases. J. Lond. Math. Soc. 2009, 80, 750–770. [Google Scholar] [CrossRef]
Figure 1. Monoidal transformations.
Figure 1. Monoidal transformations.
Mathematics 08 00867 g001
Figure 2. Chain of monoidal transformations.
Figure 2. Chain of monoidal transformations.
Mathematics 08 00867 g002
Figure 3. Coxeter–Dynkin diagram of type E r + 1 , r 2 .
Figure 3. Coxeter–Dynkin diagram of type E r + 1 , r 2 .
Mathematics 08 00867 g003
Table 1. Numbers of elements of R p , r , L p , r , M p , r , E p , r , Q p , r .
Table 1. Numbers of elements of R p , r , L p , r , M p , r , E p , r , Q p , r .
r1234567
R p , r 28204072126240
L p , r 3610162756240
M p , r 23510271262160
E p , r 1251672576 17 , 520
Q p , r 1310402162072 82 , 560
Table 2. Numbers of elements of R p , r 0 , L p , r 0 , M p , r 0 , E p , r 0 , Q p , r 0 .
Table 2. Numbers of elements of R p , r 0 , L p , r 0 , M p , r 0 , E p , r 0 , Q p , r 0 .
r1234567
R p , r 0 041224406084
L p , r 0 2468101214
M p , r 0 1111111
E p , r 0 0000000
Q p , r 0 0000000
Table 3. Number of D with D 2 = a and D · K F p , r = a .
Table 3. Number of D with D 2 = a and D · K F p , r = a .
a F p , 2 F p , 3 F p , 4 F p , 5 F p , 6 F p , 7
2630802167566720
32301607204032 60 , 480

Share and Cite

MDPI and ACS Style

Lee, J.-H.; Shin, Y. Blown-Up Hirzebruch Surfaces and Special Divisor Classes. Mathematics 2020, 8, 867. https://doi.org/10.3390/math8060867

AMA Style

Lee J-H, Shin Y. Blown-Up Hirzebruch Surfaces and Special Divisor Classes. Mathematics. 2020; 8(6):867. https://doi.org/10.3390/math8060867

Chicago/Turabian Style

Lee, Jae-Hyouk, and YongJoo Shin. 2020. "Blown-Up Hirzebruch Surfaces and Special Divisor Classes" Mathematics 8, no. 6: 867. https://doi.org/10.3390/math8060867

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop