Skip to main content
3 of 3
added AG tag
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156

Scheme theoretic closure of a locallly closed subscheme

In the book "The Geometry of Schemes" of Eisenbud and Harris, page 26, it is said that the scheme theoretic closure of a closed subscheme Z of an open subscheme U is the closed subscheme of X defined by the sheaf of ideals consisting of regular functions whose restrictions to U vanish on Z. I cannot verify this assertion when the open immersion of U in X is not quasi-compact (I mean I cannot prove that this sheaf of ideals is quasi-coherent). Am I missing something here ?

brunoh
  • 1.1k
  • 1
  • 12
  • 29