projective plane

Projective planes

A projective plane is a plane (in various senses) where not only

• for any two distinct points,there is exactly one line through both of them

(as usual, in things we call a “plane”), but also

• for any two distinct lines,there is exactly one point on both of them

(in other words, no parallel lines). This gives duality betweenpoints and lines: for any statement there is a corresponding statementthat swaps the words point and line, and swaps the phrases lies onand passes through (for which we can use the neutralis incident with).

A third axiom is commonly added to avoid degenerate cases:

• there exist four points no three of which are collinear.

Both finite and infinite projective planes exist.

Here’s an example, just to show that such things exist: let $S$ be the unitsphere (the 2-dimensional surface $x^2+y^2+z^2=1$ embedded in ${ℝ}^3$). Callevery great circle (circle with radius 1 whose centre coincides with that ofthe sphere) a line, and call every pair of opposite points onthe sphere a point. The notion of a point lying on a line iswell defined here, because each great circle (one of our lines) passingthrough some point on the sphere also passes through its opposite point(which together form one of our points). Such a situation where differentflavors of “point” are discussed will arise again, and it is the reasonwhy the entities that act as point and line of a projective plane are typeset in theirown distinctive way in this entry.

And here’s a finite example, the Fano plane: the seven points are labeledwith the residue classes (mod 7) and the seven lines are numbered likewise.A point $p$ and a line $q$ are incident if and only if the equation $x^2=q-p$ does nothave a solution. Line $q$ is incident with points $q+1$, $q+2$, $q+4$ andpoint $p$ is incident with lines $p-1$, $p-2$, $p-4$. Another way to get thesame plane (but with a quite different numbering): let ${𝔽}_2$ be the finitefield of order 2 and ${𝔽}_2^3$ the 3-dimensional vector space over $𝔽$.The seven non-null vectors label our points, and the lines are numberedlikewise. A point is incident with a line if and only if their dot product is zero(for example: point (0,1,1) lies on line (1,1,1) because $0\cdot 1+1\cdot 1+1\cdot 1=2=0$).

Homogeneous coordinates

Historically, projective planes were formed by extending ordinary planes.

Let ${\mathrm{\Pi }}^{*}$ be a plane, a two-dimensional vector space over a field$𝔽$, where a point can be represented by its Cartesian coordinates $(X,Y)$with $X$ and $Y\in 𝔽$ (when $𝔽=ℝ$, this is the usualEuclidean plane). To specify a line $\mathrm{\ell }$, we can give a linear equation

$$pX+qY+r=0$$(1)

satisfied by all the points on $\mathrm{\ell }$. The slope of the line is given by$-p/q$ (if $q\ne 0$) which is a single field element. Writing it as aratio $-p:q$ allows us to define slope for vertical lines as well,where the ratio is $1:0$. This kind of extension of the field to includesome kind of infinity will be a recurrent theme.

There are many asymmetries between points and lines here. First of all, theline is thought of as being a set of points (the points on the line)while a point is not the same thing as the set of lines through thatpoint. This means we’re really interpreting equation (1) as

$$\mathrm{\ell }\stackrel{\text{def}}{=}\{(X,Y)\mid pX+qY+r=0\}$$

where $X$ and $Y$ are variables (coordinates of any point $\in \mathrm{\ell }$) and $p$,$q$ and $r$ parameters specifying which line. We can redress this conceptualimbalance by giving the line a kind of coordinates $[p,q,r]$. The linearequation (1) now takes on a different interpretation: it is thestatement that the point $(X,Y)$ and the line $[p,q,r]$ areincident, with both sets of coordinates on an equal footing.

Secondly, there are three coordinates for the line but only two for the point.This is caused by the fact that line coordinate triples are not unique; onlythe ratio of the coordinates matters. We can define equivalence classes

$$[p:q:r]\stackrel{\text{def}}{=}\{[fp,fq,fr]\mid f\in 𝔽,f\ne 0\}$$

of coordinate triples that represent the same line. The $p$, $q$ and $r$ usedto label a $[p:q:r]$ are of course still just as non-unique (thisis in the same spirit as labeling a residue class or other coset by one ofits elements). One possible convention (for lines with $r\ne 0$ at least)is to choose the representative with $r=1$.

To find more symmetry between points and lines we could first define coordinatetriples for points with that same behaviour, so-called homogeneous coordinates

$$(x,y,z)\stackrel{\text{def}}{=}(x/z,y/z)$$

which means $(X,Y,1)$ and more generally $(fX,fY,f)$ for $f\ne 0$ are newnames for the point $(X,Y)$, and then define the equivalence classes

$$(x:y:z)\stackrel{\text{def}}{=}\{(fx,fy,fz)\mid f\in 𝔽,f\ne 0\}$$

to formally put all those different names for the same point back into asingle box. This exercise gives the statement

$$px+qy+rz=0$$(2)

that $(x:y:z)$ and $[p:q:r]$ are incident a pleasing symmetry.

The line and points at infinity

Thus far, we cannot have any point $(x:y:z)$ where $z=0$ (it does notcorrespond to any point $(X,Y)$ in the plane). By contrast, $[p:q:r]$can have $r=0$ (for a line through the arbitrary origin of the $XY$ coordinateframe). For lines only the case $p=q=0$ is missing, whereas $x=y=0$ isfine for a point. Thus, by trying to make points and lines as similar aspossible we have unearthed their essential difference algebraically.

The geometric difference is that lines can be parallel, and it is easy tosee this is the same difference. For any two points $(x,y,z)$ and$(x^{\prime },y^{\prime },z^{\prime })$ we can find a line $[y{z}^{\prime }-z{y}^{\prime },z{x}^{\prime }-x{z}^{\prime },x{y}^{\prime }-y{x}^{\prime }]$that passes through both, and it is a valid line (first two coordinates notboth zero) if the points are valid ($z$ and $z^{\prime }$ nonzero) and distinct,but attempting the dual construction reveals pairs of valid lines that donot intersect in a valid point.

We now extend the plane ${\mathrm{\Pi }}^{*}$ to a new kind of plane $\mathrm{\Pi }$,inheriting all the points and lines of ${\mathrm{\Pi }}^{*}$ as points and lines of$\mathrm{\Pi }$ and co-opting additionally

• the new line $[\mathrm{\hspace{0.17em}0}:0:1]$ — note only one new line isneeded as all triples $[\mathrm{\hspace{0.17em}0},\mathrm{\hspace{0.17em}0},f]$ (with $f\ne 0$)fall in this equivalence class, and

• the new points $(1:f:0)$ (comprising all $(x,y,0)$ with nonzero $x$,using $f=y/x$), as well as $(0:1:0)$ (this class has those $(x,y,0)$where $x=0$).

The only ratio excluded for a point is $(0:0:0)$ and for a line $[\mathrm{\hspace{0.17em}0}:0:0]$,making the situation symmetric. Note all the new points “lie on” the newline and none of the old ones do, which can be seen by applying (2).Any of the old lines acquires one of the new points, lines that were parallelget the same new point and lines that weren’t get different new points. Thisprevents any pair of lines already intersecting in an old point intersecting ina new one as well, and provides any pair that didn’t yet intersect a “place”where to do so.

The new points are what is shared by parallel lines, so correspond todirections (pairs of opposite directions, in fact). They arecalled points at infinity and the new line comprising them theline at infinity.

The embedding in ${𝔽}^3$

The extension of ${\mathrm{\Pi }}^{*}$ to $\mathrm{\Pi }$ in the previous section has animmediate geometric interpretation. Interpret every $(x,y,z)$ as a distinctpoint in ${𝔽}^3\setminus (0,0,0)$. The equivalence classes $(x:y:z)$, orstrictly speaking $(x:y:z)\cup \{(0,0,0)\}$, are now lines through the origin:

• the points of $\mathrm{\Pi }$ can be regarded as 1-dimensional subspaces of${𝔽}^3$.

We could equate the $[p:q:r]$ with lines through the origin as well, but itwill turn out to be more convenient to identify them with the planes throughthe origin $⟂$ those lines. Those planes consist of precisely those vectors$(x,y,z)\in {𝔽}^3$ that are $⟂$ the vector $(p,q,r)\in {𝔽}^3$.In this way

• the lines of $\mathrm{\Pi }$ can be regarded as 2-dimensional subspaces of${𝔽}^3$.

The reason this is more convenient is that now, by construction, all thepoints (vectors) in the 1-d subspace corresponding to a point $(x,y,z)$ are$⟂$ the vector $(p,q,r)$ if and only if equation (2) holds. In otherwords, those points lie inside the 2-d subspace corresponding to the line$[p:q:r]$ if and only if the point is incident with this line:

• point P is incident with line $\mathrm{\ell }$ if and only if the line correspondingto P $\subset$ the plane corresponding to $\mathrm{\ell }$.

We can collapse back from 3 dimensions to 2 dimensions in various ways.

First, intersect the 1- and 2-dimensional subspaces representing points andlines with the plane in ${𝔽}^3$ with $z=1$; call this plane ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$.

• The points (lines) $(x:y:z)$ with $z\ne 0$ each contain onepoint $(x/z,y/z,\mathrm{\hspace{0.17em}1})$ in ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$. The pointswith $z=0$ (lines in ${𝔽}^3$ parallel to ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$)don’t have any point in ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$.

• The lines (planes) $[p:q:r]$ with $p$ and $q$ not both zerointersect ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$ in a line with equation (1).The only missing line (plane) is the one through the originparallel to ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$, which contains all the missing points.

So the plane ${\mathrm{\Pi }}_{\mathrm{1}}^{*}$ is exactly the plane ${\mathrm{\Pi }}^{*}$ we started offwith, with an extra third coordinate 1 tacked on at the end.

Alternatively, intersect the 1- and 2-dimensional subspaces representingpoints and lines with the sphere $x^2+y^2+z^2=1$.

• The intersection of a point (line through the origin) with thissphere is two opposite points.

• The intersection of a line (plane through the origin) with thesphere is a great circle.

When $𝔽=ℝ$, this is exactly the first example in this article.

The second example there (the finite one, the Fano plane) can be seen asthe embedding in ${𝔽}^3$ when $𝔽={𝔽}_2$. Its other representationshowed it also has a cyclic symmetry modulo 7 (many more than one, in fact— its automorphism group has order 168).

A health warning is in order: the coordinatisation here gives thespurious idea there is some special relation between the point $(a:b:c)$and the line $[a:b:c]$. In the sphere in ${ℝ}^3$ for example, sucha point plays the rôle of poles relative to the line as equator. The wholepoint of projective geometry however, which we will not pursue further inthis entry, is that only incidence between points and lines is consideredmeaningful, and metric considerations (distances and angles) are ignored.If we redo the ${ℝ}^3$ example with any arbitrary set of three independentvectors as basis, we get projective planes all isomorphic with each other as far asincidence is concerned, but the pairs $(a:b:c)$ and $[a:b:c]$ thatend up with the “same” coordinates are different in each version.

In the finite example too, if we choose a basis different from (1,0,0),(0,1,0), (0,0,1) we can find the same plane in many different guises:there are 7 ways to choose the first basis vector, 6 ways to find asecond distinct from the first, and 4 ways for a third not in the planeof the first two, and $7\cdot 6\cdot 4=168$.

Classical finite planes

The constructions above can be carried out for ${𝔽}^2={ℝ}^2$ where theyextend the usual Euclidean plane to “the” projective plane, but equallywell for any other field, such as finite fields (aka Galois fields).Such fields have $q=p^d$ elements for $p$ any prime and $d$ any positiveinteger.

The ${\mathrm{\Pi }}^{*}$ that takes the place of the Euclidean plane is now called a(finite) affine plane. For $d=1$ i.e. $q=p$ it is still fairly easyto visualise. Now the field is arithmetic (mod $p$) and the affine planeis a grid of $q\times q$ points, with lines connecting them at all possibleinteger ratio slopes (you need to wrap top to bottom and left to right,in modulo fashion, if you attempt to draw it). There are $q$ slopes $f:1$(in a field, every nonzero element has a multiplicative inverse so every $a:b$is some $a{b}^{-1}:1$), and one slope $1:0$ for vertical lines. For each of the$q+1$ slopes there are $q$ parallel lines, making $q^2+q$ lines in all.

The (finite) projective plane $\mathrm{\Pi }$ adds $q+1$ points at infinity(one for each slope, each direction shared by a bunch of parallel lines)to the $q^2$ points of the grid, $q^2+q+1$ points in all. And it adds oneline at infinity to the $q^2+q$ lines we had, making $q^2+q+1$ lines as well.So

• the plane has $q^2+q+1$ points and $q^2+q+1$ lines.

This is also evident from the embedding in ${𝔽}^3\setminus \{(0,0,0)\}$where each time $q-1$ non-(0,0,0) points lie on the same point (line throughthe origin), and $(q^3-1)/(q-1)=q^2+q+1$. Each line (plane through theorigin) is $⟂$ such a line through the origin, so the numbers are thesame. We also have that

• every line is incident with $q+1$ points; every point with $q+1$ lines

because each line (plane through the origin) contains $q^2-1$ non-(0,0,0)points, and $(q^2-1)/(q-1)=q+1$. The simplest way to see the number theother way round is also $q+1$ is calling points lines and vice versa andembedding the thing in another ${𝔽}^3$; the incidence relation(2) is unchanged under this swap.

The field-based planes constructed here are the classical planes,also called Desarguesian because Desargues’s theorem holds in them,and Pappian because Pappus’s theorem holds.$\mathrm{\Pi }\acute{\alpha }\pi \pi o\varsigma$ (Pappus) was a 4th century Alexandrinemathematician and Desargues a 17th century French one.

It can be shown that Pappus’s theorem holds in precisely those planesconstructed in this way with $𝔽$ a field (commutative division ring),whereas Desargues’s theorem holds whenever $𝔽$ is a skew field (divisionring). For finite planes both conditions are the same by Wedderburn’s theorem,so Desarguesian and Pappian are synonyms. For infinite planes you can haveDesarguesian non-Pappian ones, for instance if $𝔽$ is taken to be thequaternions.

The question arises what other algebraic structures other than(skew) fields can produce projective planes. See also thehttp://planetmath.org/node/6943finite projective planes entry.

Projective spaces

The same construction with homogeneous coordinates can be carried out in differentnumbers of dimensions. This extends ${𝔽}^1$ to the projective line withfor a finite field $q+1$ elements, labeled by $𝔽\cup \{\mathrm{\infty }\}$ where$\mathrm{\infty }$ is any item not in $𝔽$. It likewise extends ${𝔽}^n$ for$n>2$ to higher projective spaces with $(q^{n+1}-1)/(q-1)$ elements.

For $n\ne 2$ however these classical constructions give the only possibleprojective spaces; there is nothing corresponding to the wild variety ofnon-classical projective planes we find for $n=2$.

Title	projective plane
Canonical name	ProjectivePlane
Date of creation	2013-03-22 15:11:05
Last modified on	2013-03-22 15:11:05
Owner	yark (2760)
Last modified by	yark (2760)
Numerical id	13
Author	yark (2760)
Entry type	Topic
Classification	msc 51E15
Classification	msc 51N15
Classification	msc 05B25
Related topic	FiniteProjectivePlane4
Related topic	IncidenceStructures
Related topic	Geometry
Related topic	LinearSpace2
Related topic	AxiomaticProjectiveGeometry
Related topic	LinearSpace3