Last time I recoiled from my statement that projective spaces are manifolds, but let’s explore this a little. We don’t want manifolds, but an idea comes up in showing projective space is one that we can use. The fact that we have natural local “coordinate patches” on projective space. i.e. , where . For a manifold, we would show these are diffeomorphic to copies of , but this isn’t the right topology (and has far too restricting of structure), so we really want to show that each is homeomorphic to affine space by .

So to reiterate, we have the Zariski topology on projective space by closed sets defined as zero sets of homogeneous polynomials, and the Zariski topology on affine space by zero sets of polynomials. What we want to show is that we can cover projective space with affine spaces, so that locally projective space looks affine.

Let’s just work with , since there is nothing special about any of the coverings. As far as sets are concerned, is certainly bijective, so we just need to check that and are continuous. So we’ll check that they are closed maps.

The polynomials that we are concerned with defining closed sets on are from the set and the polynomials defining closed sets on are from .

So now let by , and let by .

It is easy to check that .

Now let be any closed set of . Then where is a closed set in . i.e. is a projective variety, so there is a set such that and .

Any closed set of has the form where and .

But now the image of closed sets under is precisely . So is a closed map. Also, the image of a closed set , so both are closed and hence continuous, so is a homeomorphism.

But this proof actually gives us more. Namely that irreducible projective varieties such that is in 1-1 correspondence with irreducible affine varieties .