Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f\colon X \rightarrow Y$, $g\colon Y' \rightarrow Y$, be two morphisms of schemes. Let $X' = X\times_Y Y'$, and let $f'\colon X' \rightarrow Y'$ be the projection. We are interested in the relation between the scheme theoretic image of $f'$ and that of $f$ (in the sense of Hartshorne, exercise II, 3.11). Namely, when does $f'(X') = g^{-1}(f(X))$ hold?

Note that the equality holds for set theoretic images (see this question), so I am asking whether (or under what conditions) the scheme structure is also preserved.

share|improve this question
is $g^{-1}(f(X))$ a closed subscheme of $Y'$? what is its scheme structure and how is the closed embedding defined? –  Dima Sustretov Feb 11 at 15:49

1 Answer 1

Proposition 4.20 in Algebraic Geometry I by Görtz and Wedhorn will give you the answer. It's a valuable book in any case, I can recommend it very much.

share|improve this answer
It will take a while for me to get access to that book... Could you summarize what the answer is? –  quim Jan 21 at 12:25
Check your email. :) –  David Hornshaw Jan 22 at 16:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.