Suppose a scheme is the scheme-theoretic union of affine closed subschemes and , meaning their ideal sheaves have zero intersection. The intersection is closed in both, hence affine with coordinate ring and surjections , . Then the whole scheme is . Both projections of this fiber product are surjective; their kernels have zero intersection and product, and their quotient by the sum is . Thus its spectrum has the same closed pieces, intersection and topology. The structure sheaf is the kernel of on both spaces, identifying their locally ringed structures. A reduced Noetherian scheme has finitely many irreducible components, so induction proves it is affine if and only if its reduced irreducible components are affine. The intersection need not be reduced.
Articles by others on the same topic
There are currently no matching articles.