Today we’re going to generate a basis for a quasi-projective variety in the Zariski topology. These open sets will be affine charts (affine charts are open sets in the Zariski topology as the th affine chart, for instance, is the complement of the variety ). Hence, as every point lies in an affine chart, we can that every quasi-projective variety locally looks like an affine variety, which allows us to do all kinds of affine-type calculations and draw affine-like conclusions.

We first notice that if is an affine variety, and , then is also an affine variety. This is because it can be bijectively mapped to an affine variety in . So we’re not working with objects anymore. We’re working with isomorphism classes. What is the variety that maps to? It is the variety that is the image of the map . How do we know that the image is an affine variety? Let be the corresponding ideal for in . Then the ideal for its image is the the one generated by . How does this work? When we just consider in $\Bbb{A}^{n+1}$, than all values of satisfy these equations. With the inclusion of the last equation, what happens is that for each -tuple, straight up imported from , there is only one value of that is attached. Hence, each -tuple gets a unique coordinate.

Now we try and generate the basis. Any quasi projective variety can be embedded in for some . For any affine chart , consider . is the union . Now each is a quasi-projective variety in . Why is this? Because you you can take the ideal corresponding to the variety in projective space, and make the substitution. You’ll get an ideal, and hence a corresponding algebraic set. Now remember that this algebraic set is a quasi-projective variety, and not a traditional affine variety. Hence, it is the intersection of a closed set and an open set. Say it is something of the form . This set is covered by open sets of the form , where . How? First of all, notice that is smaller than . This is because we’re intersecting with the complement of a bigger set, and hence intersecting it with a smaller set. Now we have to prove that we indeed have a cover. Let . Then and . Hence, there has to exist a such that . This implies that . Hence, we have an open cover. Taking such open covers over all affine charts, we see that the quasi-projective variety has been covered by open sets.

Do the affine open sets count, when what we wanted was projective-open sets? Can open sets be “projectively completed” to create open sets in projective space? Yes they can be. How? The complement of open sets in affine space would be closed sets. Take the projective closure of those affine closed sets and then take their complement. The complement of the projective closure will contain the affine open sets. Hence we’re done.