nLab
projective plane

Projective planes

Idea

A projective plane is a projective space of dimension 2. However, projective planes over fields (or more generally division rings or ternary rings?) can be characterized axiomatically with a small list of “synthetic” axioms.

Synthetic Definition

A projective plane consists of

satisfying the following axioms:

Some further axioms which may be added are:

Of these, Pappus’ theorem implies Desargues’ theorem.

Analytic projective planes

For any field FF, we can construct the projective plane FP 2F P^2 in several ways:

The resulting plane satisfies Pappus’ theorem, hence also Desargues’ theorem. It satisfies Fano’s axiom iff the characteristic of FF is 2\neq 2.

These methods also work for any division ring, such as the quaternions. In this case, Pappus’ theorem doesn’t hold, but Desargues’ theorem still does.

The octonions are not associative and this breaks the first two methods, but the latter two can be made to work, resulting in the Cayley plane. In this case Desargues’ theorem does not hold in general, but there are special cases of it which do (corresponding to the fact that the octonions are “alternative”).

Equivalence of synthetic and analytic

In any projective plane, we can define a “scalar” to be an ordered set of four collinear points (A,B,C,D)(A,B,C,D) of which no more than two are equal. Two scalars are considered equal if they are projectively related, i.e. the four lines joining corresponding points are concurrent. If Desargues’ theorem holds, we can define addition and multiplication on the scalars (omitting one of them that acts like \infty) making them into a division ring FF such that our plane is isomorphic to FP 2F P^2. The ring FF is commutative (hence a field) iff Pappus’ theorem also holds, and has characteristic 2\neq 2 iff Fano’s axiom holds.

If Desargues’ theorem fails, then we can still construct a sort of algebraic structure on the scalars, called a ternary ring?, which suffices to reconstruct our plane. However, distinct ternary rings can give rise to isomorphic projective planes, in contrast to the situation for fields and division rings.

Examples

References