Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-113/2/b/solution

Fix and choose affine opens and with . The open subset of contains . If and , its diagonal is induced by the surjection
so it is a closed immersion. Hence every diagonal morphism is locally a closed immersion into an open subset, and therefore is a locally closed immersion.
For , the product is and the diagonal is . Its complement is the principal affine open
Take instead the separated scheme . The complement of its diagonal in is , where the removed diagonal has codimension two. Its global functions still form the polynomial ring of . Were the complement affine, its canonical morphism to of this ring would identify it with all of , which is impossible. Thus this diagonal complement is not affine.

New to topics? Read the docs here!