Perles configuration

Summary

In geometry, the Perles configuration is a system of nine points and nine lines in the Euclidean plane for which every combinatorially equivalent realization has at least one irrational number as one of its coordinates. It can be constructed from the diagonals and symmetry lines of a regular pentagon, and their crossing points. In turn, it can be used to construct higher-dimensional convex polytopes that cannot be given rational coordinates, having the fewest vertices of any known example. All of the realizations of the Perles configuration in the projective plane are equivalent to each other under projective transformations.

The Perles configuration

Construction edit

One way of constructing the Perles configuration is to start with a regular pentagon and its five diagonals. These diagonals form the sides of a smaller inner pentagon nested inside the outer pentagon. Each vertex of the outer pentagon is situated opposite from a vertex of the inner pentagon. The nine points of the configuration consist of four out of the five vertices of each pentagon and the shared center of the two pentagons. Two opposite vertices are omitted, one from each pentagon.[1]

The nine lines of the configuration consist of the five lines that are diagonals of the outer pentagon and sides of the inner pentagon, and the four lines that pass through the center and through opposite pairs of vertices from the two pentagons.[1]

Projective invariance and irrationality edit

A realization of the Perles configuration is defined to consist of any nine points and nine lines with the same intersection pattern. That means that a point and line intersect each other in the realization, if and only if they intersect in the configuration constructed from the regular pentagon. Every realization of this configuration in the Euclidean plane or, more generally, in the real projective plane is equivalent, under a projective transformation, to a realization constructed in this way from a regular pentagon.[2]

Because the cross-ratio, a number defined from any four collinear points, does not change under projective transformations, every realization has four points having the same cross-ratio as the cross-ratio of the four collinear points in the realization derived from the regular pentagon. But, these four points have   as their cross-ratio, where   is the golden ratio, an irrational number. Every four collinear points with rational coordinates have a rational cross ratio, so the Perles configuration cannot be realized by rational points. Branko Grünbaum has conjectured that every configuration that can be realized by irrational but not rational numbers has at least nine points; if so, the Perles configuration would be the smallest possible irrational configuration of points and lines.[2]

Application in polyhedral combinatorics edit

Perles used his configuration to construct an eight-dimensional convex polytope with twelve vertices that can similarly be realized with real coordinates but not with rational coordinates. The points of the configuration, three of them doubled and with signs associated with each point, form the Gale diagram of the Perles polytope.[3]

Ernst Steinitz's proof of Steinitz's theorem can be used to show that every three-dimensional polytope can be realized with rational coordinates, but it is now known that there exist irrational polytopes in four dimensions. Therefore, the Perles polytope does not have the smallest possible dimension among irrational polytopes. However, the Perles polytope has the fewest vertices of any known irrational polytope.[3]

History and related work edit

The Perles configuration was introduced by Micha Perles in the 1960s.[4] It is not the first known example of an irrational configuration of points and lines. Mac Lane (1936) describes an 11-point example, obtained by applying Von Staudt's algebra of throws to construct a configuration corresponding to the square root of two.[5]

There is a long history of study of regular projective configurations, finite systems of points and lines in which each point touches equally many lines and each line touches equally many points. However, despite being named similarly to these configurations, the Perles configuration is not regular: most of its points touch three lines and most of its lines touch three points, but there is one line of four points and one point on four lines. In this respect it differs from the Pappus configuration, which also has nine points and nine lines, but with three points on every line and three lines through every point.[6]

Notes edit

References edit

  • Berger, Marcel (2010), "I.4 Three configurations of the affine plane and what has happened to them: Pappus, Desargues, and Perles", Geometry revealed, Berlin, New York: Springer-Verlag, pp. 17–23, doi:10.1007/978-3-540-70997-8, ISBN 978-3-540-70996-1, MR 2724440
  • Grünbaum, Branko (2003), Convex polytopes, Graduate Texts in Mathematics, vol. 221 (Second ed.), New York: Springer-Verlag, pp. 93–95, ISBN 978-0-387-00424-2, MR 1976856
  • Mac Lane, Saunders (1936), "Some interpretations of abstract linear dependence in terms of projective geometry", American Journal of Mathematics, 58 (1): 236–240, doi:10.2307/2371070, JSTOR 2371070, MR 1507146
  • Ziegler, Günter M. (2008), "Nonrational configurations, polytopes, and surfaces", The Mathematical Intelligencer, 30 (3): 36–42, arXiv:0710.4453, doi:10.1007/BF02985377, MR 2437198