Non-Desarguesian plane

Last updated

In mathematics, a non-Desarguesian plane is a projective plane that does not satisfy Desargues' theorem (named after Girard Desargues), or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is true in all projective spaces of dimension not 2; [1] in other words, the only projective spaces of dimension not equal to 2 are the classical projective geometries over a field (or division ring). However, David Hilbert found that some projective planes do not satisfy it. [2] [3] The current state of knowledge of these examples is not complete. [4]

Contents

Examples

There are many examples of both finite and infinite non-Desarguesian planes. Some of the known examples of infinite non-Desarguesian planes include:

Regarding finite non-Desarguesian planes, every projective plane of order at most 8 is Desarguesian, but there are three non-Desarguesian examples of order 9, each with 91 points and 91 lines. [5] They are:

Numerous other constructions of both finite and infinite non-Desarguesian planes are known, see for example Dembowski (1968). All known constructions of finite non-Desarguesian planes produce planes whose order is a proper prime power, that is, an integer of the form pe, where p is a prime and e is an integer greater than 1.

Classification

Hanfried Lenz gave a classification scheme for projective planes in 1954, [6] which was refined by Adriano Barlotti in 1957. [7] This classification scheme is based on the types of point–line transitivity permitted by the collineation group of the plane and is known as the Lenz–Barlotti classification of projective planes. The list of 53 types is given in Dembowski (1968 , pp.124–5) and a table of the then known existence results (for both collineation groups and planes having such a collineation group) in both the finite and infinite cases appears on page 126. As of 2007, "36 of them exist as finite groups. Between 7 and 12 exist as finite projective planes, and either 14 or 15 exist as infinite projective planes." [4]

Other classification schemes exist. One of the simplest is based on special types of planar ternary ring (PTR) that can be used to coordinatize the projective plane. These types are fields, skewfields, alternative division rings, semifields, nearfields, right nearfields, quasifields and right quasifields. [8]

Conics and Ovals

In a Desarguesian projective plane a conic can be defined in several different ways that can be proved to be equivalent. In non-Desarguesian planes these proofs are no longer valid and the different definitions can give rise to non-equivalent objects. [9] Theodore G. Ostrom had suggested the name conicoid for these conic-like figures but did not provide a formal definition and the term does not seem to be widely used. [10]

There are several ways that conics can be defined in Desarguesian planes:

  1. The set of absolute points of a polarity is known as a von Staudt conic. If the plane is defined over a field of characteristic two, only degenerate conics are obtained.
  2. The set of points of intersection of corresponding lines of two pencils which are projectively, but not perspectively, related is known as a Steiner conic. If the pencils are perspectively related, the conic is degenerate.
  3. The set of points whose coordinates satisfy an irreducible homogeneous equation of degree two.

Furthermore, in a finite Desarguesian plane:

  2. A set of q + 1 points, no three collinear in PG(2,q) is called an oval. If q is odd, by Segre's theorem, an oval in PG(2,q) is a conic, in sense 3 above.
  3. An Ostrom conic is based on a generalization of harmonic sets.

Artzy has given an example of a Steiner conic in a Moufang plane which is not a von Staudt conic. [11] Garner gives an example of a von Staudt conic that is not an Ostrom conic in a finite semifield plane. [9]

Notes

  1. ↑ Desargues' theorem is vacuously true in dimension 1; it is only problematic in dimension 2.
  2. ↑ Hilbert, David (1950) [first published 1902], The Foundations of Geometry [Grundlagen der Geometrie] (PDF), English translation by E.J. Townsend (2nd ed.), La Salle, IL: Open Court Publishing, p. 48
  3. ↑ Hilbert, David (1990) [1971], Foundations of Geometry [Grundlagen der Geometrie], translated by Leo Unger from the 10th German edition (2nd English ed.), La Salle, IL: Open Court Publishing, p. 74, ISBN   0-87548-164-7 . According to the footnote on this page, the original "first" example appearing in earlier editions was replaced by Moulton's simpler example in later editions.
  4. 1 2 Weibel 2007 , pg. 1296
  5. ↑ see Room & Kirkpatrick 1971 for descriptions of all four planes of order 9.
  6. ↑ Lenz, Hanfried (1954). "Kleiner desarguesscher Satz und Dualitat in projektiven Ebenen". Jahresbericht der Deutschen Mathematiker-Vereinigung. 57: 20–31. MR   0061844.
  7. ↑ Barlotti, Adriano (1957). "Le possibili configurazioni del sistema delle coppie punto-retta (A,a) per cui un piano grafico risulta (A,a)-transitivo". Boll. Un. Mat. Ital. 12: 212–226. MR   0089435.
  8. ↑ Colbourn & Dinitz 2007 , pg. 723 article on Finite Geometry by Leo Storme.
  9. 1 2 Garner, Cyril W L. (1979), "Conics in Finite Projective Planes", Journal of Geometry, 12 (2): 132–138, doi:10.1007/bf01918221, MR   0525253
  10. ↑ Ostrom, T.G. (1981), "Conicoids: Conic-like figures in Non-Pappian planes", in Plaumann, Peter; Strambach, Karl (eds.), Geometry - von Staudt's Point of View, D. Reidel, pp. 175–196, ISBN   90-277-1283-2, MR   0621316
  11. ↑ Artzy, R. (1971), "The Conic y = x2 in Moufang Planes", Aequationes Mathematicae , 6: 30–35, doi:10.1007/bf01833234

Related Research Articles

<span class="mw-page-title-main">Projective plane</span> Geometric concept of a 2D space with a "point at infinity" adjoined

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 that do not intersect. A projective plane can be thought of as an ordinary plane equipped with additional "points at infinity" where parallel lines intersect. Thus any two distinct lines in a projective plane intersect at exactly one point.

<span class="mw-page-title-main">Projective space</span> Completion of the usual space with "points at infinity"

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines.

<span class="mw-page-title-main">Projective geometry</span> Type of geometry

In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, projective space, and a selective set of basic geometric concepts. The basic intuitions are that projective space has more points than Euclidean space, for a given dimension, and that geometric transformations are permitted that transform the extra points to Euclidean points, and vice-versa.

<span class="mw-page-title-main">Affine geometry</span> Euclidean geometry without distance and angles

In mathematics, affine geometry is what remains of Euclidean geometry when ignoring the metric notions of distance and angle.

<span class="mw-page-title-main">Finite geometry</span>

A finite geometry is any geometric system that has only a finite number of points. The familiar Euclidean geometry is not finite, because a Euclidean line contains infinitely many points. A geometry based on the graphics displayed on a computer screen, where the pixels are considered to be the points, would be a finite geometry. While there are many systems that could be called finite geometries, attention is mostly paid to the finite projective and affine spaces because of their regularity and simplicity. Other significant types of finite geometry are finite Möbius or inversive planes and Laguerre planes, which are examples of a general type called Benz planes, and their higher-dimensional analogs such as higher finite inversive geometries.

<span class="mw-page-title-main">Desargues's theorem</span> Two triangles are in perspective axially if and only if they are in perspective centrally

In projective geometry, Desargues's theorem, named after Girard Desargues, states:

<span class="mw-page-title-main">Fano plane</span> Geometry with 7 points and 7 lines

In finite geometry, the Fano plane is a finite projective plane with the smallest possible number of points and lines: 7 points and 7 lines, with 3 points on every line and 3 lines through every point. These points and lines cannot exist with this pattern of incidences in Euclidean geometry, but they can be given coordinates using the finite field with two elements. The standard notation for this plane, as a member of a family of projective spaces, is PG(2, 2). Here PG stands for "projective geometry", the first parameter is the geometric dimension and the second parameter is the order.

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 duality, one through language and the other a more functional approach through special mappings. These are completely equivalent and either treatment has as its starting point the axiomatic version of the geometries under consideration. In the functional approach there is a map between related geometries that is called a duality. Such a map can be constructed in many ways. The concept of plane duality readily extends to space duality and beyond that to duality in any finite-dimensional projective geometry.

In geometry, an affine plane is a system of points and lines that satisfy the following axioms:

<span class="mw-page-title-main">Incidence geometry</span>

In mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure. Such fundamental results remain valid when additional concepts are added to form a richer geometry. It sometimes happens that authors blur the distinction between a study and the objects of that study, so it is not surprising to find that some authors refer to incidence structures as incidence geometries.

In mathematics, a translation plane is a projective plane which admits a certain group of symmetries. Along with the Hughes planes and the Figueroa planes, translation planes are among the most well-studied of the known non-Desarguesian planes, and the vast majority of known non-Desarguesian planes are either translation planes, or can be obtained from a translation plane via successive iterations of dualization and/or derivation.

<span class="mw-page-title-main">Oval (projective plane)</span> Circle-like pointset in a geometric plane

In projective geometry an oval is a point set in a plane that is defined by incidence properties. The standard examples are the nondegenerate conics. However, a conic is only defined in a pappian plane, whereas an oval may exist in any type of projective plane. In the literature, there are many criteria which imply that an oval is a conic, but there are many examples, both infinite and finite, of ovals in pappian planes which are not conics.

<span class="mw-page-title-main">Arc (projective geometry)</span>

An (simple) arc in finite projective geometry is a set of points which satisfies, in an intuitive way, a feature of curved figures in continuous geometries. Loosely speaking, they are sets of points that are far from "line-like" in a plane or far from "plane-like" in a three-dimensional space. In this finite setting it is typical to include the number of points in the set in the name, so these simple arcs are called k-arcs. An important generalization of the k-arc concept, also referred to as arcs in the literature, are the -arcs.

In geometry, a Moufang plane, named for Ruth Moufang, is a type of projective plane, more specifically a special type of translation plane. A translation plane is a projective plane that has a translation line, that is, a line with the property that the group of automorphisms that fixes every point of the line acts transitively on the points of the plane not on the line. A translation plane is Moufang if every line of the plane is a translation line.

<span class="mw-page-title-main">Perspective (geometry)</span> Term in geometry

Two figures in a plane are perspective from a pointO if the lines joining corresponding points of the figures all meet at O. Dually, the figures are said to be perspective from a line if the points of intersection of corresponding lines all lie on one line. The proper setting for this concept is in projective geometry where there will be no special cases due to parallel lines since all lines meet. Although stated here for figures in a plane, the concept is easily extended to higher dimensions.

In mathematics, a Hughes plane is one of the non-Desarguesian projective planes found by Daniel Hughes (1957). There are examples of order p2n for every odd prime p and every positive integer n.

In mathematics, a Hall plane is a non-Desarguesian projective plane constructed by Marshall Hall Jr. (1943). There are examples of order p2n for every prime p and every positive integer n provided p2n > 4.

In projective geometry, a von Staudt conic is the point set defined by all the absolute points of a polarity that has absolute points. In the real projective plane a von Staudt conic is a conic section in the usual sense. In more general projective planes this is not always the case. Karl Georg Christian von Staudt introduced this definition in Geometrie der Lage (1847) as part of his attempt to remove all metrical concepts from projective geometry.

<span class="mw-page-title-main">Peter Dembowski</span> German mathematician

Heinz Peter Dembowski was a German mathematician, specializing in combinatorics. He is known for the Dembowski-Wagner theorem and for Dembowski-Ostrom polynomials.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.