What are the monomorphisms in the category of schemes? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T19:50:49Z http://mathoverflow.net/feeds/question/56591 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56591/what-are-the-monomorphisms-in-the-category-of-schemes What are the monomorphisms in the category of schemes? Phillip Williams 2011-02-25T03:23:36Z 2012-07-06T09:33:53Z <p>Someone recently <a href="http://mathoverflow.net/questions/56564/what-are-the-epimorphisms-in-the-category-of-schemes" rel="nofollow">asked</a> what the epimorphisms in the category of schemes are; the other day I had been wondering about the similar question: what are the monomorphisms in the category of schemes? I am often frustrated working with schemes because, unlike a lot of other categories, it is not immediate that you have left cancellation of morphisms when you know the underlying map on sets is injective--and I think it must not be true in general, though I don't have an example in mind. Are there nice situations or additional conditions that guarantee that one may safely cancel morphisms of schemes on the left? </p> http://mathoverflow.net/questions/56591/what-are-the-monomorphisms-in-the-category-of-schemes/56608#56608 Answer by Martin Brandenburg for What are the monomorphisms in the category of schemes? Martin Brandenburg 2011-02-25T07:47:09Z 2012-07-06T09:33:53Z <p>In EGA IV, 17.2.6 the following characterization of monomorphisms is given:</p> <blockquote> <p>Let $f : X \to Y$ be a morphism locally of finite type. Then the following conditions are equivalent:</p> <p>a) $f$ is a monomorphism.</p> <p>b) $f$ is radicial and formally unramified.</p> <p>c) For every $y \in Y$, the fiber $f^{-1}(y)$ is either empty or isomorphic to $\text{Spec}(k(y))$.</p> </blockquote> <p>Also note that (due to the adjunction) a morphism between affine schemes is a monomorphism (in the category of schemes) if and only if the associated homomorphism of rings is an epimorphism (in the category of rings) and the latter ones can be characterized in many ways. See, for example, <a href="http://www.numdam.org/numdam-bin/feuilleter?id=SAC_1967-1968__2_" rel="nofollow">this</a> Samuel seminar and <a href="http://mathoverflow.net/questions/109/what-do-epimorphisms-of-commutative-rings-look-like" rel="nofollow">this</a> MO discussion. Monomorphisms of noetherian schemes are treated in detail in Exposé 7 by Daniel Ferrand.</p> <p>Further examples:</p> <p>1) Immersions are monomorphisms; this follows from the universal property of a closed resp. open immersion.</p> <p>2) A morphism $X \to Y$ is a monomorphism if and only if the diagonal $X \to X \times_Y X$ is an isomorphism. In particular, every monomorphism is separated.</p> <p>3) In EGA IV, 18.12.6 it is shown that proper monomorphisms are exactly the closed immersions. </p>