The title is a quote attributed to the mathematician William Cayley.
The goal of this post is to merely organize and make sense of the fact that all three of the principal continuous geometries are contained in projective geometry. Apriori, this is really remarkable since the definition of projective space (and its symmetries) as linear subspaces of has very little to do with the other geometries we consider. For me, the most interesting fact here is not that the underlying spaces (euclidian, spherical etc.) can be embedded in projective space, but rather that there exist embeddings that preserve the symmetries of each respective geometry, a statement that will be made precise immediately:
Definition 1: A pair is said to be a geometry (in the sense of Klein) if is a set equipped with a transformation group acting on bijectively.
Definition 2: A geometry is said to be a subgeometry of if there exists some inclusion and a monomorphism compatible with the group actions ( i.e for and .)
Now, we can actually state our claims formally, although we will restrict our attention to , and follow the methods used by Alexei Sossinsky in his short book “Geometries.” Some parts of the proof will be less detailed, but I’ll try to make clear the idea, and give explicit constructions of and to prove the statements.
Claim : is a subgeometry of , where is the action of modulo an equivalence relation that identifies all matrices whose column vectors differ by some constant muliple.
Alright, I will admit that this kind of claim is signifcantly less sexy than the quotation we are alleging to follow, so I will ammend statement in the following way:
Claim : Euclidian geometry is easy (once you know everything there is to know about projective geometry.)
Proof: The idea here is extremely natural if one keeps in minds the homogeneous co-ordinate system. We view as
where is the “line at infinity.”
With this in mind, we can define so that .
As for the monomorphism, let be the origin in , and choose some orthonormal frame in given by two lines . We let be the monomorphism that sends the three lines to for any , which proves the claim.
Claim 2: The hyperbolic plane , is a subgeometry of the project plane.
There will be no claim , but instead we require a quick detour into the Cayley-Klein model for the hyperbolic plane. We let be the open disk in , and take consider the Lobachevsky metric,
where are the intersection points of the line with , the boundary of (commonly known as the absolute.) It turns out that the collection of projective transformations that map , denoted is precisely the isometry group of .
Since , we can use the same inclusion as in claim . In order to define the monomorphism , we essentially just want to extend the action of on to th whole plane: any line can be identified with the line in passing through inclusion of and into . Any parallel lines in correspond to lines that intersect at in .
To be a bit more careful, we take points in (in general position) and follow them under the action of . Since is a projective transformation, these will suffice to define a homomorphism as follows:
We take the inclusion of all four points after is applied to them, and define to be the transformation . We know from the general theory of projective space, that there is exactly one such transformation for any points, and thus we have a well-defined monomorphism (injective since such a transformation is unique and a homomorphism for clear reasons.) Showing that this is indeed a subgeoemetry amounts to proving that agrees with on the restriction to , which follows since projective transformations preserve cross ratios for any colinear points.
Claim 3: Riemannian elliptic geometry, where antipodal points are identified, is also a subgeometry of .
Similarly to the previous geometries, we want to think of as the usual euclidian plane along with the “line at infinity.” We will again embed the underlying space into the plane consisting of points of the form . However, unlike before, we need to be a little more clever. All we do is place the sphere above the plane, so that it is tangent at the southern hemisphere, and take pairs to the projection along the line passing through and the center of the sphere. Note that this takes “lines” in elliptic geometry (which are greater circles) to lines, with the equator being mapped to the “line at infinity”” . Spherical triangles will be mapped to triangles, but the angles will not be preserved. The monomorphism is constructed as before, by following the projection of points and applying the general theory for projective transformations to take one transformation to the corresponding one in .
The last proof was definitely sketchy, but it’s not terrible to show, and perhaps the constructions are more interesting than the proofs themselves since we can see “how” the geometry is embedded.