1
$\begingroup$

The following statement seems to be "well-known", but I am unable to find a reference in the standard literature. Could someone suggest a reference?

Let $X$ be a separated normal connected Noetherian scheme and $U$ a (nonempty) affine open subset. Then the complement $Y = X \smallsetminus U$ has pure codimension one.

$\endgroup$
  • $\begingroup$ stacks.math.columbia.edu/tag/0BCQ provides the result you are looking for. $\endgroup$ – pbelmans Aug 25 '15 at 11:45
  • 1
    $\begingroup$ EGA IV, part 4 (IHES no 32), Cor. 21.12.7. $\endgroup$ – Matthieu Romagny Aug 25 '15 at 21:43
  • $\begingroup$ I'd've called this "algebraic Hartogs' theorem". If $Y$ is codimension 2 in $X$, then functions on $U$ should extend across $Y$, i.e. $U$ shouldn't be affine. $\endgroup$ – Allen Knutson Aug 31 '15 at 0:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.