[Math] the point of having at least three points on every line of a projective plane

axiomsgeometryprojective-geometry

A common definition of "projective plane" includes the following axioms:

  1. every pair of distinct points lies on exactly one line
  2. every pair of distinct lines meet in exactly one point
  3. every line has at least three points
  4. not all points are on the same line

(taken from the nlab)

I wonder: What's the point of having the axiom 3.?

I suppose the answer is "to exclude 'degenerate' cases", however I want to see more "practical" reasons. Do many important theorems about projective planes fail for these cases?

If somebody knows about a category or categories of projective planes (morphisms could be "taking lines to lines" for example) and about, how including or excluding the axiom 3. affects the properties of such a category, it would be interesting to me aswell.

Best Answer

I will try to provide an answer not along the pathologies that arise when removing axiom 3, but rather what a useful generalization should be.

Let me first remind you of the Veblen-Young Theorem:

If Desargues theorem holds in an abstract projective plane, it is of the form $P(V)$ for some vectorspace $V$ over a skew-field $k$. If Pappus theorem holds as well, the field can be found to be commutative.

This is a form of concreteness result. In fact if we allow ourselves to talk about abstract projective spaces of general dimension, all abstract projective spaces of dimension greater than $2$ are of the form $P(V)$ for a vectorspace $V$ over a skewfield. This obviously requires axiom 3, since it holds for all projective spaces of the form $P(V)$!

As an example, the above theorem would obviously not hold if we allow as our projective plane a three element set with lines defined as two-element subsets. Both Pappus and Desargue are true in this 'projective plane'.

There is however a way of making sense of the above example: It "should" be a projective space over the "field with one element". Now note that such a thing in the strict sense of the wording doesn't exist. But in a lot of different areas in mathematics there's evidence that a generalization of the term field should exist and that there should be something people call 'absolute geometry', i.e. algebraic geometry over the field with one element.

If you want to see a definition of projective space that doesn't enforce axiom 3, but is still sensible, I recommend Cohn's introductory paper Projective Geometry over $\mathbb F_1$. Definition 1 in this paper may give you a more satisfactory feeling.

Related Question