View source for Möbius–Kantor configuration

{{Short description|Geometric structure of 8 points and 8 lines}}
[[File:Möbius–Kantor configuration symmetric.svg|thumb|The Möbius–Kantor configuration]]
In [[Geometry|geometry]], the '''Möbius–Kantor configuration''' is a [[Configuration (geometry)|configuration]] consisting of eight points and eight lines, with three points on each line and three lines through each point. It is not possible to draw points and lines having this pattern of [[Incidence (geometry)|incidence]]s in the [[Euclidean plane]], but it is possible in the [[Complex projective plane|complex projective plane]].

==Coordinates==
{{harvs|txt|first=August Ferdinand|last=Möbius|year=1828}} asked whether there exists a pair of [[Polygon|polygon]]s with ''p'' sides each, having the property that the vertices of one polygon lie on the lines through the edges of the other polygon, and vice versa. If so, the vertices and edges of these polygons would form a projective configuration. For <math>p = 4</math> there is no solution in the [[Euclidean plane]], but {{harvs|txt|first= Seligmann|last=Kantor|authorlink = Seligmann Kantor|year=1882}} found pairs of polygons of this type, for a generalization of the problem in which the points and edges belong to the [[Complex projective plane|complex projective plane]]. That is, in Kantor's solution, the coordinates of the polygon vertices are [[Complex number|complex number]]s. Kantor's solution for <math>p = 4</math>, a pair of mutually-inscribed quadrilaterals in the complex projective plane, is called the Möbius–Kantor configuration.
[[File:Möbius–Kantor configuration.svg|thumb|upright=1.3|Seven of the lines of the configuration can be made straight, but not all eight]]

{{harvs|txt| first=H. S. M.| last=Coxeter|year=1950}} supplies the following simple [[Complex projective plane|complex projective coordinates]] for the eight points of the Möbius–Kantor configuration:
:(1,0,0), (0,0,1), (&omega;, &minus;1, 1), (&minus;1, 0, 1),
:(&minus;1,&omega;<sup>2</sup>,1), (1,&omega;,0), (0,1,0), (0,&minus;1,1),
where ω denotes a complex cube root of 1.

The eight points and eight lines of the Möbius–Kantor configuration, with these coordinates, form the eight vertices and eight 3-edges of the complex polygon 3{3}3.{{sfnp|Coxeter|Shephard|1992}} Coxeter named it a [[Möbius–Kantor polygon]].

==Abstract incidence pattern==
[[File:Möbius–Kantor unit distance.svg|thumb|The [[Möbius–Kantor graph|Möbius–Kantor graph]], the [[Levi graph|Levi graph]] of the Möbius–Kantor configuration. Vertices of one color represent the points of the configuration, and vertices of the other color represent the lines.]]
More abstractly, the Möbius–Kantor configuration can be described as a system of eight points and eight triples of points such that each point belongs to exactly three of the triples. With the additional conditions (natural to points and lines) that no pair of points belong to more than one triple and that no two triples have more than one point in their intersection, any two systems of this type are equivalent under some [[Permutation|permutation]] of the points. That is, the Möbius–Kantor configuration is the unique projective configuration of type (8<sub>3</sub>8<sub>3</sub>).

The [[Möbius–Kantor graph]] derives its name from being the [[Levi graph]] of the Möbius–Kantor configuration. It has one vertex per point and one vertex per triple, with an edge connecting two vertices if they correspond to a point and to a triple that contains that point.

{{anchor|MacLane matroid}}The points and lines of the Möbius–Kantor configuration can be described as a [[Matroid|matroid]], whose elements are the points of the configuration and whose nontrivial flats are the lines of the configuration. In this matroid, a set ''S'' of points is independent if and only if either <math>|S|\le 2</math> or ''S'' consists of three non-collinear points. As a matroid, it has been called the '''MacLane matroid''', after the work of {{harvs|txt|first=Saunders|last=MacLane|year=1936}} proving that it cannot be [[Oriented matroid|oriented]]; it is one of several known [[Matroid minor|minor-minimal]] non-orientable matroids.<ref>{{harvtxt|Ziegler|1991}}.</ref>

==Related configurations==
The solution to Möbius' problem of mutually inscribed polygons for values of ''p'' greater than four is also of interest. In particular, one possible solution for <math>p = 5</math> is the [[Desargues configuration]], a set of ten points and ten lines, three points per line and three lines per point, that does admit a Euclidean realization.  The [[Möbius configuration]] is a three-dimensional analogue of the Möbius–Kantor configuration consisting of two mutually inscribed tetrahedra.

The Möbius–Kantor configuration can be augmented by adding four lines through the four pairs of points not already connected by lines, and by adding a ninth point on the four new lines. The resulting configuration, the [[Hesse configuration]], shares with the Möbius–Kantor configuration the property of being realizable with complex coordinates but not with real coordinates.<ref>{{harvtxt|Dolgachev|2004}}.</ref> Deleting any one point from the Hesse configuration produces a copy of the Möbius–Kantor configuration.
Both configurations may also be described algebraically in terms of the [[Abelian group|abelian group]] <math>\Z_3\times \Z_3</math> with nine elements.
This group has four subgroups of order three (the subsets of elements of the form <math>(i,0)</math>, <math>(i,i)</math>, <math>(i,2i)</math>, and <math>(0,i)</math> respectively), each of which can be used to partition the nine group elements into three [[Coset|coset]]s of three elements per coset. These nine elements and twelve cosets form the Hesse configuration. Removing the zero element and the four cosets containing zero gives rise to the Möbius–Kantor configuration.

==Notes==
{{reflist}}

==References==
*{{citation
 | first = H. S. M. | last = Coxeter
 | title = Self-dual configurations and regular graphs
 | journal = [[Organization:Bulletin of the American Mathematical Society|Bulletin of the American Mathematical Society]]
 | volume = 56 | year = 1950 | pages = 413–455
 | doi = 10.1090/S0002-9904-1950-09407-5
 | issue = 5
 | mr=0038078| doi-access = free
 }}.
*{{citation
 | last1 = Coxeter | first1 = H. S. M.
 | last2 = Shephard | first2 = G. C.
 | doi = 10.2307/1575843
 | issue = 3/4
 | journal = Leonardo
 | jstor = 1575843
 | page = 239
 | title = Portraits of a family of complex polytopes
 | volume = 25
 | year = 1992}}. Reprinted in ''The Visual Mind'', MIT Press, 1993, pp. 19–26, {{MR|1255836}}.
*{{citation
 | arxiv = math.AG/0304258
 | contribution = Abstract configurations in algebraic geometry
 | mr = 2112585
 | pages = 423–462
 | publisher = University of Torino|location= Turin
 | title = The Fano Conference
 | year = 2004}}.
*{{citation
 | title = Über die Configurationen (3, 3) mit den Indices 8, 9 und ihren Zusammenhang mit den Curven dritter Ordnung
 | journal = Sitzungsberichte der Mathematisch-Naturwissenschaftlichen Classe der Kaiserlichen Akademie der Wissenschaften, Wien
 | volume = 84 | issue = 1 | year = 1882 | pages = 915–932}}. 
*{{citation
 | doi = 10.2307/2371070
 | issue = 1
 | journal = [[American Journal of Mathematics]]
 | mr = 1507146
 | pages = 236–240
 | title = Some Interpretations of Abstract Linear Dependence in Terms of Projective Geometry
 | volume = 58
 | year = 1936}}.
*{{citation
 | title = Kann von zwei dreiseitigen Pyramiden eine jede in Bezug auf die andere um- und eingeschrieben zugleich heissen?
 | year = 1828
 | journal = [[Crelle's Journal|Journal für die reine und angewandte Mathematik]]
 | volume = 3 | pages = 273–278| url = https://zenodo.org/record/2522230/files/article.pdf}}. In ''Gesammelte Werke'' (1886), vol. 1, pp.&nbsp;439–446.
*{{citation
 | doi = 10.1007/BF00181199
 | issue = 3
 | journal = [[Geometriae Dedicata]]
 | mr = 1112674
 | pages = 365–371
 | title = Some minimal non-orientable matroids of rank three
 | volume = 38
 | year = 1991}}.

==External links==
*{{mathworld|title=Möbius-Kantor Configuration|urlname=Moebius-KantorConfiguration|mode=cs2}}


{{DEFAULTSORT:Mobius-Kantor configuration}}
[[Category:Configurations (geometry)]]

{{Sourceattribution|Möbius–Kantor configuration}}