Configurations of seven lines on the real projective plane and the root system of type E₇

抄録

Let l₁, l₂, •s, l₇ be mutually different seven lines on the real projective plane. We consider two conditions; (A) No three of l₁, l₂, •s, l₇ intersect at a point. (B) There is no conic tangent to any six of l₁, l₂, •s, l₇. Cummings [{3}] and White [{16}] showed that there are eleven non-equivalent classes of systems of seven lines with condition (A) (cf. [{7}], Chap. 18). The purposes of this article is to give an interpretation of the classification of Cummings and White in terms of the root system of type E₇. To accomplish this, it is better to add condition (B) for systems of seven lines. Moreover we need the notion of tetrahedral sets which consist of ten roots modulo signs in the root system of type E₇ and which plays an important role in our study.