For an integral normal variety that is Noetherian, removing a closed subset of codimension at least two does not create new regular functions. Affine-locally, a normal Noetherian domain is the intersection of its localizations at height-one primes inside its fraction field. The complement still contains every height-one point, so a regular function on it lies in each such localization and therefore in the original ring. On projective space this also follows directly by excluding irreducible polynomial factor of the denominators on each polynomial affine chart.
Normal variety 2026-10-06
An algebraic variety whose local rings are integrally closed domains. In particular an irreducible variety that is a normal variety has normal affine coordinate rings, enabling codimension-two extension of regular functions on a normal variety.