configuration Configuration or configurations may refer to: Computing * Computer configuration or system configuration * Configuration file, a software file used to configure the initial settings for a computer program * Configurator, also known as choice boar ...

Felix Klein Christian Felix Klein (; 25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and grou ...

complex projective plane In mathematics, the complex projective plane, usually denoted P2(C), is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates :(Z_1,Z_2,Z_3) \in \mathbf^3,\qquad (Z_1 ...

Klein quartic In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact space, compact Riemann surface of genus (mathematics), genus with the highest possible order automorphism group for this genus, namely order orientation-preservi ...

Euclidean plane In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...

Branko Grünbaum Branko Grünbaum ( he, ברנקו גרונבאום; 2 October 1929 – 14 September 2018) was a Croatian-born mathematician of Jewish descentJohn F. Rigby.

History and notation

The Grünbaum–Rigby configuration was known to

Felix Klein Christian Felix Klein (; 25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and grou ...

,

William Burnside :''This English mathematician is sometimes confused with the Irish mathematician William S. Burnside (1839–1920).'' __NOTOC__ William Burnside (2 July 1852 – 21 August 1927) was an English mathematician. He is known mostly as an early resea ...

, and

H. S. M. Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...

. Its original description by Klein in 1879 marked the first appearance in the mathematical literature of a 4-configuration, a system of points and lines with four points per line and four lines per point. In Klein's description, these points and lines belong to the

complex projective plane In mathematics, the complex projective plane, usually denoted P2(C), is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates :(Z_1,Z_2,Z_3) \in \mathbf^3,\qquad (Z_1 ...

, a space whose coordinates are

complex number In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...

s rather than the real-number coordinates of the Euclidean plane. The geometric realisation of this configuration as points and lines in the

Euclidean plane In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions ...

, based on overlaying three regular

heptagram A heptagram, septagram, septegram or septogram is a seven-point star drawn with seven straight strokes. The name ''heptagram'' combines a numeral prefix, '' hepta-'', with the Greek suffix ''-gram''. The ''-gram'' suffix derives from ''γρ� ...

s, was only established much later, by . Their paper on it became the first of a series of works on configurations by Grünbaum, and contained the first published graphical depiction of a 4-configuration. In the notation of configurations, configurations with 21 points, 21 lines, 4 points per line and 4 lines per point are denoted (21₄). However, the notation does not specify the configuration itself, only its type (the numbers of points, lines, and incidences). It also does not specify whether the configuration is purely combinatorial (an abstract incidence pattern of lines and points) or whether the points and lines of the configuration are realizable in the Euclidean plane or another standard geometry. The type (21₄) is highly ambiguous: there is an unknown but large number of (combinatorial) configurations of this type, 200 of which were listed by .

Construction

The Grünbaum–Rigby configuration can be constructed from the seven points of a regular

heptagon In geometry, a heptagon or septagon is a seven-sided polygon or 7-gon. The heptagon is sometimes referred to as the septagon, using "sept-" (an elision of '' septua-'', a Latin-derived numerical prefix, rather than '' hepta-'', a Greek-derived n ...

and its 14 interior diagonals. To complete the 21 points and lines of the configuration, these must be augmented by 14 more points and seven more lines. The remaining 14 points of the configuration are the points where pairs of equal-length diagonals of the heptagon cross each other. These form two smaller heptagons, one for each of the two lengths of diagonal; the sides of these smaller heptagons are the diagonals of the outer heptagon. Each of the two smaller heptagons has 14 diagonals, seven of which are shared with the other smaller heptagon. The seven shared diagonals are the remaining seven lines of the configuration. The original construction of the Grünbaum–Rigby configuration by Klein viewed its points and lines as belonging to the

complex projective plane In mathematics, the complex projective plane, usually denoted P2(C), is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates :(Z_1,Z_2,Z_3) \in \mathbf^3,\qquad (Z_1 ...

, rather than the Euclidean plane. In this space, the points and lines form the perspective centers and axes of the

perspective transformation A 3D projection (or graphical projection) is a Design, design technique used to display a three-dimensional (3D) object on a two-dimensional (2D) surface. These projections rely on visual perspective and aspect analysis to Projection mapping, ...

s of the

Klein quartic In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact space, compact Riemann surface of genus (mathematics), genus with the highest possible order automorphism group for this genus, namely order orientation-preservi ...

.. See transl. p. 297. They have the same pattern of point-line intersections as the Euclidean version of the configuration. The

finite projective plane In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that d ...

PG(2,7)

has 57 points and 57 lines, and can be given coordinates based on the integers

modulo In computing, the modulo operation returns the remainder or signed remainder of a division, after one number is divided by another (called the '' modulus'' of the operation). Given two positive numbers and , modulo (often abbreviated as ) is t ...

7. In this space, every

conic In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a sp ...

C

(the set of solutions to a two-variable

quadratic equation In algebra, a quadratic equation () is any equation that can be rearranged in standard form as ax^2 + bx + c = 0\,, where represents an unknown (mathematics), unknown value, and , , and represent known numbers, where . (If and then the equati ...

modulo 7) has 28

secant line Secant is a term in mathematics derived from the Latin ''secare'' ("to cut"). It may refer to: * a secant line, in geometry * the secant variety, in algebraic geometry * secant (trigonometry) (Latin: secans), the multiplicative inverse (or recip ...

s through pairs of its points, 8

tangent line In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. More ...

s through a single point, and 21 nonsecant lines that are disjoint from

C

. Dually, there are 28 points where pairs of tangent lines meet, 8 points on

C

, and 21 interior points that do not belong to any tangent line. The 21 nonsecant lines and 21 interior points form an instance of the Grünbaum–Rigby configuration, meaning that again these points and lines have the same pattern of intersections.

Properties

The

projective dual In geometry, a striking feature of projective planes is the symmetry of the roles played by points and lines in the definitions and theorems, and (plane) duality is the formalization of this concept. There are two approaches to the subject of du ...

of this configuration, a system of points and lines with a point for every line of the configuration and a line for every point, and with the same point-line incidences, is the same configuration. The

symmetry group In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the amb ...

of the configuration includes symmetries that take any incident pair of points and lines to any other incident pair. The Grünbaum–Rigby configuration is an example of a polycyclic configuration, that is, a configuration with

cyclic symmetry In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative binar ...

, such that each

orbit In celestial mechanics, an orbit is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an object or position in space such a ...

of points or lines has the same number of elements.

Notes

References

* * * *. As cited by . * * *. Translated into English by Silvio Levy as {{DEFAULTSORT:Grunbaum-Rigby configuration Configurations (geometry)