Welcome to MathOverflow

Question

6

1

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 ?

edited Oct 24 2010 at 22:04

Yemon Choi
8,456●1●19●45

asked Oct 24 2010 at 20:30

brunoh
410●1●2●9

2

Have you compared with the counterexamples in the Stacks project concerning schematic closure? math.columbia.edu/algebraic_geometry/stacks-git/… – Martin Brandenburg Oct 24 2010 at 22:30

Thanks for the tip & link. Will do it. – brunoh Oct 24 2010 at 23:03

brunoh · Accepted Answer · 2010-10-26 14:28:26Z UTC

It seems indeed that example 2.10 in the Stacks project morphisms of schemes chapter provides a counter example, where the sheaf of ideals of regular functions whose restrictions to U vanish on Z is not quasi-coherent, because if it were part (3) of lemma 4.3 would be fulfilled. Thank you again for this hint, and if I am not mistaken, I have answered my own question, and an errata should be added for this book on page 26, where the open immersion of U in X should be supposed quasi-compact.

Scheme theoretic closure of a locallly closed subscheme

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.