Affineness from a unit-ideal principal affine cover
ID: affineness-from-a-unit-ideal-principal-affine-cover
A classical variety is affine if finitely many global regular functions generate the unit ideal and their nonvanishing opens are affine. Localization of global sections on a principal open identifies their coordinate rings with , where . Choose a finite-type subalgebra of containing the functions, their unit-ideal coefficients and numerators of generators of every . Its affine variety has the same principal affine charts, whose isomorphisms glue globally. This avoids assuming finite generation of before affineness is known.
New to topics? Read the docs here!