You might want to check out part 1 before reading this.
A little motivation
Last week, we took the Euclidean plane and forgot what angles and distances were, while retaining the concept of parallel lines. This gave us a new space called the affine plane, . Our mission today is to describe an extension of the affine plane called the projective plane, much beloved by algebraic geometers.
Why do algebraic geometers like projective space? One reason is that as well as studying the geometry of equations, they like to study the geometry of systems of equations. Consider the pair of lines:
A pair that satisfies both equations is a point lying on both lines—the only one is . Now consider
It is obvious that these two equations have no common solutions, and therefore, there’s no geometry lying behind this system. Each equation individually describes a line parallel to the other. The system as a whole describes the intersection of two parallel lines: nowhere.
When standing in the middle of a road it seems like the parallel edges of the road do meet in the distance. What if there were a way to make this idea of parallel lines meeting at an infinitely far away point a mathematical reality?
The projective plane is a way of extending the affine plane so that parallel lines really do meet at infinity. Rather than being some “hack”, this really is where figures defined by algebraic equations “want” to live. It gives us a more complete, unified picture of algebraic geometry. We don’t lose any of the geometry of the affine situation: wherever you’re standing in projective space, everything “looks” affine from your perspective. Nonetheless, there is a broader perspective that allows us to see the infinitely far-away horizon, just like how on planet Earth everything looks flat, until we go up in a space shuttle and see the true geometry from space. So what is the projective plane?
How to make a projective plane
There are several ways one can make a projective plane. The one we’ll use here also helps set a convenient coordinate system on this plane.
The first step is to introduce the affine space . There’s nothing mysterious here. You’ve met the 2d affine plane . So the 3d affine space is just like ordinary 3d space but with no concept of angle or length, but parallel lines (and now, planes) are to be respected. The next step is to choose a privileged point, which we’ll called for now — any point will do for this construction.
The equivalence relation I’m going to introduce on the affine space is to say that two points and are in the same class if there is a line through and that also passes through , the privileged point, in which case we write to show they are now “equivalent”, but not equal. There’s a slight problem with this though: under this definition every point would be in the same class as , since for any there is certainly a line passing through and that also passes through . The easy fix is to “puncture” the space, removing from all further considerations.
Now every point in (with missing) is equivalent to every other point on an infinitely long line through and where used to be. We have divided up into a collection of lines through . And now for the punchline: the points of the projective plane are these lines.
Huh? Points are lines? If you find this hard to get your head around, don’t worry: it is. We can’t even properly draw a projective curve; it is too far removed from ordinary 2d space. It isn’t even clear why this is a 2d plane at this stage.
Getting our bearings
Let’s add some coordinate to make this plane easier to navigate. If I briefly go back to , I can choose a coordinate system that has . What this means is that two points and lie in the same line through if and only if, supposing , then where is a non-zero number. So for example, . Since these two points lie on the same line through in , they represent the same point in .
Now we just let inherit this coordinate system: a point in is given coordinates by taking the coordinates of any point in the line that compromises it in . The coordinates for a point in are therefore not unique. However, the point is uniquely determined by the ratios between the coordinates, so we write
for any non-zero , where the colons remind us that it is ratios that count. Of course, does not refer to any point in , because we excluded it from when constructing the space. And that’s it: we no longer have to think about at all. We are just working on a strange plane, where points are uniquely identified by a ratio of 3 coordinates. Let’s do some geometry and see if we can get more of a feel for this.
Using these special coordinates I can now explain why is an extension of . I somehow have to provide a method for embedding the entirety of into without losing any information—each point in should be correspond to a unique point in . The trick here is as follows: by the rule that it is coordinate ratios that matter, any point in where is the same as . If we then just look at the first two coordinates, then is point on the affine plane. By a reverse argument, we can choose any we like, and assign a point on the affine plane by
For simplicity, we can just choose , so that . 1. The important thing is that each pair is of a different ratio to , and so corresponds to a different point in . Therefore contains . In fact there are infinitely many ways to contain inside , but the embedding given above, along with analogous embeddings that send to or mean that every point is contained in one of these three simple embeddings (because every point has at least one non-zero coordinate). This means that wherever one stands in , there is a local neighbourhood that looks just like : if I’m at the point , I just calculate my local affine coordinates are , and so long as I don’t stray too far, I’m quite at liberty to use this coordinate system. This means that to study just some region of a figure in , we can just use the comparatively simpler methods of affine geometry. For this post we’ll stick with the simple embedding as much as possible.
The line at infinity
Now let’s see what this means for the parallel lines and we met above. We can embed the points as we described above by , so that these affine lines now lives in . But we can go a step further, and continue the lines in by applying this same transformation to the equations themselves:
It is not hard to see that, after choosing an embedding, say by setting , then the solutions to these equations in and correspond to solutions of the corresponding affine lines. But then if we multiply through by , we obtain the following relations between projective coordinates that lines satisfy:
These new “projectivized” equations do have a solution in projective coordinates. Namely, the point . This point does not lie on our affine plane at all, because we chose our affine plane to specifically be that subset of where . Rather, it is “infinitely far away”.
The set of all points are therefore the “points at infinity” with respect to this copy of that lives inside , and there aren’t that many of them: there’s one for every direction in , and all parallel lines in pointing in that direction meet at the same point. Thus is simply with one additional line added, that sort of circles around the horizon of . This is an intuitive reason that deserves to be called a 2d plane—It is much more like than the original that it was constructed from.
Projective algebraic curves
Finally, for this rather long and challenging post, we’ll consider solutions of equations in the projective plane. There’s a problem. Suppose I have an equation, like . A triple of coordinates such as satsifies this equation. However, , which when considered as projective coordinates is the same point as , does not. The fix for this is to consider the solutions of homogeneous equations only. These are equations in which every term is of the same degree. So for example, is homogeneous, but is not. Since we’re studying conics, which we defined to be algebraic curves of degree 2, we require every term to be of degree 2. This means that if we have the general conic equation
then any coordinate triple representing the same point in will satisfy the equation, since if we have two coordinates of the same point (with , of course), then
if and only if
This insistence on studying only homogeneous equations may seem like a limitation. However, we have already seen that have a way of switching seamlessly between non-homogeneous equations for plane curves in and into homogeneous equations in , and switching back is just as easy. For example the hyperbola:
and this projective curve contains a perfect copy of the original affine curve.
That covers all I’d like to say about the projective plane. But where is all this going? What are the equivalents of Apollonius’ conic sections in the projective plane? How many are there, and how do they relate to the original conic sections from the first post? Is there anything to be gained from migrating to an even weirder geometric space? Find out in the final post of the series.