Möbius configuration

From testwiki
Jump to navigation Jump to search

Template:Short description

Example of Möbius configuration with face planes of each colored tetrahedra shown.
Template:Legend Template:Legend

In geometry, the Möbius configuration or Möbius tetrads is a certain configuration in Euclidean space or projective space, consisting of two tetrahedra that are mutually inscribed: each vertex of one tetrahedron lies on a face plane of the other tetrahedron and vice versa. Thus, for the resulting system of eight points and eight planes, each point lies on four planes (the three planes defining it as a vertex of a tetrahedron and the fourth plane from the other tetrahedron that it lies on), and each plane contains four points (the three tetrahedron vertices of its face, and the vertex from the other tetrahedron that lies on it).

Möbius's theorem

The configuration is named after August Ferdinand Möbius, who in 1828 proved that, if two tetrahedra have the property that seven of their vertices lie on corresponding face planes of the other tetrahedron, then the eighth vertex also lies on the plane of its corresponding face, forming a configuration of this type. This incidence theorem is true more generally in a three-dimensional projective space if and only if Pappus's theorem holds for that space (Reidemeister, Schönhardt), and it is true for a three-dimensional space modeled on a division ring if and only if the ring satisfies the commutative law and is therefore a field (Al-Dhahir). By projective duality, Möbius' result is equivalent to the statement that, if seven of the eight face planes of two tetrahedra contain the corresponding vertices of the other tetrahedron, then the eighth face plane also contains the same vertex.

Construction

Template:Harvtxt describes a simple construction for the configuration. Beginning with an arbitrary point Template:Mvar in Euclidean space, let Template:Mvar be four planes through Template:Mvar, no three of which share a common intersection line, and place the six points Template:Mvar on the six lines formed by pairwise intersection of these planes in such a way that no four of these points are coplanar. For each of the planes Template:Mvar, four of the seven points Template:Mvar lie on that plane and three are disjointed from it; form planes Template:Mvar through the triples of points disjoint from Template:Mvar respectively. Then, by the dual form of Möbius' theorem, these four new planes meet in a single point Template:Mvar. The eight points Template:Mvar and the eight planes Template:Mvar form an instance of Möbius' configuration.

Template:Harvtxt state (without references) that there are five configurations having eight points and eight planes with four points on every plane and four planes through every point that are realisable in three-dimensional Euclidean space: such configurations have the shorthand notation Template:Math. They must have obtained their information from the article by Template:Harvs. This actually states, depending upon results by Template:Harvs, Template:Harvs, and Template:Harvs, that there are five Template:Math configurations with the property that at most two planes have two points in common, and dually at most two points are common to two planes. (This condition means that every three points may be non-collinear and dually three planes may not have a line in common.) However, there are ten other Template:Math configurations that do not have this condition, and all fifteen configurations are realizable in real three-dimensional space. The configurations of interest are those with two tetrahedra, each inscribing and circumscribing the other, and these are precisely those that satisfy the above property. Thus, there are five configurations with tetrahedra, and they correspond to the five conjugacy classes of the symmetric group Template:Math. One obtains a permutation from the four points of one tetrahedron Template:Math to itself as follows: each point Template:Mvar of Template:Mvar is on a plane containing three points of the second tetrahedron Template:Mvar. This leaves the other point of Template:Mvar, which is on three points of a plane of Template:Mvar, leaving another point Template:Mvar of Template:Mvar, and so the permutation maps Template:Math. The five conjugacy classes have representatives Template:Math and, of these, the Möbius configuration corresponds to the conjugacy class Template:Math. It could be denoted Template:Math. It is stated by Steinitz that if two of the complementary tetrahedra of Template:Math are Template:Math, and Template:Math then the eight planes are given by Template:Mvar with Template:Math odd, while the even sums and their complements correspond to all pairs of complementary tetrahedra that in- and circumscribe in the model of Template:Math.

It is also stated that by Steinitz that the only Template:Math that is a geometrical theorem is the Möbius configuration. However that is disputed: Template:Harvtxt shows using a computer search and proofs that there are precisely two Template:Math that are actually "theorems": the Möbius configuration and one other. The latter (which corresponds to the conjugacy class Template:Math above) is also a theorem for all three-dimensional projective spaces over a field, but not over a general division ring. There are other close similarities between the two configurations, including the fact that both are self-dual under Matroid duality. In abstract terms, the latter configuration has "points" Template:Math and "planes" Template:Math, where these integers are modulo eight. This configuration, like Möbius, can also be represented as two tetrahedra, mutually inscribed and circumscribed: in the integer representation the tetrahedra can be Template:Math and Template:Math. However, these two Template:Math configurations are non-isomorphic, since Möbius has four pairs of disjoint planes, while the latter one has no disjoint planes. For a similar reason (and because pairs of planes are degenerate quadratic surfaces), the Möbius configuration is on more quadratic surfaces of three-dimensional space than the latter configuration.

The Levi graph of the Möbius configuration has 16 vertices, one for each point or plane of the configuration, with an edge for every incident point-plane pair. It is isomorphic to the 16-vertex hypercube graph Template:Math. A closely related configuration, the Möbius–Kantor configuration formed by two mutually inscribed quadrilaterals, has the Möbius–Kantor graph, a subgraph of Template:Math, as its Levi graph.

References

Retrieved from "https://en.wiki.beta.math.wmflabs.org/w/index.php?title=Möbius_configuration&oldid=27836"