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

When introducing a new concept in mathematics, it is best if it can be fully described using objects and concepts that are already well understood and defined, to guarantee the new concept fits in with the rest of mathematics. One common way to do this is via an *equivalence relation*: take an existing structure, divide it into distinct parts called *equivalence classes*, and then use the classes as single entities in a new structure, retaining all the properties of the old structure except those that were destroyed in the partitioning process. We’ll use a space we already know — the affine space — to construct the projective plane. However, once the construction is complete, the projective plane will stand as a mathematical entity on its own; rarely will we have to lift the hood to see how it was originally built.

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. These lines through are the equivalence classes of our equivalence relation. And now for the punchline: the points of the projective plane are the equivalence classes of the relation described above.

In other words, is a geometric space whose points are lines through a chosen point in . Or in fancy mathematical notation^{1}:

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 for the equivalence relation is that 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

(1)

For simplicity, we can just choose , so that . ^{2}. 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 many ways to contain inside , for instance by choosing a different value for , or by sending to , or however you please, so that wherever we are in , there is a local neighbourhood that looks just like . 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 point for each number , forming an (affine) line, plus the point . Together, we call this “line at infinity”^{3}. Thus is simply with one additional line added. 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.

- This is included just as a point of interest; you don’t need to understand this notation to understand the article. See if you can guess how the notation describes what we have done, by giving new meanings to familiar arithmetic symbols like and .
- Any other choice of just stretches/shrinks the plane before embedding it, but remember, shrinking and stretching don’t matter on the affine plane!
- Roughly, if all possible spans a projective plane, then spans a projective line, which itself decomposes into an affine line and a point. Ask me in the comments for more details if you like.