A note about rational surfaces as unions of affine planes (Q6042173): Difference between revisions

This note is devoted to proving the next result (Theorem 1.1): Any projective smooth rational surface over the complex field is the union of just three Zariski open subsets, all isomorphic to the affine plane. The key points of the proof are the following: First, Theorem 1.3 (a well known result), ``every non-singular rational surface can be obtained by repeatedly blowing up a minimal model, that is, either \(\mathbb{P^2}\) or a Hirzebruch surface''. Second, Lemma 1.4. The authors prove that any of those minimal models is the union of three open subsets, isomorphic to the affine plane, so that the centers of the blowups is in the intersection of these three open subsets. Finally, Lemma 1.6, which claims that the blowup of a surface which is union of three open subset with center in an intersection point of those three open subsets is also union of three open subsets isomorphic to the affine plane.