This blog post is going to be on the projective closures of affine varieties. This too is something that has confused me for some time. I did manage to make sense of most of it eventually, but I want to still write it down for my peace of mind.
Say we have a polynomial in affine space . We want to find the projective closure of that. How do we do it? We first homogenize it by writing it as a homogeneous polynomial . Note that is the extra variable that has been added here. Then, after having sketched the zeroes of the polynomial in the -th affine chart in projective space, we find the projective closure in the whole space by assuming , and then determining what are the zeroes of the remainder of the polynomial.
Why does this work? The complement of the -th affine chart is that space in projective space that the affine curve could never have reached in affine space. Remember that the whole affine curve, point by point, lies inside the affine chart. Hence, the points in the complement of the chart will contain all the “new” points of the curve. Heuristically speaking, the “new” points are all those points that the curve tends to, if it could go infinitely far, whatever that might mean.
Now how do you find the projective closure of a general algebraic set (and not one that is generated by a single polynomial)? In other words, say you have an affine algebraic set . What changes do you need to make to in order for to be the projective closure of ? Turns out, homogenizing the generators of is not the answer, but homogenizing *all* the elements of is. Is is the explanation of this part that is the aim for writing this post.
Why does homogenizing the generators not work? This is because we may count extra points of projective closure. How? Take the polynomials and in . Their corresponding homogeneous polynomials are and in . The variety corresponding to the ideal is obviously . Hence, the affine chart of will also contain the empty set, the projective closure of which is also the empty set. However, the projective closures of both and contain the point . From this, we can see that a set of algebraic sets in affine space may all contain a set of points of projective closure that their intersection may not.
This problem is solved by homogenizing all the polynomials in , and then generating an ideal from it. The variety corresponding to this ideal is exactly the projective closure of . Let this ideal be referred to as . Why does this work?
First of all, it is clear that the projective closure of lies inside . Now we need to prove the other inclusion. If we can produce a homogeneous polynomial such that the corresponding variety on the affine chart is the same as , then we’ll be done. This we can do by just adding the homogenized versions of all the generators in , but also ensuring that the homogenized versions are of different degrees!!! The key insight behind this is that as we have a sum of homogeneous polynomials of different degrees, the corresponding variety will contain only those points that lie in the intersection of all zero sets of the individual polynomials. The affine chart will consequently only contain those affine points which lie in the zero sets of all those affine polynomials, which is precisely . To complete the proof, we need to assume that each affine variety has a unique projective closure.
Such a polynomial (sum of homogenized versions, to different degrees, of all the generators of ) does in fact exist in . Hence proved.