One of the central and important concepts in projective geometry is the beautiful connection between 3-dimensional projective space and the Klein quadric. As is indicated by the title, this correspondence between these two geometries was named after the German mathematician Felix Klein, who studied it in his dissertation Über die Transformation der allgemeinen Gleichung des zweiten Grades zwischen Linien-Koordinaten auf eine kanonische Form (1868). The Klein Correspondence can be used to give geometric understanding for certain isomorphisms of low rank classical groups, and we will give an example of some of these in a follow-up post. In geometry, the Klein Correspondence can sometimes illuminate an obscure object in projective 3-space, for the Klein quadric is naturally embedded in a 5-dimensional projective space where there is an added richness to the geometry, and one has available other ways to distinguish certain configurations. For example, if you were to learn about linear complexes in 3-dimensional projective space, you might find one class known as the “parabolic congruences” as a somewhat messy object of pencils of lines centered on the points of a common line. However, under the Klein Correspondence, a parabolic congruence becomes a quadratic cone: one of the first 3-dimensional geometric objects we first encountered in school mathematics. Notice that I have not specified the field we are working over; it won’t matter!
Coordinates for 3D projective space
Given a 4-dimensional vector space V over a field F, the projective space is the geometry of 1, 2, and 3-dimensional subspace of V. The “points” of
are the 1-dimensional subspaces, the “lines” are the 2-dimensional subspaces, and finally the “planes” are the 3-dimensional subspaces. We can describe a point of
by using homogeneous coordinates, which is one of the most beautiful innovations ever introduced into analytic geometry (and was apparently introduced by Möbius). We write
for a point of
, where not all of
are zero. This makes sense since a representative vector for a one-dimensional subspace is a nonzero 4-tuple. Two points written in this notation are equal if we can multiply one by a nonzero scalar to obtain the other; hence why we have used colons within the notation in analogy with the ratio representation of a rational number. If we think of a plane of
as the orthogonal complement of a point of
, then it makes sense to use the coordinates
for a plane. This notation is further reinforced by noticing that the equation for the plane is
. Straight away we see one of the conveniences of homogeneous coordinates; a natural duality of
:
.
Which leaves lines. Julius Plücker was Klein’s doctoral supervisor, and it was his observation that a line of could be represented by six scalars, that eventually gave rise to the Klein Correspondence. A line
is spanned by two vectors
and
. So let us look at the
matrix where we place one of these vectors above the other:
Now L is the row-space of , and so this matrix has rank 2. So every
minor of this matrix has nonzero determinant. So we take 4 choose 2 (=6) determinants from this matrix and list them. Define
and take the 6-tuple of subdeterminants:
These are Plücker coordinates for . What would happen if we had a different representation of
? If we instead took
and
, then we can write the
matrix from these two vectors as
for some invertible
-matrix
. And then the Plücker coordinates would be
by the “multiplicativite” property of the determinant. So we see that the Plücker coordinates of give a unique representation of
if we regard them as homogenous coordinates of a point of a 5-dimensional projective space!
A quadratic form
The matrix
has rank 2, and so has zero determinant. It then follows that
.
Therefore, the Plücker coordinates of a line yield a point of five-dimensional projective space that is a zero of the following quadratic form:
.
The zeros of this quadratic form define a non-singular quadric called the Klein quadric. Amazingly, the converse is true! The map defined by taking the Plücker coordinates yields a bijection between the lines of and points lying on this quadric. Moreover, this bijection, known as the Klein Correspondence, intertwines the concurrency relation of the lines with the orthogonality relation of the points of the Klein quadric. By orthogonality, I mean that if we take the bilinear form arising from the quadratic form, namely
then two points represented by vectors and
are orthogonal if
. In other words, the line spanning
and
would have all of its points lying on the quadric, and so if we define such lines to be “lines of the quadric”, then we see that orthogonality is really “collinearity by lines of the quadric”. Likewise, there are planes of the five-dimensional projective space that are fully contained in the Klein quadric, such as
and
.
Just like the cross-product and more
The Plücker map has a striking similarity to the cross-product of vectors in , which is obtained by taking the 3 choose 2 (=3) subdeterminants of a
-matrix. The connection between these two notions lies in the exterior product of a vector space with itself. Formally, we define
to be the quotient vector space of
by the subspace of diagonal tensors
. In particular, this means that the induced product operation (by the tensor operation) is an alternating product called the exterior or wedge product. It has the (defining) property that
for all elements of the vector space. Note that
.
Some consequences of the Klein Correspondence
Since the Klein Correspondence is incidence preserving, two concurrent lines of are mapped to two collinear points of the Klein quadric
. If we take all the lines incident with a single point
of
, then the image is a set of mutually collinear points of
, that is, a plane of the quadric. Likewise, if we take all the lines contained in a single plane
of
, then the image is again a plane (for the same reason). So points and planes of
both yield planes of
, but there is a catch. Two points of
span a line, and so the corresponding planes must meet in a point. It is not difficult to see that an incident point and plane must be mapped to the set of points on a line of the quadric, and a non-incident point and plane yield two planes of the Klein quadric that are disjoint. In other words, we have an equivalence relation on planes of the Klein quadric that divides them into two equivalence classes:
Equivalence relation on planes of
: Equal or meet in a point.
The two equivalence classes are known as the latins and the greeks. So without loss of generality, the points of are mapped to the latins, whereas the planes are mapped to the greeks.
One of the main consequences of the Klein Correspondence is that the correlation group of the projective 3-space (collineations together with dualities) and the collineation group of the Klein quadric, are isomorphic. That is, , where
is the standard duality given above.
This post is getting quite long now, so I’ll write some more on the consequences of the Klein Correspondence in a later post.
“So every 2\times 2 minor of this matrix has nonzero determinant. “, this should be corrected to _at least_ one of the minors is non-zero, and thus we get a non-zero 6 dimensional vector giving rise to a point in the 5-dimensional projective space (also the convention is that the minor is not the submatrix itself but the determinant of the submatrix).