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:Y\to X$ and $g:Z\to Y$ be morphisms of schemes and take the product $Z\times_X Y$ with respect to the composition $g\circ f:Z\to X$ and $f$.

What property of a scheme morphism does $f$ have to fulfill such that the projection $Z\times_X Y\to Z$ is an isomorphism of schemes?

I think ''open immersion'' is a possibility. Are there other?

share|improve this question
add comment

1 Answer 1

up vote 9 down vote accepted

It is enough to assume that $f$ be a monomorphism : this is a purely categorical result which has nothing to do with schemes.
If that is the case, the projection $p:Z\times_X Y\to Z$ has as inverse the morphism $$s=(id_Z,g):Z\to Z\times_X Y$$

Yes, but what are the monomorphisms in the category of schemes?
As usual the Master has the answer( in EGA $IV_4$, 17.2.6 ) :

A morphism $f : Y \to X$ locally of finite type is a monomorphism if and only if for every $x \in X$, the fiber $f^{-1}(x)$ is either empty or isomorphic to $Spec (\kappa(x))$.

So a monomorphism is injective but the converse is completely false: given a non trivial extension of fields $k\subsetneq K$, the corresponding (trivially bijective!) morphism of schemes $Spec(K)\to Spec(k)$ is never a monomorphism.

However to finish on an optimistic note, let me remark that closed or open immersions ( you were right about those) are monomorphisms.

share|improve this answer
4  
Thanks. As usual the Master has the answer. –  Daniel Dreiberg Sep 3 '12 at 19:58
add comment

Your Answer

 
discard

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.