geometric configuration

In mathematics, specifically projective geometry, a configuration in the plane consists of a finite set of points, and a finite arrangement of lines, such that each point is incident to the same number of lines and each line is incident to the same number of points.

Although certain specific configurations had been studied earlier (for instance by Thomas Kirkman in 1849), the formal study of configurations was first introduced by Theodor Reye in 1876, in the second edition of his book ''Geometrie der Lage'', in the context of a discussion of Desargues' theorem. Ernst Steinitz wrote his dissertation on the subject in 1894, and they were popularized by Hilbert and Cohn-Vossen's 1932 book ''Anschauliche Geometrie'', reprinted in English as .

Configurations may be studied either as concrete sets of points and lines in a specific geometry, such as the Euclidean or projective planes (these are said to be ''realizable'' in that geometry), or as a type of abstract incidence geometry. In the latter case they are closely related to regular hypergraphs and biregular bipartite graphs, but with some additional restrictions: every two points of the incidence structure can be associated with at most one line, and every two lines can be associated with at most one point. That is, the girth of the corresponding bipartite graph (the Levi graph of the configuration) must be at least six.

Notation

A configuration in the plane is denoted by (), where is the number of points, the number of lines, the number of lines per point, and the number of points per line. These numbers necessarily satisfy the equation

:$p\gamma = \ell\pi\,$

as this product is the number of point-line incidences (''flags'').

Configurations having the same symbol, say (), need not be isomorphic as incidence structures. For instance, there exist three different (9₃ 9₃) configurations: the Pappus configuration and two less notable configurations.

In some configurations, and consequently, . These are called ''symmetric'' or ''balanced'' configurations and the notation is often condensed to avoid repetition. For example, (9₃ 9₃) abbreviates to (9₃).

Examples

Notable projective configurations include the following:
* (1₁), the simplest possible configuration, consisting of a point incident to a line. Often excluded as being trivial.
* (3₂), the triangle. Each of its three sides meets two of its three vertices, and vice versa. More generally any polygon of sides forms a configuration of type ()
* (4₃ 6₂) and (6₂ 4₃), the complete quadrangle and complete quadrilateral respectively.
* (7₃), the Fano plane. This configuration exists as an abstract incidence geometry, but cannot be constructed in the Euclidean plane.
* (8₃), the Möbius–Kantor configuration. This configuration describes two quadrilaterals that are simultaneously inscribed and circumscribed in each other. It cannot be constructed in Euclidean plane geometry but the equations defining it have nontrivial solutions in complex numbers.
* (9₃), the Pappus configuration.
* (9₄ 12₃), the Hesse configuration of nine inflection points of a cubic curve in the complex projective plane and the twelve lines determined by pairs of these points. This configuration shares with the Fano plane the property that it contains every line through its points; configurations with this property are known as ''Sylvester–Gallai configurations'' due to the Sylvester–Gallai theorem that shows that they cannot be given real-number coordinates.
* (10₃), the Desargues configuration.
* (12₄ 16₃), the Reye configuration.
* (12₅ 30₂), the Schläfli double six, formed by 12 of the 27 lines on a cubic surface
* (15₃), the Cremona–Richmond configuration, formed by the 15 lines complementary to a double six and their 15 tangent planes
* (16₆), the Kummer configuration.
* (21₄), the Grünbaum–Rigby configuration.
* (27₃),