Localization of global sections on a principal open

ID: localization-of-global-sections-on-a-principal-open

For a quasi-compact separated scheme and a global regular function , global sections on are the localization of global sections by . Choose a finite affine open cover. Its intersections are affine, so the sheaf gluing axiom describes global sections as the kernel of the difference map between two finite products of affine coordinate rings. Exactness of localization preserves this kernel, and localization commutes with those finite products. Localizing the same cover gives the claimed isomorphism. This applies before knowing whether itself is affine.

New to topics? Read the docs here!